Office: 210 CS Bldg      Tel: +44 121 4142740  Fax: +44 121 414 4281
Email: U.Reddy@cs.bham.ac.uk, Home Page: http://www.cs.bham.ac.uk/~udr

Summer: 9am     10      11      12      2       3       4       5
Mon                                  xxx                                  
Tue                     Projects.....
Wed                                  xxx                                   
Thu                                                     Seminar
Fri                             Group...Seminar                  

Project students:

Tue 11am  Rajdeep

Absences and appointments 2004:

	Jun  2	   Visit to Microsoft, Reading
	Jul  6-7   PR Kumar visit
	Jul 12-17  LICS, Turku	
	Aug 3-4	   Lectureship interviews
	Aug 30-Sep 3  CONCUR, London

	Sep 14	   SDU course on administration
	Sep 27	   Heads of Budget Centres meeting

	Dec 16-18  FSTTCS Conference, Chennai
	Dec 22-24  Distributed Computing & Internet Technology, Bhubaneswar

Projects:
        Formal methods for object-oriented programming
        Parametricity and data abstraction
        Semantics of Refinement calculi
        Semantics of call-by-value languages with effects