Caros,
próxima semana, 18-21 Janeiro, como parte do
XIV Summer Workshop in Mathematics, Thematic
Session on Theory of Computation, estão todos
convidados a participar de palestras em nosso
19o Seminário Informal (+Formal) do Grupo de
Teoria da Computação da UnB.
O Plenary Speaker da área de TC será o pesquisador
Nao Hirokawa JAIST, ("Automated Complexity
Analysis for Term Rewriting")
https://sites.google.com/view/xivsummerunb/conference-program
O programa incluirá palestras convidadas de pesquisadores
como Manfred Schmidt-Schauss, Christopher Lynch, Haniel Barbosa, e Adam
Barwell, assim como um tutorial em prova
de teoremas em PVS e palestras de nossos alunos em tópicos
relacionados com formalização, prova de teoremas, e raciocínio equacional.
https://sites.google.com/view/xivsummerunb/theory-of-computation
O registro é livre através do link:
https://sites.google.com/view/xivsummerunb/home
Bem-vindos
Mauricio.
--
Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos
Grupos do Google.
Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um
e-mail para [email protected].
Para ver esta discussão na web, acesse
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/FR1PR80MB533874F152C049F81B48D8D5C9529%40FR1PR80MB5338.lamprd80.prod.outlook.com.
