Vorträge und Konferenzen
Excellent article on the future of the conference system in theoretical computer science.
Sehr empfehlenswerter Aufsatz zur Zukunft des Konferenzsystems in theoretischer Informatik (in Englisch).
Aktuell oder demnächst:
- Organisator des Oberwolfachseminars
- Teilnahme CWC
- 2 Paper auf der MFCS in Warschau vorgestellt
Vor/seit kurzem:
- Organisator des Dagstuhl Seminars
- Teilnehmer am Dagstuhl Seminar 'The Constraint Satisfaction Problem: Approximability and Complexity', 15-20.5.22, Schloss Dagstuhl.
- 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.