Departamento
Boas Vindas
Prémio Professora Madalena Quirino
Organização
Pessoas
Contactos
Ensino
Candidato
Oferta Formativa
Saídas Profissionais
Testemunhos
Notícias
Últimas Notícias
Arquivo de Notícias
Eventos
Próximos Eventos
Arquivo de Eventos
Investigação
Investigação no DI
DIFCTUNL Distinguished Lecture Series
Visitantes
Investigação p/ Alunos (UROP)
Ligação à Sociedade
Media
Português
English
Departamento
Boas Vindas
Prémio Professora Madalena Quirino
Organização
Pessoas
Contactos
Ensino
Candidato
Oferta Formativa
Saídas Profissionais
Testemunhos
Notícias
Últimas Notícias
Arquivo de Notícias
Eventos
Próximos Eventos
Arquivo de Eventos
Investigação
Investigação no DI
DIFCTUNL Distinguished Lecture Series
Visitantes
Investigação p/ Alunos (UROP)
Ligação à Sociedade
Media
Departamento
Ensino
Notícias
Eventos
Investigação
Ligação à Sociedade
Media
MENU
Departamento
Boas Vindas
Prémio Professora Madalena Quirino
Organização
Pessoas
Contactos
Ensino
Candidato
Oferta Formativa
Saídas Profissionais
Testemunhos
Notícias
Últimas Notícias
Arquivo de Notícias
Eventos
Próximos Eventos
Arquivo de Eventos
Investigação
Investigação no DI
DIFCTUNL Distinguished Lecture Series
Visitantes
Investigação p/ Alunos (UROP)
Ligação à Sociedade
Media
Eventos
»
Início
»
Eventos
»
2016
»
Novembro
Languages, Logics, Types and Tools for Concurrent System Modeling By Ramūnas Gutkovas (NOVA LINCS - FCT NOVA)
More info:
http://nova-lincs.di.fct.unl.pt/seminar/376
