ARQNL ON WEDNESDAY, JULY 23RD: TALK VIEW

View: with abstracts session overview side by side with other conferences

10:30

11:00

11:30

12:00

12:30

13:00

13:30

14:00

14:30

15:00

15:30

16:00

16:30

17:00

17:30

18:00

10:50-11:00

ARQNL Workshop - Opening

Workshop Organizers

11:00-11:30

Coalescing: Syntactic Abstraction for Reasoning in First-Order Modal Logics

Damein Doligez, Jael Kriener, Leslie Lamport, Tomer Libal, Stephan Merz

11:30-12:00

A Logic for Verifying Metric Temporal Properties in Distributed Hybrid Systems

Ping Hou

12:00-12:30

Problem Libraries for Non-Classical Logics

Jens Otten, Thomas Raths

12:30-13:00

HOL Provers for First-order Modal Logics --- Experiments

Christoph Benzmüller

14:30-15:00

Proof Support for Common Logic

T. Mossakowski, M. Codescu, O. Kutz, C. Lange, M. Grüninger

15:00-15:30

Embedding of Quantified Higher-Order Nominal Modal Logic into Classical Higher-Order Logic

Max Wisniewski, Alexander Steen

15:30-16:00

Dialogues for proof search

Jesse Alama

16:30-17:00

Theorem Proving for Logic with Partial Functions Using Kleene Logic and Geometric Logic

Hans De Nivelle

17:00-17:30

Computer-oriented inference search in first-order sequent logics

Alexander Lyaletski

17:30-18:00

Open Discussion

Workshop Organizers

10:15-10:45 Coffee Break

13:00-14:30 Lunch Break

16:00-16:30 Coffee Break