The 9th International Conference on Fixed Point Theory and Its Applications
16-22 July 2009, Changhua, Taiwan Department of
Mathematics National Changhua University of Education.
Algebra and Probability in Many-Valued Logics
7-9 May 2009, Technische Universitaet Darmstadt
Colloquium Logicum 2008,
the biennial meeting of the German Society for Mathematical Logic (DMVLG)
10-12 September 2008, Technische Universitaet Darmstadt
WCNA 2008, World Congress of Nonlinear Analysis
2-9 July 2008, Orlando, USA.
Conference on Nonlinear Analysis and Optimization in honor of Alex Ioffe's 70th and Simeon Reich's 60th birthdays
18-24 June 2008, Technion, Haifa, Israel.
Oberwolfach Workshop Mathematical Logic: Proof Theory, Type Theory and Constructive Mathematics
6-12 April 2008, Mathematics Research Institute Oberwolfach .
Joint Workshop DOMAINS VIII and Computability over Continuous Data Types
11-15 September 2007, Novosibirsk, Russia.
The 8th International Conference on Fixed Point Theory and Its Applications
16-22 June 2007 Chiang Mai, Thailand
Trimestre on methods of proof theory in mathematics
March-June 2007, Max Planck Institute for Mathematics, Bonn, Germany
AMS-ASL Special Session on Logical Methods in Computational Mathematics, AMS-MAA Joint Mathematics Meetings
January 5-8 2007, New Orleans, USA.
WoLLIC'2006, 13th Workshop on Logic, Language, Information and Computation
18-21 July 2006, Stanford University, USA.
Horizons of Truth: Logics, Foundations of Mathematics, and the Quest for Understanding the Nature of Knowledge. Gödel Centenary 2006
An International Symposium Celebrating the 100th Birthday of Kurt Gödel
27-29 April 2006, Vienna, Austria.
MAP (Mathematics, Algorithms, Proofs) 2006
9-13 January 2006, Castro Urdiales, Spain
Oberwolfach Workshop Mathematical Logic: Proof Theory, Type Theory and Constructive Mathematics
20-26 March 2005, Mathematics Research Institute Oberwolfach .
MAP (Mathematics, Algorithms, Proofs) 2005
9-14 January 2005, Seminar 05021, IBFI Schloss Dagstuhl, Germany.
Workshop on Proof Theory and Algorithms
23-29 March 2003, International Centre for Mathematical Sciences (ICMS), Edinburgh.
The Romanian Computer Science and Logic Winter Meeting 2002 (RCSLW02)
December 23, 2002, Faculty of Mathematics and Computer Science, University of Bucharest.