El Instituto IMDEA de Software ha celebrado el decimotercer Simposio Internacional sobre Juegos, Autómatas, Lógica y Verificación Formal del 21 al 23 de septiembre de 2022.
El objetivo de GandALF 2022 era reunir a investigadores del mundo académico y de la industria que trabajan activamente en los campos de los Juegos, Autómatas, Lógica y Verificación Formal. GandALF cubrió un amplio espectro de temas, desde la teoría hasta las aplicaciones, y estimuló la fertilización cruzada.
Pierre Ganty, profesor de investigación asociado de IMDEA Software, y Dario Della Monica, profesor adjunto de la Universidad de Udine, han copresidido el acto, al que asistieron más de 20 investigadores y que fue seguido por un total de 30 a través de la transmisión en directo.
Hubo cuatro charlas invitadas y cuatro sesiones (Lógica, Autómatas, Lógica II: Lenguajes y Juegos, y Seguridad y Robustez) divididas en los tres días:
-Wojciech Czerwiński, University of Warsaw, Poland
“Techniques for Unambiguous Systems”
-Javier Esparza, Technische Universität München, Germany
“State Complexity of Population Protocols”
-Dana Fisman, Ben-Gurion University, Israel
“Learning Languages of Infinite Words”
-Jerzy Marcinkowski, University of Wrocław, Poland
“Towards Multiset Semantics Database Theory: How I Learned to Stop Worrying and Love Linear Algebra”
Más información: https://gandalf2022.software.imdea.org/#scientific-program
