Zoltan Esik (1951-2016)

Professor of Computer Science
Head of the Department of
Foundations of Computer Science

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.

    Fellow of the EATCS, 2016

    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

    Acta Cybernetica

    Alkalmazott Matematikai Lapok (Journal of Applied Mathematics)

    Algebra

    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.