Invited talks

• Theory Day, Columbia University, New York, NY (September, 1983)

• Workshop on Reasoning about Cooperating Agents and Concurrent Processes, Monterey, CA (August, 1984)

• Advanced NATO Institute on Logics and Models for Verification and Specification of Concurrent Systems, La Colle-sur-Loup, France (October, 1984)

• Symposium on Complexity of Approximately Solved Problems, New York, NY (April, 1985)

• Workshop on Formal and Computational Aspects of the Modelling of Discourse and Speaker Attitudes, Tilberg, Netherlands (April, 1985)

• Fifth Annual Brazilian Computation School, Belo Horizonte, Brazil (July, 1986)

• Workshop on Parallel and Distributed Computing, Berkeley, CA (May, 1986)

• National Computer Conference, Las Vegas (June, 1986)

• Workshop on Distributed Algorithms in Communication and Computation, Cambridge, MA (October, 1986)

• 15th Annual Electronic Materials Symposium, Santa Clara, CA, (March, 1987) (luncheon speaker)

• SEAS/Share Spring Meeting, Montpellier, France (April, 1987) (keynote speaker)

• Sixth Amsterdam Colloquium, Amsterdam, Netherlands (April, 1987)

• Second Conference on Theoretical Aspects of Reasoning About Knowledge, Monterey, CA (March, 1988)

• Concurrency-88, Hamburg, West Germany (Oct., 1988)

• Bar Ilan Symposium on Foundations of Artificial Intelligence, Bar Ilan, Israel (June, 1989)

• IMSSS Summer Workshop on Bounded Rationality, Stanford, CA (August, 1989)

• Fourth International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Brighton, England (April, 1991)

• Fourth Conference on Theoretical Aspects of Reasoning About Knowledge, Monterey, CA (March, 1992)

• Third Kurt Gödel Colloquium, Brno, Czechoslovakia (August, 1993)

• Thirteenth Conference on the Foundations of Software Technology and Theoretical Computer Science, Bombay, India (December, 1993)

• International Conference on Epistemic Logic and the Theory of Games and Decisions, Marseilles, France (January, 1994)

• Third CSLI Workshop on Logic, Language, and Computation, Stanford, CA (June, 1994)

• Fourth International Colloquium on Cognitive Science, San Sebastian, Spain (May, 1995)

• DIMACS Workshop on Finite Model Theory, Rutgers, NJ (Nov., 1995)

• Dutch Association of Logic, Utrecht, Netherlands (March, 1996)

• Symposium on Saul Kripke's Contribution to Philosophy, San Marino (May, 1996)

• Thirteenth National Conference on Artificial Intelligence (AAAI-96), Portland (August, 1996)

• SITE '96 Workshop on Game Theory, Stanford University, Palo Alto, CA (August, 1996)

• Workshop on Bounded Rationality and Default Reasoning in Epistemic Logic and Artificial Intelligence with Aplications to Economics and Game Theory, Florence, Italy (July, 1997)

• Sixth Scandinavian Conference on Artificial Intelligence (SCAI '97), Helsinki, Finland (Augsut, 1997)

• Fifth International Symposium on Artificial Intelligence and Mathematics, Fort Lauderdale (January, 1998)

• Agent's World, 1998, Paris (July, 1998)

• Fourteenth Annual Conference on Uncertainty in AI (invited tutorial), 1998, Wisconsin (July, 1998)

• PARCON 98 (Symposiun on New Directions in Parallel and Concurrent Computing), New York (November, 1998)

• Australasian Computer Science Conference, Auckland, New Zealand (January, 1999)

• American Association for Advancement of Science (AAAS) Conference, Los Angeles (January, 1999). Symposium on ``The Unusual Effectiveness of Logic''.

• Workshop on Logic-Based AI, Washington, D.C. (June, 1999).

• 14th IEEE Symposium on Logic in Computer Science, Trento, Italy (July, 1999).

• Milner Lecturer, Edinburgh University (May, 2000).

• Fourth Conference on Logic and Foundations of Decision Theory, Torino, Italy (July, 2000).

• Games 2000, Bilbao, Spain (July, 2000).

• Decision Sciences 2000, Kyoto, Japan (December, 2000).

• Seventeenth International Joint Conference on AI (IJCAI 2001) Seattle (August 2001).

• Second Workshop on Methods for Modalities, Amsterdam (November, 2001).

• Conference on Dimensions in Epistemic Logic, Roskilde, Denmark (May, 2002).

• XV IMGTA (15th Italian Meeting on Game Theory and Applications), Urbino, Italy (July, 2003).

• The International Symposium on Modern Computing, Ames, Iowa (October, 2003).

• Workshop on Time Preference, Copenhagen, Denmark, May, 2004.

• Games 2004 (Second World Congress of the Game Theory Society), Marseilles, France (July 2004).

• MFCSIT 2004 (Third Irish Conference on the Mathematical Foundations of Computer Science and Information Technology), Dublin, Ireland (July, 2004).

• CombLog '04 (Workshop on Combination of Logics: Theory and Applications, Lisbon, Portugal (July 2004).

• First IEEE Symposium on Multi-Agent Security and Survivability, Philadelphia (August, 2004).

• Workshop on Uncertainty in Economics, Singapore (June, 2005)

• 25th ACM Conference on Principles of Database Systems, Chicago (June 2006)---invited tutorial.

• Third International Symposium on Quantitative Evaluation of Systems, Riverside, CA (Sept, 2006).

• Foundations of the Formal Sciences VI: Reasoning about Probabilities and Probabilistic Reasoning, Amsterdam (May 2007).

• Formal Epistemology Workshop, Pittsburgh (June 2007).

• Foundations of Distribution Computing III, Bertinoro, Italy (June 2007).

• International Congeress of Philosophy, Logic, Methodology, and Philosophy of Science, Beijing (August 2007).

Also gave invited lectures at numerous institutions including: University of Amsterdam, Bell Laboratories, Ben Gurion University (Beer Sheva), Boston University, Brown University, CMU, Colorado University, Cornell University, CUNY Brooklyn, CWI, Eindhoven University, Edinburgh University, Fukuoka Institute of Technology, Guelph University, Harvard, Hebrew University, Imperial College (London), Indiana University (Bloomington), Leningrad University, MIT, Moscow University, Northwestern University, Oxford University, Princeton University, Queen's University (Kingston, Canada), Rochester University, San Jose State University, Stanford, SRI, Technion, Tokyo University, Toulouse University, University of British Columbia, University of Delaware, University of Pennsylvania, University of Pittsburgh, University of Rochester, University of Technology, Sydney, University of Toronto, University of Utrecht, University of Washington, UC Berkeley, UC Irvine, UC Los Angeles, UC San Diego, UC Santa Barbara, Washington University (St. Louis), Waterloo University, Weizmann Institute of Science, Yale.