| Directory > Science > Math > Logic and Foundations > Meetings > Series LOPSTR
International Workshop on Logic-based Program Synthesis and Transformation. Held annually
since 1991.
http://www.cs.man.ac.uk/~kung-kiu/lopstr/
Reviews Rating: Not yet Rated
Whois 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://logik.mathematik.uni-freiburg.de/lics/
Reviews Rating: Not yet Rated
Whois Check
Mathematical Foundations of Programming Semantics
Held annually since 1985.
http://www.math.tulane.edu/mfps.html
Reviews Rating: Not yet Rated
Whois Check
Formal Methods
World Congress on Formal Methods (FM).
http://dblp.uni-trier.de/db/conf/fm/
Reviews Rating: Not yet Rated
Whois Check
Methods for Modalities
A series of workshops on the relationship between modal formalisms and computer science.
http://turing.wins.uva.nl/~m4m/
Reviews Rating: Not yet Rated
Whois Check
MFPS
Mathematical Foundations of Programming Semantics. An annual series of meetings.
http://www.math.tulane.edu/MFPS.html
Reviews Rating: Not yet Rated
Whois Check
Inference in Computational Semantics (ICoS)
An annual series of workshops. Endorsed by SIGSEM, the ACL Special Interest Group in Computational
Semantics.
http://turing.wins.uva.nl/~mdr/ICoS/
Reviews Rating: Not yet Rated
Whois 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
Reviews Rating: Not yet Rated
Whois Check
KR
Principles of Knowledge Representation and Reasoning. An annual series of conferences.
http://www.kr.org/kr/
Reviews Rating: Not yet Rated
Whois Check
NMRW
International Workshops on Nonmonotonic Reasoning.
http://www.kr.org/nm/
Reviews Rating: Not yet Rated
Whois Check
FMOODS
Formal Methods for Open Object-based Distributed Systems. An annual series of conferences.
http://www.cs.ukc.ac.uk/research/netdist/fmoods/
Reviews Rating: Not yet Rated
Whois 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/
Reviews Rating: Not yet Rated
Whois Check
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
Reviews Rating: Not yet Rated
Whois Check
Boise Extravaganza in Set Theory Conferences
(BEST) organized at Department of Mathematics and Computer Science, Boise State University.
http://math.boisestate.edu/~best/
Reviews Rating: Not yet Rated
Whois Check
AiML - Advances in Modal Logic
A bi-annual workshop and book series. The aim of the workshop series is to report on important new
developments in pure and applied modal logic, at varying locations throughout the world. The book
series is based on the workshops.
http://turing.wins.uva.nl/~mdr/AiML/
Reviews Rating: Not yet Rated
Whois Check
TARK - Theoretical Aspects of Rationality and Knowledge
Binannual conferences on interdisciplinary issues involving reasoning about rationality and
knowledge.
http://www.tark.org/
Reviews Rating: Not yet Rated
Whois Check
|
