Fields of Logic and Computation III

Essays Dedicated to Yuri Gurevich on the Occasion of His 80th Birthday

  • Andreas Blass
  • Patrick Cégielski
  • Nachum Dershowitz
  • Manfred Droste
  • Bernd Finkbeiner
Conference proceedings

Part of the Lecture Notes in Computer Science book series (LNCS, volume 12180)

Also part of the Programming and Software Engineering book sub series (LNPSE, volume 12180)

Table of contents

  1. Front Matter
    Pages i-x
  2. On Yuri Gurevich

    1. Front Matter
      Pages 1-1
  3. Technical Papers

    1. Front Matter
      Pages 7-7
    2. Arnon Avron
      Pages 30-45
    3. Yijia Chen, Jörg Flum
      Pages 57-78
    4. Bruno Courcelle
      Pages 79-94
    5. Anatole Dahan, Anuj Dawar
      Pages 95-104
    6. Martin Davis
      Pages 105-117
    7. Anuj Dawar, Erich Grädel, Matthias Hoelzel
      Pages 118-132
    8. Olga Kharlampovich, Pascal Weil
      Pages 147-155
    9. Vladimir Lifschitz, Patrick Lühne, Torsten Schaub
      Pages 190-209
    10. Daniele Mundici
      Pages 210-225
    11. Peter H. Schmitt
      Pages 247-257
    12. Alexander Shen
      Pages 258-290
    13. Anatol Slissenko
      Pages 291-304
    14. Jerzy Tyszkiewicz
      Pages 305-322
    15. Vladimir Vovk
      Pages 323-340
  4. Back Matter
    Pages 341-341

About these proceedings


This Festschrift is published in honor of Yuri Gurevich’s 80th birthday. An associated conference, YuriFest 2020, was planned for May 18–20 in Fontainebleau, France, in combination with the 39th Journées sur les Arithmétiques Faibles also celebrating Yuri’s 80th birthday. Because of the coronavirus situation, the conference had to be postponed, but this Festschrift is being published as originally planned. It addresses a very wide variety of topics, but by no means all of the fields of logic and computation in which Yuri has made important progress.


architecting artificial intelligence automata theory computer hardware computer networks computer programming computer science computer systems correlation analysis embedded systems engineering formal logic graph theory linguistics mathematics programming languages signal processing software design software engineering theoretical computer science

Editors and affiliations

  • Andreas Blass
    • 1
  • Patrick Cégielski
    • 2
  • Nachum Dershowitz
    • 3
  • Manfred Droste
    • 4
  • Bernd Finkbeiner
    • 5
  1. 1.Department of MathematicsUniversity of MichiganAnn ArborUSA
  2. 2.Université Paris Est CréteilFontainebleauFrance
  3. 3.School of Computer ScienceTel Aviv UniversityTel AvivIsrael
  4. 4.Fakultät für Mathematik und InformatikUniversität LeipzigLeipzigGermany
  5. 5.Reactive Systems GroupUniversitat des SaarlandesSaarbrückenGermany

Bibliographic information

  • DOI
  • Copyright Information Springer Nature Switzerland AG 2020
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science
  • Print ISBN 978-3-030-48005-9
  • Online ISBN 978-3-030-48006-6
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site