From secrypt2012 at unimi.it Thu Feb 2 00:16:30 2012 From: secrypt2012 at unimi.it (SECRYPT 2012) Date: Wed, 01 Feb 2012 19:46:30 +0100 Subject: [FM-India] Call for Papers - 9th International Conference on Security and Cryptography (SECRYPT 2012) Message-ID: <140CCDD4-D058-46A0-8845-FAC49E56E5D0@unimi.it> [Apologies if you receive multiple copies of this message] CALL FOR PAPERS ************************************************************************ 9th International Conference on Security and Cryptography (SECRYPT 2012) Rome, Italy, July 24-27, 2012 http://secrypt.icete.org ************************************************************************ SECRYPT is an annual international conference covering research in information and communication security. The 9th International Conference on Security and Cryptography (SECRYPT 2012) will be held in Rome, Italy. The conference seeks submissions from academia, industry, and government presenting novel research on all theoretical and practical aspects of data protection, privacy, security, and cryptography. Papers describing the application of security technology, the implementation of systems, and lessons learned are also encouraged. The conference topics include, but are not limited to: - Access Control - Applied Cryptography - Authentication - Biometrics Security and Privacy - Critical Infrastructure Protection - Data Integrity - Data Protection - Database Security and Privacy - Digital Forensics - Digital Rights Management - Ethical and Legal Implications of Security and Privacy - Formal Methods for Security - Human Factors and Human Behaviour Recognition Techniques - Identification, Authentication and Non-repudiation - Identity Management - Information Hiding - Information Systems Auditing - Insider Threats and Countermeasures - Intellectual Property Protection - Intrusion Detection & Prevention - Management of Computing Security - Network Security - Organizational Security Policies - Peer-to-Peer Security - Personal Data Protection for Information Systems - Privacy - Privacy Enhancing Technologies - Reliability and Dependability - Risk Assessment - Secure Cloud Computing - Secure Software Development Methodologies - Security Protocols - Security and Privacy in Mobile Systems - Security and Privacy in Complex Systems - Security and Privacy in IT Outsourcing - Security and Privacy in Location-based Services - Security and Privacy in Pervasive/Ubiquitous Computing - Security and Privacy in Social Networks - Security and Privacy in Web Services - Security and Privacy Policies - Security Area Control - Security Deployment - Security Engineering - Security for Grid Computing - Security in Distributed Systems - Security Information Systems Architecture and Design and Security Patterns - Security Management - Security Metrics and Measurement - Security Requirements (Threats, Vulnerabilities, Risk, Formal Methods, etc.) - Security Verification and Validation - Sensor and Mobile Ad Hoc Network Security - Service and Systems Design and QoS Network Security - Software Security - Trust Management and Reputation Systems - Ubiquitous Computing Security - Wireless Network Security (WiFi, WiMAX, WiMedia and others) PAPER SUBMISSIONS Submitted papers must not substantially overlap papers that have been published or that are simultaneously submitted to a journal or a conference with proceedings. All submissions should be appropriately anonymized (i.e., papers should not contain author names or affiliations, or obvious citations). Submissions are to be made to the submission web site at http://www.insticc.org/Primoris. Two categories of papers can be submitted: - Full Paper: A full paper presents a work where the research is completed or almost finished. Authors of regular submitted papers will indicate at the time of submission whether they would like their paper to also be considered for publication as a position paper. - Position Paper: A position paper presents results that are preliminary or that simply require few pages to describe. A position paper may be a short report and discussion of ideas, facts, situations, methods, procedures, or results of scientific research (bibliographic, experimental, theoretical, or other) focused on one of the conference topics. The acceptance of a position paper is restricted to the categories of "short paper" or "poster". Submitted papers must be formatted according to the SECRYPT format (with the exception that authors should be blinded in the submission), which is described at http://secrypt.icete.org/paper_formats.asp. Submission page limit is 10 pages for full paper and 6 pages for position papers. Accepted papers will be subject to the limit of: 10 pages (for full papers), 6 pages (for short papers), and 4 pages (for posters). Submitted papers will be subject to a double-blind review process. All submissions should be anonymized. All accepted papers/posters will be published in the conference proceedings. A short list of presented papers will be selected so that revised and extended versions of these papers will be published by Springer-Verlag in a CCIS Series book. Authors of accepted papers/posters must guarantee that their papers/posters will be presented at the conference. IMPORTANT DATES Full Paper submission: March 5, 2012 Authors Notification (full papers): May 4, 2012 Final Full Paper Submission and Registration: May 14, 2012 CONFERENCE CHAIR Mohammad S. Obaidat, Monmouth University, U.S.A. PROGRAM CHAIR Pierangela Samarati, Universita' degli Studi di Milano, Italy PROGRAM CO-CHAIRS Wenjing Lou, Virginia Polytechnic Institute and State University, United States Jianying Zhou, Institute For Infocomm Research, Singapore PROGRAM COMMITTEE Claudio Ardagna, Universita` degli Studi di Milano, Italy Ken Barker, University of Calgary, Canada Carlo Blundo, Universit? di Salerno,, Italy David Chadwick, University of Kent ,United Kingdom Aldar Chan, Institute for Infocomm Researc,h Singapore Ee-chien Chang, National University of Singapore Singapore Yingying Chen, Stevens Institute of Technology,, United States Cheng-Kang Chu, Institute for Infocomm Research, Singapore Marco Cova, University of Birmingham,, United Kingdom Jorge Cuellar, Siemens AG,, Germany Fr?d?ric Cuppens, Ecole Nationale de T?l?communications de Bretagne,, France Reza Curtmola, New Jersey Institute of Tech,, United States Ricardo Dahab, University of Campinas (UNICAMP) ,, Brazil Sabrina De Capitani di Vimercati, Universit? degli Studi di Milano, Italy Roberto Di Pietro, Universita' di Roma Tre,, Italy Tassos Dimitriou, Athens Information Technology,, Greece Josep Domingo-ferrer, Rovira I Virgili University of Tarragona, Spain Eduardo B. Fernandez, Florida Atlantic University, United States Eduardo Fern?ndez-medina, University of Castilla-La Mancha, Spain Alberto Ferrante, University of Lugano, Switzerland Josep-Lluis Ferrer-Gomila, Balearic Islands University, Spain Simone Fischer-H?bner, Karlstad University, Sweden Sara Foresti, Universita' degli Studi di Milano, Italy Keith Frikken, Miami University of Ohio, United States Steven Furnell, University of Plymouth, United Kingdom Mark Gondree, Naval Postgraduate School, United States Dimitris Gritzalis, AUEB, Greece Yong Guan, Iowa State University, United States Xinyi Huang, Fujian Normal University, China Michael Huth, Imperial College London, United Kingdom Cynthia Irvine, Naval Postgraduate School, United States Sokratis Katsikas, University of Piraeus, Greece Stefan Katzenbeisser, Technische Universit?t Darmstadt, Germany Shinsaku Kiyomoto, KDDI R&D Laboratories Inc., Japan Costas Lambrinoudakis, University of Piraeus, Greece Bo Lang Beijing, University of Aeronautics and Astronautics, China Loukas Lazos, University of Arizona, United States Adam J. Lee, University of Pittsburgh, United States Patrick Lee, Chinese University of Hong Kong Hong Kong Albert Levi, Sabanci University, Turkey Jiguo Li, Hohai University, China Ming Li, Utah State University, United States Giovanni Livraga, Universita degli Studi di Milano, Italy Javier Lopez, University of Malaga, Spain Emil Lupu, Imperial College, United Kingdom Luigi Mancini, University of Rome La Sapienza, Italy Olivier Markowitch, Universit? Libre de Bruxelles, Belgium Vashek Matyas, Masaryk University Czech Republic Carlos Maziero, UTFPR - Federal University of Technology - Paran? state, Brazil Chris Mitchell, Royal Holloway, University of London, United Kingdom Atsuko Miyaji, Japan Advaned Institute of Science and Technology, Japan Marco Casassa-Mont, Hewlett-Packard Laboratories, United Kingdom David Naccache, Ecole Normale Superieure, France Guevara Noubir, Northeastern University, United States Eiji Okamoto, University of Tsukuba, Japan Rolf Oppliger, eSECURITY Technologies, Switzerland Stefano Paraboschi, University of Bergamo, Italy Gerardo Pelosi, Politecnico di Milano, Italy G?nther Pernul, University of Regensburg, Germany Raphael C.-w. Phan, Loughborough University, United Kingdom Radha Poovendran, University of Washington, United States Joachim Posegga, Institute of IT Security and Security Law, Germany Kui Ren, Illinois Institute of Technology, United States Jian Ren, Michigan State University, United States Sushmita Ruj, University of Ottawa Canada Gokay Saldamli Bogazici, University MIS department, Turkey Martin Schl?ffer, Graz University of Technology, Austria Miguel Soriano, UPC, Spain Cosimo Stallo, University of Rome Tor Vergata, Italy Neeraj Suri, Technische Universit?t Darmstadt, Germany Willy Susilo, University of Wollongong, Australia Chiu Tan, Temple University, United States Juan Tapiador, Universidad Carlos III de Madrid, Spain Wen-guey Tzeng, National Chiao Tung University, Taiwan Guilin Wang, University of Wollongong, Australia Xinyuan (Frank) Wang, George Mason University , United States Haining Wang, The College of William and Mary, United States Lingyu Wang, Concordia University Canada Osman Yagan, Carnegie Mellon University, United States Danfeng Yao, Virginia Tech, United States Alec Yasinsac, University of South Alabama, United States Shucheng Yu, University of Arkansas at Little Rock, United States Wensheng Zhang, Iowa State University, United States Futai Zhang, Nanjing Normal University, China Wen Tao Zhu, Graduate University of Chinese Academy of Sciences, China This call for papers and additional information about the conference can be found at http://secrypt.icete.org/ For any questions, please contact the program chairs: secrypt2012 at unimi.it ----------------------------------------------- SECRYPT 2012 is part of the International Joint Conference on e- Business and Telecommunications (ICETE 2012) that has 5 more conferences with very strong synergies between them, namely: - DCNET: Int'l Conference on Data Communication Networking (http://www.dcnet.icete.org ) - ICE-B: Int'l Conference on e-Business (http://www.ice-b.icete.org) - OPTICS: Int'l Conference on Optical Communication Systems (http://www.optics.icete.org ) - SIGMAP: Int'l Conference on Signal Processing and Multimedia Applications (http://www.sigmap.icete.org) - WINSYS: Int'l Conference on Wireless Information Networks and Systems (http://www.winsys.icete.org) The conference program features a number of Keynote Lectures to be delivered by distinguished world-class researchers, namely: - Venu Govindaraju, University at Buffalo, United States - Sushil Jajodia, George Mason University Fairfax, United States - Andreas Holzinger, Medical University Graz, Austria (list not yet complete) http://www.icete.org/KeynoteSpeakers.aspx ----------------------------------------------- From craciunf at googlemail.com Sat Feb 11 03:31:59 2012 From: craciunf at googlemail.com (Florin Craciun) Date: Sat, 11 Feb 2012 00:01:59 +0200 Subject: [FM-India] CFP: FTfJP 2012 - 14th ECOOP Workshop on Formal Techniques for Java-like Programs Message-ID: CALL FOR PAPERS 14th ECOOP Workshop on Formal Techniques for Java-like Programs (FTfJP 2012) (co-located with ECOOP and PLDI) Beijing China June 12, 2012 http://www.comp.nus.edu.sg/~ftfjp OVERVIEW Formal techniques can help analyze programs, precisely describe program behavior, and verify program properties. Newer languages such as Java and C# provide good platforms to bridge the gap between formal techniques and practical program development, because of their reasonably clear semantics and standardized libraries. Moreover, these languages are interesting targets for formal techniques, because the novel paradigm for program deployment introduced with Java, with its improved portability and mobility, opens up new possibilities for abuse and causes concern about security. Work on formal techniques and tools for programs and work on the formal underpinnings of programming languages themselves naturally complement each other. This workshop aims to bring together people working in both these fields, on topics such as: - formal techniques for Java, C#, Scala or similar languages - specification techniques and interface specification languages - specification of software components and library packages - automated checking and verification of program properties - verification logics - language semantics - type systems - dynamic linking and loading - security CALL FOR CONTRIBUTIONS Contributions (of up to 6 pages in the ACM 2-column style) are sought on open questions, new developments, or interesting new applications of formal techniques in the context of Java or similar languages. Contributions need not merely present completely finished work, but also raise challenging open problems or propose speculative new approaches. We particularly welcome contributions that simply suggest good topics for discussion at the workshop, or raise issues that you feel deserve the attention of the research community. Contributions will be formally reviewed, for originality, relevance, and the potential to generate interesting discussions. Accepted papers will be published in the ACM Digital Library. In addition, depending on the nature of the contributions, we may organize a special journal issue as a follow-up to the workshop, as has been done for some of the previous FTfJP workshops. Contributions must be in English, in pdf format, and are limited to 6-pages in ACM 2-column style. Papers must be submitted electronically via Easy Chair at: https://www.easychair.org/conferences/?conf=ftfjp2012 Any PC member, other than the chair, may be an author or co-author on any paper submitted for consideration but will be excluded from any evaluation or discussion of the paper. IMPORTANT DATES abstract submission: 16 March 2012 (anywhere on Earth) full paper submission: 25 March 2012 (anywhere on Earth) notification: 29 April 2012 camera-ready paper: 12 May 2012 conference date: 12 June 2012 PROGRAM COMMITTEE Aditya Nori, Microsoft Research India Aquinas Hobor, National University of Singapore, (co-chair) Atsushi Igarashi, Kyoto University, Japan Florin Craciun, Babes Bolyai University, Romania Hoang Truong, Vietnam National University, Vietnam Jens Palsberg, University of California, USA Jesper Bengtson, IT-University of Copenhagen, Denmark Jianjun Zhao, Shanghai Jiaotong University, China John Boyland, University of Wisconsin-Milwaukee, USA Jules Villard, Queen Mary, University of London, UK Sophia Drossopoulou, Imperial College London, UK Thomas Wies, New York University, USA Tyng-Ruey Chuang, Academia Sinica, Taiwan Wei-Ngan Chin, National University of Singapore, (co-chair) Zongyan Qiu, Peking University, China From craciunf at googlemail.com Sat Feb 11 20:39:33 2012 From: craciunf at googlemail.com (Florin Craciun) Date: Sat, 11 Feb 2012 17:09:33 +0200 Subject: [FM-India] Ph.D. Studentship at University of Teesside, UK Message-ID: SCHOOL OF COMPUTING University of Teesside Fully Funded University Ph.D. Studentship (3 years) Ref: QinFeb12 Applications are invited for a Ph.D. student to work in the research area of formal methods and software verification under the supervision of Professor Shengchao Qin in the School of Computing in Teesside University. Prof. Qin is affiliated with the Teesside Formal Methods and Programming Research Group (TFMPRG) and has been supervising a number of research associate and Ph.D students. Prospective candidates must have (or expect to have) at least a good honours degree in Computer Science or closely related subjects at grade 2:1 or equivalent or higher. The studentship requires good background knowledge in most of the following areas: logic and discrete mathematics related to computer science, compilers, program analysis and software verification. Strong programming skills will also be essential for the studentship. This fully funded studentship provides a tax-free living allowance at the standard rate (?13,590 p.a. for 2011/12) and full student tuition fees for three years. The successful candidate is expected to start on October 1 2012. More information can be obtained by contacting Prof. Shengchao Qin at s.qin at tees.ac.uk, or by visiting http://www.scm.tees.ac.uk/s.qin. For an application form, applicants should contact graduateresearchschool at tees.ac.uk. Applicants are expected to return their application form plus a CV, a research proposal, their degree certificates and academic transcripts by the following deadline (to graduateresearchschool at tees.ac.uk and copy to Professor Qin): Deadline for application: 8 March 2012. The selection process will start shortly after the deadline and be completed in March. From esorics2012 at unimi.it Tue Feb 14 17:29:04 2012 From: esorics2012 at unimi.it (ESORICS 2012) Date: Tue, 14 Feb 2012 12:59:04 +0100 Subject: [FM-India] Call for Papers - 17th European Symposium on Research in Computer Security (ESORICS 2012) Message-ID: <188EF3C1-286B-4AA2-ADDC-2BA9F1E23EEE@unimi.it> [Apologies if you receive multiple copies of this message] CALL FOR PAPERS ****************************************************************************** 17th European Symposium on Research in Computer Security (ESORICS 2012) Pisa, Italy -- September 10-12, 2012 http://www.iit.cnr.it/esorics2012/ ****************************************************************************** ESORICS is the annual European research event in Computer Security. The Symposium started in 1990 and has been held in several European countries, attracting a wide international audience from both the academic and industrial communities. Papers offering novel research contributions in computer security are solicited for submission to the Symposium. The primary focus is on original, high quality, unpublished research and implementation experiences. We encourage submissions of papers discussing industrial research and development. Topics of interest include, but are not limited to: - access control - accountability - ad hoc networks - anonymity - applied cryptography - authentication - biometrics - database security - data protection - digital content protection - digital forensic - distributed systems security - electronic payments - embedded systems security - inference control - information hiding - identity management - information flow control - integrity - intrusion detection - formal security methods - language-based security - network security - phishing and spam prevention - privacy - risk analysis and management - secure electronic voting - security architectures - security economics - security metrics - security models - security and privacy in cloud scenarios - security and privacy in complex systems - security and privacy in location services - security and privacy for mobile code - security and privacy in pervasive/ubiquitous computing - security and privacy policies - security and privacy in social networks - security and privacy in web services - security verification - software security - steganography - systems security - trust models and management - trustworthy user devices - web security - wireless security PAPER SUBMISSIONS Submitted papers must not substantially overlap papers that have been published or that are simultaneously submitted to a journal or a conference with proceedings. The proceedings will be published by Springer in the the Lecture Notes in Computer Science series. All submissions should follow the LNCS template (http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0) from the time they are submitted. Submitted papers should be at most 16 pages (using 10-point font), excluding the bibliography and well-marked appendices, and at most 20 pages total. Committee members are not required to read the appendices, so the paper should be intelligible without them. All submissions must be written in English. Submissions are to be made to the submission web site at http://www.easychair.org/conferences/?conf=esorics2012. Only pdf files will be accepted. Submissions not meeting these guidelines risk rejection without consideration of their merits. Papers must be received by the deadline of March 31, 2012. Authors of accepted papers must guarantee that their papers will be presented at the conference. IMPORTANT DATES Paper submission due: March 31, 2012 Notification to authors: June 10, 2012 Camera ready due: June 20, 2012 GENERAL CHAIR Fabio Martinelli National Research Council - CNR, Italy PROGRAM CHAIRS Sara Foresti Universita` degli Studi di Milano, Italy Moti Yung Google Inc., USA PUBLICITY CHAIR Giovanni Livraga Universita` degli Studi di Milano, Italy PROGRAM COMMITTEE Alessandro Armando, Universita` di Genova, Italy Mikhail Atallah, Purdue University, USA Michael Backes, Saarland University, Germany David A. Basin, ETH Zurich, Switzerland Kevin Bauer, University of Waterloo, Canada Joachim Biskup, University of Dortmund, Germany Marina Blanton, University of Notre Dame, USA Carlo Blundo, Universita` degli Studi di Salerno, Italy Srdjan Capkun, ETH Zurich, Switzerland Liqun Chen, HP Labs, UK Seung-Geol Choi, University of Maryland, USA Veronique Cortier, LORIA, France Jason Crampton, University of London, UK Frederic Cuppens, Telecom Bretagne, France Anupam Datta, Carnegie Mellon University, USA Sabrina De Capitani di Vimercati, Univ. degli Studi di Milano, Italy Claudia Diaz, K.U. Leuven, Belgium Wenliang Du, Syracuse University, USA Simon Foley, University College Cork, Ireland Keith B. Frikken, Miami University, USA Dieter Gollmann, TU Hamburg-Harburg, Germany Dimitris Gritzalis, AUEB, Greece Ryan Henry, University of Waterloo, Canada Amir Herzberg, Bar-Ilan University, Israel Sushil Jajodia, George Mason University, USA Aaron Johnson, U.S. Naval Research Lab, USA Stefan Katzenbeisser, TU Darmstadt, Germany KwangJo Kim, KAIST, Korea Markulf Kohlweiss, Microsoft Research, UK Michiharu Kudo, IBM Tokyo Research Laboratory, Japan Miroslaw Kutylowski, Wroclaw University of Technology, Poland Adam J. Lee, Univeristy of Pittsburgh, USA Wenke Lee, Georgia Institute of Technology, USA Dongdai Lin, Chinese Academy of Sciences, China Javier Lopez, University of Malaga, Spain Wenjing Lou, Virginia Polytechnic Institute and State University, USA John C. Mitchell, Stanford University, USA Atsuko Miyaji, JAIST, Japan David Naccache, ENS, France Peng Ning, North Carolina State University, USA Stefano Paraboschi, Universita` degli Studi di Bergamo, Italy Guenther Pernul, University of Regensburg, Germany Jean-Jacques Quisquater, UCL, Belgium Indrakshi Ray, Colorado State University, USA Kui Ren, Illinois Institute of Technology, USA Peter Ryan, University of Luxembourg, Luxembourg Ahmad-Reza Sadeghi, TU Darmstadt, Germany Rei Safavi-Naini, University of Calgary, Canada Kouichi Sakurai, Kyushu University, Japan Pierangela Samarati, Universita` degli Studi di Milano, Italy R. Sekar, Stony Brook University, USA Elaine Shi, PARC/UC Berkley, USA Einar Snekkenes, Gjovik University College, Norway Abhinav Srivastava, AT&T Labs - Research, USA Carmela Troncoso, K.U. Leuven, Belgium Yevgeniy Vahlis, AT&T, USA Jaideep Vaidya, Rutgers University, USA Michael Waidner, TU Darmstadt, Germany Shouhai Xu, University of Texas at San Antonio, USA Ting Yu, North Carolina State University, USA Jianying Zhou, Institute for Infocomm Research, Singapore This call for papers and additional information about the conference can be found at http://www.iit.cnr.it/esorics2012/ From secrypt2012 at unimi.it Tue Feb 14 20:27:37 2012 From: secrypt2012 at unimi.it (SECRYPT 2012) Date: Tue, 14 Feb 2012 15:57:37 +0100 Subject: [FM-India] Call for Papers - 9th International Conference on Security and Cryptography (SECRYPT 2012) Message-ID: [Apologies if you receive multiple copies of this message] CALL FOR PAPERS ************************************************************************ 9th International Conference on Security and Cryptography (SECRYPT 2012) Rome, Italy, July 24-27, 2012 http://secrypt.icete.org ************************************************************************ SECRYPT is an annual international conference covering research in information and communication security. The 9th International Conference on Security and Cryptography (SECRYPT 2012) will be held in Rome, Italy. The conference seeks submissions from academia, industry, and government presenting novel research on all theoretical and practical aspects of data protection, privacy, security, and cryptography. Papers describing the application of security technology, the implementation of systems, and lessons learned are also encouraged. The conference topics include, but are not limited to: - Access Control - Applied Cryptography - Authentication - Biometrics Security and Privacy - Critical Infrastructure Protection - Data Integrity - Data Protection - Database Security and Privacy - Digital Forensics - Digital Rights Management - Ethical and Legal Implications of Security and Privacy - Formal Methods for Security - Human Factors and Human Behaviour Recognition Techniques - Identification, Authentication and Non-repudiation - Identity Management - Information Hiding - Information Systems Auditing - Insider Threats and Countermeasures - Intellectual Property Protection - Intrusion Detection & Prevention - Management of Computing Security - Network Security - Organizational Security Policies - Peer-to-Peer Security - Personal Data Protection for Information Systems - Privacy - Privacy Enhancing Technologies - Reliability and Dependability - Risk Assessment - Secure Cloud Computing - Secure Software Development Methodologies - Security Protocols - Security and Privacy in Mobile Systems - Security and Privacy in Complex Systems - Security and Privacy in IT Outsourcing - Security and Privacy in Location-based Services - Security and Privacy in Pervasive/Ubiquitous Computing - Security and Privacy in Social Networks - Security and Privacy in Web Services - Security and Privacy Policies - Security Area Control - Security Deployment - Security Engineering - Security for Grid Computing - Security in Distributed Systems - Security Information Systems Architecture and Design and Security Patterns - Security Management - Security Metrics and Measurement - Security Requirements (Threats, Vulnerabilities, Risk, Formal Methods, etc.) - Security Verification and Validation - Sensor and Mobile Ad Hoc Network Security - Service and Systems Design and QoS Network Security - Software Security - Trust Management and Reputation Systems - Ubiquitous Computing Security - Wireless Network Security (WiFi, WiMAX, WiMedia and others) PAPER SUBMISSIONS Submitted papers must not substantially overlap papers that have been published or that are simultaneously submitted to a journal or a conference with proceedings. All submissions should be appropriately anonymized (i.e., papers should not contain author names or affiliations, or obvious citations). Submissions are to be made to the submission web site at http://www.insticc.org/Primoris. Two categories of papers can be submitted: - Full Paper: A full paper presents a work where the research is completed or almost finished. Authors of regular submitted papers will indicate at the time of submission whether they would like their paper to also be considered for publication as a position paper. - Position Paper: A position paper presents results that are preliminary or that simply require few pages to describe. A position paper may be a short report and discussion of ideas, facts, situations, methods, procedures, or results of scientific research (bibliographic, experimental, theoretical, or other) focused on one of the conference topics. The acceptance of a position paper is restricted to the categories of "short paper" or "poster". Submitted papers must be formatted according to the SECRYPT format (with the exception that authors should be blinded in the submission), which is described at http://secrypt.icete.org/paper_formats.asp. Submission page limit is 10 pages for full paper and 6 pages for position papers. Accepted papers will be subject to the limit of: 10 pages (for full papers), 6 pages (for short papers), and 4 pages (for posters). Submitted papers will be subject to a double-blind review process. All submissions should be anonymized. All accepted papers/posters will be published in the conference proceedings. A short list of presented papers will be selected so that revised and extended versions of these papers will be published by Springer-Verlag in a CCIS Series book. Authors of accepted papers/posters must guarantee that their papers/posters will be presented at the conference. IMPORTANT DATES Full Paper submission: March 5, 2012 Authors Notification (full papers): May 4, 2012 Final Full Paper Submission and Registration: May 14, 2012 CONFERENCE CHAIR Mohammad S. Obaidat, Monmouth University, U.S.A. PROGRAM CHAIR Pierangela Samarati, Universita' degli Studi di Milano, Italy PROGRAM CO-CHAIRS Wenjing Lou, Virginia Polytechnic Institute and State University, United States Jianying Zhou, Institute For Infocomm Research, Singapore PROGRAM COMMITTEE Claudio Ardagna, Universita` degli Studi di Milano, Italy Ken Barker, University of Calgary, Canada Carlo Blundo, Universit? di Salerno,, Italy David Chadwick, University of Kent ,United Kingdom Aldar Chan, Institute for Infocomm Researc,h Singapore Ee-chien Chang, National University of Singapore Singapore Yingying Chen, Stevens Institute of Technology,, United States Cheng-Kang Chu, Institute for Infocomm Research, Singapore Marco Cova, University of Birmingham,, United Kingdom Jorge Cuellar, Siemens AG,, Germany Fr?d?ric Cuppens, Ecole Nationale de T?l?communications de Bretagne,, France Reza Curtmola, New Jersey Institute of Tech,, United States Ricardo Dahab, University of Campinas (UNICAMP) ,, Brazil Sabrina De Capitani di Vimercati, Universit? degli Studi di Milano, Italy Roberto Di Pietro, Universita' di Roma Tre,, Italy Tassos Dimitriou, Athens Information Technology,, Greece Josep Domingo-ferrer, Rovira I Virgili University of Tarragona, Spain Eduardo B. Fernandez, Florida Atlantic University, United States Eduardo Fern?ndez-medina, University of Castilla-La Mancha, Spain Alberto Ferrante, University of Lugano, Switzerland Josep-Lluis Ferrer-Gomila, Balearic Islands University, Spain Simone Fischer-H?bner, Karlstad University, Sweden Sara Foresti, Universita' degli Studi di Milano, Italy Keith Frikken, Miami University of Ohio, United States Steven Furnell, University of Plymouth, United Kingdom Mark Gondree, Naval Postgraduate School, United States Dimitris Gritzalis, AUEB, Greece Yong Guan, Iowa State University, United States Xinyi Huang, Fujian Normal University, China Michael Huth, Imperial College London, United Kingdom Cynthia Irvine, Naval Postgraduate School, United States Sokratis Katsikas, University of Piraeus, Greece Stefan Katzenbeisser, Technische Universit?t Darmstadt, Germany Shinsaku Kiyomoto, KDDI R&D Laboratories Inc., Japan Costas Lambrinoudakis, University of Piraeus, Greece Bo Lang Beijing, University of Aeronautics and Astronautics, China Loukas Lazos, University of Arizona, United States Adam J. Lee, University of Pittsburgh, United States Patrick Lee, Chinese University of Hong Kong Hong Kong Albert Levi, Sabanci University, Turkey Jiguo Li, Hohai University, China Ming Li, Utah State University, United States Giovanni Livraga, Universita degli Studi di Milano, Italy Javier Lopez, University of Malaga, Spain Emil Lupu, Imperial College, United Kingdom Luigi Mancini, University of Rome La Sapienza, Italy Olivier Markowitch, Universit? Libre de Bruxelles, Belgium Vashek Matyas, Masaryk University Czech Republic Carlos Maziero, UTFPR - Federal University of Technology - Paran? state, Brazil Chris Mitchell, Royal Holloway, University of London, United Kingdom Atsuko Miyaji, Japan Advaned Institute of Science and Technology, Japan Marco Casassa-Mont, Hewlett-Packard Laboratories, United Kingdom David Naccache, Ecole Normale Superieure, France Guevara Noubir, Northeastern University, United States Eiji Okamoto, University of Tsukuba, Japan Rolf Oppliger, eSECURITY Technologies, Switzerland Stefano Paraboschi, University of Bergamo, Italy Gerardo Pelosi, Politecnico di Milano, Italy G?nther Pernul, University of Regensburg, Germany Raphael C.-w. Phan, Loughborough University, United Kingdom Radha Poovendran, University of Washington, United States Joachim Posegga, Institute of IT Security and Security Law, Germany Kui Ren, Illinois Institute of Technology, United States Jian Ren, Michigan State University, United States Sushmita Ruj, University of Ottawa Canada Gokay Saldamli Bogazici, University MIS department, Turkey Martin Schl?ffer, Graz University of Technology, Austria Miguel Soriano, UPC, Spain Cosimo Stallo, University of Rome Tor Vergata, Italy Neeraj Suri, Technische Universit?t Darmstadt, Germany Willy Susilo, University of Wollongong, Australia Chiu Tan, Temple University, United States Juan Tapiador, Universidad Carlos III de Madrid, Spain Wen-guey Tzeng, National Chiao Tung University, Taiwan Guilin Wang, University of Wollongong, Australia Xinyuan (Frank) Wang, George Mason University , United States Haining Wang, The College of William and Mary, United States Lingyu Wang, Concordia University Canada Osman Yagan, Carnegie Mellon University, United States Danfeng Yao, Virginia Tech, United States Alec Yasinsac, University of South Alabama, United States Shucheng Yu, University of Arkansas at Little Rock, United States Wensheng Zhang, Iowa State University, United States Futai Zhang, Nanjing Normal University, China Wen Tao Zhu, Graduate University of Chinese Academy of Sciences, China This call for papers and additional information about the conference can be found at http://secrypt.icete.org/ For any questions, please contact the program chairs: secrypt2012 at unimi.it ----------------------------------------------- SECRYPT 2012 is part of the International Joint Conference on e- Business and Telecommunications (ICETE 2012) that has 5 more conferences with very strong synergies between them, namely: - DCNET: Int'l Conference on Data Communication Networking (http://www.dcnet.icete.org ) - ICE-B: Int'l Conference on e-Business (http://www.ice-b.icete.org) - OPTICS: Int'l Conference on Optical Communication Systems (http://www.optics.icete.org ) - SIGMAP: Int'l Conference on Signal Processing and Multimedia Applications (http://www.sigmap.icete.org) - WINSYS: Int'l Conference on Wireless Information Networks and Systems (http://www.winsys.icete.org) The conference program features a number of Keynote Lectures to be delivered by distinguished world-class researchers, namely: - Venu Govindaraju, University at Buffalo, United States - Sushil Jajodia, George Mason University Fairfax, United States - Andreas Holzinger, Medical University Graz, Austria (list not yet complete) http://www.icete.org/KeynoteSpeakers.aspx ----------------------------------------------- From KSha at okcu.edu Thu Feb 16 03:47:45 2012 From: KSha at okcu.edu (Sha, Kewei) Date: Wed, 15 Feb 2012 16:17:45 -0600 Subject: [FM-India] =?iso-8859-1?q?CFP=3A_The_Second_International_Worksho?= =?iso-8859-1?q?p_on_Privacy=2C_Security_and_Trust_in_Mobile_and_Wireless_?= =?iso-8859-1?q?Systems_=28MobiPST_2012=29=2C_M=FCnchen=2C_Germany?= Message-ID: <62CF6C9F10C1D44DA44CCC3EE395B53F119FE96E59@N5AA20.okcu.edu> We apologize if you received multiple copies of this CFP and we appreciate if you help to forward the CFP to your friends and colleagues. The Second International Workshop on Privacy, Security and Trust in Mobile and Wireless Systems (MobiPST 2012) M?nchen, Germany, July 30, 2012 Important Dates Paper submission due: March 16, 2012 Acceptance notification: April 25, 2012 Camera-ready due: May 10, 2012 Workshop: July 30, 2012 Recently, mobile wireless devices, such as wireless sensors, smart tags, smart pads, tablets, PDAs and smart phones, have become pervasive and attracted significant interests from academia, industry, and standard organizations. With the support of latest cloud computing technology, these mobile wireless devices will play a more and more important role in computing and communication systems. When these devices become pervasive, security, privacy and trust become critical components for the acceptance of applications build based on these devices. Moreover, several favourable characteristics of mobile and wireless devices, including portability, mobility, and sensitivity, further impose the challenge of security and privacy in those systems. Despite recent advances, many research issues still remain in the design of secure, privacy-preserving, or trust architectures, protocols, algorithms, services, and applications on mobile and wireless systems. For example, when mobile devices have more storage space, high bandwidth, and super sensing capability, more sensitive information will be stored in those devices. On the other hand, operating systems running on those devices are not as powerful and reliable as those on traditional computers. Both OS layer and higher-level layer protocols are expected to enhance the security and preserve the privacy of those devices. With more mobile devices being used in social networks and traditional web-based systems, novel trust models are essential for new applications. New cryptographic algorithms, key distribution schemes and access control policies are also encouraged by considering the special characteristics of mobile and wireless devices. With more and more attacks reported to mobile devices in last two years, threat detection and protection tools are highly expected to improve the security. Other issues such as malware, cyber threat, attack modelling, possible vulnerabilities on the network infrastructure, security analysis, identity management, attack tolerance, security recovery and anonymity techniques also need to be revisited in these critical systems. This workshop aims to bring together the technologists and researchers who share interests in the area of security, privacy and trust in mobile and wireless systems, as well as explore new venues of collaboration. The main purpose is to promote discussions of research and relevant activities in the models and designs of secure, privacy-preserving, or trust architectures, protocols, algorithms, services, and applications, as well as analysis on cyber threat in mobile and wireless systems. It also aims at increasing the synergy between academic and industry professionals working in this area. We plan to seek papers that address theoretical, experimental research, and work in-progress for security, privacy and trust related issues in the context of mobile and wireless systems that include, but are not limited to, the following Instructions for Authors Authors are invited to submit manuscripts reporting original unpublished research and recent developments in the topics related to the workshop. Submissions should include a title, abstract, keywords, author(s) and affiliation(s) with postal and e-mail address(es) of the corresponding author. Submitted manuscripts must be formatted in standard IEEE camera-ready format (double-column, 10-pt font) and must be submitted via EDAS ( http://edas.info/ ) as PDF files (formatted for 8.5x11-inch paper). The manuscripts should be no longer than 5 pages. One additional page is permitted if the authors are willing to pay an over-length charge at the time of publication (manuscripts should not exceed 6 pages). Submitted papers cannot have been previously published in or be under consideration for publication in another journal or conference. The workshop Program Committee reserves the right to not review papers that either exceed the length specification or have been submitted or published elsewhere. Submissions must include a title, abstract, keywords, author(s) and affiliation(s) with postal and e-mail address(es). All authors of a paper must be registered in the RIGHT order via EDAS at the SUBMISSION TIME and cannot be changed after the submission due time at EDAS. The paper title and author name list/order cannot be changed during the final camera-ready submission. The final program will be generated from EDAS automatically. A paper abstract must be registered on EDAS by the deadline. Review and Publication of Manuscripts Submitted papers will be reviewed by the workshop Program Committee and judged on originality, technical correctness, relevance, and quality of presentation and the comments will be provided to the authors. Workshop papers will be in the same proceedings of the main conference papers. An accepted paper must be presented at the ICCCN 2012 venue by one of the authors registered at the full registration rate. If any accepted paper is not registered, the paper will be removed from the workshop program and the proceedings. Each workshop registration covers up to two workshop papers by an author. Accepted and registered papers will be published in proceedings that will be available through Xplore. Papers that are not presented at the ICCCN 2012 venue by one of the registered co-authors will not appear in Xplore. Outstanding papers will be invited to extend to full version for a prestigious journal (SCI(E)-indexed), Information - An International Interdisciplinary Journal and targeting publication in early 2013.---------------------------------------------------------------------------- You are receiving this call-for-papers from EDAS, based on your user profile. To unsubscribe from call-for-paper messages such as this one, go to "My profile" and update your areas of interest (link at top of page - http://edas.info/editAreaInterest.php ). From secrypt2012 at unimi.it Tue Feb 21 20:38:46 2012 From: secrypt2012 at unimi.it (SECRYPT 2012) Date: Tue, 21 Feb 2012 16:08:46 +0100 Subject: [FM-India] Deadline Approaching - 9th International Conference on Security and Cryptography (SECRYPT 2012) Message-ID: <7798FD19-985A-4EF4-B05A-D814A0AB035A@unimi.it> [Apologies if you receive multiple copies of this message] ***Deadline approaching - March 5, 2012*** CALL FOR PAPERS ************************************************************************ 9th International Conference on Security and Cryptography (SECRYPT 2012) Rome, Italy, July 24-27, 2012 http://secrypt.icete.org ************************************************************************ SECRYPT is an annual international conference covering research in information and communication security. The 9th International Conference on Security and Cryptography (SECRYPT 2012) will be held in Rome, Italy. The conference seeks submissions from academia, industry, and government presenting novel research on all theoretical and practical aspects of data protection, privacy, security, and cryptography. Papers describing the application of security technology, the implementation of systems, and lessons learned are also encouraged. The conference topics include, but are not limited to: - Access Control - Applied Cryptography - Authentication - Biometrics Security and Privacy - Critical Infrastructure Protection - Data Integrity - Data Protection - Database Security and Privacy - Digital Forensics - Digital Rights Management - Ethical and Legal Implications of Security and Privacy - Formal Methods for Security - Human Factors and Human Behaviour Recognition Techniques - Identification, Authentication and Non-repudiation - Identity Management - Information Hiding - Information Systems Auditing - Insider Threats and Countermeasures - Intellectual Property Protection - Intrusion Detection & Prevention - Management of Computing Security - Network Security - Organizational Security Policies - Peer-to-Peer Security - Personal Data Protection for Information Systems - Privacy - Privacy Enhancing Technologies - Reliability and Dependability - Risk Assessment - Secure Cloud Computing - Secure Software Development Methodologies - Security Protocols - Security and Privacy in Mobile Systems - Security and Privacy in Complex Systems - Security and Privacy in IT Outsourcing - Security and Privacy in Location-based Services - Security and Privacy in Pervasive/Ubiquitous Computing - Security and Privacy in Social Networks - Security and Privacy in Web Services - Security and Privacy Policies - Security Area Control - Security Deployment - Security Engineering - Security for Grid Computing - Security in Distributed Systems - Security Information Systems Architecture and Design and Security Patterns - Security Management - Security Metrics and Measurement - Security Requirements (Threats, Vulnerabilities, Risk, Formal Methods, etc.) - Security Verification and Validation - Sensor and Mobile Ad Hoc Network Security - Service and Systems Design and QoS Network Security - Software Security - Trust Management and Reputation Systems - Ubiquitous Computing Security - Wireless Network Security (WiFi, WiMAX, WiMedia and others) PAPER SUBMISSIONS Submitted papers must not substantially overlap papers that have been published or that are simultaneously submitted to a journal or a conference with proceedings. All submissions should be appropriately anonymized (i.e., papers should not contain author names or affiliations, or obvious citations). Submissions are to be made to the submission web site at http://www.insticc.org/Primoris. Two categories of papers can be submitted: - Full Paper: A full paper presents a work where the research is completed or almost finished. Authors of regular submitted papers will indicate at the time of submission whether they would like their paper to also be considered for publication as a position paper. - Position Paper: A position paper presents results that are preliminary or that simply require few pages to describe. A position paper may be a short report and discussion of ideas, facts, situations, methods, procedures, or results of scientific research (bibliographic, experimental, theoretical, or other) focused on one of the conference topics. The acceptance of a position paper is restricted to the categories of "short paper" or "poster". Submitted papers must be formatted according to the SECRYPT format (with the exception that authors should be blinded in the submission), which is described at http://secrypt.icete.org/paper_formats.asp. Submission page limit is 10 pages for full paper and 6 pages for position papers. Accepted papers will be subject to the limit of: 10 pages (for full papers), 6 pages (for short papers), and 4 pages (for posters). Submitted papers will be subject to a double-blind review process. All submissions should be anonymized. All accepted papers/posters will be published in the conference proceedings. A short list of presented papers will be selected so that revised and extended versions of these papers will be published by Springer-Verlag in a CCIS Series book. Authors of accepted papers/posters must guarantee that their papers/posters will be presented at the conference. IMPORTANT DATES Full Paper submission: March 5, 2012 Authors Notification (full papers): May 4, 2012 Final Full Paper Submission and Registration: May 14, 2012 CONFERENCE CHAIR Mohammad S. Obaidat, Monmouth University, U.S.A. PROGRAM CHAIR Pierangela Samarati, Universita' degli Studi di Milano, Italy PROGRAM CO-CHAIRS Wenjing Lou, Virginia Polytechnic Institute and State University, United States Jianying Zhou, Institute For Infocomm Research, Singapore PROGRAM COMMITTEE Claudio Ardagna, Universita` degli Studi di Milano, Italy Ken Barker, University of Calgary, Canada Carlo Blundo, Universit? di Salerno,, Italy David Chadwick, University of Kent ,United Kingdom Aldar Chan, Institute for Infocomm Researc,h Singapore Ee-chien Chang, National University of Singapore Singapore Yingying Chen, Stevens Institute of Technology,, United States Cheng-Kang Chu, Institute for Infocomm Research, Singapore Marco Cova, University of Birmingham,, United Kingdom Jorge Cuellar, Siemens AG,, Germany Fr?d?ric Cuppens, Ecole Nationale de T?l?communications de Bretagne,, France Reza Curtmola, New Jersey Institute of Tech,, United States Ricardo Dahab, University of Campinas (UNICAMP) ,, Brazil Sabrina De Capitani di Vimercati, Universit? degli Studi di Milano, Italy Roberto Di Pietro, Universita' di Roma Tre,, Italy Tassos Dimitriou, Athens Information Technology,, Greece Josep Domingo-ferrer, Rovira I Virgili University of Tarragona, Spain Eduardo B. Fernandez, Florida Atlantic University, United States Eduardo Fern?ndez-medina, University of Castilla-La Mancha, Spain Alberto Ferrante, University of Lugano, Switzerland Josep-Lluis Ferrer-Gomila, Balearic Islands University, Spain Simone Fischer-H?bner, Karlstad University, Sweden Sara Foresti, Universita' degli Studi di Milano, Italy Keith Frikken, Miami University of Ohio, United States Steven Furnell, University of Plymouth, United Kingdom Mark Gondree, Naval Postgraduate School, United States Dimitris Gritzalis, AUEB, Greece Yong Guan, Iowa State University, United States Xinyi Huang, Fujian Normal University, China Michael Huth, Imperial College London, United Kingdom Cynthia Irvine, Naval Postgraduate School, United States Sokratis Katsikas, University of Piraeus, Greece Stefan Katzenbeisser, Technische Universit?t Darmstadt, Germany Shinsaku Kiyomoto, KDDI R&D Laboratories Inc., Japan Costas Lambrinoudakis, University of Piraeus, Greece Bo Lang Beijing, University of Aeronautics and Astronautics, China Loukas Lazos, University of Arizona, United States Adam J. Lee, University of Pittsburgh, United States Patrick Lee, Chinese University of Hong Kong Hong Kong Albert Levi, Sabanci University, Turkey Jiguo Li, Hohai University, China Ming Li, Utah State University, United States Giovanni Livraga, Universita degli Studi di Milano, Italy Javier Lopez, University of Malaga, Spain Emil Lupu, Imperial College, United Kingdom Luigi Mancini, University of Rome La Sapienza, Italy Olivier Markowitch, Universit? Libre de Bruxelles, Belgium Vashek Matyas, Masaryk University Czech Republic Carlos Maziero, UTFPR - Federal University of Technology - Paran? state, Brazil Chris Mitchell, Royal Holloway, University of London, United Kingdom Atsuko Miyaji, Japan Advaned Institute of Science and Technology, Japan Marco Casassa-Mont, Hewlett-Packard Laboratories, United Kingdom David Naccache, Ecole Normale Superieure, France Guevara Noubir, Northeastern University, United States Eiji Okamoto, University of Tsukuba, Japan Rolf Oppliger, eSECURITY Technologies, Switzerland Stefano Paraboschi, University of Bergamo, Italy Gerardo Pelosi, Politecnico di Milano, Italy G?nther Pernul, University of Regensburg, Germany Raphael C.-w. Phan, Loughborough University, United Kingdom Radha Poovendran, University of Washington, United States Joachim Posegga, Institute of IT Security and Security Law, Germany Kui Ren, Illinois Institute of Technology, United States Jian Ren, Michigan State University, United States Sushmita Ruj, University of Ottawa Canada Gokay Saldamli Bogazici, University MIS department, Turkey Martin Schl?ffer, Graz University of Technology, Austria Miguel Soriano, UPC, Spain Cosimo Stallo, University of Rome Tor Vergata, Italy Neeraj Suri, Technische Universit?t Darmstadt, Germany Willy Susilo, University of Wollongong, Australia Chiu Tan, Temple University, United States Juan Tapiador, Universidad Carlos III de Madrid, Spain Wen-guey Tzeng, National Chiao Tung University, Taiwan Guilin Wang, University of Wollongong, Australia Xinyuan (Frank) Wang, George Mason University , United States Haining Wang, The College of William and Mary, United States Lingyu Wang, Concordia University Canada Osman Yagan, Carnegie Mellon University, United States Danfeng Yao, Virginia Tech, United States Alec Yasinsac, University of South Alabama, United States Shucheng Yu, University of Arkansas at Little Rock, United States Wensheng Zhang, Iowa State University, United States Futai Zhang, Nanjing Normal University, China Wen Tao Zhu, Graduate University of Chinese Academy of Sciences, China This call for papers and additional information about the conference can be found at http://secrypt.icete.org/ For any questions, please contact the program chairs: secrypt2012 at unimi.it ----------------------------------------------- SECRYPT 2012 is part of the International Joint Conference on e- Business and Telecommunications (ICETE 2012) that has 5 more conferences with very strong synergies between them, namely: - DCNET: Int'l Conference on Data Communication Networking (http://www.dcnet.icete.org ) - ICE-B: Int'l Conference on e-Business (http://www.ice-b.icete.org) - OPTICS: Int'l Conference on Optical Communication Systems (http://www.optics.icete.org ) - SIGMAP: Int'l Conference on Signal Processing and Multimedia Applications (http://www.sigmap.icete.org) - WINSYS: Int'l Conference on Wireless Information Networks and Systems (http://www.winsys.icete.org) The conference program features a number of Keynote Lectures to be delivered by distinguished world-class researchers, namely: - Venu Govindaraju, University at Buffalo, United States - Sushil Jajodia, George Mason University Fairfax, United States - Andreas Holzinger, Medical University Graz, Austria (list not yet complete) http://www.icete.org/KeynoteSpeakers.aspx ----------------------------------------------- From abhik at comp.nus.edu.sg Wed Feb 22 06:50:09 2012 From: abhik at comp.nus.edu.sg (Abhik Roychoudhury) Date: Wed, 22 Feb 2012 09:20:09 +0800 Subject: [FM-India] ICTAC 2012 Call for papers Message-ID: <000301ccf100$1e55df60$5b019e20$@nus.edu.sg> Call for Papers ICTAC 2012 9th International Colloquium on Theoretical Aspects of Computing URL: http://www.iiitb.ac.in/ictac 24 - 27 September 2012, Bangalore, India ------------------------------------------------- The Colloquium will be held at the International Institute of Information Technology (IIIT), which is located in Electronics City of Bangalore. It is two hours by car from Bangalore International Airport (transport from airport will be provided to conference participants). Bangalore is internationally known as the Silicon Valley of the East with many hi-tech companies and research labs. Holding the conference in the Electronics City of Bangalore gives the conference participants valuable opportunity to discuss and network with the software practitioners and researchers in India's Information Technology (IT) hub. This will be further facilitated via an Industry Day, a special feature of ICTAC 2012. ------------------------------------------------- SUBMISSION DEADLINES Regular and Short Paper submission deadline: 16 April 2012 ------------------------------------------------- BACKGROUND ICTAC 2012 is the 9th International Colloquium on Theoretical Aspects of Computing, the latest in a series founded by the International Institute for Software Technology of the United Nations University (UNU-IIST). ICTAC 2012 will bring together practitioners and researchers from academia, industry and government to present research and to exchange ideas and experience addressing challenges in both theoretical aspects of computing and in the exploitation of theory through methods and tools for system development. The other main purpose is to promote cooperation in research and education between participants and their institutions, from developing and industrial countries, as in the mandate of the United Nations University. TOPICS The topics of the conference include, but are not limited to: * automata theory and formal languages; * principles and semantics of programming languages; * logics and their applications; * software architectures and their description languages; * relationship between software requirements, models and code; * software specification, refinement, verification and testing; * model checking and theorem proving; * formal techniques in software testing; * models of object and component systems; * coordination and feature interaction; * integration of theories, formal methods and tools for engineering computing systems; * service-oriented architectures: models and development methods; * models of concurrency, security, and mobility; * theory of parallel, distributed, grid and cloud computing; * real-time, embedded, hybrid and cyber-physical systems; * type and category theory in computer science; * models for learning and education; * case studies, theories, tools and experiments of verified systems; * domain-specific modeling and technology: examples, frameworks and experience. INDUSTRY DAY 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 is planned to be marked as Industry Day. The industry day will feature technical talks from the industry participants. These talks will be drawn from the papers submitted and accepted to the conference; however any such paper must have at least one co-author from the Industry and must be clearly marked for "Industry Day" during submission. In addition, we plan to have tool demonstrations and posters by the companies in the exhibition floor. Participants from academia will thus also get a chance to mingle with the industry participants in an informal atmosphere, thereby getting a flavor of the ongoing activities in Bangalore's IT industry. Industry Day Co-chairs: Sriram Rajamani (Microsoft Research) Satish Chandra (IBM Research) KEYNOTE SPEAKERS * Gernot Heiser, UNSW (for Industry Day) * Luke Ong, Oxford * Ganesan Ramalingam, Microsoft Research PUBLICATION AND SUBMISSION The proceedings of ICTAC 2012 will be published by Springer in the series Lecture Notes in Computer Science (LNCS) and will be available at the colloquium. A special issue of a journal with extended version of selected papers from ICTAC 2012 is under negotiation. Submissions to the colloquium must not have been published or be concurrently considered for publication elsewhere. All submissions will be judged on the basis of originality, contribution to the field, technical and presentation quality, and relevance to the conference. Submissions can be either Regular Papers or Short Papers. Short papers can present recent or ongoing work or discuss new ideas which are at an early stage of development and have not been thoroughly evaluated yet. Papers should be written in English. Regular Papers should not exceed 15 pages and Short Papers should be between 4 and 8 pages in LNCS format (see http://www.springer.de/comp/lncs/authors.html for details). Papers shall be submitted at http://www.easychair.org/conferences/?conf=ictac2012 All queries should be sent to: ictac2012 at iist.unu.edu IMPORTANT DATES: Paper submission deadline: 16 April 2012 Paper Accept/Reject Notification: 8 June 2012 Final paper submission: 29 June 2012 PROGRAM COMMITTEE * 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 S. 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 Inst., India * Kedar Namjoshi, Bell Labs, USA * Jun Pang, Univ. of Luxembourg, Luxembourg * 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 ORGANISING COMMITTEE * Meenakshi D' Souza, IIIT-B (General Chair) * Jun Pang, Univ. of Luxembourg (Publicity Chair) * Deepak D'Souza, Indian Institute of Science * Sumesh Divakaran, IIIT-B. STEERING COMMITTEE * John Fitzgerald, UK * Martin Leucker, Germany * Zhiming Liu, Macau SAR China (Chair) * Tobias Nipkow, Germany * Augusto Sampaio, Brazil * Natarajan Shankar, USA * Jim Woodcock, UK