Lisbon Workshop on the History of Logic

Sala 8.2.14, Ciências ULisboa

This workshop brings together state of the art research on the development of logic in late XIX and early XX centuries. It aims to foster discussion on the interplay between mathematics and logic, pay attention to neglected logicians, and stimulate future work on the field.

Speakers:

  • Andrea Reichenberger (Universität Siegen)
  • António Zilhão (CFCUL, Letras UL)
  • Tabea Rohr (CNRS & Université Paris Cité)
  • Richard Lawrence (Universität Wien)
  • Wilfried Sieg (Carnegie Mellon University)
  • Dirk Schlimm (McGill University)
  • Joan Bertran-San-Millán (CFCUL, Ciências UL)

Cartaz do evento

Joan Bertran San-Millán (CFCUL/GI1, Ciências ULisboa), Bruno Jacinto (CFCUL/GI1, Ciências ULisboa), António Zilhão (CFCUL/GI1, Letras ULisboa) e Fernando Ferreira (CMAFcIO, Ciências ULisboa)
Logótipos Ciências ULisboa e C-Academy, títulos dos cursos

Um programa de formação avançada em Cibersegurança para a administração pública e o setor privado desenvolvido pelo Centro Nacional de Cibersegurança, no âmbito do Plano de Recuperação e Resiliência.

Logótipos Ciências ULisboa e C-Academy, títulos dos cursos

Um programa de formação avançada em Cibersegurança para a administração pública e o setor privado desenvolvido pelo Centro Nacional de Cibersegurança, no âmbito do Plano de Recuperação e Resiliência.

Logótipo do evento, sobre um fundo branco

Um evento de reunião da comunidade nacional nas diversas vertentes da informática, com a ambição de ser o fórum de eleição para a divulgação, discussão e reconhecimento de trabalhos científicos.

Imagem do evento

Extended enrolement date until July 12th.

Logótipo do Workshop

A participação na 3.ª edição do Workshop é gratuita, mediante inscrição prévia.

Are you ready for this year's edition?

Imagem do evento - título, local e data do evento

Investigação Ecológica ao Serviço da Conservação

A leading venue for presenting and discussing the latest research, industrial practice and innovations in dependable and secure computing.