Institute of Informatics
University of Szeged
P.O.Box 652
H-6701 Szeged, Hungary
Tel: +36 62 544 289
Fax: +36 62 420 292
email: ze[at]inf.u-szeged.hu
http://www.inf.u-szeged.hu/~ze
Membership in international scientific associations, learned bodies, etc.
Elected member of the Academy of Europe, 2010
Presburger Award Committee, 2015--2017
European Association for Theoretical Computer Science (EATCS) (Member of the Council from 2003 to 2015)
International Federation for Information Processing Member of TC1 since 2000
IFIP WG 1.8, Working Group on Concurrency
European Association for Computer Science Logic (EACSL) Member of the Board 2005--2010
Steering Committees of the conference series:
Fundamentals of Computer Science (FCT), Algebraic Informatics (CAI), Fixed Points in Computer Science (FICS), retired in 2012, Automata and Formal Languages (AFL), retired in 2014.
European project
Automata: from Mathematics to Applications (AutoMathA, 2005--2010) (Member of the Steering Committee and the Executive Board)
Membership in editorial boards
Theoretical Computer Science (2000-2015)
Theoretical Informatics and Applications
Alkalmazott Matematikai Lapok (Journal of Applied Mathematics)
Journal of Automata, Languages and Combinatorics
Former memberships in editorial boards
Discrete Mathematics in Theoretical Computer Science
Acta Scientiarum Mathematicarum (Szeged)
List of publication can be found here
Involvement in conferences:
Program Committee (since 2000)
Foundations of Software Science and Computation Structures, Uppsala, 2017
Descriptional Complexity, Bucharest, 2016
Highlights of Logic, Games, and Automata, Prague, 2015
6th International Conference on Algebraic Informatics, Stuttgart, 2015
AutoMathA: Automata, from Mathematics to Applications, Leipzig, 2015
Int. Conf. Automata, Languages and Programming (ICALP2015), Kyoto, 2015
1st EATCS Young Researchers School, Automata, Logic and Games, Telc, Czech Republic, 2014
Highlights of Logic, Games and Automata, Paris, 2014
Automata and Formal Languages, AFL 2014, Szeged (chair)
Mathematical Foundations of Computer Science, MFCS 2014, Budapest (chair)
Computer Science in Russia, CSR 2014, Moscow
Algebraic Informatics, Porquerolles Island Aix-Marseille University, France, 2013
Developments in Language Theory, Paris 2013
Mathematical Foundations of Computer Science, Vienna 2013
Descriptional Complexity of Formal Systems, Braga, 2012
Fixed Points in Computer Science, Tallinn, 2012 (co-chair)
Foundations of Software Technology and Theoretical Comp. Sci., Mumbai, 2011
Descriptional Complexity of Formal Systems, Giessen, 2011
Developments in Language Theory, Milan, 2011
International Colloq. Automata, Languages and Programming, Zurich, 2011
Automata and Formal Languages, Debrecen, 2011
Fixed Points in Computer Science, Brno, 2010
Foundations of Software Technology and Theoretical Computer Science, Chennai, 2010
Fixed Points in Computer Scienc. Coimbra, 2009
Mathematical and Engineering Methods in Computer Science, Brno, 2009
Developments in Language Theory, Stuttgart, 2009
Quantitative Logics, Rhodes, 2009
Symposium on Theoretical Aspects of Computer Science, Freiburg, 2009
Mathematical and Engineering Methods in Computer Science, Brno, 2008
Developments in Language Theory, Kyoto, 2008
Language and Automata: Theory and Applications, Tarragona, 2008
Automata and Formal Languages, Balatonfured, 2008 (co-cahir)
Foundations of Software Science and Computational Structures, Budapest, 2008
Fundamentals of Computation Theory, Budapest, 2007 (co-chair)
Language and Automata: Theory and Applications, Tarragona, 2007
Mathematical and Engineering Methods in Computer Science, Brno, 2007
Conference on Algebraic Informatics, Thessaloniki, 2007
Developments in Language Theory, Santa Barbara, CA, USA, 2006
Relations and Kleene Algebra in Computer Science, Manchester, UK, 2006.
Logic, Models and Computer Science, Camerino, 2006
Computer Science Logic, CSL 06, Szeged, 2006 (chairman)
Algebraic Theory of Automata and Logic, Szeged, 2006
Foundations of Software Science and Computation Structures, FOSSACS 06, Vienna, 2006
Automata and Formal Languages, AFL 05, Dobogoko, 2005 (co-chairman)
Developments in Language Theory, DLT 05, Mondello, Palermo, 2005
International Colloquium on Automata, Languages, and Programming, ICALP 05, Track B: Logic, Semantics, and Theory of Programming, Lisboa, 2005
Computer Science Logic, CSL 05, Oxford, 2005
Developments in Language Theory, DLT 04, Auckland, 2004
International Workshop on Expressiveness in Concurrency, EXPRESS 03, Marseille, 2003
International Workshop on Fixed Points in Computer Science, FICS 03, Warsaw, 2003 (co-chairman)
Developments in Language Theory, DLT 03, Szeged, 2003, (co-chairman)
Process Algebra, Open Problems and Future Directions, Bertinoro, 2003
Fundamentals of Computation Theory, FCT 03, Malmo, 2003
Automata and Formal Languages, AFL 02, Debrecen, 2002
International Workshop on Fixed Points in Computer Science, FICS 02, Copenhagen, 2002 (co-chairman)
International Workshop on Fixed Points in Computer Science, FICS 00, Paris, 2000
Invited speaker (since 2000)
4th Int. Workshop on Trends in Tree Automata and Tree Transducers (TTATT 2016), Seoul, 2016
40th anniversary invited speaker, Mathematical Foundation of Computer Science (MFCS), Milan, 2015
ALFA 15: Automata, Logic, Formal languages, Algebra, Bordeaux, 2015
The Role of Theory in Computer Science , Waterloo, ON, 2015
Mathematics and Informatics, Marosvasarhely, 2015
Semigroups, Languages, and Algebras, Akita, 2014
Weighted Automata, Theory and Applications , Leipzig, 2014
Automata, Logic, Formal languages, and Algebra , Stellenbosch, South Africa, 2013
Mathematics and Informatics, Marosvasarhely, 2013
Workshop on Lattices and Relations, Amsterdam, 2012
Weighted Automata: Theory and Applications, Dresden, 2012
Algebras, Languages, Algorithms and Computation, Kyoto, 2011
Highlights of Automata, Vienna, 2010
Quantitative Models: Expressiveness and Analysis, Dagstuhl seminar, 2010
WATA 2010: Weighted Automata: Theory and Applications, Leipzig, 2010
AUTOMATHA 09, Liege, 2009
School on Algebraic Theory of Automata, Lisbon, 2008
Developments in Language Theory, DLT 08, Kyoto, 2008
Weighted Automata: Theory and Applications, WATA 08, Dresden, 2008
Weighted Automata, Theory and Applications, WATA 06, Leipzig, 2006
Mathematical Foundations of Computer Science, Palics, October 13--15, 2005.
Algebraic Informatics, Thessaloniki, 2005
Novi Sad Algebraic Conference, NSAC 05, Novi Sad, 2005
Joint Mathematics Meeting, AMS Special Session on Fixed Points, Phoenix, 2004
Weighted Automata: Theory and Applications, Dresden, 2004 June 1--5, 2004.
International Workshop on Categorical Methods in Computer Science, CMCS 03, Warsaw, April 5--6, 2003.
Developments in Language Theory, DLT 02, Kyoto, September 18--21, 2002.
Weighted Automata: Theory and Applications, WATA 02, Dresden, March 4--8, 2002.
International Conference on Discrete Mathematics and Applications, Blagoevgrad, August 31--September 2, 2001.
International Workshop on Max-Plus Algebras and Their Applications to Discrete-event Systems, Theoretical Computer Science, and Optimization, Prague, 27-29 August 2001.
Developments in Language Theory, DLT 01, Vienna, July 16--21, 2001.
International Workshop on Fixed Points in Computer Science, FICS 01, Florence, September 8, 2001.
International Workshop on Expressiveness in Concurrency, EXPRESS 01 , Aalborg, August 20, 2001.
Category Theory, CT 2000, Como, July 16--20, 2000.
International Colloquium on Words, Languages and Combinatorics, Kyoto, March 14--18, 2000.
Invited speaker at foreign institutions (several times at certain institutions) BRICS, Aarhus, University of Aalborg, CWI, Amsterdam, RIMS, Kyoto, Kyoto Sangyo University, University of Aizu, University of Tsukuba, University of Akita, University of Tokyo, University of Matsue, Shimane University, University of Bremen, TU Dresden, University of Hamburg, University of Hanover, University of Magdeburg, Unversity of Leipzig, University of Saarbrucken, Technical University of Munich, University of Stuttgart, University of Kassel, University of Tuebingen, University of Turku, Stevens Institute of Technology, Hoboken, NJ, University of California at Los Angeles, Stanford University, City University of New York, University of Rome, University of Florence, University of Pisa, University of Rome, IMT Lucca, Italy, University of Edinburgh, University of Sao Paulo, Catholic U. of Santiago de Chile, LIAFA, University of Paris 6 and 7, University of Paris East, University of Metz, LaBRI, University of Bordeaux, University of Provence, Marseille, University of Waterloo, ON, Memorial University, St. John's, University of Linz, TU Wien, Sydney Category Seminar, Autonomous University of Barcelona, University of Tarragona, University of Brno, University of Reykjavik, University of Athens, University of Thessaloniki.