FLOC 2022: FEDERATED LOGIC CONFERENCE 2022
WPTE PROGRAM
Sunday, July 31st

View this program: with abstractssession overviewtalk overviewside by side with other conferences

08:30-09:00Coffee & Refreshments
09:30-10:30 Session 3B: Invited Talk
Location: Ullmann 305
09:30
Transforming Text to (and from) XML (abstract)
10:30-11:00Coffee Break
11:00-12:30 Session 10M: Talks (1)
Chair:
Location: Ullmann 305
11:00
Program Equivalence in a Typed Probabilistic Call-by-Need Functional Language (abstract)
PRESENTER: David Sabel
11:30
A Machine-Checked Formalisation of Erlang Modules (abstract)
PRESENTER: Péter Bereczky
12:00
Extending a Lemma Generation Approach for Rewriting Induction on Logically Constrained Term Rewriting Systems (abstract)
PRESENTER: Kasper Hagens
12:30-14:00Lunch Break

Lunches will be held in Taub hall and in The Grand Water Research Institute.

14:00-15:30 Session 14P: Talks (2)
Location: Ullmann 305
14:00
On Reducing Non-Occurrence of Specified Runtime Errors to All-Path Reachability Problems of Constrained Rewriting (abstract)
PRESENTER: Naoki Nishida
14:30
On Transforming Rewriting-Induction Proofs for Logical-Connective-Free Sequents into Cyclic Proofs (abstract)
PRESENTER: Shujun Zhang
15:00
On Transforming Imperative Programs into Logically Constrained Term Rewrite Systems via Injective Functions from Configurations to Terms (abstract)
PRESENTER: Naoki Nishida
15:30-16:00Coffee Break
16:00-17:30 Session 19M: Talks (3)
Location: Ullmann 305
16:00
Towards Corecursion Without Corecursion in Coq (abstract)
PRESENTER: Vlad Rusu
16:30
Towards a Refactoring Tool for Dependently-Typed Programs (work in progress) (abstract)
16:45
Refactoring Steps for P4 (work in progress) (abstract)
PRESENTER: Máté Tejfel