Convite 19o Seminário Informal (+Formal!) GTC UnB

[Mauricio Ayala Rincon]

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.