🚀 go-pugleaf

Collegium Logicum

Kurt Goedel Society Lecture Program

Spring Semester 1996


----------------------------------------

Thursday, March 21, 16:45

P.Mancosu, University of California, Berkeley
On Mathematical Explanation

----------------------------------------

Monday, March 25, 16:45

M.Hermann, CRIN & INRIA Lorraine
Unification Algorithms Cannot be Combined in P-Time

----------------------------------------

Monday, April 15, 16:45

T.Eiter, TU Wien
Normal Forms for Second Order Logic over Finite Structures

----------------------------------------

Monday, April 22, 16:45: Finite Model Theory Day

A.Dawar, University of Wales, Swansea
Finite Variable Logics and Complexity Classes

L.Hella, University of Helsinki
Generalized Quantifiers and Fixed Point Logics
         
----------------------------------------

Monday, April 29, 16:45

F.Parlamento, University of Udine
Computational Set Theory and Membership Theories
    
----------------------------------------

Monday, May 6, 16:45

N.Brunner, BOKU Wien
75 Years Independence of the Axiom of Choice

----------------------------------------

Monday, May 13, 16:45: Logic in AI Day

P.Hajek, Czech Academy of Science Prague
Modallogiken und ihre Bedeutung fuer die AI

P.Klement, Johannes Kepler University, Linz
[Title will be announced later.]

----------------------------------------

Monday, May 20, 16:45: Arithmetic Day

A.Haken, Math.Inst.AVCR
An Exponential Lower Bound for the Size of Monotone Real Circuits

R.Kaye, University of Birmingham
Hilbert's 10th Problem for Weak Systems of Arithmetic

----------------------------------------

Monday, June 3, 16:45

A.Zeilinger, University of Innsbruck
[Title will be announced later]

----------------------------------------

June 10--16

Y.Gurevich, University of Michigan, Ann Arbor
Average Case Complexity (2 lectures)

** Exact Time and Place will be announced separately. **

----------------------------------------

Monday, June 17: Category and Sheaf Theory Day

J.Pfalzgraf, RISC Linz
Applied and Computational Categories

V.Sofronie, RISC Linz
Towards a Sheaf Sematics for Cooperating Agent Scenarios

K.Stokkermans, RISC Linz
On a Categorical Model for Critical-Pair/Completion

** Exact Time and Place will be announced separately. **        
          
----------------------------------------

Monday, June 24

M.Scheutz, Indiana University, Blomington
The Truth Theory of Non-wellfounded Partial Models

----------------------------------------

  
PLACE:
Seminar room SEM 181A of the
Institut fuer Informationssysteme,
Technische Universitaet Wien,
Paniglgasse 16, 2nd floor (1.Stock), 1040 Vienna


***  A Postscript version of this file is available via ftp as 
ftp://mira.dbai.tuwien.ac.at/pub/papers/veith/schedule96.ps  ***

*** An archive of lecture announcements and subscription information
can be found at http://www.dbai.tuwien.ac.at/marchives/kgs/index.html


For further information:

Kurt Goedel Society
Technische Universitaet Wien,
Institut fuer Computersprachen E185.2,
Resselgasse 3/1, A-1040 Vienna
Phone: (+43 1) 588 01/4088
Fax: (+43 1) 504 15 89
email: kgs@logic.tuwien.ac.at
WWW: http://logic.tuwien.ac.at/kgs/home.html
Mailing List: kgs@dbai.tuwien.ac.at