The following is a tentative schedule of lectures for the conference. Click on a speaker's name for more details of her/his talk.

All talks will be held in Jal Vihar (Old Guest House) Conference Room.

Jan 09	Session 1 Chair : Rohit Parikh		Jan 10	Session 1 Chair : Dietmar Berwanger		Jan 11	Session 1 Chair : S. M. Bhave
	9:00-9:50	Joseph Halpern		9:00-9:50	Jeff Paris		9:00-9:50	K.Ramasubramanian
	10:00-10:50	John Crossley		10:00-10:50	Lawrence Moss		10:00-10:50	Sundar Sarukkai
	11:00-11:15	Tea Break		11:00-11:15	Tea Break		11:00-11:15	Tea Break
	Session 2 Chair : Peter Gardenfors			Session 2 Chair : John Crossley			Seesion 2 Chair : Benedikt Loewe
	11:15-12:05	Akeel Bilgrami		11:15-12:05	Johan van Benthem		11:15-12:05	Johann Makowsky
	12:15-13:05	Rohit Parikh		12:15-13:05	Peter Gardenfors		12:15-13:05	Noson Yanofsky
	13:15-14:30	Lunch Break		13:15-14:30	Lunch Break		13:15-14:30	Lunch Break
	Session 3 Chair : Jeff Paris			Session 3 Chair : Johann Makowsky			Session 3 Chair : Johan van Benthem
	14:30-15:20	Eric Pacuit		14:30-15:20	Dietmar Berwanger		14:30-15:20	Christian List
	15:30-16:20	R. Ramanujam		15:30-16:20	N. Raja		15:30-16:00	Rohit Parikh
							16:00 - 16:30	Closing
	16:30-16:45	Tea		16:30 - 16:45	Tea		16:30-16:45	Tea
				16:45-17:45	Meeting 1
				17:45-	Meeting 2
	18:30-19:00	Felicitation
	19:00-19:45	Cultural Programme
	19:45-	Conference Dinner

Talk details

• Joseph Halpern

  Redoing the foundations of decision theory: Decision theory with subjective states and outcomes
  
  

• John Crossley

  What is a proof ?
  
  

• Akeel Bilgrami

  Why there are no norms of language
  
  

• Rohit Parikh

  Sentences, Propositions and Logical Omniscience
  
  

• Eric Pacuit

  Epistemic Temporal Logic
  
  

• R. Ramanujam

  Challenges for epistemic logics from security theory
  
  

• Jeff Paris

  Binary Inductive Logic
  
  

• Lawrence Moss

  The program of natural logic: with perspectives a la Parikh.
  
  

• Johan van Benthem

  Beliefs and Preferences: how they live and change together
  
  

• Peter Gardenfors

  Semantics as meeting of minds: a fixpoint approach based on conceptual spaces
  
  

• Dietmar Berwanger

  Compositionality and the Stratification of Rationality
  
  

• N. Raja

  From Paradox to Proof
  
  

• K. Ramasubramanian

  Development of Indian Logic: An Overview
  
  

• Sundar Sarukkai

  Logic and Explanation
  
  

• Johann Makowsky

  
  
  

• Noson Yonofsky

  An Introduction to Quantum Logic
  
  

• Christain List

  Group deliberation and the transformation of individual judgments: a social-choice-theoretic perspective
  
  

• Rohit Parikh

  Replies and Comments
  
  

• Meeting 1

  Meeting of students with all plenary speakers
  
  

• Meeting 2

  Editorial Board Meeting