×
Zielgruppen Querverweise
Computability in Europe CiE , July 2025, Lisbon, Portugal (SC member, paper)Computability in Europe CiE, July 2024, Amsterdam, Netherlands (SC member)Unconventional Computation and Natural Computation , June 2024, Pohang, Gyeongsangbuk-do, Republic of KoreaTheory and Applications of Models of Computation TAMC , May 2024, Hong Kong, China (PC member)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 2021Computability in Europe CiE, July 2020, Salerno, Italy (SC member, PC member)Foundations of Computational Mathematics FoCM, Vancouver, June 2020 --> cancelled due to the pandemicComplexity of numerical computation - A workshop in honor of Felipe Cucker , August 2019, Berlin, Germany31st European Summer School in Logic, Language and Information , August 2019, Riga, LatviaComputability 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, RussiaJoint Meeting of the Korean Mathematical Society and the German Mathematical Society , Seoul, South Korea, October 2018Research stay at Arcadia University , Glenside, USA, September 2018 Computability in Europe , Kiel, Germany, July-August 2018Workshop 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 2017Logic Colloquium LC 2017, Stockholm, Sweden, August 2017Foundations of Computational Mathematics FoCM 2017 , Barcelona, Spain, July 2017Perspectives 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 2017Theory and Applications of Models of Computation TAMC 2017, Bern, Switzerland, April 2017 (PC member)Colloquium Logicum 2016 , Universität Hamburg, Germany, September 2016IBC on the 70th anniversary of Henryk Wozniakowski , Banach Center Conferences, Bedlewo, Poland, August 2016Mathematical Foundations of Computer Science MFCS , Kracow, August 2016Theory 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 2016Symbolic Computation and Satisfiability Checking , Schloß Dagstuhl, November 2015Mathematical Foundations of Computer Science MFCS 2015 , Milano, Italy, August 2015PSI: 10th Ershov Informatics Conference , August 2015, Kazan, Russia (PC member)Computability in Europe CiE 2015 , Bucharest, June/July 2015Complexity of Symbolic and Numerical Problems , Schloß Dagstuhl, June 2015Information-Based Complexity , Banach Center Conferences, Bedlewo, Poland, 2015TAMC 2015 : Theory and Applications of Models of Computation, Singapore, May 2015 (PC member)Foundations of Computational Mathematics , Montevideo, Uruguay, December 2014WOLLIC 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 2014PSI 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 2014TAMC 2014 : Theory and Applications of Models of Computation, Chennai, India, April 2014Méthodes numériques et calcul effectif , CIRM, Marseille, France, October 2013SIAM Annual Meeting , San Diego, USA, July 2013Universiteit van Amsterdam , Colloquium talk, Amsterdam, The Netherlands, March 2013STACS 2013 : 30th Symposium on Theoretical Aspects of Computer Science, Kiel, Germany, February 201364. Theorietag Gesellschaft für Informatik , TU Darmstadt, Germany, October 2012Algorithms and Complexity for Continuous Problems , Dagstuhl, Germany, September 2012Colloquium Logicum , Paderborn, Germany, September 2012School Lluis Santal´o of the Spanish Mathematical Society, Santander, Spain, July 2012 Colloquium talk Faculty of Science , University Jiangsu, Zhenjiang, China, July 2012From Dynamics to Complexity: A conference celebrating the work of Mike Shub , Fields Institute, Toronto, Canada, May 2012Fundamentals of Computing Theory FCT , Oslo, Norway, August 2011Foundations of Computational Mathematics FoCM , Budapest, Hungary, July 2011Computer Science in Russia CSR , St. Petersburg, Russian Federation, June 2011Ershov Memorial Conference , Novosibirsk, Russian Federation, June 2011 (PC member)Colloquium talk Mathematics , TU Darmstadt, Germany, June 2010Colloquium talk Mathematics , Université Mons, Belgium, May 2010Logical Approaches to Barriers in Computing and Complexity , Greifswald, Germany, February 2010Colloquium talk Mathematics , TU Ilmenau, Germany, November 2009Colloquium talk Computer Science , University of Southern Denmark Odense, Denmark, September 2009Computability in Europe CiE , Heidelberg, Germany, July 200923rd European Conference on Operations Research, Bonn, Germany, July 2009 Bridging Logic and Complexity , Makowsky Symposium, Bertinoro, Italy, September 200834th Workshop Graph Theoretic Concepts in Computer Science , Durham, United Kingdom, July 2008Foundations of Computational Mathematics FoCM , Hong Kong, July 2008
Unsere Webseite verwendet Cookies. Diese haben zwei Funktionen: Zum einen sind sie erforderlich für die grundlegende Funktionalität unserer Website. Zum anderen können wir mit Hilfe der Cookies unsere Inhalte für Sie immer weiter verbessern. Hierzu werden pseudonymisierte Daten von Website-Besuchern gesammelt und ausgewertet. Das Einverständnis in die Verwendung der technisch nicht notwendigen Cookies können Sie jeder Zeit wiederrufen. Weitere Informationen erhalten Sie auf unseren Seiten zum Datenschutz .
Einstellungen
Erforderliche Cookies akzeptieren
Alle Cookies akzeptieren
Einstellungen speichern
×
