Workshop

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/

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
 

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

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

Organizers

Confirmed Speakers:

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).

Attachment	Size
4manifolds19.pdf	582.46 KB
DSC03360-2.png	4.18 MB

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

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

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.

Attachment	Size
ProgramYRSM17.pdf	206.34 KB
DSC01998.JPG	10.58 MB

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)

• Ailana Fraser
• Esther Cabezas-Rivas
• Julie Rowlett

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:

Attachment	Size
P Young Women_A2-w.pdf	1.67 MB
DSC01190-3.JPG	4.21 MB

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

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.

Attachment	Size
htt2016_MPIM_A3.pdf	3.67 MB

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)

Attachment	Size
Schedule	153.75 KB