| |
Home > Conferences and Workshops
PC Member of
ACM-IEEE Symposium On Logic In Computer Science, Haifa, Israel,
Aug 2022.
PC Member of International
Colloquium On Automata Languages And Programming, Paris, France, July 2022.
PC Member of
Mathematical Foundations Of Programming Semantics, Salzburg, Austria,
Aug-Sept 2021.
PC Member of
Quantum Physics and Logic, Gdansk, Poland, June 2021.
PC Member of
Mathematical Foundations Of Programming Semantics, Paris, France,
June 2020.
PC Chair of QPL 2020: Quantum Physics and Logic, Paris, France, June 2020.
PC Member of
FOSSACS 2020: International Conference on Foundations of Software Science and Computation Structures
Dublin, Ireland, April-May 2020.
PC Member of
Computer Science Logic, Barcelona, Spain, Jan 2020.
PC Member of
ACM-IEEE Symposium On Logic In Computer Science, Vancouver, Canada,
June 2019.
PC Member of
Mathematical Foundations Of Programming Semantics, London, U.K.,
June 2019.
PC Member of
QPL 2018: 15th International Conference on Quantum Physics and Logic,
Halifax, Canada, June 2018.
PC Member of
Principles of Programming Languages, St. Petersburg, Florida, USA,
Jan 2016.
PC Member of LPAR
20, the 20th International Conference on Logic for Programming,
Artificial Intelligence and Reasoning Suva, Fiji, November
2015.
PC Member of the
12th International Colloquium on Theoretical Aspects of Computing (ICTAC 2015)
Cali, Colombia, October 2015.
PC Member of the
of the Highlights of Logic, Games and Automata Conference,
Prague, September 2015.
PC Member of the
40th International Symposium on Mathematical Foundations of
Computer Science, Milano, Italy, August 2015.
PC Member of the
of the Tenth International Computer Science Symposium in Russia,
Listvyanka, July 2015.
PC Member of the
International Colloquium on Automata Languages and Programming,
Kyoto, July 2015.
PC Member of the
31st Annual Conference on Mathematical Foundations of Programming
Semantics, Nijmegen, Netherlands, June 2015.
PC Member of the
of the Tenth International Tbilisi Symposium on Language,
Logic and Computation. Gudauri, Georgia, September 2013.
PC Member of the
of the 5th Conference on Algebra and Coalgebra in Computer
Science, CALCO 2013. Warsaw, Poland, September 2013.
PC Member of the
of the 24th International Conference on
Concurrency Theory, CONCUR 2013. Buenos Aires, Argentina, August
2013.
PC Member of the
of the 29th International Conference on Mathematical Foundations
of Programming Semantics. New Orleans, USA, June 2013.
PC Member of the
of the 10th Workshop on Quantum Physics and Logic. Barcelona,
Spain, June 2013.
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.
|
