Enter Domain Name:

Top / Science / Math / Logic_and_Foundations / Meetings / Series /

CADE
Conference on Automated Deduction. Annual conference series under the auspices of the Association of Automated Reasoning.
http://www.cs.albany.edu/~nvm/cade.html
Albany.edu  ~   Site Info   Whois   Trace Route   RBL Check  
TABLEAUX
The International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, held every year since 1992. Links to individual meetings.
http://i12www.ira.uka.de/TABLEAUX/
Uka.de  ~   Site Info   Whois   Trace Route   RBL Check  
Set Theory and its Neighbours
A series of one-day meetings held at the London Mathematical Society, De Morgan House, Russell Square, London.
http://www.ucl.ac.uk/~ucahcjm/stn.html
Ucl.ac.uk  ~   Site Info   Whois   Trace Route   RBL Check  
Formal Methods
World Congress on Formal Methods (FM).
http://dblp.uni-trier.de/db/conf/fm/
Uni-trier.de  ~   Site Info   Whois   Trace Route   RBL Check  
LOPSTR
International Workshop on Logic-based Program Synthesis and Transformation. Held annually since 1991.
http://www.cs.man.ac.uk/~kung-kiu/lopstr/
Man.ac.uk  ~   Site Info   Whois   Trace Route   RBL Check  
NMRW
International Workshops on Nonmonotonic Reasoning.
http://www.kr.org/RelatedConferences.html
Kr.org  ~   Site Info   Whois   Trace Route   RBL Check  
MFPS
Mathematical Foundations of Programming Semantics. An annual series of meetings.
http://math.tulane.edu/~mfps/
Tulane.edu  ~   Site Info   Whois   Trace Route   RBL Check  
LICS
IEEE Symposium on Logic in Computer Science: an annual international forum on theoretical and practical topics in computer science that relate to logic in a broad sense.
http://www.informatik.hu-berlin.de/lics/
Hu-berlin.de  ~   Site Info   Whois   Trace Route   RBL Check  
Boise Extravaganza in Set Theory Conferences
(BEST) organized at Department of Mathematics and Computer Science, Boise State University.
http://math.boisestate.edu/~best/
Boisestate.edu  ~   Site Info   Whois   Trace Route   RBL Check  
FMOODS'08
A conference aiming to provide an integrated forum for research on formal aspects of Open Object-based Distributed Systems.
http://discotec08.ifi.uio.no/FMOODS08/HomePage
Uio.no  ~   Site Info   Whois   Trace Route   RBL Check