Palestras: Prof. Manfred Schmidt-Schauss e Prof. Christopher Lynch

[Daniele Nantes]

Caros(as) colegas,

gostaria de convidá-los (as) a participar das palestras dos Prof. Manfred Schmidt-Schauss (Goethe Univ., Frankfurt ) e Prof. Christopher Lynch (Clarkson Univ.), que ocorrerão amanhã, dia 19/01.  Os dados das palestras estão abaixo:

 Invited talk: Manfred Schmidt-Schauss (Goethe University, Frankfurt)

Title: Nominal unification and extensions for applications in higher-order languages

Time: 10:30 am - 11:30 am (GTC-3)

Invited Talk: Christopher Lynch (Clarkson University)

Title: Equational Reasoning, Unification and Applications

Time: 15:10 pm - 16:10 pm (GTC-3)

Zoom link https://us02web.zoom.us/j/82214315115?pwd=VGFBa0dFWTFUY0UxK08waGRjb0dXQT09

Confira o restante da programação em:

https://sites.google.com/view/xivsummerunb/theory-of-computation?authuser=0

Abraço,

Daniele. 
--

Daniele Nantes

Grupo de Teoria da Computação

Departamentos de Matemática e Computação

Universidade de Brasília

www.mat.unb.br/~dnantes