[FM-India] DECFoML: Call for Participation

R Ramanujam jam at imsc.res.in
Tue Jun 14 00:41:41 IST 2022


  LICS 2022 AFFILIATED WORKSHOP ON

  DECIDABLE FRAGMENTS OF FIRST-ORDER MODAL LOGIC

http://wangyanjing.com/decfoml
/31 July 2022, Haifa, Israel/
Part of _FLoC 2022_ (https://floc2022.org)

First-order modal logic is a natural specification language for describing
properties of infinite-state systems, databases and de re knowledge of
agents, but it is notoriously undecidable, in the sense that even simple
fragments (like the two-variable fragment with unary predicates) are
undecidable. Despite this, in the recent few years, researchers have
managed to find some useful syntactic restrictions that yield
decidability, such as monodic fragments and bundled fragments.

The workshop is intended as a review of this rapidly evolving direction of
research. We seek to identify new potential techniques for constructing
decision procedures and discuss problem areas, in terms of syntactic
restrictions as well as model classes.

INVITED SPEAKERS:

Eugenio Orlandelli (University of Bologna)
Ian Pratt-Hartmann (University of Manchester)
Frank Wolter (University of Liverpool)

For SCHEDULE please see http://wangyanjing.com/decfoml/

To REGISTER for the workshop: https://www.floc2022.org/registration

/Workshop organizers:/
R. Ramanujam (IMSc, India): jam at imsc.res.in[1]
Yanjing Wang (Peking University, China): y.wang at pku.edu.cn[1]

WEBPAGE: http://wangyanjing.com/decfoml/
 


Links:
------
[1] https://webmail.imsc.res.in/imp/dynamic.php?page=mailbox#
-- 
R Ramanujam


More information about the FMIndia mailing list