23-26 Mar 2020
Munich, Germany
=== 1st CALL FOR PARTICIPATION, Please circulate among interested students === Masterclass in proof theory (MCPT): https://masterclassprooftheory.weebly.com/ 23rd to 26th March 2020 Carl Friedrich von Siemens Foundation, Munich, Germany This Masterclass in proof theory (MCPT) is primarily aimed at graduate students and early career researchers in mathematics, philosophy, and computer science with an interest in foundational questions in mathematics. The four-day event consists of introductory classes on proof theory by Michael Rathjen (Leeds) on ?Proof Theory: From Arithmetic to Set Theory? and Peter Schuster (Verona) on ?The finite content of transfinite methods?. These will be enriched through advanced evening lectures by other senior researchers, incl. Norbert Gratzl (MCMP, LMU Munich) and Helmut Schwichtenberg (LMU Munich). The event will take place on the premises of the Carl Friedrich von Siemens Foundation, right next to Munich?s picturesque Nymphenburg Palace and Gardens. *Participation* Registration is open now. Please visit https://masterclassprooftheory.weebly.com/ for details. Undergraduate-level knowledge of formal logic is strongly recommended. The sooner you register, the more likely we can accept your registration. *Participation scholarships for graduate students in mathematics* Graduate students in mathematics can apply for participation scholarships of ?150 funded by the German Mathematical Association (DMV). Applications for are open on a first-come first-serve basis and must be sent to masterclassmunich@outlook.com. Please include a short 1 (max 2) page statement of your motivation for participation. Support is subject to registering for MCPT as a student and attending all sessions. *Confirmed speakers* ? Michael Rathjen (Leeds) (main speaker) ? Peter Schuster (Verona) (main speaker) ? Norbert Gratzl (MCMP, LMU Munich) ? Helmut Schwichtenberg (LMU Munich) ? Tba *Background* Proof theory is one of the main branches of modern logic. It consists in the study of formal proofs, clearly defined syntactical objects. These can be considered data structures such as lists or trees, which are constructed according to fixed axioms and rules of a logical system. The development of proof theory enabled the mathematical community to introduce their own work, (informal) mathematical proofs, to thorough meta-mathematical treatment. This might be one of the biggest achievements of modern logic: the study of the properties of proofs by formalisation. *Organising committee* ? Dominik Kirst (Saarland) ? Simon Nagler (Oxford/MCMP, LMU Munich) ? Robert Paßmann (ILLC, UvA Amsterdam) ? Hannah Pillin (LSE/MCMP, LMU Munich) ? Deniz Sarikaya (Hamburg) ? Hosea von Hauff (MCMP, LMU Munich) *Sponsors* This event is made possible by the generous support of the Carl Friedrich von Siemens Foundation, the Munich Center for Mathematical Philosophy (MCMP), and the German Mathematical Association (DMV). *Contact* masterclassmunich@outlook.com https://masterclassprooftheory.weebly.com/ -- [LOGIC] mailing list http://www.dvmlg.de/mailingliste.html Archive: http://www.illc.uva.nl/LogicList/ provided by a collaboration of the DVMLG, the Maths Departments in Bonn and Hamburg, and the ILLC at the Universiteit van Amsterdam