Postdoc Day
Workshop on "Unstable Homotopy Theory"
Workshop on "Unstable Homotopy Theory", November 11 - 15, 2024
Unstable homotopy theory is about understanding the detailed structure and properties of topological spaces and morphisms between them. Central to this study is the concept of homotopy types (also known as ∞-groupoids, animas, or spaces), which classify topological spaces up to weak homotopy equivalence. This subject is rich in both computational and structural aspects: On the one hand, it has been a long-term project to compute algebraic invariant of homotopy types, such as homotopy groups and homology groups of a given topological space. On the other hand, it encompasses the ongoing search for algebraic structures within homotopy types.
Recently there have been many fruitful results in understanding homotopy types by using algebraic and higher categorical techniques. Examples include extension of Quillen’s Lie algebra model of rational homotopy types to higher v_n-periodic homotopy types, variants and generalizations of Mandell's results on models of finite type p-complete nilpotent CW-complexes, and significant progress in unstable motivic homotopy theory based on the theory of unstable localisation developed by Bousfield and Farjoun.
With these latest advances one can study homotopy types from an algebraic point of view by using tools from the theory of operadic calculus, Koszul duality, Goodwillie calculus, higher category theory and higher algebra. We hope to gather experts and early-career mathematicians working in unstable homotopy theory and adjacent fields at our workshop, to communicate these important results, to promote the exchange of ideas and to stimulate future research in this area.
Video recordings of the talks can be found in our archive.
Speakers:
Benjamin Antieau (Northwestern University / MPIM Bonn) (cancelled)
Gregory Arone (Stockholm University)
Tom Bachmann (Johannes-Gutenberg-Universität Mainz)
William Balderrama (University of Bonn)
Shaul Barkan (Hebrew University Jerusalem)
Mark Behrens (University of Notre Dame)
Thomas Blom (University of Copenhagen / MPIM Bonn)
Robert Burklund (University of Copenhagen)
Xiaowen Dong (Johannes-Gutenberg-Universität Mainz)
Gijs Heuts (Utrecht University)
Geoffroy Horel (Université Sorbonne Paris Nord)
Nikolai Konovalov (University of Chicago / MPIM Bonn)
Josefien Kuijper (Utrecht University)
Adela Zhang (University of Copenhagen)
Organisers:
Tobias Barthel (MPIM Bonn)
Yuqing Shi (MPIM Bonn)
Registration:
The registration is closed as of October 1, 2024.
Contact:
Warning: Hotel scam alert: There is a hotel scam going around contacting people from conferences regarding accommodation. Please DO NOT reply to them or
give out any credit card/personal information! We do not work with any travel agencies and we will only contact you through official MPIM e-mail-addresses.
_______________________________________________________________________________
Policy for the Max Planck Society against discrimination, harassment and violence.
Workshop on "Combinatorics, Resurgence and Algebraic Geometry in Quantum Field Theory"
Workshop on "Combinatorics, Resurgence and Algebraic Geometry in Quantum Field Theory", August 19 - 23, 2024
The study of perturbative quantum field theory has shown a surprising need for the latest advances in algebraic geometry and combinatorics. The field also incorporates the very actively developed theory of resurgence, which has promising potential for applications to both topology and quantum field theory.
This workshop aims to advance this field by bringing together top experts. The goal is to foster discussions on recent results, encourage collaboration, generate new ideas, explore the connections in perturbative quantum field theory, and offer a platform for junior researchers.
This workshop consists of a fixed list of participants. It is not possible to register.
Participants:
Paul-Hermann Balduf (University of Waterloo)
David Broadhurst (Open University)
Francis Brown (University of Oxford)
Steven Charlton (MPIM Bonn)
Claude Duhr (University of Bonn)
Gerald Dunne (University of Connecticut)
Jonah Epstein (MPIM Bonn)
Stavros Garoufalidis (SUSTECH, Shenzhen/MPIM Bonn)
Lukas Kühne (Universität Bielefeld)
Martin Markl (The Czech Academy of Sciences)
Erik Panzer (University of Oxford)
David Prinz (MPIM Bonn)
Maria Ronco (Universidad de Talca)
Oliver Schnetz (Universität Hamburg)
John Smillie (University of Warwick)
Bernd Sturmfels (MPI für Mathematik in den Naturwissenschaften)
Peter Teichner (MPIM Bonn)
Karen Vogtmann (University of Warwick)
Organisers:
Christian Blohmann (MPIM Bonn)
Michael Borinsky (ETH Zurich)
Ralph Kaufmann (Purdue University)
Dirk Kreimer (HU Berlin)
David Prinz (MPIM Bonn)
Karen Yeats (University of Waterloo)
Contact:
conference$@$mpim-bonn$.$mpg$.$de
Hotels nearby:
For a list of hotels near the MPIM, please see here.
Warning: Hotel scam alert: There is a hotel scam going around contacting people from conferences regarding accommodation. Please DO NOT reply to them or give out any credit card/personal information! We do not work with any travel agencies and we will only contact you through official MPIM e-mail-addresses.
Policy for the Max Planck Society against discrimination, harassment and violence.
Workshop on "Dualisable Categories $\&$ Continuous $K$-theory"
Workshop on "Dualisable Categories & Continuous K-theory", September 9 - 13, 2024
Algebraic K-theory is an object that sits at the centre of large parts of algebra, geometry, and topology because of its universal role as a receptacle to count other mathematical objects with signs. However, since its invention, a phenomenon often called the Eilenberg swindle - which says that the algebraic K-theory of a category which is too large must necessarily be zero - has been accepted as a fundamental limit to the theory. Recently, Alexander Efimov introduced a construction called continuous K-theory which allows one to make sense of algebraic K-theory of certain large categories known as dualisable categories in a nontrivial way, thus surmounting the problem of the aforementioned Eilenberg swindle. These dualisable categories encompass geometrically interesting and previously inaccessible examples such as sheaves on locally compact Hausdorff spaces. This new direction in K-theory has seen many recent advancements such as the rigidity of non-commutative motives by Efimov and the polynomial functoriality of continuous K-theory by Akhil Mathew and collaborators.
In light of these developments, this workshop aims to bring the community of mathematicians in algebra, topology, and geometry up to speed on the latest results and perspectives spawned by the theory of dualisable categories and continuous K-theory. The workshop will consist of two main lecture series by Alexander Efimov and Akhil Mathew, augmented by multiple exercise sessions, which we hope will allow for the participants to obtain a working knowledge on the subject. There will also be research talks as well as a session of short contributed talks by participants.
The main lecture series will be recorded and the recordings will be uploaded on the website. The talks will NOT be live streamed.
Main speakers:
Alexander Efimov (Einstein Institute of Mathematics, Hebrew University of Jerusalem)
Akhil Mathew (University of Chicago)
Speakers:
Maxime Ramzi (University of Copenhagen)
Peter Scholze (MPIM Bonn)
Maria Yakerson (Oxford University)
Registration
The registration is closed as of July 31, 2024.
Contact:
dualcat2024$@$mpim-bonn$.$mpg$.$de
Click here to watch recordings of the main lectures and talks.
_______________________________________________________________________________
Policy for the Max Planck Society against discrimination, harassment and violence.
Anhang | Größe |
---|---|
Exercises_for_the_workshop_on_dualisable_categories_and_continuous_K_theory.pdf | 455.72 KB |
Lecture_Notes_from_Akhil_Mathew_texed_by_Chirantan_Chowdhury.pdf | 295.08 KB |
Mini-workshop in algebraic geometry
Seminar on Algebra, Geometry and Physics: A Homage
Hybrid. via Zoom
Contact: Gaetan Borot (HU Berlin), Pieter Moree (MPIM), Maxim Smirnov (University of Augsburg)
The seminar of Yuri Ivanovich Manin started in Moscow and existed for more than half a century. With the passing away of Yuri Ivanovich in January 2023, it has been decided that the seminar will be discontinued, as it had always been tailor-made to his personality. We wish to honor the influence of the seminar, which offered a platform to many mathematicians, and pay homage to its creator. After a brief historical recollection by Mikhail Kapranov, we will end the seminar with two talks by Don Zagier and Matilde Marcolli, who were colleagues of Yuri Ivanovitch and knew him well.
The recordings are available here https://archive.mpim-bonn.mpg.de/id/eprint/4867/
Workshop "Compactifications of stability manifolds"
This is a one-morning workshop about two newly-discovered approaches to the compactification
of the space of Bridgeland stability conditions.
Workshop on "$\infty$-categories and their applications", August 17 - 20, 2020
Update!
The workshop will take place remotely. More information and the program will follow.
The quest for solid foundations for $\infty$-categories started several decades ago, but from the mid-2000s there have been spectacular developments which excitingly accelerated the pace of progress. This workshop will focus on these objects, both in their foundations and in the applications to different fields of mathematics. The workshop consists of 4 minicourses on $\infty$-categories and on related topics which have benefited substantially from the $\infty$-categorical viewpoint.
We think this workshop will prove interesting for advanced Master students, PhD students, seasoned mathematicians from other areas who want to learn some new $\infty$-categorical approaches, and more generally for anybody interested in new developments with $\infty$-categories.
Minicourses
Bergner, Julie (University of Virginia) - Models for homotopical higher categories
Haugseng, Rune (Norwegian University of Science and Technology) - Introduction to $\infty$-operads
Nikolaus, Thomas (WWU Münster) - Higher Categories and Algebraic K-Theory
Barwick, Clark (University of Edinburgh) - Stratified spaces and exodromy
Registration
To register please use the registration webform. The registration will not be closed before August 2, 2020.
Contact
If you have any questions, please feel free to contact catsandapps@mpim-bonn.mpg.de.
Recordings
Julie Bergner Models for homotopical higher categories, Part I Part II
Rune Haugseng Introduction to
Thomas Nikolaus Higher Categories and Algebraic K-Theory, Part I Part II
Clark Barwick Stratified spaces and exodromy, Part I Part II
A Tropical Day at the MPIM
The Tropical Day is a day with four talks in tropical geometry. These talks are aiming at a broad audience with a general interest in tropical geometry. We hope for an active participation from Bonn and nearby cities.
Speakers
Dima Grigoriev (CNRS Lille / Bonn)
Sara Lamboglia (University of Frankfurt)
Andreas Weber (University of Bonn)
Martin Ulirsch (University of Frankfurt)
Organizers
Oliver Lorscheid (MPIM Bonn / IMPA Rio de Janeiro, email: oliver@impa.br)
Cecilia Salgado (MPIM Bonn / UFRJ Rio de Janeiro, email: salgado@mpim-bonn.mpg.de)
Program
Here are the links to the program and the abstracts as soon as they become available.
Financial support
There is limited funding, for PhD students and young postdocs, for lodging by the Max Planck Insitute for Mathematics available. Please contact one of the organizers as soon as possible if you plan to attend and if you need funding.
Practical information
For practical information such as how to get to the institute and a list of hotels see here.
SageMath presentation afternoon (Wednesday July 24th)
SageMath (http://www.sagemath.org/) is an open source software for mathematical computations. It gathers hundreds of specialized libraries and softwares in a unified Python interface.
On the afternoon of July 24th, there will be a presentation of SageMath at MPI Bonn (1:00 - 4:00). After tea time (ie from 5pm) several SageMath experts will be there on the fourth floor in case you need help for installing SageMath on your computer or need advice on how to carry a specific computation.
This event is part of a week long workshop taking place at the Computer Science department of Bonn University.
More information on can be found at https://wiki.sagemath.org/days100
Mini-Workshop on "Geometric Group Theory in Bonn", January 31 - February 1, 2019
WARNING - HOTEL SCAM ALERT: Business Travel Management (BTM)
Note to conference participants: Please read the WARNING regarding a fraudulent travel and hotel booking scheme. All hotel bookings should only be made directly through our housing department (housing@mpim-bonn.mpg.de).
Mini-Workshop on "Geometric Group Theory in Bonn", January 31 - February 1, 2019
The aim of this workshop is to bring together mathematicians at various career stages working on all aspects of geometric group theory.
Organizers
Speakers
Nicolaus Heuer (University of Oxford)
Dawid Kielak (Bielefeld University)
Tim de Laat (University of Münster)
Keynote Speaker
Registration
Please use the following link.
Financial support
Limited financial support is available. If you need support, you can add your request on the registration webform with a brief justification. Requests for financial support will have to be made by January 12, 2019.
Hotel reservations
If you would like us to make a hotel reservation for you, please state this on the registration webform. We can only honor requests for hotel reservations made by January 19, 2019. If you would like to make a hotel reservation by yourself you will find a list of hotels here.
Contact
If you have any questions, please feel free to contact GGT19@mpim-bonn.mpg.de.
Workshop on 4-manifolds, September 16 - 20, 2019
Workshop on 4-manifolds, September 16 - 20, 2019
Organizers
Jeffrey Meier (Western Washington University)
Arunima Ray (MPIM Bonn)
Confirmed Speakers:
Robert Gompf (UT Austin)
Sergei Gukov (Caltech)
András Juhász (Oxford)
Du Pei (Caltech)
Lisa Piccirillo (Brandeis/MIT)
Juanita Pinzón-Caicedo (MPIM Bonn)
Mark Powell (Durham)
Rob Schneiderman (CUNY)
Hannah Schwartz (MPIM Bonn)
Laura Starkston (UC Davis)
András Stipsicz (Alfred Renyi)
Tadayuki Watanabe (Shimane University)
Alex Zupan (University of Nebraska Lincoln)
Registration
The registration is closed.
Financial support
The deadline for financial support has passed.
Hotel reservations
If you would like us to make a hotel reservation for you, please state this on the registration webform. We can only honor requests for hotel reservations made by August 15, 2019. If you would like to make a hotel reservation by yourself you will find a list of hotels here.
Contact
If you have any questions, please feel free to contact 4-manifolds@mpim-bonn.mpg.de.
WARNING - HOTEL SCAM ALERT: Business Travel Management (BTM)
Note to conference participants: Please read the WARNING regarding a fraudulent travel and hotel booking scheme. All hotel bookings should only be made directly through our housing department (housing@mpim-bonn.mpg.de).
Anhang | Größe |
---|---|
4manifolds19.pdf | 582.46 KB |
DSC03360-2.png | 4.18 MB |
Teleconference on categorified knot invariants
Higher Geometric Structures along the Lower Rhine XI, March 8-9, 2018
This is the eleventh of a series of short workshops jointly organized by the Geometry/Topology groups in Bonn, Nijmegen, and Utrecht, all situated along the Lower Rhine. The focus lies on the development and application of new structures in geometry and topology such as Lie groupoids, differentiable stacks, Lie algebroids, generalized complex geometry, topological quantum field theories, higher categories, homotopy algebraic structures, higher operads, derived categories, and related topics.
Webpages of the previous meetings: I (MPIM Bonn), II (Nijmegen), III (Utrecht), IV (Bonn), V (Nijmegen), VI (Utrecht), VII (Leuven), VIII (Bonn), IX (Nijmegen), X (Utrecht)
Speakers
Davide Alboresi
Yaël Fregier
Owen Gwilliam
Cary Malkievich
Lennart Meier
Joost Nuiten
Steffen Sagave
Program
Here are the links to the program and the abstracts as soon as they become available.
Registration
To register please use the registration webform. There is no registration fee. For any further inquiries please send an email to LowerRhineXI@mpim-bonn.mpg.de.
Financial support
Limited financial support is available. If you need support, please add a request on your registration webform with a brief justification. Please note that the workshop is relatively local in scope, so that we might be able to cover your accommodation but probably not your travel expenses. The Deadline is February 18, 2018.
Conference dinner
The conference dinner will be on Thursday evening at 18:00h at the institute.
Practical information
For practical information such as how to get to the institute and a list of hotels see here.
Last changed on January 22, 2018 by Christian Blohmann
3rd Japanese-German Number Theory Workshop, November 20 - 24, 2017
3rd Japanese-German Number Theory Workshop
November 20 - 24, 2017
Here you can find the official homepage
Organizers
- German Organizers : Jonas Kaszian (University of Cologne), Pieter Moree (MPIM)
- Japanese Organaizers : Hiroki Aoki (Tokyo University of Science), Koji Tasaka (MPIM/Aichi Prefectural University)
Speakers
Sho Takemori (MPIM)
Tomomi Ozawa (Univ. Paris 13)
Kenji Makiyama (Kyoto Sangyo Univ.)
Ren-he Su (Kyoto Univ.)
Nobuo Sato (Kyoto Univ.)
Hiraku Atobe (Tokyo Univ.)
Shingo Sugiyama (Kyushu Univ.)
Minoru Hirose (Kyushu Univ.)
Toshiki Matsusaka (Kyushu Univ.)
Shun'ichi Yokoyama (Kyushu Univ.)
Hiroshi Sakata (Waseda Univ Senior High School)
Hidetaka Kitayama (Wakayama Univ.)
Hiro-aki Narita (Kumamoto Univ.)
Takashi Nakamura (Tokyo Univ. of Science)
Hiroki Aoki (Tokyo Univ. of Science)
Claudia Alfes-Neumann (University of Cologne)
Jan Bruinier (TU Darmstadt)
Steffen Löbrich (University of Cologne)
Markus Schwagenscheidt (TU Darmstadt)
Annalena Wernz (RWTH Aachen)
Registration
To register please use the registration webform. There is no registration fee. For any further inquiries please send an email to JPN-GER2017@mpim-bonn.mpg.de.
Contributed Talk
If you would like to give a contibruted talk, please register until October 15, 2017.
Hotel reservations
If you would like us to make a hotel reservation for you, please state this on the registration webform. We can only honor requests for hotel reservations made by October 31, 2017. If you would like to make a hotel reservation by yourself you will find a list of hotels here.
Workshop "Young Researchers in String Mathematics", November 27 - 30, 2017
Workshop "Young Researchers in String Mathematics"
November 27 - 30, 2017
The workshop is an occasion to foster interactions and initiate new collaborations between young researchers active in Germany and nearby countries, who are all interested in mathematical aspects of string theory: mirror symmetry, enumerative geometry of curves (Gromov-Witten theory, Donaldson-Thomas, stable pair invariants, ...) and their modularity, integrability, and algebraic properties, tropical geometry, topological recursion, wall-crossing phenomena and Bridgeland stability conditions, relations to gauge theory, geometric quantization, conformal field theory, etc.
Organizers
Murad Alim (Universität Hamburg) and Gaëtan Borot (MPIM)
Speakers
Andrea Brini (CNRS Montpellier/Imperial College)
Miranda Cheng (University of Amsterdam)
Michele Cirafici (IST Lisboa)
Sara Angela Filippini (Cambridge University)
Michel van Garrel (Universität Hamburg)
Owen Gwilliam (MPIM)
Lotte Hollands (Heriot-Watt University, Edimburgh)
Victoria Hoskins (Freie Universität Berlin)
Hans Jockers (BCTP Bonn)
Christian Lehn (Universität Chemnitz)
Jan Manschot (Trinity College Dublin)
Elli Pomoni (DESY Hamburg)
Johannes Rau (Universität Tübingen)
Thomas Reichelt (Universität Heidelberg)
Helge Ruddat (Universität Mainz)
Sarah Scherotzke (Universität Münster)
Maxim Smirnov (Universität Augsburg/MPIM)
Piotr Sułkowski (University of Warsaw)
Di Yang (MPIM)
Jie Zhou (Universität Köln)
Confirmed participants
Aghaei, Nezhla (University of Bern) |
Ai, Xiaohua (MPIM Bonn) |
Banerjee, Sibasish (MPIM Bonn) |
Beck, Florian (University of Hamburg) |
Belliard, Raphaël (DESY) |
Caputo, Raffaele (University of Hamburg) |
Ciosmak, Paweł (Univeristy of Warsaw) |
Coman-Lohi, Ioana (DESY) |
El Hilany, Boulos (Eberhard Karls Universität Tübingen) |
Felten, Simon (JGU Mainz) |
Figiel, Troy (DESY) |
Fierro Cota, Cesar (Physikalisches Institut der Universität Bonn) |
Fischbach, Fabian (BCTP Bonn) |
Foster, Tyler (MPIM Bonn) |
Gabele, Tim (Hamburg Universität) |
Garcia-Failde, Elba (MPIM Bonn) |
Gerhardus, Andreas (BCTP Bonn) |
Giacchetto, Alessandro (MPIM Bonn) |
Huerta, John (IST Lisboa) |
Iakovidis, Nikolaos (Uppsala University) |
Kazhymurat, Aknazar (NIS Almaty on Physics and Mathematics) |
Kontrec, Ana (University of Zagreb) |
Kramer, Reinier (Universiteit van Amsterdam) |
Larraguivel, Helder (University of Warsaw) |
Lewanski, Danilo (MPIM Bonn) |
Ludewig, Matthias (MPIM Bonn) |
Manabe, Masahide (MPIM Bonn) |
Maunder, James (MPIM Bonn) |
Mertens, Michael H. (University of Cologne) |
Mukhopadhyay, Swarnava (MPIM Bonn) |
Nazaroglu, Caner (Universität zu Köln) |
Nega, Christoph (BCTP Bonn) |
Ninad, Urmi (University of Bonn) |
Noshchenko, Dmitry (IKIR FEB RAS) |
Rabinovich, Eugene (MPIM Bonn) |
Rahmati, Mohammad Reza (UNAM) |
Ren, Jie (MPIM Bonn) |
Rüter, Philipp (Heriot-Watt University) |
Safari, Reza (BCTP Bonn) |
Saha, Arpan (University of Hamburg) |
Schimannek, Thorsten (BCTP, University of Bonn) |
Su, Changjian (IHES) |
Sutherland, Tom (Johannes Gutenberg Universität Mainz) |
Tavakol, Mehdi (MPIM Bonn) |
Tonita, Valentin (MPIM Bonn) |
Vasko, Petr (University of Warsaw) |
Vogrin, Martin (University of Hamburg) |
Yagi, Junya (Perimeter Institute) |
Zenkevich, Yegor (Universita degli studi di Milano Bicocca) |
Registration
The registration is closed.
For any further inquiries please send an email to YRMS2017@mpim-bonn.mpg.de.
Poster session
A poster session will take place Tuesday afternoon. PhD students and postdocs are welcome to submit their poster proposal (title and abstract) by October 31, 2017. The recommended size for posters is A0 or A1.
Financial support
Limited financial support is available. If you need support, you can add your request on the registration webform with a brief justification. Requests for financial support will have to be made by September 30, 2017.
Hotel reservations
If you would like us to make a hotel reservation for you, please state this on the registration webform. We can only honor requests for hotel reservations made by October 31, 2017. If you would like to make a hotel reservation by yourself you will find a list of hotels here.
Anhang | Größe |
---|---|
ProgramYRSM17.pdf | 206.34 KB |
DSC01998.JPG | 10.58 MB |
Summer School "Modular forms are everywhere"
Summer School on "Modular Forms are everywhere", May 15-19, 2017
Organizers
Speakers
- Martin Möller (Universität Frankfurt)
- Fernando Rodriguez Villegas (ICTP)
- Don Zagier (MPIM)
Location
Max Planck Institute for Mathematics
How to get here
Young Women in Geometry
Registration Participants Practical Information
This meeting is part of the series of workshops Young Women in...
The main lectures will be given by (note that the list of our main speakers is updated)
The workshop provides a platform for female graduate students and postdocs in Geometry to present their research. The main lectures will be complemented by participants' talks and a poster exhibition.
Everybody is welcome to attend the workshop. We encourage all participants - male and female - to contribute a poster to our poster sessions and to apply for a contributed talk.
Title and abstract of your talk should be submitted to YWGeometry@mpim-bonn.mpg.de by February 15, 2017.
Limited financial support is available for female participants. Requests for funding can be made during registration. For full consideration, submit your funding request by January 15, 2017.
We gratefully acknowledge the financial support from the Hausdorff Center for Mathematics and the Max Planck Institute for Mathematics.
Click on image for a larger version of the group picture:
Anhang | Größe |
---|---|
P Young Women_A2-w.pdf | 1.67 MB |
DSC01190-3.JPG | 4.21 MB |
Higher Geometric Structures along the Lower Rhine VIII
This is the eighth of a series of short workshops jointly organized by the Geometry/Topology groups in Bonn, Nijmegen, Utrecht and Leuven, all situated along the Lower Rhine. The focus lies on the development and application of new structures in geometry and topology such as Lie groupoids, differentiable stacks, Lie algebroids, generalized complex geometry, topological quantum field theories, higher categories, homotopy algebraic structures, higher operads, derived categories, and related topics.
Webpages of the previous meetings: I (MPIM Bonn), II (Nijmegen), III (Utrecht), IV (Bonn), V (Nijmegen), VI (Utrecht), VII (Leuven)
Speakers
Stefan Behrens
Emanuele Dotto
Brice le Grignou
Ioan Marcut
Joost Nuiten
Pavel Safronov
Bernardo Uribe
Program
Here are the links to the program and the abstracts as soon as they become available.
Registration
To register please use the registration webform. There is no registration fee. For any further inquiries please send an email to LowerRhineVIII@mpim-bonn.mpg.de.
Financial support
Limited financial support is available. If you need support, please add a request on your registration webform with a brief justification. Please note that the workshop is relatively local in scope, so that we might be able to cover your accommodation but probably not your travel expenses. The Deadline is November 14, 2016.
Conference dinner
The conference dinner will be on Thursday evening at 18:00h at the University Club.
Practical information
For practical information such as how to get to the institute and a list of hotels see here.
Last changed on September 1, 2016 by Christian Blohmann
Workshop on Homotopy Type Theory
The workshop will give the participants the chance to discuss of current problems in areas of active research in homotopy type theory. Each day will start with a lecture series by Vladimir Voevodsky on "Dependent Type Theory", followed by open seminars in which workshop participants can give short presentations on their research.
The lecture series by Vladimir Voevodsky was recorded and can be found here .
Workshop co-ordinator:
Richard Garner (Macquarie University)
Preliminary list of participants
Schedule
Wednesday | Thursday | Friday | Saturday | Sunday |
---|---|---|---|---|
10:00-11:00 | 10:00-11:00 | 10:00-11:00 | 10:00-11:00 | 10:00-11:00 |
Lunch break | Lunch break | Lunch break | Lunch break | Lunch break |
14:30-16:00 Chris Kapulkin | 13:30-15:00 Benno van den Berg | 13:30-15:00 Bas Spitters | 14:30-16:00 Egbert Rijke | 13:30-14:15 Dan Grayson |
|
| 14:15-15:00 Simon Hubert | ||
15:00-16:00 Clemens Berger | 15:00-15:30 Tea | 15:00-15:30 Tea | ||
16:00-16:30 Tea | 16:00-16:30 Tea | 15:30-17:00 Ulrik Buchholtz | 16:00-16:30 Tea | 15:30-16:15 Bas Spitters |
16:30-18:00 Eric Finster | 16:30-18:00 Peter Lumsdaine | 16:30-18:00 Thomas Streicher | 16:15-17:00 Andrej Bauer | |
17:00-17:45 Peter Lumsdaine |
Lectures by Vladimir Voevodsky: "Dependent Type Theories"
Abstract: Modern dependent type theories exist mostly in the form of computer programs. As such they are objects of the physical reality more than they are objects of the mathematical one. For three decades the world of type theories was relatively calm - innovation was largely occurring in the layers of programming above the type theories leading to proof assistants with more and more sophisticated systems for notation, implicit arguments and tactics.
The discovery of the univalent models led to the addition of new features to the existing type theories as well as to the development of entirely new ones such as cubicaltt. Eventually, these new type theories will become the cores of proof assistants with much more convenient than before environments for formal verification of mathematical arguments.
It is clear that the only way to ensure that these new proof assistants are reliable - that any proof of “false” in such a proof assistant can be mechanically transformed into a proof of “false” in one of the “consistency standards”, is to have a system where a new proof assistant has to be formally certified using an already certified proof assistant against an already certified formal system before it can become accepted as a reliable tool in pure mathematics.
The strongest consistency standard available in pure mathematics is ZFC. This means that as a prerequisite for such a certification system we need to have a mathematical theory of dependent type theories that can be formalized in ZFC. At the moment only fragments of this future theory exist. I will give an introduction to my vision of the theory by describing these fragments and pointing out the gaps.
Organizing committee
Registration
To register please use this registration webform. There is no registration fee. For any further inquiries please send an email to htt2016@mpim-bonn.mpg.de.
Hotel reservations
If you would like us to make a hotel reservation for you, please state this on the registration webform. We can only honor requests for hotel reservations made by January 31, 2016. If you would like to make a hotel reservation by yourself you will find a list of hotels here.
Anhang | Größe |
---|---|
htt2016_MPIM_A3.pdf | 3.67 MB |
© MPI f. Mathematik, Bonn | Impressum & Datenschutz |