Veranstaltungen

02. Februar 2010, 10:30 bis 19:00

Collegium Logicum 2010: Proofs and Structure

Andere

Auf dieser internationalen Konferenz werden aktuelle Resultate aus der Beweistheorie vorgetragen und diskutiert. Die Vorträge sind selbstverständlich öffentlich zugänglich und kostenlos.

Kalendereintrag

Öffentlich

Ja

 

Kostenpflichtig

Nein

 

Anmeldung erforderlich

Ja