Konferenzen
Forthcoming
- Computability in Europe CiE, July 2024, Amsterdam, Netherlands (SC member)
- Unconventional Computation and Natural Computation, June 2024, Pohang, Gyeongsangbuk-do, Republic of Korea
- Theory and Applications of Models of Computation TAMC, May 2024, Hong Kong, China (PC member)
Past (since 2008)
- Computability in Europe CiE, July 2023, Batumi, Georgia (SC member, PC member)
- Computability in Europe CiE, July 2022, Swansea, Wales (SC member, PC member)
- Computability in Europe CiE, July 2021, Ghent, Belgium (SC member, PC member)
- Computer Science Symposium in Russia, CSR 2021, Sochi, Russia, June-July 2021
- Computability in Europe CiE, July 2020, Salerno, Italy (SC member, PC member)
- Foundations of Computational Mathematics FoCM, Vancouver, June 2020 --> cancelled due to the pandemic
- Complexity of numerical computation - A workshop in honor of Felipe Cucker, August 2019, Berlin, Germany
- 31st European Summer School in Logic, Language and Information, August 2019, Riga, Latvia
- Computability in Europe CiE, July 2019, Durham, UK (SC member, PC member)
- A.P. Ershov Informatics Conference, July 2019, Novosibirsk, Russia (PC member)
TAMC 2019: Theory and Applications of Models of Computation, April 2019, Kitakyushu, Japan (PC member)
13th International Conference on Language and Automata Theory and Applications LATA 2019, March 2019, St. Petersburg, Russia
- Joint Meeting of the Korean Mathematical Society and the German Mathematical Society, Seoul, South Korea, October 2018
- Research stay at Arcadia University, Glenside, USA, September 2018
- Computability in Europe, Kiel, Germany, July-August 2018
- Workshop on Graph-Theoretic Concepts in Computer Science, Cottbus, Germany, June 2018
- ESI Program on Tractability of High Dimensional Problems & Discrepancy, Workshop 2, Erwin Schrödinger International Institute for Mathematics and Physics, Vienna, Austria, October 2017
- Logic Colloquium LC 2017, Stockholm, Sweden, August 2017
- Foundations of Computational Mathematics FoCM 2017, Barcelona, Spain, July 2017
- Perspectives of System Informatics: A.P. Ershov Informatics Conference PSI 2017, Moscow, Russia, June 2017 (PC member)
- Computability in Europe CiE 2017, Turku, Finland, June 2017 (PC member)
- Logic in Computer Science LICS 2017, Reykjavik, Island, June 2017
- Theory and Applications of Models of Computation TAMC 2017, Bern, Switzerland, April 2017 (PC member)
- Colloquium Logicum 2016, Universität Hamburg, Germany, September 2016
- IBC on the 70th anniversary of Henryk Wozniakowski, Banach Center Conferences, Bedlewo, Poland, August 2016
- Mathematical Foundations of Computer Science MFCS, Kracow, August 2016
- Theory and Applications of Models of Computation TAMC 2016, Xi'an, China, July 2016 (PC member)
- Language and Automata Theory and Applications LATA 2016, Prague, Czech Republic, March 2016
- Symbolic Computation and Satisfiability Checking, Schloß Dagstuhl, November 2015
- Mathematical Foundations of Computer Science MFCS 2015, Milano, Italy, August 2015
- PSI: 10th Ershov Informatics Conference, August 2015, Kazan, Russia (PC member)
- Computability in Europe CiE 2015, Bucharest, June/July 2015
- Complexity of Symbolic and Numerical Problems, Schloß Dagstuhl, June 2015
- Information-Based Complexity, Banach Center Conferences, Bedlewo, Poland, 2015
- TAMC 2015: Theory and Applications of Models of Computation, Singapore, May 2015 (PC member)
- Foundations of Computational Mathematics, Montevideo, Uruguay, December 2014
- WOLLIC 2014: 21st Workshop on Logic, Language, Information and Computation, Valparaiso, Chile, September 2014 (PC member)
- ESSLLI 2014: European Summer School in Logic, Language and Information, Tübingen, Germany, August 2014
- PSI 2014: Ershov Informatics Conference, St. Petersburg, Russian Federation, June 2014 (PC member)
- CiE 2014: Computability in Europe Conference Series, Budapest, Hungary, June 2014 (PC-Chair)
- CSR 2014: Computer Science Symposium in Russia, Moscow, Russian Federation, June 2014
- TAMC 2014: Theory and Applications of Models of Computation, Chennai, India, April 2014
- Méthodes numériques et calcul effectif, CIRM, Marseille, France, October 2013
- SIAM Annual Meeting, San Diego, USA, July 2013
- Universiteit van Amsterdam, Colloquium talk, Amsterdam, The Netherlands, March 2013
- STACS 2013: 30th Symposium on Theoretical Aspects of Computer Science, Kiel, Germany, February 2013
- 64. Theorietag Gesellschaft für Informatik, TU Darmstadt, Germany, October 2012
- Algorithms and Complexity for Continuous Problems, Dagstuhl, Germany, September 2012
- Colloquium Logicum, Paderborn, Germany, September 2012
- School Lluis Santal´o of the Spanish Mathematical Society, Santander, Spain, July 2012
- Colloquium talk Faculty of Science, University Jiangsu, Zhenjiang, China, July 2012
- From Dynamics to Complexity: A conference celebrating the work of Mike Shub, Fields Institute, Toronto, Canada, May 2012
- Fundamentals of Computing Theory FCT, Oslo, Norway, August 2011
- Foundations of Computational Mathematics FoCM, Budapest, Hungary, July 2011
- Computer Science in Russia CSR, St. Petersburg, Russian Federation, June 2011
- Ershov Memorial Conference, Novosibirsk, Russian Federation, June 2011 (PC member)
- Colloquium talk Mathematics, TU Darmstadt, Germany, June 2010
- Colloquium talk Mathematics, Université Mons, Belgium, May 2010
- Logical Approaches to Barriers in Computing and Complexity, Greifswald, Germany, February 2010
- Colloquium talk Mathematics, TU Ilmenau, Germany, November 2009
- Colloquium talk Computer Science, University of Southern Denmark Odense, Denmark, September 2009
- Computability in Europe CiE, Heidelberg, Germany, July 2009
- 23rd European Conference on Operations Research, Bonn, Germany, July 2009
- Bridging Logic and Complexity, Makowsky Symposium, Bertinoro, Italy, September 2008
- 34th Workshop Graph Theoretic Concepts in Computer Science, Durham, United Kingdom, July 2008
- Foundations of Computational Mathematics FoCM, Hong Kong, July 2008