Workshop on Internal Methods in Algebraic Geometry

University of Gothenburg/Chalmers
April 17-20, 2023



Ingo Blechschmidt University of Augsburg
Matthias Hutzler University of Gothenburg
Felix Cherubini University of Gothenburg
Marc Nieper-Wißkirchen University of Augsburg
Thierry Coquand University of Gothenburg
David Wärn University of Gothenburg
Josselin Poiret ENS de Lyon
Lukas Stoll University of Augsburg
Nicolas Beck Freie Universität Berlin
Hugo Moeneclaey University of Gothenburg
Owen Miller Carnegie Mellon University
Jonas Frey (tbc) Carnegie Mellon University
Jon Sterling (tbc) Aarhus University
Daniel Gratzer (tbc) Aarhus University



All talks will be in the EDIT-Building on Johanneberg (Rännvägen 6).
The room will change a couple of times:

Time Room
Mon before lunch ES52
Mon after lunch ES53
Tue before lunch EL43
Tue after lunch ES52
Wed and Thu EL43

Local information

Don't be confused: There are two universities, Chalmers and the University of Gothenburg. The Computer Science and Engineering (CSE) department is shared between the two universities.
The meeting will be in the CSE department in Johanneberg, Gothenburg.

The currency is SEK (not EUR). It is advisable to have a credit card to pay in Sweden and you should know your PIN. German EC-Cards with V-Pay are also known to work.

Travelling to Gothenburg

If you come from a member state of the EU, your national identity card is enough to enter the country - make sure it is not out of date, it might be checked, even if you travel to Sweden by train or bus.


There are ships from and to Germany and Denmark (Fredrikshavn).



Gothenburg has an international Airport, Landvetter/GOT. Gothenburg is about 4h by train from Stockholm and Copenhagen (which have bigger airports). From the airport, you can use the bus, and choose anything of the suggestions on the right, to end up in the city (the last option is the main train station):

Enivronmental impact

Apart from the obvious, it is unlcear how to rank the ships/ferries. According to some sources, they are worse than flying, if you split emissions by money spent and use an (expensive) overnight ship.