RSS

Fim de semana no ISSE – parte I

31 ago

É isso mesmo, no fim de semana também teve ISSE, não tivemos folga no sábado e nem no domingo, como verão no próximo post.

O minicurso do sábado foi com o Dr. Stephan Merz, um pesquisador que trabalha no centro de pesquisa INRIA Nancy.  A sua área de interesse é a verificação formal, trabalhando com métodos, técnicas e ferramentas.

O tema do minicurso foi “Verifying and Specification in TLA+”, onde vimos exemplos da utilização da linguagem de especificação TLA+ e tópicos sobre Verificação.

O inglês dele não foi difícil de entender, falava rápido com um pouco de sotaque, mas de forma tranquila e didática.

Stephan Merz

O seu minicurso foi interrompido para ser continuado na segunda-feira pela manhã, porque o horário era apenas até meio-dia.

Presentes no final da apresentação

Anúncios
 
2 Comentários

Publicado por em 31/08/2010 em Aulas na UFRN

 

Tags: , ,

2 Respostas para “Fim de semana no ISSE – parte I

  1. Anamaria

    07/09/2010 at 9:47

    Só uma correção – eu tinha dito que ele era francês, mas na realidade é alemão.

     
    • Simone

      07/09/2010 at 10:11

      Obrigada pela correção, já fiz o ajuste.

       

Deixe um comentário

Preencha os seus dados abaixo ou clique em um ícone para log in:

Logotipo do WordPress.com

Você está comentando utilizando sua conta WordPress.com. Sair / Alterar )

Imagem do Twitter

Você está comentando utilizando sua conta Twitter. Sair / Alterar )

Foto do Facebook

Você está comentando utilizando sua conta Facebook. Sair / Alterar )

Foto do Google+

Você está comentando utilizando sua conta Google+. Sair / Alterar )

Conectando a %s

 
%d blogueiros gostam disto: