The proposed programme for the three-day Conference (with Tutorials and poster sessions for students) is as follows:

• Overview: History of Logic and its relationship with other disciplines
• Systems of Formal Logic and Foundational issues in Philosophical Logic
  • Proof Theory, Model Theory ; Automata and Finite Model Theory;
  • Modal Logic: Kripke Models, Hilbert Calculi, Frame Correspondences Tableaux-based Decision Procedures, Propositional Linear-time Temporal Logic;
  • Non-monotonic Logic: History, Foundations and Challenges
  • Reasoning and Acting under Uncertainty; Causal Reasoning
  • Constructivism; Abstract State Machine
  • Godel Incompleteness Theorem, Recursive Functions
• Issues arising out of applications of Logic in the relevant disciplines like Mathematics, Computer Science, Social and Behavioural and Cognitive Sciences, and Philosophy.
  • Logic of Knowledge: Knowledge Representation and Reasoning,
  • Social Software, Belief Revision,
  • Logic and Information, Dynamification of Logic
  • Logic and Computation: Formal Language, Logic-automata connection, Concurrency and Mobility, and Theory of Natural Language Processing,
  • Logic and Games: Game Semantics
  • Logic and Language: Compositionality and Context, Quantification and natural Language, Computation of Presuppositions
  • Logic and Social Sciences: Cognitive Modeling; Rational Choice Theory, Economics and strategy.

Session devoted to discuss the contributions of Prof. Rohit Parikh