Program descriptions, calendars, etc.

• Overview of the Special Year on Logic and Algorithms describing goals and program summaries.
• Organizing Committees and Sponsors of the special year.
• Calendar of Special Year events with hot-links to full information of programs, registration, etc.
• Scheduled Events for SY 1995-96 includes short narrative descriptions of workshops.
• Special Year on Logic and Algorithms Seminar Schedule
• Visitor Schedule. Check here for special year visitors and when they will be at DIMACS.
• 1995 Summer School in Logic and Algorithms Announcement, Application Forms and Course Descriptions (in postscript). Press Here for a plain text version. The schedules of talks can be found in the Calendar.
• Report on the 1995-1996 Special Year on Logic and Algorithms prepared October 1, 1996 by Neil Immerman (University of Massachusettes) and Tom Henzinger (UC-Berkeley).

Publications of the Special Year on Logic and Algorithms

AMS-DIMACS Volumes:

Workshop Proceedings: Volume 33, Logic and Random Structures, November 5 - 7, 1995.

Workshop Proccedings: Volume 31, Descriptive Complexity and Finite Models, January 14-17, 1996.

Workshop Proceedings: Volume 35, Satisfiability Problem: Theory and Applications March 11-12, 1996.

Workshop Proceedings: Volume 39, Proof Complexity and Feasible Arithmetics, April 21-24, 1996.

Workshop Proceedings: Volume 29, Partial Order Methods in Verification, July 24-26, 1996.

Workshop Proceedings: Volume 32, The Second Workshop on the SPIN Verification System, August 5, 1996.

Links with expired deadlines.

• Opportunities for Support
• Housing Options Available During Your Stay at DIMACS
• Call for Visitor and PostDoc Fellowship Applications
• Call for University-Industry PostDoctoral Fellowship and University-Industry Senior Research Fellowship Applications in Computer-Aided Verification

Topics of DIMACS Special Years

DIMACS Homepage