Enero 6-8: Logical Formalizations of Commonsense Reasoning, Stanford University.
Marzo 9-12:Association for Symbolic Logic Annual Meeting, Madison, Wisconsin.
Marzo 12-13:Model Theory Conference in honor of H. J. Keisler, Madison, Wisconsin.
Marzo 28-30: Extensions of Logic Programming, Leipzig, Alemania.
Marzo 17-20: Theoretical Aspects of Rationality & Knowledge, De Zeeuwse Stromen, Holanda.
Marzo 29 - Abril 2: Linear Logic 96, Tokyo, Japón.
Mayo 8-10:3rd Workshop on Logic, Language, Information, and Computation (WoLLIC '96) y la 11th Brazilian Conference on Mathematical Logic (EBL '96), Salvador (Bahia), Brasil.
Mayo 15-17: Theorem Proving with Analytic Tableaux & Related Methods, Palermo.
Mayo 29-31: Multiple-Valued Logic, Universidad de Santiago de Compostela, España.
Junio 3-7: Formal and Applied Practical Reasoning. G. Stresemann Institut, Bonn.
Junio 5-7:Cinquièmes Journées Francophones de Programmation Logique et programmation par Contraintes (JFPLC'96), Clermont-Ferrand, Francia.
Junio 6-8: Workshop on Unification, Herrsching, Alemania.
Junio 10-12:International Workshop on Nonmonotonic Reasoning, Timberline, Oregon, USA.
Junio 24-29:Int. Summer School on Advances in Logic Programming, Alghero, Italia.
Julio 1-2: Logic in Databases, Pisa, Italia.
Julio 5-8:Annual Conference of the Australasian Association for Logic, University of Queensland, Brisbane, Australia.
Julio 9-15:ASL European Summer Meeting (Logic Colloquium '96), Donostia, San Sebastián, España.
Julio 27-30: 11th Annual IEEE Symposium on Logic in Computer Science (LICS96), Rutgers, New Brunswick, New Jersey, como parte de la Federated Logic.
Julio 30 - Agosto 3:International Conferece on Automated Deduction, Rutgers, NJ, USA.
Agosto 18-20:7th Scandinavian Logic Symposium, U. de Uppsala, Suecia.
Agosto 25-29:Logical Foundations of Mathematics, Computer Science, and Physics: Kurt Gödel's Legacy, Brno, República Checa.
Septiembre 3-6:1st Int. Workshop on Rewriting Logic and its Applications, Pacific Grove, CA.
Septiembre 16-20: Logics and models of computation, Marsella.
Septiembre 25-27: Algebraic and Logic Programming/Programming Languages, Implementations, Logics and Programs, Aachen, Alemania.
Septiembre, últimos: Computer Science Logic, Utrecht.
Septiembre 30-Oct3: European Workshop on Logics in AI, Evora, Portugal.