[TYPES/announce] Postdoc position in symbolic execution at Imperial College London
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Applications are invited for a postdoctoral position in the Software Reliability Group (http://srg.doc.ic.ac.uk/) in the Department of Computing at Imperial College London. The goal of this project is to investigate and design program transformations --- both semantics-preserving and semantics-altering --- that increase the scalability of symbolic execution. The techniques will primarily be implemented on top of the KLEE symbolic execution engine. To apply for this position, you will need to have a strong background in compilers and program analysis, and a good understanding of software engineering and operating systems. You will also need experience in building and working with large software systems and tools. Prior experience with LLVM and KLEE is desirable, but not required. Applicants will have (or shortly expect to receive) a PhD degree (or equivalent) in Computer Science or a related field, and will be expected to have a proven track record with strong publications in relevant areas. This position will be based at the South Kensington campus in central London. The application deadline is 4 September 2015, with interviews expected to take place on 18 September. For further information about this position, please visit http://srg.doc.ic.ac.uk/vacancies.
[TYPES/announce] SPLASH 2015 - Call for Student Volunteers
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] // ACM Conference on Systems, Programming, Languages, and Applications: Software for Humanity (SPLASH'15) Pittsburgh, Pennsylvania, USA 25th-30th October, 2015 http://www.splashcon.org Sponsored by ACM SIGPLAN // Call for Student Volunteers // The ACM SIGPLAN conference on Systems, Programming, Languages and Applications: Software for Humanity (SPLASH) embraces all aspects of software construction and delivery to make it the premier conference at the intersection of programming, languages, and software engineering. SPLASH is now accepting submissions. We invite high quality submissions describing original and unpublished work. ** Student Volunteers ** The SPLASH Student Volunteer program provides an opportunity for students from around the world to associate with some of the leading personalities in industry and research in the following areas: programming languages, object-oriented technology and software development. Student volunteers contribute to the smooth running of the conference by performing tasks such as: assisting with registration, providing information about the conference to attendees, assisting session organizers and monitoring sessions. Applications Due: 7 August, 2015 http://2015.splashcon.org/track/splash2015-sv Student Volunteer Co-Chairs: Jonathan Bell (Columbia University) and Daco Harkes (TU Delft) Information: SPLASH Early Registration Deadline: 25 September, 2015 Contact: i...@splashcon.org Website: http://2015.splashcon.org Location: Sheraton Station Square Hotel Pittsburgh, Pennsylvania, United States Organization: SPLASH General Chair: Jonathan Aldrich (Carnegie Mellon University) OOPSLA Papers Chair: Patrick Eugster (Purdue University) Onward! Papers Chair: Gail Murphy (University of British Columbia) Onward! Essays Chair: Guy Steele (Oracle Labs) DLS Papers Chair: Manuel Serrano (INRIA) Artifact Evaluation Co-Chairs: Robby Findler (Northwestern University) and Michael Hind (IBM Research) Demos Co-Chairs: Igor Peshansky (Google) and Pietro Ferrara (IBM Research) Inspirations Co-Chairs: Darya Kurilova (Carnegie Mellon University), Zach Tatlock (University of Washington), and Crista Lopes (UC Irvine) Local Arrangements Chair: Claire Le Goues (Carnegie Mellon University) Posters Chair: Nick Sumner (Simon Fraser University) Publications Chair: Alex Potanin (Victoria University of Wellington) Publicity and Web Co-Chairs: Craig Anslow (University of Calgary) and Tijs van der Storm (CWI) SPLASH-E Chair: Eli Tilevich (Virginia Tech) SPLASH-I Co-Chairs: Tijs van der Storm (CWI) and Jan Vitek (Northeastern University) Sponsorship Chair: Tony Hosking (Purdue University) Student Research Competition Co-Chairs: Sam Guyer (Tufts University) and Patrick Lam (University of Waterloo) Student Volunteer Co-Chairs: Jonathan Bell (Columbia University) and Daco Harkes (TU Delft) Wavefront Co-Chairs: Dennis Mancl (Alcatel-Lucent) Web Technology Chair: Eelco Visser (TU Delft) Workshops Co-Chairs: Du Li (Carnegie Mellon University) and Jan Rellermeyer (IBM Research) SLE General Chair: Richard Paige, University of York GPCE General Chair: Christian Kästner, Carnegie Mellon University PLoP General Chair: Filipe Correia, University of Porto //
[TYPES/announce] Deadline extension - DCM 2015 (Cali, Colombia, co-located with ICTAC 2015)
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] == FINAL CALL FOR PAPERS -- DCM 2015 11th International Workshop on Developments in Computational Models October 28, 2015, Cali, Colombia http://dcm-workshop.org.uk/2015/ A satellite event of ICTAC 2015 - http://www.ictac2015.co DEADLINE FOR SUBMISSION OF EXTENDED ABSTRACTS (5 pages): AUGUST 17, 2015 == Several new models of computation have emerged in the last few years, and many developments of traditional computational models have been proposed with the aim of taking into account the new demands of computer systems users and the new capabilities of computation engines. A new computational model, or a new feature in a traditional one, usually is reflected in a new family of programming languages, and new paradigms of software development. DCM 2015 is the eleventh in a series of international workshops focusing on new computational models. The aim of this workshop is to bring together researchers who are currently developing new computational models or new features for traditional computational models, in order to foster their 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 2015 will be a one-day satellite event of ICTAC 2015, the Twelfth International Colloquium on Theoretical Aspects of Computing. == 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: - functional calculi: lambda-calculus, rho-calculus, term and graph rewriting; - 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; - models of concurrency, including the treatment of mobility, trust, and security; - infinitary models of computation; - information-theoretic ideas in computing. == IMPORTANT DATES - Submission Deadline for Extended Abstracts: August 17 (extended) - Notification: 13 September - Pre-proceedings version due: 5 October - Workshop: 28 October - Submission Deadline for EPTCS Proceedings: 7 December == INVITED SPEAKERS Mauricio Ayala Rincón, Universidade de Brasilia (Brazil). Gilles Dowek, INRIA (France). == SUBMISSIONS Submit your paper in PDF format via the conference EasyChair submission page: https://www.easychair.org/conferences/?conf=dcm2015 Submissions should be an abstract of at most 5 pages, written in English. Simultaneous submission to journals, conferences or other workshops is not permitted. Please use the EPTCS macro package and follow the instructions of EPTCS, following the EPTCS style: http://style.eptcs.org/ A submission may contain an appendix, but reading the appendix should not be necessary to assess its merits. After the workshop authors are invited to submit a full paper of their presentation. Accepted contributions will appear in an issue of EPTCS. == PROGRAM COMMITTEE: Mario Benevides (Brazil) Luís Caires (Portugal) Ugo Dal Lago (Italy) Nachum Dershowitz (Israel) Jérôme Feret (France) Marcelo Frias (Argentina) Russ Harmer (France) Ivan Lanese (Italy) Radu Mardare (Denmark) Elvira Mayordomo (Spain) César A. Muñoz (USA) - chair Jorge A. Pérez (The Netherlands) - chair Andrés Sicard-Ramírez (Colombia) Alexandra Silva (The Netherlands) Daniele Varacca (France) -- Jorge A. Pérez Assistant Professor Johann Bernoulli Institute for Mathematics and Computer Science University of Groningen Groningen, The Netherlands URL: http://www.jorgeaperez.net
[TYPES/announce] PAS 2015 - deadline 15/20 August
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] [Apologies should you receive multiple copies of this call.] PAS 2015 - Fourth International Seminar on Program Verification, Automated Debugging and Symbolic Computation Beijing, China, October 21-23, 2015 http://pas2015.cc4cm.org/ http://pas2015.cc4cm.org/ Important Dates - Submission of abstracts August 15, 2015 - Submission of papers/extended abstracts:August 20, 2015 - Notification of acceptance or rejection: September 20, 2015 - Final version due: October 10, 2015 - Seminar taking place: October 21-23, 2015 Overview PAS 2015 will provide a forum for researchers and software developers actively involved or interested in developing, using, and applying methods and software tools of symbolic computation for program verification and automated debugging to exchange ideas and views, to review the state of the art and discuss prospects, to present research results and experiments, and to build up contacts for future cooperation. The scientific program of the seminar will feature invited talks and contributed presentations. Specific topics for PAS 2015 include (but are not limited to): - Theories and methodologies for program verification and testing - Model checking, fault locating and program repairing - Symbolic computation and automated reasoning for program verification - Termination, correctness and complexity analysis of programs - Automated program synthesis and transformation - Logic and semantics for automated and algorithmic debugging - Program debugging paradigms and techniques - Symbolic constraint solving for verification and debugging - Tools, prototypes, empirical and case studies The previous seminars PAS 2012 and PAS 2013 were held in Beijing, China, and PAS 2014 was part of the Federated Logic Conference (FLoC) and the Vienna Summer of Logic. Submission Potential participants of PAS 2015 are invited to submit first half-page abstracts and then full papers or extended abstracts (3-5 pages) describing their work to be presented at the seminar. The submitted full papers and extended abstracts will be reviewed by the program committee for soundness and relevance to the seminar. Submission of original research papers is encouraged, while published material and work in progress will also be considered for presentation at the seminar. Electronic submissions are strongly preferred using EasyChair: https://easychair.org/conferences/?conf=pas20150 https://easychair.org/conferences/?conf=pas20150 Accepted full papers and extended abstracts will be distributed at the seminar. Authors of the full papers and extended abstracts accepted for presentation at the seminar will be invited to submit their full and/or revised papers for publication in the post-proceedings volume as a special issue of the Journal of Symbolic Computation (JSC) after the meeting. The submitted papers will be formally reviewed by external referees according to the standard refereeing procedure of JSC. Honorary Chair Wei Li (Beihang University, China) Steering Committee Hoon Hong (North Carolina State University, USA) Tudor Jebelean (Johannes Kepler University, Austria) Jens Knoop (Technical University of Vienna, Austria) Alexander Letichevsky (Cybernetics National Academy of Sciences, Ukraine) Wei Li (Beihang University, China) Dongming Wang (Beihang University, China and CNRS, France) Program Chairs Tudor Jebelean (Johannes Kepler University, Austria) Dongming Wang (Beihang University, China and CNRS, France) Program Committee Sandra Alves, University of Porto, Portugal Alessandro Armando, University of Genova, Italy Armin Biere, Johannes Kepler University, Linz, Austria Xiaoyu Chen, Beihang University, Beijing, China Stefan Ciobaca, University A. I. Cuza, Iasi, Romania Isabela Dramnesc, West University of Timisoara, Romania Madalina Erascu, West University of Timisoara, Romania Mario Florido, University of Porto, Portugal Martin Giese, University of Oslo, Norway Fairouz Kamareddine, Heriot-Watt University, Edinburgh, Scotland Jens Knoop, Technical University of Vienna, Austria Boris Konev, University of Liverpool, England Laura Kovacs, Chalmers University of Technology, Sweden Gabor Kusper, Eszterhazy Karoly College, Eger, Hungary Oleksandr Letychevskyi, Glushkov Institute of Cybernetics, Kiev, Ukraine Dorel Lucanu, University A. I. Cuza, Iasi, Romania Jie Luo, Beihang University, Beijing, China Alexander Maletzky, Johannes Kepler University, Linz, Austria Mircea Marin, West University of Timisoara, Romania Marius Minea, Politehnica University of Timisoara, Romania Grant Passmore, University of Cambridge, England Vladimir Peschanenko, Kherson State University, Russia Judit Robu, Babes-Bolyai University, Cluj, Romania Michael Rusinowitch, LORIA - INRIA