Colloquium Logicum 2010 of the DVMLG. WWU Münster, September 2224, Germany, 2010.
CL&C'10, Third International Workshop on Classical Logic and Computation. Brno, Czech Republic, August 2122, 2010.
Summer Conference on Topology and its Applications. Kielce, 2530 July 2010.
Conference on Computability and Complexity in Analysis (CCA 2010). Zhenjiang, 2125 June 2010.
Conference dedicated to the 70th birthday of Academician Y. L. Ershov. Novosibirsk, 26 May 2010.
Workshop on Constructive Aspects of Logic and Mathematics. Kanazawa, 812 March 2010.
Colloquium PhD's in Logic II. Tilburg University, February 1819, 2010, The Netherlands.
Logical Approaches to Barriers in Computing and Complexity. Greifswald, 1720 February 2010.
Reverse Mathematics: Foundations and Applications. Chicago, 68 November 2009.
One Day Workshop on Ergodic Theory. London, 30 October 2009.
Symposium for Mogens Nielsen's 60th birthday. Aarhus, 34 October 2009.
Maltsev Meeting. Novosibirsk, 24  28 August 2009.
ASL Logic Colloquium 2009. Sofia, 31 July  5 August 2009.
Logic and Mathematics Conference. York, 37 August 2009.
The 9th International Conference on Fixed Point Theory and Its Applications. Changhua, 1622 July 2009.
Continuity, Computability, Constructivity: From Logic to Algorithms. Cologne, 1418 July 2009.
Leeds Symposium on Proof Theory and Constructivism. Leeds, 316 July 2009.
Algebra and Probability in ManyValued Logics. Darmstadt, 79 May 2009.
Computability, Reverse Mathematics and Combinatorics. Banff International Research Station, 712 December 2008.
Domains IX Workshop. Brighton, 2224 September 2008.
Colloquium Logicum 2008. Darmstadt, 1012 September 2008.
5th IFIP International Conference on Theoretical Computer Science (TCS2008). Milan, 710 September 2008.
British Logic Colloquium. Nottingham, 46 September 2008.
Summer School and Conference: Mathematics, Algorithms and Proofs (MAP). Trieste, 1129 August 2008.
WoLLIC 2008: 15th Workshop on Logic, Language, Information and Computation. Edinburgh, 14 July 2008.
FICS 2008: Foundations of Informatics, Computing and Software. Shanghai, 38 June 2008.
Mathematical Logic: Proof Theory, Constructive Mathematics. Oberwolfach, 612 April 2008.
Journée Herbrand à l'ENS. Paris, 15 February 2008.
75th Workshop on General Algebra AAA75+CYA23. Darmstadt, 24 November 2007.
Satellite Workshop on Modular Lattices. Darmstadt, 12 November 2007.
Workshop Deduction in Semantics. Stuttgart, 1012 October 2007.
Joint Workshop Domains VIII and Computability over Continuous Data Types. Novosibirsk, 1115 September 2007.
The 8th International Conference on Fixed Point Theory and its Applications, Chiang Mai, Thailand, 1622 July 2007.
Ninth International Workshop on Logic and Computational Complexity. Wroclaw, Poland, 15 July 2007.
Logic Colloquium 2007, Wroclaw, Poland, 1419 July 2007.
Third MATHLOGAPS Summer School. Centre Paul Langevin du CNRS, Aussois, France, 2430 June 2007.
Twentythird Conference on the Mathematical Foundations of Programming Semantics. Tulane University, New Orleans, LA USA, 1114 April 2007.
Trimester on methods of proof theory in mathematics. Max Planck Institute
for
Mathematics, Bonn, MarchJune 2007.
Mathematics, algorithms and proofs (MAP 2007). Leiden, the Netherlands, 812 January 2007.
20062007 ASL Winter Meeting. New Orleans, USA, 78 January 2007.
Joint Mathematics Meeting, AMSASL Special Session on Logical Methods in Computational Mathematics. New Orleans, USA, 57 January 2007.
Computer Science Logic 2006 (CSL 2006), 2529 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 1821, 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, JanuaryJuly 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
