INForum 2026
A Informática é uma área de Investigação e Desenvolvimento consolidada em Portugal, suportada numa rede de centros de investigação reconhecidos internacionalmente e na oferta de cursos de licenciatura e pós-graduação por praticamente todas as instituições portuguesas de ensino superior. É igualmente uma área na qual várias empresas nacionais apresentam resultados de I&D de relevância internacional.
Reunindo a comunidade nacional, o INForum é um local privilegiado para a divulgação, discussão e reconhecimento de trabalhos científicos e inovação e avanços tecnológicos em Informática. O INForum oferece assim um palco especializado e único a nível nacional para promover, por um lado, o intercâmbio de conhecimento e experiência entre a academia e a indústria e, por outro lado, a estreia de jovens investigadores que procuram a divulgação, a crítica construtiva e o encorajamento do seu trabalho. Assim, o INForum é um evento nacional de partilha e de fortalecimento do espírito de comunidade na área de Informática.
A edição de 2026, o 17º INForum, decorrerá na Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa. Contamos com a presença de todos!
Oradores
Programa
Lorem ipsum dolor sit amet, consectetur adipisicing elit, sed do eiusmod tempor incididunt ut labore et dolore magna aliqua. Ut enim ad minim veniam.
| Time | Slot | Description |
|---|---|---|
| 8:30 | Registration and Coffee | |
| 9:00 | Opening Remarks | |
| 9:30 | Keynote: Verified Compilation in the Wild | A survey of the state of the art in certified compilers. |
| 10:30 | Coffee Break | |
| 11:00 | Session 1: Type Systems | |
| 12:30 | Lunch | |
| 14:00 | Session 2: Deductive Verification | |
| 15:30 | Coffee Break | |
| 16:00 | Keynote: OCaml Semantics and the Osiris Project | |
| 17:00 | Panel Discussion | |
| 18:00 | Reception |
Patrocinadores
Apoios
Local
Faculdade de Ciências e Tecnologia, Universidade Nova de Lisboa, Campus de Caparica.