Logic and Algorithms Special Year Visitors Schedule
The list below shows the list of visitors to SYLA. Many of them
presented lectures in our weekly seminar series.
In addition to the weekly seminar, there was also a
Distinguished Lecture Series:
- Neil Immerman: October 2, Descriptive Complexity and Dynamic Complexity
- Joel Spencer: November 10, Almost Always, Almost Never, Rarely In Between
- Ronald Fagin: January 19, Finite-Model Theory - a
Personal Perspective
- Steve Cook: March 11, Finding Hard Instances of the
Satisfiability Problem
- Ed Clarke: March 22, Word-Level Model Checking
- Alexander Razborov: April 29, Lower Bounds for Propositional Proofs and Independence Results in Bounded Arithmetic
- Vaughan Pratt: July 23, Chu Spaces: Quantifying the Qualities of Mind and Body
-
F. Afrati
afrati@softlab.ece.ntua.gr
- Dates of visits: May 3 - June 2
-
S. Bellantoni
sjb@cs.toronto.edu
- Dates of visits: August 21-25, 1995; December to early January, 1996
-
Steve Bloch
sbloch@boethius.adelphi.edu
- Dates of visits: Aug. 21-25 in 1995 and
Jan. 14-17; April 21-24; and June in 1996.
-
Egon Boerger
boerger@di.unipi.it
- Dates of visits: October 1 - November 30, 1995.
-
A. Carbone
ale@logique.jussieu.fr
- Dates of visits: April 8 - 28, 1996
-
S. Chaudhuri
shiva@mpi-sb.mpg.de
- Dates of visits: June, 1996
-
D. Dams
Dennis.Dams@phil.ruu.nl
- Dates of visits: July 4 - 30.
-
A. Dawar
A.Dawar@swansea.ac.uk
- Dates of visits: October 30 - November 30, 1995
-
David Dill
dill@cs.stanford.edu
- Dates of visits: January 22 - 26
-
Ding-Zhu Du
dzd@cs.umn.edu
- Dates of visits: March 8-16, 1996
-
Ron Fagin
fagin@almaden.ibm.com
- Dates of visits: January 14 - 19, 1996
-
M. Grohe
grohe@sun1.mathematik.uni-freiburg.de
- Dates of visits: October 16- November 17, 1995.
-
O. Grumberg
orna@cs.technion.ac.il
- Dates of visits: July, 1996
-
J. Gu
gu@enel.ucalgary.ca
- Dates of visits: March 8 - 16, 1996
-
Neil Immerman
immerman@cs.umass.edu
- Dates of visits: August 13 - 18
August 28 - September 1
October 1 - 13
November 5 - 8
January 13 - 17
March 24 - 28
-
B. Kapron
bmkapron@csr.uvic.ca
- Dates of visits: July 16 - 25, 1996
-
P. Kolaitis
kolaitis@cse.ucsc.edu
- Dates of visits: July 15-26
-
J. Krajicek
krajicek@mbox.cesnet.cz
- Dates of visits: March 25 - April 25, 1996
-
Daniel Leivant
leivant@cs.indiana.edu
- Dates of visits: part of spring semester, 1996.
-
James Lynch
jlynch@sun.mcs.clarkson.edu
- Dates of visits: Spring Semester, 1996
-
O. Maler
oded.maler@imag.fr
- Dates of visits: October 22-26, November 6-16
-
M. McArthur
mcarthur@math.ucla.edu
- Dates of visits: November 5-7, January 14-17, and July 1-26, 1996
-
L. Moss
lsm@cs.indiana.edu
- Dates of visits: August 28 - September 1, November 5 - 7,
January 14 - 17, March 25 - 29
-
L. Pacholski
pacholsk@ii.uni.wroc.pl
- Dates of visits: March 23-30, June 1 - August 3, 1996
-
P. Pardalos
pardalos@ufl.edu
- Dates of visits: March 8-16, 1996
-
Rohit Parikh
RIPBC@CUNYVM.CUNY.EDU
- Dates of visits: March 25-28, April 8-12, and July 7 - August 2.
-
S. Ponzio
ponzio@cs.huji.ac.il
- Dates of visits: September and October, 1995
-
P. Pudlak
pudlak@earn.cvut.cz
- Dates of visits: April, 1996
-
R. Raz
ranraz@wisdom.weizmann.ac.il
- Dates of visits: September 14 - October 14
-
A. Razborov
razborov@class.mian.su
- Dates of visits: April 18 - May 18 1996.
-
S. Riis
smriis@daimi.aau.dk
- Dates of visits: April, 1996
-
E. Rosen
erosen@linc.cis.upenn.edu
- Dates of visits: January-February, 1996
-
V. Sazonov
sazonov@logic.botik.yaroslavl.su
- Dates of visits: January 13 - April 25
-
H. Schlinghoff
schlingl@informatik.tu.muenchen.de
- Dates of visits: August 20 - October 30, 1995
-
A. Seth
seth@imsc.ernet.in
- Dates of visits: April 15 - July 25
-
J. Sgall
SGALLJ@earn.cvut.cz
- Dates of visits: April 15 - 25
-
S. Shelah
shelah@math.rutgers.edu
- Dates of visits: September 4 -- December 31, 1995
-
M. Taitslin
mat@mat.tvegu.tver.su
- Dates of visits: November 15 to January 30
-
D. Th\'{e}rien
denis@cs.mcgill.ca
- Dates of visits: April 30-31.
-
P.S. Thiagarajan
pst@ssf.ernet.in
- Dates of visits: July, 1996
-
J. Tyszkiewicz
jurek@mephisto.informatik.rwth-aachen.de
- Dates of visits: October 28 - November 28
-
J. Vaananen
jvaanane@cc.helsinki.fi
- Dates of visits: December 10, 1995 - January 21, 1996.
-
R. van der Meyden
ron@socs.uts.edu.au
- Dates of visits: June 25 - July, 1996
-
Moshe Vardi
vardi@cs.rice.edu
- Dates of visits: May 16 - Aug 15, 1996
-
R. Verbrugge
rineke@cs.vu.nl
- Dates of visits: August 14 - 18, 1995
-
I. Walukiewicz
igw@daimi.aau.dk
- Dates of visits: March 1996
-
F. Wang
farn@leepe.iis.sinica.edu.tw
- Dates of visits: June 13 - July 5
-
S. Yovine
Sergio.Yovine@imag.fr
- Dates of visits: October 20 - November 5, 1995 and July 12-26, 1996.
Note that all of the DIMACS workshops and colloquia listed below are
open to the entire community.
More detailed information about the special year
activities may be found by consulting the WWW page:
http://dimacs.rutgers.edu/SpecialYears/1995_1996
August 1995:
-
The tutorials held August 14 - September 1 attracted more than 100
attendees. Lecture notes generated by the tutorials are being
compiled and edited, and will be available soon.
Tutorial on Finite-Model Theory
Date: August 14-18, 1995
- Organizer: Jim Lynch
- Speakers: Neil Immerman, Phokion Kolaitis, Jim Lynch
-
Tutorial on Proof Complexity
- Date: August 21-25, 1995
- Organizer: Toniann Pitassi
- Speakers: Sam Buss, Toniann Pitassi, Alasdair Urquhart
-
Tutorial on Computer-Aided Verification
- Date: August 28 -- September 1, 1995
- Organizer: Ken McMillan
- Speakers: Rajeev Alur, Bob Kurshan, Ken McMillan, J. Moore, Pierre Wolper
October 1995:
-
Distinguished Lecture: Neil Immerman
- Date: October 2
- Descriptive Complexity and Dynamic Complexity
-
- Date: October 22-25, 1995
- Organizers: Rajeev Alur, Tom Henzinger
November 1995:
-
- Date: November 5-7, 1995
- Organizers: Ravi Boppana, James Lynch and Kevin Compton
-
Distinguished Lecture: Joel Spencer
- Date: November 10
- Almost Always, Almost Never, Rarely In Between
January 1996:
-
- Date: January 14 - 17, 1996
- Organizers: Neil Immerman and Phokion Kolaitis
-
Distinguished Lecture: Ronald Fagin
- Date: January 19
- Finite-Model Theory - a Personal Perspective
March 1996:
-
Distinguished Lecture: Steve Cook
- Date: March 11
- Finding Hard Instances of the Satisfiability Problem
-
- Date: March 11-13, 1996
- Organizers: Ding-Zhu Du, Jun Gu, Panos Pardalos
- Advisory Committee: Bob Johnson, David Johnson, Christos Papadimitriou,
Paul Purdom, Benjamin Wah
-
Distinguished Lecture: Ed Clarke
- Date: March 22
- Word-Level Model Checking
-
- Date: March 25-29, 1996
- Organizers: Bob Brayton, Allen Emerson, Joan Feigenbaum
April 1996:
-
- Date: April 21-24, 1996
- Organizers: Paul Beame and Sam Buss
-
Distinguished Lecture: Alexander Razborov
- Date: April 29
- Lower Bounds for Propositional Proofs and Independence Results in Bounded Arithmetic
May 1996:
-
- Date: May 6-7, 1996
- Organizers: Mohsen A. Jafari and Bud Mishra
July 1996:
-
Distinguished Lecture: Vaughan Pratt
- Date: July 23
- Chu Spaces: Quantifying the Qualities of Mind and Body
-
- Date: July 24-26, 1996
- Organizers: Doron Peled, Gerard Holzmann, Vaughan Pratt
-
- Date: July 27 - August 3, 1996
- FLOC'96 Conference Chair: Jon Riecke
The Federated Logic Conference will consist of:
- CADE (Conference on Automated Deduction)
- CAV (Conference on Computer-Aided Verification),
- IEEE LICS (Logic in Computer Science),
- RTA (Conference on Rewriting Techniques and Applications).