Top /
Science /
Math /
Logic_and_Foundations /
Meetings /
Past_Conferences /
 |
CICLOPS 2001
Colloquium on Implementation of Constraint and LOgic Programming Systems. Coral Beach Hotel, Paphos, Cyprus; 1 December 2001.
http://www.cs.nmsu.edu/~complog/conferences/iclp01/
Nmsu.edu ~
Site Info
Whois
Trace Route
RBL Check
|
 |
ICALP'96
23rd International Colloquium on Automata, Languages, and Programming. Paderborn, Germany; 8--12 July 1996.
http://www.uni-paderborn.de/~icalp96/
Uni-paderborn.de ~
Site Info
Whois
Trace Route
RBL Check
|
 |
LP-01.
Logic Programming for Artificial Intelligence and Information Systems. A thematic worskhop of EPIA 2001. Porto, Portugal 17--20 December 2001.
http://www.eventos.uevora.pt/epia/lp-01/
Uevora.pt ~
Site Info
Whois
Trace Route
RBL Check
|
 |
ACL2-2002
Third International Workshop on the ACL2 Theorem Prover and Its Applications. (In conjunction with ETAPS 2002). Grenoble, France; 8--9 April 2002.
http://www.cs.utexas.edu/users/moore/acl2/workshop-2002/
Utexas.edu ~
Site Info
Whois
Trace Route
RBL Check
|
 |
TPTS
Workshop on Theory and Practice of Timed Systems. (A satellite event of ETAPS 2002.) Grenoble, France; 6--7 April 2002.
http://www-verimag.imag.fr/~maler/TPTS.html
Imag.fr ~
Site Info
Whois
Trace Route
RBL Check
|
 |
CCF'99
First Workshop on Constructivity, Complexity, and Fuzziness. Galati, România; 26--28 August 1999.
http://www.informatik.uni-halle.de/~staiger/galati.html
Uni-halle.de ~
Site Info
Whois
Trace Route
RBL Check
|
|
|
|
