Theory of Computation
Time zone:
GMT-3
Session Link:
https://us02web.zoom.us/j/88272156520?pwd=TFI1a1dENE8xVkYrS1dJcVBpZjVwZz09
Meeting ID Theory of Computation Session: 882 7215 6520
Passcode Theory of Computation Session: 223389
Session Schedule
February 9th
Short Talk 1 (10:00 - 11:00)
Title:
TBA.
Author:
Cynthia Kop
Abstract:
TBA
Short Talk 2 (11:00 - 12:00)
Title:
Quantitative measures for pattern matching.
Author:
Sandra Alves
Abstract:
Short Talk 3 (13:30 - 14:30)
Title:
Anti-unification: Applications and Recent Results.
Author:
David Cerna
Abstract:
Short Talk 4 (15:50 - 16:50)
Title:
Towards a fixed-point approach to Nominal Disunification.
Author:
Leonardo Melo
Abstract:
February 10th
Short Talk 5 (10:00 - 11:00)
Title:
TBA.
Author:
James Gabbay
Abstract:
TBA
Short Talk 6 (11:00 - 12:00)
Title:
Tuple Interpretations for Higher-Order Term Rewriting System.
Author:
Deivid Vale
Abstract:
Short Talk 7 (13:30 - 14:30)
Title:
A Formalization of the Z property in Coq.
Author:
Flávio Moura
Abstract:
Short Talk 8 (15:50 - 16:50)
Title:
Equational Unification modulo Non-disjoint Union of Theories.
Author:
Serdar Erbatur
Abstract:
February 11th
Short Talk 9 (10:00 - 11:00)
Title:
TBA.
Author:
Beniamino Accattoli
Abstract:
TBA
Short Talk 10 (11:00 - 12:00)
Title:
The Early Years of Automated Reasoning: The Logic Theory Machine.
Author:
Claudia Nalon
Abstract:
Short Talk 11 (13:30 - 14:30)
Title:
Formalising Completeness of AC-unification.
Author:
Gabriel Silva
Abstract:
Short Talk 12 (15:50 - 16:50)
Title:
TBA.
Author:
Renata Wasserman
Abstract:
TBA
