Next meeting: June 5th to June 10th

Tübingen's Frontiers of Theory: Lectures and Research (TüFTLeR) is a twice-yearly week-long seminar dedicated to the study of several aspects of theoretical computer science, including but not limited to:

• Circuit complexity,
• Automata theory,
• Algebraic techniques in automata theory and beyond,
• Logic, descriptive complexity, and formal systems.

The TüFTLeR is organized by the Theoretische Informatik (theoretical computer science) laboratory of the University of Tübingen. Attendance to the seminar is offered to the members of the laboratory and to additional invited top researchers, in similar proportions. The schedule is evenly split between lectures and work sessions.

The TüFTLeR takes place in a country-style cottage around Tübingen at the end of Summer and of Winter, typically lasting 5 days. A suggested program is handed a couple of weeks before by the organizers, for discussion. The participants are encouraged to present their work in progress, rather than past work, in order to stimulate the work sessions.

The remote and calm environment provides an ideal workplace for researchers, while also enabling good social interaction. In particular, the participants share all of their meals, and an afternoon is usually reserved for a hike through the surrounding forest.

The first TüFTLeR took place in 2014. Here follows a list of all the previous TüFTLeR, the topic list not being meant to be exhaustive: