Special Year on Logic and Algorithms Seminar Schedule 1995-96

DIMACS is hosting a weekly seminar for the Special Year on Logic and Algorithms. The emphasis will be on the three main topics of the special year, Computer Aided Verification, Finite Model Theory, and Proof Theory. The list of speakers includes visitors at DIMACS during the course of the special year as well as DIMACS postdocs. As of January, the seminar will meet regularly on Fridays from 2:30 to 3:45 p.m. in room 431 of the CoRE building. Any changes to this schedule will be specifically noted. The seminar is open to the public and all are welcomed.

Fall Scheduled Talks

• Wednesday, September 6: Thomas Wilke, Abstract.
• Wednesday, September 13: Kousha Etessami, Abstract.
• Wednesday, September 20: Orna Kupferman, Abstract.
• Wednesday, September 27: Maria Bonet, Abstract.
• ***Friday, October 6 (10:30am)***: Egon Boerger, Abstract and papers,
• Wednesday, October 11: Doron Peled, Abstract.
• Wednesday, October 18: Martin Grohe, Abstract.
• Wednesday, October 25: No Seminar (hybrid systems workshop)
• Wednesday, November 1: Sergio Yovine, Abstract.
• **Wednesday, November 8 (1:00pm)**: Steven Lindell, Abstract.
• **Wednesday, November 15 (1:00pm)**: Oded Maler, Abstract.
• **Monday, November 20 (10:30am) **: Jerzy Tyszkiewicz, Abstract.
• Wednesday, November 29: Anuj Dawar, Abstract.
• Wednesday, December 6: Sanjeev Arora, Abstract.
• Wednesday, December 13: Saharon Shelah, Abstract.
• Wednesday, December 20: Micheal Taitslin, Abstract.

Spring Scheduled Talks

• Friday, January 26: Stephen Bellantoni, Abstract.
• Friday, February 2: Robert Kurshan, (CAV in Industry Subseries) Abstract.
• Friday, February 9: Eric Rosen, Abstract.
• Friday, February 16: Vladimir Sazanov Abstract.
• Friday, February 23: Katherine St. John, Abstract.
• Friday, March 1: No Seminar.
• Friday, March 8: Seminar cancelled.
• Friday, March 15:Rohit Parikh, Abstract.
• Friday, March 22: No Seminar, (Ed Clark distinguished lecture, 11:00am).
• Friday, March 29:
• Friday, April 5:
• Friday, April 12: Jan Krajicek, Abstract.
• Friday, April 19:
• Friday, April 26: Alessandra Carbone, Abstract.
• Friday, May 3:
• Friday, May 10:
• Friday, May 17:
• Friday, May 24:
• Friday, May 31: Foto Afrati, Abstract.
• Friday, June 7: Anil Seth, Abstract.
• Friday, June 14: Leszek Pacholski, Abstract.
• Friday, June 21: Moshe Y. Vardi, Abstract.
• Friday, July 12: P.S. Thiagarajan, Abstract.
• Friday, July 19: Ron van der Meyden, Abstract.
• Monday, July 22: Bruce Kapron, Abstract.

Index of Special Year on Logic and Algorithms

DIMACS Homepage