Oberwolfach Workshop on Mathematical Logic: Proof Theory, Constructive Mathematics. Mathematical Research Institute Oberwolfach, November 6-12, 2011.

Mal'tsev Meeting. Novosibirsk, October 11-14, 2011.

Domains X Workshop 2011. Swansea, Department of Computer Science, Wales, UK, September 2-17, 2011.

Ramsey Theory in Logic, Combinatorics and Complexity. Bertinoro (Italy), May 22-27, 2011.

AMS-ASL Special Session on Logic and Analysis. New Orleans, January 6-9, 2011.

Collegium Logicum: Proofs and Structures, Paris, November 8-10, 2010.

Colloquium Logicum 2010 of the DVMLG. WWU Münster, September 22-24, Germany, 2010.

CL&C'10, Third International Workshop on Classical Logic and Computation. Brno, Czech Republic, August 21-22, 2010.

Summer Conference on Topology and its Applications. Kielce, 25-30 July 2010.

Conference on Computability and Complexity in Analysis (CCA 2010). Zhenjiang, 21-25 June 2010.

Conference dedicated to the 70th birthday of Academician Y. L. Ershov. Novosibirsk, 2-6 May 2010.

 Workshop on Constructive Aspects of Logic and Mathematics. Kanazawa, 8-12 March 2010.

Logical Approaches to Barriers in Computing and Complexity. Greifswald, 17-20 February 2010. 

Reverse Mathematics: Foundations and Applications. Chicago, 6-8 November 2009.

One Day Workshop on Ergodic Theory. London, 30 October 2009.

Symposium for Mogens Nielsen's 60th birthday. Aarhus, 3-4 October 2009.

Maltsev Meeting. Novosibirsk, 24 - 28 August 2009.

ASL Logic Colloquium 2009. Sofia, 31 July - 5 August 2009.

Logic and Mathematics Conference. York, 3-7 August 2009.

The 9th International Conference on Fixed Point Theory and Its Applications. Changhua, 16-22 July 2009.

Continuity, Computability, Constructivity: From Logic to Algorithms. Cologne, 14-18 July 2009.

Leeds Symposium on Proof Theory and Constructivism. Leeds, 3-16 July 2009.

 Algebra and Probability in Many-Valued Logics. Darmstadt, 7-9 May 2009. 

 Computability, Reverse Mathematics and Combinatorics. Banff International Research Station, 7-12 December 2008. 

 Domains IX Workshop. Brighton, 22-24 September 2008. 

 Colloquium Logicum 2008. Darmstadt, 10-12 September 2008. 

 5th IFIP International Conference on Theoretical Computer Science (TCS-2008). Milan, 7-10 September 2008. 

 British Logic Colloquium. Nottingham, 4-6 September 2008. 

 Summer School and Conference: Mathematics, Algorithms and Proofs (MAP). Trieste, 11-29 August 2008. 

 WoLLIC 2008: 15th Workshop on Logic, Language, Information and Computation. Edinburgh, 1-4 July 2008. 

 FICS 2008: Foundations of Informatics, Computing and Software. Shanghai, 3-8 June 2008. 

 Mathematical Logic: Proof Theory, Constructive Mathematics. Oberwolfach, 6-12 April 2008. 

 Journée Herbrand à l'ENS. Paris, 15 February 2008. 

 75th Workshop on General Algebra AAA75+CYA23. Darmstadt, 2-4 November 2007.

 Satellite Workshop on Modular Lattices. Darmstadt, 1-2 November 2007.

 Workshop Deduction in Semantics. Stuttgart, 10-12 October 2007.

 Joint Workshop Domains VIII and Computability over Continuous Data Types. Novosibirsk, 11-15 September 2007. 

 The 8th International Conference on Fixed Point Theory and its Applications, Chiang Mai, Thailand, 16-22 July 2007. 

 Ninth International Workshop on Logic and Computational Complexity. Wroclaw, Poland, 15 July 2007. 

 Logic Colloquium 2007, Wroclaw, Poland, 14-19 July 2007. 

 Third MATHLOGAPS Summer School. Centre Paul Langevin du CNRS, Aussois, France, 24-30 June 2007.

 Twenty-third Conference on the Mathematical Foundations of Programming Semantics. Tulane University, New Orleans, LA USA, 11-14 April 2007. 

 Trimester on methods of proof theory in mathematics. Max Planck Institute for Mathematics, Bonn, March-June 2007.

 Mathematics, algorithms and proofs (MAP 2007). Leiden, the Netherlands, 8-12 January 2007. 

2006-2007 ASL Winter Meeting. New Orleans, USA, 7-8 January 2007.

 Joint Mathematics Meeting, AMS-ASL Special Session on Logical Methods in Computational Mathematics. New Orleans, USA, 5-7 January 2007. 

 Computer Science Logic 2006 (CSL 2006), 25-29 September, 2006, Szeged, Hungary. 

Minisymposium on "The use of proof theory in mathematics" within the DMV 2006 Meeting, Bonn 17.-23.09.06. 

 WoLLIC'2006, 13th Workshop on Logic, Language, Information and Computation July 18-21, 2006, Stanford, California, USA.

 Workshop "Trends in Constructive Mathematics", Frauenwörth (Chiemsee, Bavaria, Germany), 19 to 23 June 2006, organised by LMU - Department of Mathematics, 

  Isaac Newton Institute for Mathematical Sciences, Logic and Algorithms, Cambridge, January-July 2006 

  The 2006 Federated Logic Conference, August 2006, Seattle, including  Twenty First Annual IEEE Symposium on Logic in Computer Science 

  Advances in Modal Logic 2006 

  TAMC'06: Theory and Applications of Models of Computation 

  ISTDT'06: International Symposium on Domain Theory