-
An automata-theoretic approach to Constraint LTL
May 12, 2003 - 4:30pm
-
Lifting an automorphism of a curve to characteristic zero
May 7, 2003 - 4:00pm
-
no meeting this week
May 7, 2003 - 2:00pm
-
Orbifolding the Chiral de Rham Complex
May 5, 2003 - 12:30pm
-
Deformations of Lie quasibialgebras: a dgLie approach
April 30, 2003 - 2:00pm
-
TBA
April 29, 2003 - 4:30pm
-
Composition of Cryptographic Protocols in a Probabilistic Polynomial-Time Process Calculus
April 29, 2003 - 12:10pm
-
Goedel and Carnap: Influence and Opposition
April 28, 2003 - 4:30pm
-
Orbifold Chow ring of stacky toric varieties
April 28, 2003 - 4:00pm
-
Euler systems (continued)
April 28, 2003 - 11:00am