Math Colloquium CIDMA/UAlg
Ver evento originalFonte · UAlg
Previsao meteorologica
18° / 23°CChuva
Prob. chuva
100%
Math Colloquium CIDMA/UAlg
9 Novembro 2026
10h
- 11h
Sala 3.18 do edifício 2 do Campus de Gambelas
Realiza-se mais uma sessão do Math Seminar CIDMA/UAlg, que terá como orador Simão Melo de Sousa, da Universidade do Algarve.
When Programs Are Proofs: Type Theory, Formal Verification, Automated Reasoning, and Formalized Mathematics
Resumo:
Este seminário aborda os fundamentos da verificação formal e do raciocínio automatizado, explorando a relação entre lógica matemática, teoria das demonstrações e informática.
Serão apresentados conceitos como a teoria dos tipos, a correspondência de Curry–Howard, que estabelece uma ligação entre proposições e tipos, e entre demonstrações e programas, bem como métodos de verificação formal de programas.
A sessão incluirá exemplos de ferramentas como Rocq (anteriormente Coq) e Why3, utilizadas na verificação de software e na formalização de resultados matemáticos.
Serão ainda discutidos, caso o tempo o permita, os desafios e as oportunidades associados à utilização da inteligência artificial na descoberta e construção de demonstrações matemáticas, bem como o papel da verificação formal na garantia da sua correção.
Custo A participação é aberta a toda a comunidade académica.
O que fazer por perto
Atividades e experiências para completar a tua visita
Cultura & TurismoFaro: Photoshoot and Sightseeing Tour
Enjoy a photoshoot with a professional photographer and get tips on what to see and where to eat from your local guide. Discover the hidden gems of Faro on a guided walking tour.
TransfersFaro Airport: Private Transfer to El Rompido -Nuevo Portil
Enjoy a private transfer from Faro Airport to Algarve, Lisbon, or South Spain. Relax in a comfortable, air-conditioned vehicle with a professional driver.
TransfersFaro Airport:Private Transfer to Quinta do Lago/Vale do Lobo
Enjoy a private transfer from Faro Airport to Algarve, Lisbon, or South Spain. Relax in a comfortable, air-conditioned vehicle with a professional driver.
Passeios de BarcoFaro, Ria Formosa: 2 hour Sunset Cruise
Relax on board our boat in the calm waters of the beautiful Ria Formasa while enjoying an unforgettable idyllic sunset.
Passeios de BarcoFaro: Private Boat Tour with Oyster Tasting and Sunset
Enjoy a private boat tour with a skipper and a flexible itinerary. Discover the unique flavors of the Algarve with an oyster tasting. Relax on the boat and enjoy the beautiful sunset over the water.
Caminhadas & NaturezaCharming Faro - Private Walking Tour
Faro, the capital of the Algarve. Here travelers will be able to discover the best of both worlds: a mix of the "slow Algarve" with a cosmopolitan awakening. Get the best view of Ria Formosa.
