CSE 654: Databases
Mondays 3pm -- 5pm.
CS Dept Conference Room (1441).
Michael Kifer
C.R. Ramakrishnan
This course will focus on temporal and modal logics and their application to verification and databases. We will read handbook chapters on propositional temporal logics: linear time and branching time logics, and mu-calculus; and papers on value-passing logics, modal logics for mobile processes, and verification using these logics; temporal logics for databases, deontic logics and logics for security.Wed. meetings will be held from 11am-1pm.Here is the preliminary plan of action.
Meeting Contents Lead 1/29 Organization
2/05 Intro to Linear Temporal Logic Material from Emerson's Handbook chapter, Madhavan's tutorial,
C.R. Ramakrishnan 2/12 Survey of Temporal Logics Material from Emerson's Handbook chapter
C.R. Ramakrishnan 2/19, 2/26 Survey of Modal Logics Material from Fitting's handbook chapter/ Nerode's handbook
Michael Kifer 3/01, 3/06, 3/08 Process Algebras Radu Grosu's class 3/12 Temporal Logics for Information Systems Material from Chomicki/Saake's collection
Saikat 3/26 CTL*, Actions in Temporal Logics (Tree automata material to be selected), Bhat-Cleaveland-Groce manuscript, ...
Hasan / Samik 4/11 (Wed) Value-passing Mu-Calculus Material from Rathke-Hennessy paper, Stirling's mu-calculus article
Amit 4/04 (Wed) Deontic Logic Material from Chomicki/Saake's collection
Bin Tang 4/16 BAN Logic Material to be selected
Ping 4/23 Tableau theorem proving in Modal Logic Material to be selected
Guizhen
Samik Basu, Amit Bhargava, Hasan Davulcu, Yifei Dong, Pinar Karagoz, Michael Kifer, Saikat Mukherjee, C.R. Ramakrishnan, Beata Sarna-Starosta, Arvind Seth, Donald Smith, Bin Tang, Ping Yang, Guizhen Yang.