Thread View: sci.logic
1 messages
1 total messages
Started by Helmut Veith
Fri, 15 Mar 1996 00:00
KGS Lecture Program
Author: Helmut Veith
Date: Fri, 15 Mar 1996 00:00
Date: Fri, 15 Mar 1996 00:00
139 lines
4313 bytes
4313 bytes
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
Thread Navigation
This is a paginated view of messages in the thread with full content displayed inline.
Messages are displayed in chronological order, with the original post highlighted in green.
Use pagination controls to navigate through all messages in large threads.
Back to All Threads