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.
Colloquium PhD's in Logic II. Tilburg University, February 18-19, 2010, The Netherlands.
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
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.
on "The use of proof theory in mathematics" within the
DMV 2006 Meeting, Bonn
WoLLIC'2006, 13th Workshop on Logic, Language, Information and Computation
July 18-21, 2006, Stanford, California, USA.
"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,
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