Seminar: Logic and Theoretical Computer Science

Herbsemester 2010 (20.09.2010 - 24.12.2010)
Thursday 13:30-15:00 (ExWi Sidlerstr. 5 / Lecture Room A97)
Organizer: Takako Nemoto (nemoto [at] iam.unibe.ch)
Course description: http://www.iam.unibe.ch/til/lectures/fall_10/seminar-logic-and-theoretical-computer-science

Tentative schedule

Date	Talk
Sep. 23	Richard McKinley, Cycles in proofs: what they are, what they're for, and how to avoid them
Sep. 30	Takako Nemoto, Extending T₀
Oct. 7	Takako Nemoto, Extending T₀ (cont.) Roman Kuznets, Justifications for Belief Revision
Oct. 14	Remo Goetschi, A Uniform Syntactic Realization Theorem
Oct. 21	Jon Brugger, Provability algebras and ordinal analysis of PA
Oct. 28	Jon Brugger, Provability algebras and ordinal analysis of PA
Nov. 4	Dominic van der Zypen, Existence of bounds for order-preserving maps abstract For posets P, Q the collection Hom(P,Q) of order-preserving maps f: P \to Q can be endowed with an ordering relation in a natural way. We give some conditions under which f, g \in Hom(P,Q) have (upper or lower) bounds and conclude the talk with a few open questions.
Nov. 11	10:15- (the slot of set theory seminar) Yuri Savateev, TBA 13:30- Jon Brugger, Provability algebras and ordinal analysis of PA
Nov. 18	No seminar (Münchenwiler meeting)
Nov. 25
Dec. 2
Dec. 9
Dec. 16	No seminar (Arbeitstagung Bern-München)