WiL Short Papers and Abstracts

WIL SHORT PAPERS AND ABSTRACTS

Editors: Valeria de Paiva, Amy Felty and Ursula Martin

Authors	Title	Talk
Trisha Nowland and Simon Boag	Towards a Logical Framework for Latent Variable Modelling	Jul 08 16:30
Elaine Pimentel	A semantical view of sequent based systems	Jul 08 11:30
Cláudia Nalon and Daniella Angelos	On the Combination of Resolution and SAT Procedures for Modal Theorem-Proving	Jul 08 16:00
Liron Cohen and Ariel Kellison	On Expanding Standard Notions of Constructivity	Jul 08 11:00
Giselle Reis	Towards a Playground for Logicians	Jul 08 15:00
Çigdem Gencer	About the unification type of topological logics over Euclidean spaces	Jul 08 12:00
Ornela Dardha and Simon J. Gay	A New Linear Logic for Deadlock-Free Session-Typed Processes (Talk Abstract)	Jul 08 10:15
Hanna Lachnitt, Christoph Benzmüller and Maximilian Claus	Embedding Intuitionistic Modal Logics in Higher-Order Logic. An Easy Task?	Jul 08 16:15
Liron Cohen and Reuben Rowe	Non-well-founded proof system for Transitive Closure Logic	Jul 08 15:15
Shufang Zhu, Geguang Pu and Moshe Vardi	First-Order vs. Second-Order Encodings for LTLf-to-Automata: An Extended Abstract	Jul 08 10:00
Sonia Marin, Marianela Morales and Lutz Straßburger	Decomposing labelled proof theory for intuitionistic modal logic	Jul 08 11:45