| |
Home > Conferences and Workshops
Member of the
external review committee of the
40th Annual ACM Symposium on Principles of Programming
Languages (POPL). Rome, Italy, Jan 2013.
PC member of the
Turing Centenary Conference, Computability in Europe, CiE 2012,
Cambridge, U.K., June 2012.
PC member of the
8th International Workshop on Developments in Computational
Models, a satellite workshop of CiE 2012, Cambridge, U.K., June 2012.
PC member of the
Twenty-eighth Conference on the Mathematical Foundations of
Programming Semantics, Bath, U.K., June 2012.
PC member of the
Symposium in honour of Dexter Kozen's 60th birthday, Ithaca, USA,
April 2012.
PC member of the
11th International Workshop on Coalgebraic Methods in Computer
Science, Talinn, Estonia, March-April 2012.
PC member of the
Eighth Workshop on Quantum Physics and Logic (QPL), Nijmegen, The
Netherlands, Oct 2011.
PC member of the
Workshop on Quantum Physics meets TARK, Groningen, The Netherlands,
July 2011.
PC member of the
The 38th International Colloquium on Automata, Languages and Programming,
Zürich, Switzerland, July 2011.
PC member of the
18th Workshop on Logic, Language, Information and Computation
(WoLLIC 2011), Philadelphia, Pennsylvania, May 2011.
PC member of the
27th Conference on the Mathematical Foundations of Programming
Semantics, Pittsburgh, USA, May 2011.
PC member of the
38th Annual ACM Symposium on Principles of Programming Languages (POPL)
2011. Austin, USA, Jan 2011.
PC co-chair of the
FLoC Workshop on Developments in Computational Models, DCM
2010. Edinburgh, Scotland, July 2010.
PC member of the
IARCS Annual Conference on Foundations of Software Technology and
Theoretical Computer Science, Chennai, India, December 2010.
PC member of the
21st International Conference on Concurrency, CONCUR 2010. Paris,
France; Sept 2010.
PC member of the
19th EACSL Annual Conference on Computer Science Logic, Brno,
Czech Republic, August 2010.
PC co-chair of the
FLoC Workshop on Developments in Computational Models, DCM
2010. Edinburgh, Scotland, July 2010.
PC member of the
26th Conference on the Mathematical Foundations of Programming
Semantics, Ottawa, Canada, May 2010.
Organizer of the Bellairs Workshop on Computational Modelling of Biological Systems. Barbados, Mar 16 - Mar 20 2009.
Program committee member of the Twelfth International Conference on Foundations of Software Science and Computation Structures. March 22 to March 29, York, UK.
Program committee member of the Twenty-fifth Conference on the Mathematical Foundations of Programming Semantics, April 3-7 2009, Oxford, UK.
Program committee co-chair of the Sixth Workshop on Quantum Physics and Logic. April 8-9, 2009, Oxford, UK.
Program committee member of the Twenty-Fourth Annual IEEE Symposium On Logic In Computer Science (LICS 2009), 11th-14th August 2009, Los Angeles, California, USA.
Program committee member the Fifth Annual Conference on
Computability in Europe, 19-24 July 2009, Heidelberg,
Germany.
Organizer of the Bellairs Workshop on Topological Quantum Computation and Quantum Information Theory. Barbados, Mar 17 - Mar 21 2008.
Program committee member of FoSSaCS 2008: Eleventh International Conference on Foundations of Software Science and Computation Structures, March 29 - April 6, 2008, Budapest, Hungary.
Program committee member of QAPL 2008 Budapest, Hungary, March 29-30.
Program Committee co Chair of FICS 2008 The First International Conference on Foundations of Informatics, Computing and Software, Shanghai, China, June 2008.
Program Committee co Chair of QPL-DCM 2008, joint workshop on Quantum Programming Languages and Development of Computational Models, affiliated with International Colloquium On Automata Languages And Programming, July 2008, Rejkavik, Iceland.
Program Committee co Chair of SecCo 2008 Fourth International Workshop on Security Issues in Concurrency, affiliated with CONCUR 2008, Toronto Ontario, August 2008. Here is the web page of SecCo 2007.
Program Committee co Chair of QEST 2008: September 2008, Saint Malo, France.
Organizer of the Bellairs Workshop on Mathematical Methods for Reasoning about Security Mar 19 - Mar23 2007.
Program Committee of the 2nd Conference on Algebra and Coalgebra in Computer Science August 20-24, 2007, Bergen, Norway.
Program Committee of the 14th Workshop on Logic, Language, Information and Computation (WoLLIC'2007) Rio de Janeiro, Brazil, July 2-5, 2007
Program Committee of Structural Operational Semantics 2007 (SOS 2007), July 9, 2007, Wroclaw, Poland.
Program Committee of 4th International Conference on the Quantitative Evaluation of SysTems (QEST) 2007 Edinburgh, Scotland, 16th-19th September 2007.
|
