Directory: Top/Science/Math/Logic_and_Foundations/Meetings/Past

Top / Science / Math / Logic_and_Foundations / Meetings / Past_Conferences /

Description Logics Workshops
Proceedings of past workshops, some on-line.
http://dl.kr.org/workshops/
Kr.org ~ Site Info Whois Trace Route RBL Check

LICS 2001
IEEE Symposium on Logic in Computer Science. Boston, MA, USA; 16--19 June 2001.
http://www.cs.bu.edu/faculty/mairson/LICS01/
Bu.edu ~ Site Info Whois Trace Route RBL Check

Proof and System Reliability
Marktoberdorf Summer School, Germany; 24 July -- 5 August 2001.
http://www4.in.tum.de/div/summerschool/
Tum.de ~ Site Info Whois Trace Route RBL Check

The Logic Programming Paradigm: Current Trends and Future Directions
Shakertown, Kentucky, USA; 27--27 April 1998. Photos.
http://www.cs.nmsu.edu/~complog/shaker/
Nmsu.edu ~ Site Info Whois Trace Route RBL Check

Algebra and Discrete Mathematics
A Euresco conference on the interplay between model theory, infinite combinatorics and various subfields of algebra. Hattingen, Germany; 18 -- 23 August 2001.
http://www.esf.org/euresco/01/pc01101a.htm
Esf.org ~ Site Info Whois Trace Route RBL Check

MFCS 2001
26th International Symposium on Mathematical Foundations of Computer Science. Marianske Lazne, Czech Republic; 27--31 August 2001.
http://www.math.cas.cz/~mfcs2001/
Cas.cz ~ Site Info Whois Trace Route RBL Check

FICS'2001 Fixed Points in Computer Science
A Satellite Workshop to PLI'2001. Florence, Italy; 8 September 2001.
http://www.dsi.uniroma1.it/~labella/FICS.html
Uniroma1.it ~ Site Info Whois Trace Route RBL Check

PLI 2001
Principles, Logics, and Implementations of high-level programming languages. Including ICFP and PPDP. Firenze, Italy; 2--8 September 2001.
http://music.dsi.unifi.it/pli01/
Unifi.it ~ Site Info Whois Trace Route RBL Check

LLL 2001
3rd Learning Language in Logic Workshop. Co-located with ILP 2001. Strasbourg, France; 8--9 September 2001.
http://www.fi.muni.cz/ilpnet2/LLL2001/
Muni.cz ~ Site Info Whois Trace Route RBL Check

CSL'01
Annual Conference of the European Association for Computer Science Logic. Paris, France; 10--13 September 2001.
http://www.lsv.ens-cachan.fr/csl01/
Ens-cachan.fr ~ Site Info Whois Trace Route RBL Check