Show Menu
Hide Menu
Laboratório de Ciência da Computação
Opinião do orientador
Scientific Influence
Organograma
Organisation
Orientadores
Serviços Administrativos
IT Service
Conselho
Conselho do Laboratório
Conselho
Teaching
Como vir ao LIP6
Pesquisa
Axes & Teams
Publicações
Projetos
ERC Projects
European Projects
France 2030
ANR Projects
Relatório Anual
Avaliação
Our skills
Work with us
Software
Patentes
Start-ups
Empregos
Anuário
colóquio
🔒
📫
🇵🇹
🇫🇷
🇬🇧
🇵🇹
-
Computer Science Laboratory
Sorbonne Universté
Centre National de la Recherche Scientifique
Novidades
Arquivos
All current and past events
SALSA
2010
23/06/2010:
2
nd
International Conference on Symbolic Computation and Cryptography
2008
14/12/2008:
Special Track on Symbolic Computation and Cryptology - Inscrypt 2008