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.

ABSTRACTS AND REGISTRATION

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.

PROGRAM

Leaflet

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.

Thursday, February 29th

  • 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"

Friday, March 1st

  • 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

PARTICIPANTS

ALMOTH DINNER

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

ALMOTH HIKE

On Friday afternoon we organize a joint hike to the Kickelhahn.

REACHING US

ACCOMODATION