(Bounded) Model Checking Distributed Temporal Logic
Mathematical Logic Seminar, por Jaime Ramos (IST - Universidade de Lisboa).
Mathematical Logic Seminar, por Jaime Ramos (IST - Universidade de Lisboa).
This 7th edition will once again gather specialists in the field of Combinatorial Optimization from several countries to present and discuss recent research work.
The topics of the conference include (but are not limited to) classical and quantum integrable systems, complex geometry of moduli spaces, automorphic forms and their applications to number theory.
Seminário de Sistemas Dinâmicos, por Alexandre Tavares Baraviera (Universidade Federal do Rio Grande do Sul).
Mathematical Logic Seminar, por Niko Gruben (Universidade de Lisboa).
Mathematical Logic Seminar, por Albert Visser (Utrecht University).
Mathematical Logic Seminar, por António Marques Fernandes (Instituto Superior Técnico - Universidade de Lisboa).
Mathematical Logic Seminar, por Clarence Protin (Universidade Aberta).
Seminário de Sistemas Dinâmicos, por Reza Mohammadpour (Upssala University).
Lisbon Webinar in Analysis and Differential Equations, por Carlos N. Rautenberg (George Mason University).