====== Visit to the Instituto Superior Tecnico, Universidade de Lisboa, Portual, November 12 - 19, 2022 ====== === Host === [[https://joaoff.com/|Prof. João F. Ferreira]] [[https://tecnico.ulisboa.pt/en/|Instituto Superior Técnico, Universidade de Lisboa, Lisbon, Portugal]] === Talk - Jumping Finite Automata === * Speaker: Prof. Alexander Meduna * Date, Place: Nov 14, 2022, [[https://www.cse.iitb.ac.in|[Mathematical Logic Seminar, IST, Lisbon]] * Duration: 45 minutes * Link: [[https://www.youtube.com/watch?v=pV9Wb-320Dg|Video Recording @ Youtube]] {{youtube>pV9Wb-320Dg?large}}