[FM-India] ICTAC 2012 - early registration expires today

[Abhik Roychoudhury]

Kindly forward to anybody who may be interested.

 

 

CALL FOR PARTICIPATION

======================

9th International Colloquium on Theoretical Aspects of Computing

(ICTAC) 2012

24--27 September 2012, Bangalore, India

http://www.iiitb.ac.in/ictac/

 

ICTAC 2012 will be the 9th version of the International Colloquium on
Theoretical Aspects of Computing, a series founded by the International
Institute for Software Technology of the United Nations University
(UNU-IIST).  

ICTAC 2012 will bring together researchers from academia and industry who
are working on challenges in theoretical aspects of computing, including
using of theory for devising and developing systems. The conference will
also act as a forum for interaction and cooperation in education and
research between participants and their institutions, from developing and
industrial countries, as in the mandate of the United Nations University.

 

Plans for events as a part of ICTAC 2012 include a school on Software
Engineering, involving extensive participation from students and researchers
from academia and industry, tutorials and workshops, along with invited and
research paper presentations.

 

ICTAC 2012 will feature an Industry Day, a special feature being introduced
to the ICTAC colloquium for the first time.  One of the days of the
conference has been marked as Industry Day.

 

 

Registration

------------

Registration for ICTAC 2012 is now open. Please visit
http://www.iiitb.ac.in/ictac/registration.html To take advantage of early
registration, kindly register on or before August 31, 2012.

 

 

Keynotes

---------------------------

ICTAC 2012 will feature three invited talks. These are by 

 

Luke Ong (University of Oxford) - Day 1 

 

Gernot Heiser (UNSW and NICTA Australia) - Day 2 

 

G. Ramalingam (MSR India) - Day 3

 

 

Program

-------

Monday September 24 :  School on Software Engineering Tuesday September 25 -
Day 

1 of Main Conference Wednesday September 26 - Day 2 of conference [Industry
Day] 

Thursday September 27 - Day 3 of conference Conference program appears at 

http://www.iiitb.ac.in/ictac/program

 

Details about School on Software Engineering appears at 

http://www.iiitb.ac.in/ictac/School-on-Software-Engineering.html

 

 

-------------------------------------------------------

Conference Committees

-------------------------------------------------------

Program Chair:

Abhik Roychoudhury, National University of Singapore

 

General Chair:

Meenakshi D'Souza, IIIT Bangalore

 

Industry Day Chairs:

Satish Chandra, IBM Research

Sriram Rajamani, Microsoft Research India

 

Organizing Committee:

Meenakshi D'Souza, IIIT Bangalore

Jun Pang, University of Luxembourg

Deepak D'Souza, Indian Institute of Science Sumesh Divakaran, Indian
Institute 

of Science

 

Publicity Chair:

Jun Pang, University of Luxembourg

 

Program Committee members:

Ana Cavalcanti, University of York, UK

Supratik Chakraborty, IIT Mumbai, India

Satish Chandra, IBM Watson, USA

Yifeng Chen, Peking University, China

Meenakshi D'Souza, IIIT Bangalore, India Thao Dang, Verimag, France Frank 

deBoer, CWI, Netherlands Xinyu Feng, USTC, China John Fitzgerald, University
of 

Newcastle, UK Susanne Graf, Verimag, France Lindsay Groves, Victoria
University, 

New Zealand Zhenjiang Hu, NII, Japan Lei Ju, Shandong University, China
Moonzoo 

Kim, KAIST, Korea Daniel Kroening, Oxford University, UK Kim G. Larsen,
Aalborg 

University, Denmark Martin Leucker, TU Munich, Germany Zhiming Liu,
UNU-IIST, 

Macau, SAR, China Kamal Lodaya, Inst. Of Mathematical Sciences, India
Annabelle 

McIver Macquarie University, Australia Madhavan Mukund, Chennai Mathematical


Institute, India Kedar Namjoshi, Bell Labs, USA Jun Pang, University of 

Luxemborg Sanjiva Prasad, IIT Delhi, India Geguang Pu, ECNU, China Zongyan
Qiu, 

Peking University, China Anders P. Ravn, Aalborg University, Denmark Abhik 

Roychoudhury, National University of Singapore, Singapore (Chair)
Diptikalyan 

Saha, IBM Research, India Augusto Sampaio, UFPE, Brazil Bikram Sengupta, IBM


Research, India R.K. Shyamasundar, TIFR, India Sofiene Tahar, Concordia 

University, Canada Kapil Vaswani, Microsoft Research, India Wang Yi, Uppsala


University, Sweden Naijun Zhan, Chinese Academy of Sciences, China Jianjun
Zhao, 

Shanghai Jiao Tong University, China

------------------------------------------------------