Search for
Home > Science > Math > Logic and Foundations > Conferences >

Past_Conferences
New! Submit a site
 
whatUseek Directory Site Listings:
 
LFCS'97 - Logic at Yaroslavl - Symposium on Logical Foundations of Computer Science. Yaroslavl, Russia; 6--12 July 1997.
 
LFM 2000 - NASA Langley Formal Methods Workshop. Williamsburg, VA, USA; 13--15 June 2000. Photos, tutorial presentations.
 
LFM'99 - Workshop on Logical Frameworks and Meta-languages. Held as part of the Colloquium on Principles, Logics, and Implementations of High-Level Programming Languages. Paris, France; 28 September 1999. Proceedings in PostScript.
 
LICS 2000 - IEEE Symposium on Logic in Computer Science. Santa Barbara, California, USA; 26--28 June 2000.
 
LICS 2001 - IEEE Symposium on Logic in Computer Science. Boston, MA, USA; 16--19 June 2001.
 
LICS 2002 - LICS 2002 will be part of the 2002 Federated Logic Conference (FLoC 2002). Copenhagen, Denmark; 20 July -- 1 August 2002.
 
LLL 2001 - 3rd Learning Language in Logic Workshop. Co-located with ILP 2001. Strasbourg, France; 8--9 September 2001.
 
LOFT4 - Logic and the Foundations of Game and Decision Theory. ICER, Torino, Italy; 30 June -- 2 July 2000.
 
LPAR 2000 - Logic Programming and Automated Reasoning. Reunion Island, France; 11--12 November 2000.
 
LPAR'99 - Conference on Logic for Programming and Automated Reasoning
 
LPMS'99 - 11th International Congress of Logic, Methodology and Philosophy of Science. Cracow, Poland; 20--26 August 1999.
 
LPNMR'01 - 6th International Conference on Logic Programming and Nonmonotonic Reasoning. Vienna, Austria; 17--19 September 2001.
 
LPNMR'97 - 4th International Conference on Logic Programming and Non-Monotonic Reasoning. Dagstuhl, Germany; 28--31 July 1997.
 
LPNMR'99 - 5th International Conference on Logic Programming and Nonmonotonic Reasoning. El Paso, Texas, USA; 2--4 December 1999.
 
LUATCS '99 - First Southern African Summer School and Workshop on Logic, Universal Algebra, and Theoretical Computer Science. Rand Afrikaans University, Johannesburg, South Africa; 1--10 December 1999.
 
Logical Methods - EEF Foundations Summer School on Logical Methods. BRICS, Aarhus, Denmark; 25 June -- 6 July 2001.
 
MFCS 2001 - 26th International Symposium on Mathematical Foundations of Computer Science. Marianske Lazne, Czech Republic; 27--31 August 2001.
 
MFCS'98 - The 23rd International Symposium on Mathematical Foundations of Computer Science. Held jointly with CSL'98, CCA'98, FICS'98 and 68th PSSL. Brno, Czech Republic; 24--28 August 1998.
 
MFCS'99 - Symposium on Mathematical Foundations of Computer Science
 
MFPS XVII - Seventeenth Conference on the Mathematical Foundations of Programming Semantics. Aarhus University, Denmark; 23--27 May 2001.
 
 
[ 1 2 3 4 5 6 ]
Help build the largest human-edited directory on the web.
  Submit a Site - Open Directory Project - Become an Editor  
About   Help   Content Filter   Terms   Privacy Policy

© 2018 whatUseek