Past Events
These are listed in (roughly) chronological order.
International Conference on Logic Programming: ICLP'99
Australasian Workshop on Computational Logic: AWCL
Computing: the Australasian Theory Symposium: CATS
Practical Applications Expo: PA EXPO 2000
International Conference on Automated Deduction: CADE-17
International Conference on Computer-Aided Verification: CAV 2000
Computer Science Logic: CSL 2000
Foundations of Software Science and Computation Structures: FOSSACS 2000
IEEE Symposium on Logic in Computer Science: LICS
International Conference on Multi-Agent Systems: ICMAS
International Workshop on Agent Theories, Architectures and Languages: ATAL
International Workshop on First-order Theorem Proving: FTP'2000
Automated Reasoning with Analytic Tableaux and Related Methods: Tableaux'2000
First International Conference on Computational Logic: CL2000
European Workshop on Logic in AI: Jelia 2000
Pacific Rim International Conference on Artificial Intelligence: PRICAI
Tenth Congress of Yugoslav Mathematicians
Australasian Workshop on Computational Logic: AWCL'01
Computing: Australasian Theory Symposium: CATS'01
Australasian Computer Science Week: ACSW'01
International Joint Conference on Automated Reasoning: IJCAR 2001
IEEE Symposium on Logic in Computer Science: LICS 2001
International Joint Conference on Artificial Intelligence: IJCAI'01
European Summer School in Logic, Language and Information: ESSLLI 2001
Principles, Logics, and Implementations of high-level programming languages: PLI 2001
International Conference on Logic Programming and Nonmonotonic Reasoning: LPNMR 2001
International Conference on Principles and Practice of Declarative Programming: PPDP 2001
International Symposium on Theoretical Aspects of Computer Software: TACS 2001
International Conference on Logic Programming: ICLP'01
ICLP'01Workshop on Computational Logic in Multi-Agent Systems: CLIMA'01
Australian Joint Conference on Artificial Intelligence: AI'01
Australasian Computer Science Week: ACSW'02
Computing: the Australasian Theory Symposium: CATS'02
International Conference on Principles of Knowledge Representation and Reasoning: KR'02
International Conference on Autonomous Agents and Multiagent Systems: AAMAS'02
Federated LogicConference: FLoC 2002
which includes:
International Conference on Logic Programming: ICLP'02
International Conference on Automated Deduction: CADE'02
International Conference on Automated Reasoning with Analytic Tableaux and Related Methods: TABLEAUX'02
IEEE Symposium on Logic in Computer Science: LICS'02
International Workshop on Linear Logic: LL02
International Workshop on Computational Logic in Multi-Agent Systems: CLIMA'02
International Workshop on Specification, Analysis and Validation for Emerging Technologies: SAVE'02
AustralasianWorkshop on Computational Logic: AWCL'02
Annual Conference of the Australian Association for Logic: AAL'02
Australian Joint Conference on Artificial Intelligence: AI'02
Australasian Computer Science Week: ACSW'03
Computing: the Australasian Theory Symposium: CATS'03
International Conference on Automated Deduction: CADE'03
International Conference on Autonomous Agents and Multi-agent Systems: AAMAS'03
International Conference on Automated Reasoning with Tableaux and Related Methods: TABLEAUX'03
International Conference on Logic Programming: ICLP'03
International Workshop on Computational Logic in Multi-Agent Systems: CLIMA'04
International Conference on the Principles of Knowledge Representation and Reasoning: KR'04
International Joint Conference on Automated Reasoning: IJCAR'04
Fourth International Workshop on Logical Frameworks and Meta-Languages: LFM'04
International Conference on Algebraic Methodology And Software Technology: AMAST'04
IEEE Symposium on Logic in Computer Science: LICS'04
LICS Workshop on Logics for Resources, Processes and Programs: LRPP'04
International Conference on Autonomous Agents and Multi-agent Systems: AAMAS'04
European Summer School on Logic, Language and Information: ESSLLI'04
ESSLLI04 Workshop on Logic and Communication in Multi-Agent Systems: LCMAS'04
European Conference on Artificial Intelligence: ECAI'04
Annual Conference of the European Association for Computer Science Logic:CSL'04
Advances in Modal Logic: AiML'04
International Conference on Logic Programming: ICLP'04
Ninth European Conference on Logics in Artificial Intelligence: JELIA'04
International Conference on Artificial Intelligence and Symbolic Computation: AISC'04
Australian Joint Conference on Artificial Intelligence: AI'04
Australasian Computer Science Week: ACSW'05
Computing:the Australasian Theory Symposium: CATS'05
Foundations of Interactive Computation: FInCo'05
IEEE Symposium on Logic in Computer Science: LICS'05
International Workshop on Computational Logic for Multi-Agent Systems: CLIMA'05
International Conference on Automated Deduction: CADE'05
International Conference on Autonomous Agents and Multi-Agent Systems: AAMAS'05
International Joint Conference on artificial Intelligence: IJCAI'05
International Conference on Automated Reasoning with Tableaux and Related Methods: TABLEAUX'05
Annual Conference of the European Association for Computer Science Logic (CSL'05)
Computing:the Australasian Theory Symposium (CATS'06)
Australasian Computer Science Week (ACSW'06)
CSR Workshop on Logic for Automated Reasoning and Automated Reasoning for Logic (LARRAL)
International Conference on Autonomous Agents and Multi-Agent Systems (AAMAS'06)
International Workshop on Computational Logic for Multi-Agent Systems (CLIMA'06)
Pacific Rim International Conference on Artificial Intelligence (PRICAI'06)
Computability in Europe 2006: Logical Approaches to Computational Barriers
Federated Logic Conference (FLoC'06
)
which includes:
International Joint Conference on Automated Deduction (IJCAR'06)
.This is a joint meeting of CADE, FRoCoS, FTP, Tableaux and TPHOLS
International Conference on Logic Programming (ICLP'06)
IEEE Symposium on Logic in Computer Science (LICS'06)
International Conference on Theory and Applications of Satisfiability Testing
Sixth International Workshop on Strategies in Automated Deduction
International Conference on Advances in Modal Logic(AiML'06)
10th European Conference on Logics in Artificial Intelligence
International Symposium on Practical Cognitive Agents and Robots (PCAR'06)
International Conference on Logic Programming and Automated Reasoning (LPAR'06)
Australasian Computer Science Week (ACSW'07)
Computing:the Australasian Theory Symposium (CATS'07)
International Conference on Autonomous Agents and Multi-Agent Systems (AAMAS'07)
Computability in Europe 2007: Computation and Logic in the Real World (CiE'07)
IEEE Symposium on Logic in Computer Science (LICS'07)
International Conference on Automated Reasoning with Tableaux and Related Methods (Tableaux '07)
International Conference on Automated Deduction (CADE'07)
CLIMA'07
Back to main page