CITI - Member - António Ravara

CITI has stopped operations in 2014, to co-launch NOVA LINCS THIS SITE IS NOT BEING UPDATED SINCE 2013

Home \ Members \ Member Page

António Ravara
Software Systems Country: Portugal Position: Assistant Professor Email: aravara(at)fct.unl.pt Personal Web Page	Research Projects (2) Publications (8) External Talks (1) Graduation Activities (6) Organization of Events (11)

{ Organization of Events }

Program Committee Member @ 28th ACM Symposium on Applied Computing, Special track on Service-Oriented Architectures and Programming
[18 Mar 2013 to 22 Mar 2013 ]
Program Committee Member @ 28th ACM Symposium on Applied Computing, Special track on Object Oriented Programming Languages and Systems
[18 Mar 2013 to 22 Mar 2013 ]
Program Committee Member @ 1st International Workshop on Behavioural Types (Satellite Workshop of POPL 2013, 40th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages)
[22 Jan 2013 ]
Program Committee Co-Chair @ 11th International Workshop on the Foundations of Coordination Languages and Self Adaptation (Satellite Workshop of CONCUR 2012)
[8 Sep 2012 ]
Program Committee Member @ 8th International Workshop on Automated Specification and Verification of Web Systems
[16 Jun 2012 ]
Program Committee Member @ 2nd International Conference on Formal Verification of Object-Oriented Software
[5 Oct 2011 to 7 Oct 2011 ]
Program Committee Co-Chair @ 10th International Workshop on the Foundations of Coordination Languages and Software Architectures (Satellite Workshop of CONCUR 2011)
[10 Sep 2011 to 10 Sep 2011 ]
Program Committee Member @ 13th IFIP International Conference on Formal Methods for Open Object-based Distributed Systems
[6 Jun 2011 to 9 Jun 2011 ]
Program Committee Member @ 26th Annual Symposium On Applied Computing - Software Verification and Testing Track
[21 Mar 2011 to 24 Mar 2011 ]
Program Committee Member @ 9th International Workshop on the Foundations of Coordination Languages and Software Architectures (Satellite Workshop of CONCUR 2010)
[4 Sep 2010 to 4 Sep 2010 ]
Program Committee Member @ International Conference on Formal Verification of Object-Oriented Software
[28 Jun 2010 to 30 Jun 2010 ]