Google Search
Prof. Dr. Christoph Berkholz
Head of Algorithms group
phone: +49 3677 69-2783
fax: +49 3677 69-1237
email: christoph.berkholz (at) tu-ilmenau.de
Algorithmic Model Theory meeting (AlMoTh 2024) |
The Algorithmic Model Theory meeting (AlMoTh 2024) will take place at Technische Universität Ilmenau (TU Ilmenau) on February 29th and March 1st, 2024. The talks will be held on the Campus Ehrenberg (Oeconomicum, room 5007, Helmholtzplatz 3, in Ilmenau).
General information about the AlMoTh workshop can be found here. Inquiries regarding the organisation of AlMoTh 2024 might be directed to almoth2024@tu-ilmenau.de.
Update: Announcements regarding this and future AlMoTh events are also distributed via the AlMoTh mailling list. If you are currently not on the list you can subscribe here.
In case you want to give a talk, please send title and abstract to almoth2024@tu-ilmenau.de by 8 February 2024.
Registrations should be sent to almoth2024@tu-ilmenau.de by 8 February 2024, as well.
Update: Late registrations will be considered as long there is space.
Here you can find a pdf file containing the programme, directions and a map.
Expected length of presentations: 20 min talk + 2,5 min discussion.
12:30 - 13:25 Coffee and buffet
13:25 Welcome
13:30 - 15:00 Session: Color Refinement & Work
15:00 - 15:30 Pause
15:30 - 16:40 Session: Succinctness & Games
16:40 - 17:10 Pause
17:10 - 18:40 Session: Graph Structure & Homomorphism Counts
20:00 Almoth Dinner, Hotel Tanne, Restaurant "Belcanto"
9:00 - 10:05 Session: Testing, Learning, Order-invariance Weisfeiler-Leman
10:05 - 10:25 Pause
10:25 - 11:30 Session: Proof Complexity & Bounded Arithmetic
11:30 - 11:50 Pause
11:50 - 12:55 Session: Trees & Text
12:55 - 13:00 Farewell
13:00 - 13:45 Option for joint lunch at Mensa "Ehrenberg" (on campus)
13:45 - approx. 18:00 Hike
We will meet for a joint dinner on Thursday, 29 February 2024, 20:00 at the following place:
"Bel Canto" restaurant in the Hotel Tanne
Lindenstraße 38
98693 Ilmenau
On Friday afternoon we organize a joint hike to the Kickelhahn.
UPDATE We meet at 14:00 here: https://maps.app.goo.gl/CTHFongKjgcxzXiw9 (departing from TU Mensa around 13:45-13:55 by cars). Then we are walking this route: https://maps.app.goo.gl/CEPjFv8gpMv8mTz4A.