[ The Types Forum (announcements only), 
     http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]

The role of types and proofs in several aspects of programming methodologies,
formal methods, and software development, has always been important
in the arena of distributed computing and Internet technologies.

-------------------------------------------------------------------
CALL FOR PAPERS

ICDCIT -- 2011
The Seventh International Conference on
Distributed Computing and Internet Technology:
http://www.icdcit.ac.in
09 - 12 February 2011,
Bhubaneswar, India
-------------------------------------------------------------------
IMPORTANT DATES
Submission Deadline     - 31 July 2010
Decision Notification   - 01 October 2010
Final Submission        - 01 November 2010
Conference Dates        - 09--12 February 2011
CONTACT URL:     http://www.icdcit.ac.in
---------------------------------------------------------------------
INVITED SPEAKERS
Jos Baeten, Eindhoven University of Technology, The Netherlands
Yves Deswarte, LAAS-CNRS, France
Kohei Honda, Queen Mary & Westfield College, UK
Vaughan Pratt, Stanford University, USA

---------------------------------------------------------------------
1. INTRODUCTION
---------------------------------------------------------------------
Established in 2004, the ICDCIT conference series has become a
platform for Computer Science researchers from India and all over the
world to exchange research results and ideas on the foundations and
applications of Distributed Computing and Internet Technologies.
Increasingly, such technologies enable individuals and organizations
to jointly engage in the production, processing and dissemination of
knowledge.

The 7th International Conference on Distributed Computing and Internet
Technologies (ICDCIT - 2011) will take place in Bhubaneswar during 9 -
12 February 2011. It will be co-organized by KIIT University,
Bhubaneswar, India and Centre for Electronic Governance, UNU-IIST,
Macao. Like the last six editions, the proceedings are expected to be
published by Springer in the series of Lecture Notes in Computer
Science.
---------------------------------------------------------------------
2. PAPER SUBMISSION
---------------------------------------------------------------------
ICDCIT - 2011 invites submissions of research papers containing
original contributions to the foundations and applications of
Distributed Computing and Internet Technology. The papers must not be
published or being considered for publication by any other conference
or journal. All submitted papers will be reviewed by the Program
Committee. In order to appear in the conference proceedings, accepted
papers must be presented at the conference by one of the authors.

Papers must be written in English and should not exceed 12 pages,
prepared according to the LNCS style in LaTeX or Word and submitted
electronically in PDF format through the conference submission portal
at EasyChair. Submissions received after the due date, exceeding
length limit, or not structured according to the provided templates
may not be considered for review.

The proceedings of the last six editions of the conference have been
published by Springer in the Lecture Notes on Computer Science series.
---------------------------------------------------------------------
3. SCOPE
---------------------------------------------------------------------
The list of topics addressed by ICDCIT includes, but is not limited to:

DISTRIBUTED COMPUTING
Distributed Algorithms
Concurrency and Parallelism
Performance Analysis
Domain-Specific Architectures & languages
Secure Computing and Communication
Data and Service Grid Allocations and Computations
Cloud and P2P Systems
Location-Based Computing
Formal Methods
Bio Inspired Computing

INTERNET TECHNOLOGIES
Semantic Web
Service Oriented Architecture
Web Search & Mining
Information Retrieval
Multi-media Systems
QoS Analysis
Business Processing
Monitoring and Service Delivery
Bidding and Negotiation
Reputation and Trust

SOCIETAL APPLICATION
IT Infrastructures
Social Networking
Co-operative Problem Solving
Participatory Governance
Environmental Resource Management
Culture and Heritage Management
Entertainment Systems
Applications in Governance
E-Health Applications
E-Learning & Web 2.0
---------------------------------------------------------------------
4. COMMITTEES
---------------------------------------------------------------------
PATRONS
Achyuta Samanta, KIIT, India

ADVISORY COMMITTEE
Maurice Herlihy, Brown University, USA
GĂ©rard Huet, INRIA, France
Tomasz Janowski, UNU-IIST, Macao
A.S.Kolaskar, KIIT, India
David Peleg, WIS, Israel
R.K. Shyamasundar, TIFR, India

GENERAL CHAIRS
H. Mohanty, University of Hyderabad, India
Vivek Sarkar, Rice University, USA

PROGRAM CO-CHAIRS
Raja Natarajan, TIFR, India
Adegboyega Ojo, UNU-IIST, Macao

ORGANIZING CHAIR
Animesh Tripathy, KIIT, India

FINANCE CHAIR
Samaresh Mishra, KIIT, India

PUBLICITY CHAIR
Prachet Bhuyan, KIIT, India

PROGRAM COMMITTEE
Purandar Bhaduri, IIT Guwahati, India
Nikolaj Bjorner, Microsoft, USA
Elizabeth Buchanan, Univ of Wisconsin-Milwaukee,U SA
Antonio Cerone, UNU--IIST, Macao
Venkatesh Choppella, IIIT Hyderabad, India
Van Hung Dang, Vietnam National Univ, Vietnam
Elsa Estevez, UNU--IIST, Macau
Pablo Fillottrani, Universidad Nacional del Sur, Argentina
Veena Goswami, KIIT, India
Chittaranjan Hota, BITS Pilani, India
Paul Humphreys, University of Virginia, USA
Aditya Kanade, IISc, India
Delia Kesner, Univ of Paris, France
Paddy Krishnan, Bond Univ, Australia
Lakshmanan Kuppusamy, VIT, India
Sanjay Madria, Missouri Univ, USA
Rupak Majumdar, MPI, Germany
Tulika Mitra, NUS, Singapore
Debajyoti Mukhopadhyay, CBS, India
G.B.Mund, KIIT, India
Brajendra Panda, Univ of Arkansas, USA
N. Parimala, JNU, India
Ankur Narang, IBM, India
Rajdeep Niyogi, IIT Roorkee, India
Manas Ranjan Patra, Berhampur University, India
Dana Petcu, West Univ of Timisoara, Romania
G. Michele, Pinna Univ of Cagliari, Italy
P. Radha Krishna, Infosys, India
Srini Ramaswamy, ABB Corporate Research, India
Benoit Razet, TIFR, India
Ashutosh Saxena, Infosys, India
Manoj Saxena, Univ of Delhi, India
Jaydip Sen, TCS, India
Hardeep Singh, GNDU, India
Arcot Sowmya, UNSW, Australia
Manuel Serrano, INRIA, France
Hideyuki Takahashi, Tohoku University, Japan
Nobuko Yoshida, Imperial College London, UK

ORGANIZERS
KIIT University
UNU-IIST Centre for Electronic Governance, Macao

Submission Deadline -- 31 July 2010
CONTACT URL:     http://www.icdcit.ac.in
------------------------------------------

Reply via email to