Vorträge und Konferenzen

Aktuell oder demnächst:

• Teilnehmer am Dagstuhl Seminar 'The Constraint Satisfaction Problem: Approximability and Complexity', 15-20.5.22, Schloss Dagstuhl.

Vor/seit kurzem:

• Teilnahme am Dagstuhl Seminar 'Logic and Random Discrete Structures', 6.-11.2.22, Schloss Dagstuhl.
• Eingeladener Sprecher für ein Tutorial für die Konferenz BLAST, 9.-13. Juni 2021, Online in Las Cruces, New Mexico State University. 
• 29. April 2021: Vortrag Ulam Seminar der CU Boulder. 
• Mitglied im PC der Konferenz RAMICS 2021.
• Durham Symposium on Mathematics of Constraint Satisfaction, 19.-24.07.2020, Durham University. VERSCHOBEN WEGEN CORONA
• Invited Tutorial Speaker at AAA 100 in Krakow: "Oligomorphic clones", February 4-7.2021.
• Organiser of the Oberwolfach Workshop: Homogeneous structures: model theory meets universal algebra, Mathematisches Forschungsinstitut Oberwolfach, 03.-09.01.2021. Took place virtually. 
• PC member of ICALP 2020. Took place electronically.
• My video with Jakub Rydval at LICS 2020 got the best video award!
• Algorithmic Model Theory Meeting, 25.-27.03.2020, Darmstadt. CANCELLED BECAUSE OF THE CORONAVIRUS PANDEMIC
• PC member of STACS 2020.
• Participating at the 22nd Colloquiumfest, 6.12.-9.12.2019, Prague.
• PC member of RAMICS 2020.
• PC member of CSL 2020.
• Universal Algebra and CSP exchange visit to the Algebra Department at Charles University, Prague, 20.11.2019. Slides of my talk.
• Participating at the QuantLA Workshop of our graduate program at Schloss Stolpen, 7.10.-11.10.2019.
• Participating at the 25. Jahrestagung der GI Fachgruppe "Logik in der Informatik", 21.-22.10.2019, Jena.
• Participating at the Midsummer Combinatorial Workshop in Prague, 29.7.-2.7.2019. Slides of my talk.
• Organisator der 98ten Arbeitstagung Allgemeine Algebra, 21-23.6.2019, in Dresden.
• QuantLA Spring school, 25.3.2019 - 29.3.2019, in Krippen.
  Slides of my talk.
• PC member of CSR 2019.
• Teilnahme an der 97ten Arbeitstagung Allgemeine Algebra, 1.3.2019 - 3.3.2019, in Wien.
• Eingeladener Sprecher des Workshops RAMiCS 2018, October 29 - November 2, in Groningen.
• Research exchange trip to Prag, October 17-18, 2018.
• Teilnehmer am QuantLA Workshop 2018, August 28-31, in Meissen.
• Teilnehmer am Dagstuhl Seminar 18231, The Constraint Satisfaction Problem: Complexity and Approximability, June 3-8, in Dagstuhl.
• Organisator der 96ten Arbeitstagung Allgemeine Algebra, June 1-3, 2018, in Darmstadt.
• Teilnahme am Workshop Structure and dynamics of Polish groups, im Rahmen des Spezialsemesters zu `Descriptive set theory and Polish groups' , EPFL Lausanne, March 19-23, 2018.
• Vortrag im FG1 Seminar (universelle Algebra und Mengelehre) der TU Wien, 16.3.2018.
• Organisation der Sektion 'mathematische Logik' der gemeinsamen Jahrestagung der Deutschen Mathematiker-Vereinigung (DMV) und der Gesellschaft für Didaktik der Mathematik (GDM), 05.-09. März 2018, Paderborn.
• Talk in the Workshop of the European Master Program in Computational Logic, Dresden, February 2018.
• Invited Speaker of the Prague Gathering of Logicians, held jointly with `Beauty of Logic', at Villa Lanna in Prague, January 25-27, 2018.
• Talk in the seminar of the department of mathematics and computer science of the University Basel, December 2017.
• Teilnahme am QuantLA Workshop 2017, 18-22.9.2017 in Altenberg.
• PC member of the 42nd International Symposium on Mathematical Foundations of Computer Science, August 21-25, 2017, Aalborg (Denmark)
• Invited speaker at the conference AAA94+NSAC17, The 94th Workshop on General Algebra in conjunction with the 5th Novi Sad Algebraic Conference, Novi Sad, Serbia, June 15-18, 2017. THIS WAS MY LAST FLIGHT.
• Research train trip to Prag, Warsaw, and Krakow, March 8 - March 17, 2017.
• Teilnahme AAA94+NSAC17, The 94th Workshop on General Algebra in conjunction with the 5th Novi Sad Algebraic Conference, Novi Sad, Serbia, June 15-18, 2017.
• Teilnahme am Dagstuhl Seminar 16482, Algorithms and Effectivity in Tropical Mathematics and Beyond, November 27 -- December 02, 2016.
• Im Editorial Board des Journals Mathematical Logic Quarterly (MLQ).
• Teilnahme am QuantLA Workshop 19.-23.9.2016 in Krippen.
• Im Programmkomitee des Logic Colloquium 2016 (Leeds).
• Im Programmkomitee des Colloquium Logicum 2016 (Hamburg), Teilnahme am Colloquium am 10. und 11.9.2016.
• Im Programmkomitee der Konferenz Computer Science Logic 2016 (Marseille).
• Organisation der QuantLA Schule, 15.-20.5.2016 in Leipzig.
• Eingeladener Sprecher im Rahmen der DMV/GAMM-Jahrestagung 2016, Braunschweig, 7.-11. März (Sektion Discrete Mathematics and Theoretical Computer Science)
• Teilnahme am BIRS-Workshop Homogeneous Structures, Banff, Canada, November 8 until November 13, 2015.
• Organisation des Workshops Qualitative Temporal and Spatial Reasoning: Algorithms and Complexity, zur KI'2015, Dresden, 21/22.9.2015.
• Organisation der Konferenz Groups and Topological Groups (GTG) in Dresden am 30.7.2015 und 31.7.2015.
• Teilnahme am Dagstuhl Seminar 15301, The Constraint Satisfaction Problem: Complexity and Approximability, July 19-24, 2015.
• Eingeladener Sprecher 25th British Combinatorial Conference, July 6-10, 2015, Warwick, UK.
• Betreuer im Graduiertenkolleg QuantLA (DFG Research Training Group 1763).
• Eingeladener Sprecher 32nd International Symposium on Theoretical Aspects of Computer Science (STACS), March 4-7, 2015, Munich, Germany.
• Organisation der AAA 89, February 26 to March 1, 2015, Dresden.
• Mitglied ICCL (International Center for Computational Logic).
• Organisation des Workshops Algebraic and Model Theoretical Methods in Constraint Satisfaction, Banff International Research Station, November 23-28, 2014.
• Eingeladener Sprecher beim Colloquium Logicum 2014, 4-6 September, Munich, Germany.
• Teilnahme am Dagstuhl Seminar 14331, Querying and Reasoning Under Expressive Constraints, 10-14 August, 2014.