Parosh Aziz Abdulla

PC-membership

TACAS'11
  • PC co-Chair.
  • TACAS'11, the 14th International Conference on Tools and Algorithms for the Construction and Analysis of Systems.
  • Saarbrucken, Gemrnay.
  • 2011.
LICS'10
  • PC Member.
  • LICS'10, the 25th IEEE Int. Symp. on Logic in Computer Science.
  • Edinburgh, Scotland.
  • 2010.
CONCUR'10
  • PC Member.
  • CONCUR'10, the 21st International Conference on Concurrency Theory.
  • Paris, France.
  • 2010.
SOFSEM'10
  • Invited Speaker.
  • SOFSEM'10, the 36th International Conference on Current Trends in Theory and Practice of Computer Science.
  • Spindleruv Mlyn, Czech Republic.
  • 2010.
RP'10
  • PC Member.
  • RP'10, the 4th Workshop on Reachability Problems.
  • Brno, Czech Republic.
  • 2010.
CAV'09
  • PC Member.
  • CAV'09, the 21st International Conference on Computer Aided Verification.
  • Grenoble, France.
  • 2009.
MCC'09
  • PC Chair, Organizer.
  • MCC'09, the 2nd Swedish Workshop on Multi-Core Computing.
  • Uppsala, Sweden.
  • 2009.
ICTAC'09
  • PC Member.
  • ICTAC'09, the 6th International Colloquium on Theoretical Aspects of Computing.
  • Kuala Lumpur, Malaysia.
  • 2009.
QEST'09
  • Invited Speaker.
  • QEST'09, the 6th International Conference on Quantitative Evaluation of SysTems.
  • Budapest, Hungary.
  • 2009.
FoSSaCS'09
  • PC Member.
  • FoSSaCS'09, the 12th International Conference on Foundations of Software Science and Computation Structures the 6th International Conference on Quantitative Evaluation of SysTems.
  • York, UK.
  • 2009.
LATA'09
  • PC Member.
  • LATA'09, the thirrd International Conference on Language and Automata Theory and Applications.
  • Tarragona, Spain.
  • 2009.
RP'09
  • PC Member.
  • RP'09, the 2nd Colloquium on Reachability Problems.
  • Paris, France.
  • 2009.
MEMICS'09
  • Invited Speaker, PC Member.
  • MEMICS'09, Annual Doctoral Workshop on Mathematical and Engineering Methods in Computer Science.
  • Znojmo, Czechia.
  • 2009.
INFINITY'09
  • PC Member.
  • INFINITY'09, the 11th International Workshop on Verification of Infinite-State Systems.
  • Bolgona, Italy.
  • 2009.
GAMES'09
  • PC Member.
  • GAMES'09, the Annual Workshop of the ESF Networking Programme on Games for Design and Verification.
  • Udine, Italy.
  • 2009.
ICALP'08
  • PC Member.
  • ICALP'08, the 35th International Colloquium on Automata, Languages and Programming.
  • Bolgona, Icelandy.
  • 2008.
RP'08
  • Invited Speaker.
  • RP'08, the 2nd Workshop on Reachability Problems.
  • Liverpool, UK.
  • 2008.
MEMICS'08
  • PC Member.
  • MEMICS'08, Annual Doctoral Workshop on Mathematical and Engineering Methods in Computer Science.
  • Znojmo, Czechia.
  • 2008.
CAV'07
  • PC Member.
  • CAV'07, the 19th International Conference on Computer Aided Verification.
  • Berlin, Germany.
  • 2007.
QEST'07
  • PC Member.
  • QEST'07, the 4th International Conference on the Quantitative Evaluation of SysTems.
  • Edinburgh, Scotland.
  • 2007.
MFCS'07
  • PC Member.
  • MFCS'07, 32nd International Symposium on Mathematical Foundations of Computer Science.
  • Cesky Krumlov, Czech Republic.
  • 2007.
CONCUR'06
  • PC Member.
  • CONCUR'06, the 17th International Conference on Concurrency Theory.
  • Bonn, Germany.
  • 2006.
FORMATS'06
  • PC Member.
  • FORMATS'06, the 4th International Conference on Formal Modelling and Analysis of Timed Systems.
  • Paris, France.
  • 2006.
FORMATS'05
  • Invited Speaker.
  • FORMATS'05, the 3rd International Conference on Formal Modelling and Analysis of Timed Systems.
  • Uppsala, Sweden.
  • 2005.
INFINITY'06
  • PC Member.
  • INFINITY'06, the 8th International Workshop on Verification of Infinite-State Systems.
  • Bonn, Germany.
  • 2006.
FORMATS'05
  • Invited Speaker, PC Member.
  • FORMATS'05, the 3rd International Conference on Formal Modelling and Analysis of Timed Systems.
  • Uppsala, Sweden.
  • 2006.
FoSSaCS'04
  • PC Member.
  • FoSSaCS'04, the 7th International Conference on Foundations of Software Science and Computation Structures.
  • Barcelona, Spain.
  • 2004.
INFINITY'02
  • PC Member.
  • INFINITY'02, the 4th International Workshop on Verification of Infinite-State Systems.
  • Brno, Czech Republic.
  • 2002.
VEPAS'01
  • Invited Speaker.
  • VEPAS'01, Verification of Parameterized Systems, ICALP'2001 satellite workshop.
  • Crete, Greece.
  • 2001.
LICS'01
  • PC Member.
  • LICS'01, the 16th IEEE International Symposium on Logic in Computer Science.
  • Boston, USA.
  • 2001.
CAV'00
  • Tutorial, PC Member.
  • CAV'00, the 12th Int. Conf. on Computer Aided Verification.
  • Chicago, USA.
  • 2000.