Google Search

@TU Ilmenau

**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 - 17:00 Session: Succinctness & Games

17:00 - 17:20 Pause

17:20 - 18:50 Session: Graph Structure & Homomorphism Counts

20:00 Almoth Dinner, Hotel Tanne, Restaurant "Belcanto"

9:00 - 10:05 Session: Testing, Learning, Order-invariance

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.