伟德国际_伟德国际1946$娱乐app游戏

图片

Workshop on Algorithms, Complexity, and Logic

89th "Theorietag" 2025

About the Workshop

The 89th Workshop in Algorithms, Complexity, and Logic, commonly known as "Theorietag", is a joint workshop of the three working groups on Algorithms, Complexity, and Logic of the German Society for Computer Science (GI).

?

It aims at bringing together researchers from these three core research areas of theoretical computer science and to foster a broad scientific exchange. Moreover, the workshop is a great opportunity for younger researchers to present their work and to connect.?There are no formal proceedings, so both published and unpublished work can be presented, without interfering with any past or future publication. A declared goal of the workshop is to enable contact between young and senior scientists.

?

This workshop has a long tradition and is usually held twice a year. The most recent "Theorietag" was held in Jena in March 2025.??

?

Time and Location

Time:
  • Workshop:?Thursday, 9th October 2025 noon?-- Friday, 10th October 2025 afternoon
  • Social Dinner: Thursday, 9th October 2025 in the evening

Location:

  • Workshop: 伟德国际_伟德国际1946$娱乐app游戏 of Augsburg, Universit?tsstra?e 6a, 86159 Augsburg, Germany.?Computer Science Building (Building N, main campus), Lecture Hall N2045
  • Social Dinner: t.b.a.

Invited Speakers

Thomas Bl?sius

(Karlsruhe Institute of Technology)

Javier Esparza

(Technical 伟德国际_伟德国际1946$娱乐app游戏 Munich)

Daniel Neuen

(Max Planck Institute for Computer Science, Saarbrücken)

Call for Participation

Contributed Talks:?

We are looking for contributed talks in all areas of research on Algorithms, Complexity and Logic. These can be on recently published research, work in progress, or thesis projects.

?

If you are interested in giving a contributed talk, then please send your title+abstract to?

theorietag2025@informatik.uni-augsburg.de?by 26th September 2025.

?

Registration:

If you want to attend the workshop (with or without talk), then please register by sending an email to:? theorietag2025@informatik.uni-augsburg.de

?

Attending the workshop will be free of charge. Coffee/tea+fingerfood will be provided. Lunch and social dinner is self-paid.?

?

For the registration, please state your name and your affiliation. Additionally, if you want to give a contributed talk, then please also send your talk title and abstract.

?

The registration will be open at least until 26th September 2025.??

?

Local Organization

Local Organizers:?

  • Pascal Lenzner
  • Marcus Wunderlich

Suche