MFO
Advanced Search…
  • For Guest Researchers
  • Library
  • Scientific Program
  • About the Institute
  • Outreach and Media
You are here:
  1. Home
  2. Scientific Program
  3. Annual Schedules
  4. Mathematical Logic: Proof Theory, Constructive Mathematics

Mathematical Logic: Proof Theory, Constructive Mathematics Workshop Details https://www.mfo.de/@@site-logo/mfo.png

Mathematical Logic: Proof Theory, Constructive Mathematics

12 Nov - 17 Nov 2023
ID: 2346
Organizers
Samuel R. Buss, La Jolla
Rosalie Iemhoff, Utrecht
Ulrich Kohlenbach, Darmstadt
Michael Rathjen, Leeds

Workshop Reports

  • Workshop Report 53/2023
Organizer Login Participant Login VCA Login

Lookup workshop in oberwolfach photo collection

Navigation
  • Meetings
  • Longer Term Researchers
  • Prizes
  • Leibniz Network MMS
  • Publications
  • Online Offerings
  • Annual Schedules
    • Mathematical Logic: Proof Theory, Constructive Mathematics
  • Login for organizers
  • Login for participants
  • Grants
Timezone Information
World Clock
Timezone Converter to Oberwolfach time

For Guest Researchers

Information for invited researchers
Pandemic measures
Login for organizers

Login for participants
During your stay
After your stay
Information for applicants and proposers
For early career researchers
FAQ
Statement for Respect and Collegiality

Library

Search & Find
Electronic Resources
Services & Publishing
Book Exhibition Program
Library Profile

Scientific Program

Meetings
Longer Term
Prizes
Leibniz Network MMS
Publications
Online Offerings
Annual Schedules
Grants

About the Institute

Mission
Guiding Principles
History
Structure
Funding
Director
Staff
Contact
News

Outreach and Media

Oberwolfach Photo Collection
Oberwolfach Lectures
Snapshots
MiMa
Imaginary
swMATH
Education
Prizes

Leibniz Logo

  • Site Map
  • Accessibility
  • Datenschutz - Privacy
  • Impressum - Legal Notice