Teoria da Computação
Fuso horário:
GMT-3 (horário de Brasília)
Link da Sessão:
https://us02web.zoom.us/j/88272156520?pwd=TFI1a1dENE8xVkYrS1dJcVBpZjVwZz09
Meeting ID Sessão de Teoria da Computação: 882 7215 6520
Passcode Sessão de Teoria da Computação: 223389
Programação da sessão por dia
9 de fevereiro
Short Talk 1 (10:00 - 11:00)
Título:
TBA.
Autora:
Cynthia Kop
Resumo:
TBA
Short Talk 2 (11:00 - 12:00)
Título:
Quantitative measures for pattern matching.
Autora:
Sandra Alves
Resumo:
Short Talk 3 (13:30 - 14:30)
Título:
Anti-unification: Applications and Recent Results.
Autor:
David Cerna
Resumo:
Short Talk 4 (15:50 - 16:50)
Título:
Towards a fixed-point approach to Nominal Disunification.
Autor:
Leonardo Melo
Resumo:
10 de fevereiro
Short Talk 5 (10:00 - 11:00)
Título:
TBA.
Autor:
James Gabbay
Resumo:
TBA
Short Talk 6 (11:00 - 12:00)
Título:
Tuple Interpretations for Higher-Order Term Rewriting System.
Autor:
Deivid Vale
Resumo:
Short Talk 7 (13:30 - 14:30)
Título:
A Formalization of the Z property in Coq.
Autor:
Flávio Moura
Resumo:
Short Talk 8 (15:50 - 16:50)
Título:
Equational Unification modulo Non-disjoint Union of Theories.
Autor:
Serdar Erbatur
Resumo:
11 de fevereiro
Short Talk 9 (10:00 - 11:00)
Título:
TBA.
Autor:
Beniamino Accattoli
Resumo:
TBA
Short Talk 10 (11:00 - 12:00)
Título:
The Early Years of Automated Reasoning: The Logic Theory Machine.
Autora:
Claudia Nalon
Resumo:
Short Talk 11 (13:30 - 14:30)
Título:
Formalising Completeness of AC-unification.
Autor:
Gabriel Silva
Resumo:
Short Talk 12 (15:50 - 16:50)
Título:
TBA.
Autora:
Renata Wasserman
Resumo:
TBA
