Centre for Formal Design
and
Verification of Software

Wednesday Seminars

Next SeminarSeminar ListingHome




July

Seminar-11-07-1
Date- 7th July 2011
Time- 03:00 PM
Speaker- Prof. V. R. Sule, Dept. of Electrical Engg, IIT Bombay
Title- Theory of Boolean equations and their solutions
Venue- CFDVS Conference room, IIT Bombay.

Show Details

Abstract

The talk will present a theory of analysis of Boolean equations and discuss methods of solving them. The solutions of Boolean equations are considered over Boolean algebras and include 0,1 solutions as special cases.

References
To be updated


June

Seminar-11-06-1
Date- 29th June 2011
Time- 10:00 AM
Speaker- Vaibhav S Kulkarni
Title- Model Theory: Studying ∀∗ ∃∗ for Finite or Cofinite Spectrum
Venue- CFDVS Conference room, IIT Bombay.

Show Details

Abstract

In this dissertation we study a class of FO sentences defined by a semantical property (called EBSΣ (∅)),and try to study the inclusion or exclusion of certain syntactic classes in EBSΣ (∅). EBSΣ (∅) comes from a family of classes of FO sentences: EBSΣ (σ), σ ⊆ Σ. Sentences in EBSΣ (σ) are preserved under substructures modulo bounded core and modulo reinterpretation of predicates in Σ\σ. EBSΣ (∅) is exactly the class of FO sentences which are unsatisfiable or have non-empty-finite or cofinite spectrum. In general, it is difficult to syntactically characterize this class, so we consider some particular classes, like ∀∃∗ and ∀2∃, and try to analyse their relation with EBSΣ (∅).

References
To be updated


People
—> Principal Investigators
—> Research Employees
—> Students

Activities
—> Weekly Meetings
—> Formal Methods Update '05
—> Workshop'05
—> Workshop 2002
—> Workshop 2017

Projects
—> R & D Projects
—> Sponsored Projects
—> Exploratory Projects

Papers/Reports
—> Papers
—> Technical Reports
—> Theses

Download
—> Course Material
—> Online documentation

Others
—> Photographs
—> Internal Website
—> Webmail
[   Home  |   CSE  |   IIT Bombay  |   Contact  ]
For suggestions and comments contact: Webmaster