October 25: Pavel Pudlak: Bounded Arithmetic

Thread View: sci.logic

1 messages

[T] Back to Threads [V] Tree View [G] Group Articles

1 total messages Started by Helmut Veith (gottlob) Mon, 17 Oct 1994 14:36

#702

Author: Helmut Veith (gottlob)
Date: Mon, 17 Oct 1994 14:36

61 lines
2859 bytes

Kurt Goedel Society
University of Technology, Vienna, Austria


Course Announcement
--------------------

PAVEL PUDLAK
=============
Czech Academy of Sciences

		
BOUNDED ARITHMETIC
------------------------------
Tuesday, October 25 -- Saturday, October 29


Topics:

- Introduction to Bounded Arithmetic
- Independence of Counting principles in Bounded Arithmetic and    
  propositional calculus
- Provability in Bounded arithmetic and propositional calculus
- The complexity of functions definable in fragments of
  Bounded arithmetic


Prerequisites:

Basic knowledge of Logic and Complexity Theory 
(e.g. familiarity with the complexity
classes PTime, NPTime, the Polynomial and Linear Hierearchies).
If there are interested persons not familiar with complexity theory, 
there will be a preparatory lecture by Dr.Thomas Eiter on October 24, 16:45,
Seminarraum SEM~181A, Institut fuer Informationssysteme,
Paniglgasse 16, 1.Stock, 1040 Wien. For registration, please contact
Thomas Eiter, Tel: (+43~1) 588 01--6228}, email: {\tt eiter@vexpert.dbai.tuwien.ac.at}.


Place and Date: 

The first meeting will be at the Institut fuer Algebra und Diskrete Mathematik, Pruefungs- und Besprechungszimmer der Abteilung fuer 
Theoretische Informatik, Freihaus, Wiedner Hauptstr. 6-10, green area,
6th floor (5.Stock), on Tuesday, October 25, 16:30. The other lecture
dates will be defined and communicated there. There are planned multiple
lectures on October 26 and 29, as well as evening lectures on
October 27 and 28.

------------------------
Kurt-Goedel-Gesellschaft
Technische Universitaet Wien
Institut fuer Computersprachen E185.2
Resselgasse 3/1, A-1040 Wien

Tel: (+43 1) 588 01/4088
Fax: (+43 1) 504 15 89
email: kgs@logic.tuwien.ac.at

Mit Unterstuetzung des
Bundesministeriums fuer Wissenschaft und Forschung

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