Publicationsconferences and workshopsTalksStudentsTeachingRL LabLinkscurricullum Publications conferences and workshops Talks Students Teaching RL Lab Links curricullum
 



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.



  • 11