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.