[TYPES/announce] SecCo 2011: 2nd Call for Papers
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] +-+ ! ! ! SecCo 2011 ! ! Aachen, Germany! ! Monday, September 5th, 2011 ! ! http://www.lix.polytechnique.fr/~kostas/SecCo2011/! ! ! ! Affiliated with CONCUR 2011 ! ! ! +-+ IMPORTANT DATES === Papers due: June 3rd, 2011 Notification: July 8th, 2011 Final paper due: July 22nd, 2011 Workshop: September 5th, 2011 BACKGROUND, AIM AND SCOPE = Emerging trends in concurrency theory require the definition of models and languages adequate for the design and management of new classes of applications, mainly to program either WANs (like Internet) or smaller networks of mobile and portable devices (which support applications based on a dynamically reconfigurable communication structure). Due to the openness of these systems, new critical aspects come into play, such as the need to deal with malicious components or with a hostile environment. Current research on network security issues (e.g. secrecy, authentication, etc.) usually focuses on opening cryptographic point-to-point tunnels. Therefore, the proposed solutions in this area are not always exploitable to support the end-to-end secure interaction between entities whose availability or location is not known beforehand. The aim of the workshop is to cover the gap between the security and the concurrency communities. More precisely, the workshop promotes the exchange of ideas, trying to focus on common interests and stimulating discussions on central research questions. In particular, we look for papers dealing with security issues -- such as authentication, integrity, privacy, confidentiality, access control, denial of service, service availability, safety aspects, fault tolerance, trust, language-based security, probabilistic and information theoretic models -- in emerging fields like web services, mobile ad-hoc networks, agent-based infrastructures, peer-to-peer systems, context-aware computing, global/ubiquitous/pervasive computing. SecCo 2011 follows the success of SecCo'03 (affiliated to ICALP'03), SecCo'04 (affiliated to CONCUR'04), SecCo'05 (affiliated to CONCUR'05), SecCo'07 (affiliated to CONCUR'07), SecCo'08 (affiliated to CONCUR'08), SecCo'09 (affiliated to CONCUR'09) and SecCo'10 (affiliated to CONCUR'10). Note that this is SecCo's last year as an independent workshop. Starting from next year, SecCo is merging with several other workshops in the field to form the Conference on Security and Trust Foundations (STF) which will be part of the European Joint Conferences on Theory and Practice of Software (ETAPS). SUBMISSION == The workshop proceedings will be published in the new EPTCS series (Electronic Proceedings in Theoretical Computer Science, see http://www.cse.unsw.edu.au/~rvg/EPTCS/ and http://www.informatik.uni-trier.de/~ley/db/series/eptcs/index.html for the list of all published EPTCS volumes); we thus encourage submissions already in that format (A4 size). Submissions may be of two kinds: - Normal submissions, included in the EPTCS proceedings. - Presentation-only submissions. These could overlap with submissions to other conferences or journals, and will not be included in the proceedings. These provide an opportunity to present innovative ideas and get feedback from a technically competent audience. The page limit is 18 pages including the bibliography but excluding well-marked appendices. The page limit is the same for both kinds of submissions, please indicate clearly whether you intend you paper to be included in the proceedings or not. Papers must be submitted electronically at the following URL: http://www.easychair.org/conferences/?conf=secco11 A special issue of Journal of Computer Security (JCS) has been arranged in collaboration with TOSCA (ARSPA-WITS) 2011. Selected papers from both workshops will be invited for submission, and will be peer-reviewed according to the standard policy of JCS. PROGRAM COMMITTEE = * Miguel E. Andres (Ecole Polytechnique, France) * Kostas Chatzikokolakis (Ecole Polytechnique, France; co-chair) * Stephanie Delaune (ENS Cachan, France) * Ralf Kuesters (University of Trier, Germany) * Gavin Lowe (University of Oxford, UK) * Jun Pang (University of Luxembourg, Luxembourg; co-chair) * Mark Ryan (University of Birmingham, UK) * Dominique Unruh
[TYPES/announce] Final Call for Papers - Developments in Computational Models 2011
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Final Call for Papers DCM 2011 7th International Workshop on Developments in Computational Models July 3, 2011 Zurich, Switzerland http://www.pps.jussieu.fr/~jkrivine/conferences/DCM2011/DCM_2011.html A satellite event of ICALP 2011 - http://icalp11.inf.ethz.ch/ Extended Deadline for submissions: 30 May, 2011 DCM 2011 is the seventh in a series of international workshops focusing on new computational models. It aims to bring together researchers who are currently developing new computational models or new features of a traditional one. The goal of DCM is to foster interaction, to provide a forum for presenting new ideas and work in progress, and to enable newcomers to learn about current activities in this area. DCM 2011 will be a one-day satellite event of ICALP 2011 in Zurich, Switzerland. TOPICS OF INTEREST: --- Topics of interest include all abstract models of computation and their properties, and their applications to the development of programming languages and systems: - quantum computation, including implementations and formal methods in quantum protocols; - probabilistic computation and verification in modeling situations; - chemical, biological and bio-inspired computation, including spatial models, self-assembly, growth models; - general concurrent models including the treatment of mobility, trust, and security; - comparisons of different models of computations; - information-theoretic ideas in computing. IMPORTANT DATES: Paper Submission: May 30, 2011 Notification: June 15, 2011 Workshop July 03, 2011 SUBMISSIONS: Please submit a paper via the conference EasyChair submission page: http://www.easychair.org/conferences/?conf=dcm2011 Submissions should be at most 12 pages, in PDF format. Please use the EPTCS macro package and follow the instructions of EPTCS: http://eptcs.org/ http://style.eptcs.org/ A submission may contain an appendix, but reading the appendix should should not be necessary to assess the merits of a submission. PUBLICATION: Accepted contributions will appear in EPTCS (Electronic Proceedings in Theoretical Computer Science). After the workshop, quality permitting full versions of selected papers will be invited for a special issue in an internationally leading journal. INVITED SPEAKER: Matthias Christandl, Swiss Federal Institute of Technology, Switzerland - PROGRAMME COMMITTEE: Erika Andersson, Heriot-Watt University, UK Nachum Dershowitz, Tel Aviv University, Israel Eleni Diamanti, CNRS Telecom ParisTech, France Lucas Dixon, Google, USA Elham Kashefi, University of Edinburgh, UK (Co-chair) Delia Kesner, CNRS Universite Paris Diderot, France Helene Kirchner, INRIA, France Heinz Koeppl, ETH Zurich, Switzerland Jean Krivine, CNRS Universite Paris Diderot, France (Co-chair) Michael Mislove, Tulane University, USA Mio Murao, University of Tokyo, Japan Vincent van Oostrom, Utrecht University, The Netherlands Femke van Raamsdonk, VU University Amsterdam, The Netherlands (Co-chair) Paul Ruet, CNRS Institut de Mathematiques de Luminy, France Aaron Stump, University of Iowa, USA Further information: Elham Kashefi ekash...@inf.ed.ac.uk Jean Krivine jkriv...@pps.jussieu.fr Femke van Raamsdonk fe...@cs.vu.nl
[TYPES/announce] Post-doctoral position at ENS Lyon
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] LIP computer science research department at Ecole Normale Superieure de Lyon is offering a postdoctoral position for the academic year 2011-2012. All teams are concerned. In particular the Plume team focussing on logic, types and formal semantics of programming languages. LIP is a joint department with CNRS, INRIA, ENS and UCBL (U. Lyon). Our main strength is the creative interaction between long-term fundamental research, innovative software and hardware design, and transfer through industrial collaborations. This interaction provides a unique research context and fosters new trends, both theoretical and practical, with two main transverse areas: * Mathematical computer science models, methods, and algorithms; * Addressing the challenges of future computational and communication architectures. Applications until June 17th. See http://www.ens-lyon.fr/LIP/web for further informations. Olivier Laurent. -- Olivier LAURENT www: http://perso.ens-lyon.fr/olivier.laurent/