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 scientific associations, learned bodies, etc.
Elected member of Academia Europaea, 2010
European Association for Theoretical Computer Science (EATCS) (Member of the Council since 2003)
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), Automata and Formal Languages (AFL)
European project
Automata: from Mathematics to Applications (AutoMathA, 2005--2010) (Member of the Steering Committee and the Executive Board)
Membership in editorial boards
Theoretical Informatics and Applications
Alkalmazott Matematikai Lapok (Journal of Applied Mathematics)
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)
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)
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.