Skip to main content

Arbeitstreffen

Arbeitstreffen am Institut

Workshop on "Dualisable Categories & Continuous K-theory"

Posted in
Organiser(s): 
Tobias Barthel, Kaif Hilman, Dominik Kirstein and Jonas McCandless
Datum: 
Mon, 09/09/2024 - 09:00 - Fre, 13/09/2024 - 15:00
Location: 
MPIM Lecture Hall

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 by Maxime Ramzi, Peter Scholze and Maria Yakerson as well as a session of short contributed talks by participants.

Main speakers:

Alexander Efimov (Einstein Institute of Mathematics, Hebrew University of Jerusalem)
Akhil Mathew (University of Chicago)

Registration

Please register here by June 16, 2024 for full consideration of funding. The general registration is expected to be open until July 31, 2024. We reserve the right to organisational changes.

Contact:

dualcat2024$@$mpim-bonn$.$mpg$.$de

 

_______________________________________________________________________________

Policy for the Max Planck Society against discrimination, harassment and violence.

 

Mini-workshop in algebraic geometry

Posted in
Organiser(s): 
Nicolas Addington
Datum: 
Mon, 26/06/2023 - 09:30 - 15:00
Location: 
MPIM Lecture Hall

Seminar on Algebra, Geometry and Physics: A Homage

Posted in
Datum: 
Die, 21/02/2023 - 13:30 - 16:00
Location: 
MPIM Lecture Hall

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"

Posted in
Organiser(s): 
Mirko Mauri
Zugehörigkeit: 
MPIM
Datum: 
Die, 18/05/2021 - 09:30 - 12:30

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

Posted in
Organiser(s): 
Hongyi Chu & Bruno Stonek
Datum: 
Mon, 17/08/2020 - 09:00 - Don, 20/08/2020 - 19:15

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 -operads,  Part I  Part II

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

Posted in
Organiser(s): 
Oliver Lorscheid, Cecilia Salgado
Datum: 
Mon, 02/12/2019 - 09:30 - 16:00
Location: 
MPIM Seminar Room

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)

Posted in
Organiser(s): 
Vincent Delecroix
Zugehörigkeit: 
MPIM Bonn and Université de Bordeaux
Datum: 
Mit, 24/07/2019 - 13:00 - 18:00
Location: 
MPIM Lecture Hall

 

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

Posted in
Organiser(s): 
Grigori Avramidi, Ursula Hamenstädt and Bram Petri
Datum: 
Don, 31/01/2019 - 14:00 - Fre, 01/02/2019 - 17:00
Location: 
MPIM Lecture Hall

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

Grigori Avramidi (MPIM Bonn)
Ursula Hamenstädt (University of Bonn)
Bram Petri (University of Bonn)

Speakers

 
Rémi Coulon (University of Rennes / CNRS)
Elia Fioravanti (Univeristy of Oxford)
Nicolaus Heuer (University of Oxford)
Dawid Kielak (Bielefeld University)
Tim de Laat (University of Münster)

Keynote Speaker

Andreas Thom (TU Dresden)

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

Posted in
Organiser(s): 
David Gay, Jeffrey Meier, Arunima Ray, and Peter Teichner
Datum: 
Mon, 16/09/2019 - 10:00 - Fre, 20/09/2019 - 16:00
Location: 
MPIM Lecture Hall

Workshop on 4-manifolds, September 16 - 20, 2019

 

Organizers

David Gay (University of Georgia/MPIM Bonn)
Jeffrey Meier (Western Washington University)
Arunima Ray (MPIM Bonn)
Peter Teichner (MPIM Bonn)
 

Confirmed Speakers:

 
Michael Freedman (Station Q & UC Santa Barbara)
David Gabai (Princeton)
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).

 

 

AnhangGröße
Datei 4manifolds19.pdf582.46 KB
Datei DSC03360-2.png4.18 MB

Teleconference on categorified knot invariants

Posted in
Organiser(s): 
Owen Gwilliam, Mark Penney
Datum: 
Don, 17/05/2018 - 15:00 - Fre, 18/05/2018 - 18:30
Location: 
MPIM Lecture Hall

Higher Geometric Structures along the Lower Rhine XI, March 8-9, 2018

Posted in
Organiser(s): 
Christian Blohmann, Marius Crainic, Ioan Marcut, Ieke Moerdijk, Steffen Sagave
Datum: 
Don, 08/03/2018 - 13:45 - Fre, 09/03/2018 - 17:00
Location: 
MPIM Lecture Hall

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 fi eld 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

Posted in
Organiser(s): 
Hiroki Aoki, Pieter Moree, Jonas Kaszian and Koji Tasaka
Datum: 
Mon, 20/11/2017 - 08:00 - Fre, 24/11/2017 - 20:00
Location: 
MPIM Lecture Hall

 

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

Posted in
Organiser(s): 
Murad Alim & Gaetan Borot
Datum: 
Mon, 27/11/2017 - 08:00 - Don, 30/11/2017 - 20:00
Location: 
MPIM Lecture Hall

 

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.

 

AnhangGröße
Datei ProgramYRSM17.pdf206.34 KB
Datei DSC01998.JPG10.58 MB

Summer School "Modular forms are everywhere"

Posted in
Datum: 
Mon, 15/05/2017 - 09:00 - Fre, 19/05/2017 - 17:30
Location: 
MPIM Lecture Hall

© Photo copyright hcm.uni-bonn.de
 

Summer School on "Modular Forms are everywhere", May 15-19, 2017

You can find the official homepage here

 

Organizers

Speakers

Location

Max Planck Institute for Mathematics

How to get here

 

Young Women in Geometry

Posted in
Organiser(s): 
A. Hassannezhad, A. Siffert
Datum: 
Mon, 03/04/2017 - 08:30 - Mit, 05/04/2017 - 18:00
Location: 
MPIM Lecture Hall

 

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:

AnhangGröße
Datei P Young Women_A2-w.pdf1.67 MB
Datei DSC01190-3.JPG4.21 MB

Higher Geometric Structures along the Lower Rhine VIII

Posted in
Organiser(s): 
Christian Blohmann, Marius Crainic, Ioan Marcut, Ieke Moerdijk, Steffen Sagave
Datum: 
Don, 15/12/2016 - 13:45 - Fre, 16/12/2016 - 17:00
Location: 
MPIM Lecture Hall

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 fi eld 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

Posted in
Organiser(s): 
Michael Batanin, Christian Blohmann, Ralph Kaufmann, Martin Markl
Datum: 
Mit, 10/02/2016 - 08:00 - Son, 14/02/2016 - 22:00
Location: 
MPIM Lecture Hall

 

 

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

Ahrens, Benedikt (Institute for Advanced Study )
Awodey, Steve (Carnegie Mellon University )
Bakovic, Igor (Croatia)
Bauer, Andej (University of Ljubljana)
Berger, Clemens (Université de Nice - Sophia Antipolis)
Blanc, David (University of Haifa )
Bordg, Anthony (Charles University Prague)
Breen, Lawrence (Université Paris Nord 13 )
Brunerie, Guillaume (École normale supérieure Paris)
Buchholtz, Ulrik (Carnegie Mellon University )
Cartier, Pierre (IHES)
Chapoton, Frederic (Université de Strasbourg)
Coquand, Thierry (Department of Computer Science and Engineering)
Curien, Pierre-Louis (Université Paris Diderot )
David, Sabonis (TU Munich)
Dotsenko, Vladimir (Trinity College Cambridge )
Doubek, Martin (Charles University Prague )
Durov, Nicolai (V. A. Steklov Institute of Mathematics )
Escardo, Martin (University of Birmingham)
Finster, Eric (LIX, École Polytechnique)
Fiore, Marcelo (University of Cambridge )
Fresse, Benoit (Université de Lille 1 )
Galvez Carrillo, Maria Immaculada (Universitat Politècnica de Catalunya)
Garner, Richard (Macquarie University )
Grayson, Dan (University of Illinois at Urbana-Champaign)
Haselwarter, Philipp (U.F.R. Mathématiques)
Hinich, Vladimir (University of Haifa )
Hofstra, Pieter Jan  (University of Ottawa )
Huber, Simon (Chalmers University of Technology)
Jaun, Lukas (Institute of Computer Science)
Joyal, André (Université du Quebec à Montréal )
Jurco, Branislav (Charles University )
Kapulkin, Chris (The University of Western Ontario )
Kassel, Christian (Université de Strasbourg et CNRS)
Kock, Joachim (Universitat Autònoma de Barcelona )
Le Grignou, Brice (Université de Nice - Sophia Antipolis)
Livernet, Muriel (Université Paris Diderot)
Lumsdaine, Peter (Stockholm University)
Makkai, Michael (McGill University)
Maltsiniots, Georges (Université Paris Diderot)
Martin-Löf, Per (Stockholm University)
Moerdijk, Ieke (Utrecht University )
Neeman, Amnon (The Australian National University )
Newstead, Clive (Carnegie Mellon University)
North, Paige (University of Cambridge)
Palmgren, Erik (Stockholm University)
Rijke, Egbert (Carnegie Mellon University)
Robayo Mesa, Jaime Andrés (Universidad Nacional de Colombia)
Ronco, Maria Ofelia (Universidad de Talca )
Salvatore, Paolo (Universit a di Roma Tor Vergata )
Sattler, Christian (University of Leeds )
Schreiber, Urs (Czech Academy of Sciences )
Shin, Heayong (Department of Mathematics)
Sinha, Dev Parakash (University of Oregon )
Sojakova, Kristina (Carnegie Mellon University)
Spitters, Bas (Aarhus University)
Streicher, Thomas (Technische Universität Darmstadt )
Szawiel, Stanisław (University of Warsaw)
Tonks, Andrew (University of Leicester)
Trlifaj, Jan (Charles University)
Vallette, Bruno (Université Paris Nord 13 )
van den Berg, Benno (University of Amsterdam )
Verchinine, Vladimir (Université Montpellier II )
Voevodsky, Vladimir (Institute for Advanced Study )
von Glehn, Tamara (University of Cambridge)
Weber, Mark (Macquarie University )
Wellen, Felix (Karlsruhe Institute of Technology)
Zawadowski, Marek (University of Warsaw)
 

Schedule

WednesdayThursdayFridaySaturdaySunday
Workshop on Homotopy Type Theory February 10 - 14, 2016

10:00-11:00
Voevodsky

10:00-11:00
Voevodsky

10:00-11:00
Voevodsky

10:00-11:00
Voevodsky

10:00-11:00
Voevodsky

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

Michael Batanin (Macquarie University)
Christian Blohmann (MPIM Bonn)
Ralph Kaufmann (Purdue University)
Martin Markl (Czech Academy of Sciences)

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.

 

AnhangGröße
Datei htt2016_MPIM_A3.pdf3.67 MB

Seminar Aachen-Bonn-Köln-Lille-Siegen on Automorphic Forms

Posted in
Organiser(s): 
K. Bringmann, J. Bruinier, V. Gritsenko, A. Krieg, P. Moree, G. Nebe, N-P. Skoruppa, S. Zwegers
Datum: 
Die, 01/03/2016 - 14:00 - 20:00
Location: 
MPIM Lecture Hall

This is the 47th meeting of the joint French-German seminar on automorphic forms
which is organized by the universities of the five cited cities. Everybody who is interested in
automorphic forms is welcome. We encourage in particular young researchers to participate
and to report on their work in one of our meetings. For further information concerning this
meeting please send an email to moree$@$mpim$-$bonn$.$mpg$.$de

AnhangGröße
Datei akls47.pdf433.9 KB

BICMR-HCM: Beijing meets Bonn

Posted in
Organiser(s): 
Werner Ballmann (MPIM), Xiaobo Liu (BICMR), and Pieter Moree (MPIM)
Datum: 
Mon, 02/11/2015 - 09:00 - Die, 03/11/2015 - 18:00
Location: 
MPIM Lecture Hall

 

The purpose of this workshop is to enhance scientific exchange with the German math community and also advertise the postdoc program at BICMR (Beijing International Center for Mathematical Research).

Chinese participants.

  • Gang Tian (Differential Geometry)
  • Xiaobo Liu (Symplectic geometry and Mathematical Physics)
  • Chenyang Xu (Algebraic Geometry)
  • Ruochuan Liu (Number theory)
  • Bohan Fang  (Mathematical Physics)
  • Renjie Feng (Complex Geometry)


Mathematicians working in Bonn and speaking:

  • Werner Ballmann (Differential Geometry, acting director starting Nov. 2)
  • Geordie Williamson (Representation theory)
  • Tobias Dyckerhoff (Noncommutative algebraic geometry, mathematical physics)
  • Wolfgang Lück (algebraic topology)
  • Karl-Theodor Sturm (stochastic analysis)
  • Michael Meier (chief administrator HCM)


 

AnhangGröße
Datei Schedule153.75 KB

Workshop on Homotopy theory, manifolds, and field theories

Posted in
Organiser(s): 
Haynes Miller, Stefan Schwede, Peter Teichner
Datum: 
Mon, 15/06/2015 (All day) - Fre, 19/06/2015 (All day)
Location: 
MPIM Lecture Hall

Program and Abstracts

This workshop is part of our Trimester Program at the Hausdorff Institute (HIM)

We are inviting selected speakers to expose their current work, related to the themes of the program. In addition to the HIM members and the Bonn topology community, our limited capacity only allows for about 20 outside participants and we now solicit applications.  By registering below, you can apply for participation/funding.

In order to help planning this event, we ask every participant to register, even if you are at Uni Bonn, HIM or MPIM.

Haynes Miller : "Localization in Homotopy Theory" lecture notes and video are now available. NEW

Confirmed Speakers

Benjamin Antieau (Washington)
Gregory Arone (Virginia)
Arthur Bartels (Münster)
Tobias Barthel (MPIM)
John Francis (Northwestern)
Owen Gwilliam (MPIM)
Akhil Mathew (Berkeley)
Thomas Nikolaus (Bonn)
Charles Rezk (Urbana)
Claudia Scheimbauer (MPIM)
Chris Schommer-Pries (MPIM)
Hiro Tanaka (Harvard)
Nathalie Wahl (Kopenhagen)

Registration

To register please use the registration webform. There is no registration fee.

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.

Practical information

For practical information such as how to get to the institute and a list of hotels see here.

© MPI f. Mathematik, Bonn Impressum & Datenschutz
-A A +A
Inhalt abgleichen