Newsletter 160 July 1, 2014 ******************************************************************* * Past issues of the newsletter are available at http://lics.siglog.org/newsletters/ * Instructions for submitting an announcement to the newsletter can be found at http://lics.siglog.org/newsletters/inst.html ******************************************************************* TABLE OF CONTENTS * LICS-RELATED NEWS VIENNA SUMMER OF LOGIC ANNOUNCEMENT CSL-LICS'14 ACM SIGLOG ANNOUNCEMENT * DEADLINES Forthcoming Deadlines * CALLS FSTTCS 2014 - Call for Papers LSB 5 - Call for Participation (Student/Postdoc Funding) ICOOOLPS 2014 - Call for Participation ISR 2014 - Call for Participation JLAP on Formal Methods - Call for Papers SOFSEM 2015 - Call for Papers ICLA 2015 - Call for Papers IFIP-TCS 2014 - Call for Participation CONCUR 2014 - Call for Participation STACS 2015 - Call for Papers ETAPS 2015 - Call for Papers VTSA 2014 - Call for Summer School Applications * JOB ANNOUNCEMENTS Two PhD positions in Information Security at ETH Zurich 11 PhD studentships in Computer Science at the University of Pisa New Doctoral Program on Logical Methods in Computer Science (LogiCS) VIENNA SUMMER OF LOGIC ANNOUNCEMENT July 9-24, 2014 http://vsl2014.at * In the summer of 2014, Vienna will host the largest event in the history of logic. The Vienna Summer of Logic (VSL) will consist of twelve large conferences and numerous workshops, attracting an expected number of 2500 researchers from all over the world. The conferences and workshops will deal with the main theme, logic, from three important aspects: logic in computer science, mathematical logic and logic in artificial intelligence. This unique event will be organized by the Kurt Goedel Society at Vienna University of Technology from July 9 to 24, 2014. * KEYNOTE SPEAKERS Franz Baader (Technische Universitaet Dresden), Edmund Clarke (Carnegie Mellon University), Christos Papadimitriou (University of California, Berkeley) and Alex Wilkie (University of Manchester). Dana Scott (Carnegie Mellon University) will speak in the opening session. * LOGIC IN COMPUTER SCIENCE/FEDERATED LOGIC CONFERENCE (FLoC) - 26th International Conference on Computer Aided Verification (CAV) - 27th IEEE Computer Security Foundations Symposium (CSF) - 30th International Conference on Logic Programming (ICLP) - 7th International Joint Conference on Automated Reasoning (IJCAR) - 5th Conference on Interactive Theorem Proving (ITP) - Joint meeting of the 23rd EACSL Annual Conference on Computer Science Logic (CSL) and the 29th ACM/IEEE Symposium on Logic in Computer Science (LICS) - 25th International Conference on Rewriting Techniques and Applications (RTA) joint with the 12th International Conference on Typed Lambda Calculi and Applications (TLCA) - 17th International Conference on Theory and Applications of Satisfiability Testing (SAT) - FLoC Workshops - FLoC Olympic Games (System Competitions) * MATHEMATICAL LOGIC - Logic Colloquium 2014 - Logic, Algebra and Truth Degrees 2014 - The Infinity Workshop - Kurt Goedel Fellowship Competition * LOGIC IN ARTIFICIAL INTELLIGENCE - 14th International Conference on Principles of Knowledge Representation and Reasoning (KR) - 27th International Workshop on Description Logics (DL) - 15th International Workshop on Non-Monotonic Reasoning (NMR) - International Workshop on Knowledge Representation for Health Care 2014 (KR4HC) * KURT GOEDEL RESEARCH PRIZE FELLOWSHIP COMPETITION At the Vienna Summer of Logic, the Kurt Goedel Society will award three fellowship prizes endowed with 100.000 Euro each to the winners of the Kurt Goedel Research Prize Fellowship Competition "Logical Mind: Connecting Foundations and Technology." * FLOC OLYMPIC GAMES - CITIUS, MAIUS, POTENTIUS The Federated Logic Conference (FLoC) 2014 will host the 1st FLoC Olympic Games. Intended as a new FLoC tradition, the Games will bring together a multitude of established solver competitions by different research communities. In addition to the competitions, the Olympic Games will facilitate the exchange of expertise between communities, and increase the visibility and impact of state-of-the-art solver technology. The winners in the competition categories will be awarded Kurt Goedel medals at the FLoC Olympic Games award ceremonies. CSL-LICS'14 July 14-18, 2014 Vienna, Austria http://lics.siglog.org/csl-lics14/ * This year LICS and CSL will hold a joint conference for the first time, as part of FLoC 2014 and the Vienna Summer of Logic. Tom Henzinger and Dale Miller are co-chairs of a joint PC of 38 members. The proceedings will be published by ACM. * INVITED SPEAKERS Christel Baier (TU Dresden) Patrick Cousot (ENS Paris and NYU) * INVITED TUTORIAL SPEAKERS Assia Mahboubi (INRIA Saclay) Jasmin Fisher (MSR Cambridge) * SCHEDULE http://www.easychair.org/smart-program/VSL2014/CSLLICS-program.html * AFFILIATED WORKSHOPS - Workshop Block 1 (July 12-13) CL&C 5th International Workshop on Classical Logic and Computation DCM 10th Int'l Workshop on Developments in Computational Models DTP Dependently-Typed Programming GSB Workshop on Gentzen Systems and Beyond 3 LCC Workshop on Logic and Comptuational Complexity LINEARITY 3rd International Workshop on Linearity LOLA 5th Workshop on Syntax and Semantics of Low-Level Languages LSB 5th International Workshop on Logic and Systems Biology PC FLoC Workshop on Proof Complexity SD 3rd Workshop on Structures and Deduction - Workshop Block 2 (July 17-18) AISS Algorithmics of Infinite State Systems 2014 APPA All about Proofs, Proofs for All CICLOPS-WLPE Int'l Joint Workshop on Implementation of Constraint and Logic Programming Systems and Logic-based Methods in Programming Environments 2014 FCS-FCC Joint Workshop on Foundations of Computer Security and Formal and Computational Cryptography HOPA Higher Order Program Analysis LFMTP 9th International Workshop on Logical Frameworks and Meta-languages: Theory and Practice NLCS 2nd Workshop on Natural Language and Computer Science PCCR 2nd Workshop on the Parameterized Complexity of Computational Reasoning PSC Proof, Structure and Computation * AWARDS - The Kleene Award for Best Student Paper will be given for the best student paper(s), as judged by the program committee. - The EACSL Outstanding Dissertation Award, named for Wilhelm F. Ackermann, will be presented during the joint meeting. - The LICS Test-of-Time Award 2014 will be presented during the joint meeting. ACM SIGLOG ANNOUNCEMENT http://siglog.acm.org * The ACM has recently chartered a Special Interest Group on Logic and Computation (ACM SIGLOG). Its first Chair is Prakash Panangaden, the other officers are Luke Ong (vice-Chair), Natarajan Shankar (Treasurer) and Alexandra Silva (Secretary). * The ACM-IEEE Symposium on Logic in Computer Science will be the flagship conference of SIGLOG. It will also actively seek association agreements with other conferences in the field. A SIGLOG newsletter is planned to be published quarterly in an electronic format with community news, technical columns, members' feedback, conference reports, book reviews and other items of interest to the community. The first issue will go out to members in July. * It is possible to join SIGLOG as soon as today by visiting https://campus.acm.org/public/qj/gensigqj/siglist/gensigqj_siglist.cfm One can join SIGLOG without joining ACM (the SIGLOG membership fee is $25 and $15 for students). DEADLINES * FSTTCS 2014 Abstract submission deadline: July 11, 2014 Paper submission: July 18, 2014 http://www.fsttcs.org * ISR 2014 Early registration deadline: July 15, 2014 http://isr2014.inf.utfsm.cl * JLAP Special Issue on Formal Methods Paper submission: July 15, 2014 * SOFSEM 2015 Abstract deadline: August 1, 2014 Full paper deadline: August 15, 2014 http://www.sofsem.cz/ * ICLA 2015 Submission deadline: August 5, 2014 http://www.cse.iitb.ac.in/~icla15/index.html * VTSA 2014 Application deadline: September 5, 2014 http://www.mpi-inf.mpg.de/VTSA14/ * STACS 2015 Submission deadline: September 21, 2014 http://www14.in.tum.de/STACS2015 * ETAPS 2015 Abstract deadline: October 10, 2014 Paper deadline: October 17, 2014 http://www.etaps.org/index.php/2015/call-for-papers 34TH FOUNDATIONS OF SOFTWARE TECHNOLOGY AND THEORETICAL COMPUTER SCIENCE (FSTTCS 2014) Call for Papers December 15-17, 2014 India International Centre, New Delhi, India http://www.fsttcs.org * GENERAL IARCS, the Indian Association for Research in Computing Science, announces the 34th Foundations of Software Technology and Theoretical Computer Science conference at India International Centre, New Delhi, India. The FSTTCS conference is a forum for presenting original results in foundational aspects of Computer Science and Software Technology. * SUBMISSIONS Submissions will be in electronic form via EasyChair using the LIPIcs LaTeX style file (see http://www.dagstuhl.de/en/publications/lipics/instructions-for-authors). Submissions must not exceed 12 pages (including bibliography). Simultaneous submissions to journals or other conferences with published proceedings are disallowed. Accepted papers will be published as proceedings of the conference in the Leibniz International Proceedings in Informatics (LIPIcs) as a free, open, electronic archive with access to all. For an accepted paper to be included in the proceedings, one of the authors must commit to presenting the paper at the conference. * IMPORTANT DATES Abstract Submission deadline: July 11, 2014 Paper Submission deadline: July 18, 2014 Notification to Authors: September 15, 2014 Deadline for camera-ready papers: October 15, 2014 * IMPORTANT LINKS http://www.fsttcs.org https://www.easychair.org/conferences/?conf=fsttcs2014 * INVITED SPEAKERS Nikhil Bansal (TU Eindhoven), Paul Gastin (LSV, ENS Cachan), Martin Grohe (RWTH Aachen), Orna Kupferman (Hebrew University), Ryan Williams (Stanford University) * PC CHAIRS Venkatesh Raman (IMSc, Chennai) S P Suresh (CMI, Chennai) * ORGANIZING COMMITTEE Shweta Agrawal (IIT Delhi), Naveen Garg (IIT Delhi), Ragesh Jaiswal (IIT Delhi, chair), Amit Kumar (IIT Delhi), Sanjiva Prasad (IIT Delhi), Sandeep Sen (IIT Delhi) WORKSHOP ON LOGIC AND SYSTEMS BIOLOGY STUDENT/POSTDOC PARTICIPATION FUNDING (LSB 5) Call for Participation A FLoC workshop at the Vienna Summer of Logic (VSL 2014) Affiliated with CSL/LICS 2014 Vienna, Austria, July 13, 2014 http://perso.ens-lyon.fr/russell.harmer/lsb5.html * The National Science Foundation of the United States is providing funds to support the travel expenses of students and postdoctoral fellows attending the Workshop on Logic and Systems Biology. For further information contact James Lynch (firstname.lastname@example.org). 9TH WORKSHOP ON IMPLEMENTATION, COMPILATION, OPTIMIZATION OF OBJECT-ORIENTED LANGUAGES, PROGRAMS AND SYSTEMS (ICOOOLPS 2014) Call For Participation 28th July 2014 Uppsala, Sweden Co-located with ECOOP. http://icooolps.loria.fr/ * OVERVIEW The ICOOOLPS workshop series brings together researchers and practitioners working in the field of OO languages implementation and optimization. ICOOOLPS key goal is to identify current and emerging issues relating to the efficient implementation, compilation and optimization of such languages, and outlining future challenges and research directions. Topics of interest for ICOOOLPS include, but are not limited to: implementation of fundamental OO and OO-like features (e.g. inheritance, parametric types, memory management, objects, prototypes), runtime systems (e.g. compilers, linkers, virtual machines, garbage collectors), optimizations (e.g. static or dynamic analyses, adaptive virtual machines), resource constraints (e.g. time for real-time systems, space or low-power for embedded systems) and relevant choices and tradeoffs (e.g. constant time vs. non-constant time mechanisms, separate compilation vs. global compilation, dynamic loading vs. global linking, dynamic checking vs. proof-carrying code...). * CHAIRS Laurence Tratt, King's College London, UK Olivier Zendra, INRIA Nancy, FR * EMAIL email@example.com 7TH INTERNATIONAL SCHOOL ON REWRITING (ISR 2014) Call for Participation August 25-29, 2014 Universidad Tecnica Federico Santa Maria Valparaiso, Chile Co-located with the 21st Workshop on Logic, Language, Information and Computation (WoLLIC 2014) http://web.ing.puc.cl/~wollic * REWRITING Rewriting is a branch of computer science whose origins go back to the origins of computer science itself (with Thue, Church, Post, and many other prominent researchers). It has strong links with mathematics, algebra, and logic, and it is the basis of well-known programming paradigms like functional and equational programming, which are taught at the universitary level in many countries. In these programming paradigms and corresponding languages, the notions of reduction, pattern matching, confluence, termination, strategy, etc., are essential. Rewriting provides a solid framework for understanding, using, and teaching all these notions. Rewriting techniques are also used in many other areas of software engineering (scripting, prototyping, automated transformation of legacy systems, refactoring, web services, etc.) and are implemented in popular systems like Mathematica, Autocad, and others. Rewriting techniques play a relevant role in computing research, education, and industry. * AIMS The International School on Rewriting is promoted by the IFIP Working Group 1.6 Term Rewriting. The school is aimed at master and PhD students, researchers, and practitioners interested in the study of rewriting concepts and their applications. Two tracks are offered, including the lectures and the courses: - Track A: for newcomers in the field, or just for people who want to obtain a new, updated exposure. - Track B: for those who want to get deeper in the most recent developments and applications of rewriting. * CONFIRMED LECTURERS Mauricio Ayala-Rincon, Universidade de Brasilia, Brazil Eduardo Bonelli, Universidad de Quilmes, Argentina Claude Kirchner, INRIA, France Helene Kirchner, INRIA, France Aart Middeldorp. University of Innsbruck, Austria Pierre-Etienne Moreau, Ecole des Mines de Nancy, France Camilo Rocha, Escuela Colombiana de Ingenieria, Colombia Johannes Waldmann, HTWK Leipzig, Germany Sarah Winkler, University of Innsbruck, Austria * PROGRAMME The detailed programme can be found at: http://isr2014.inf.utfsm.cl/programme * REGISTRATION FEES 300 USD (early registration, until July 15, 2014) 400 USD (late registration, from July 16, 2014) * INFORMATION For more information, please visit our web site or contact firstname.lastname@example.org * ORGANIZING COMMITTEE Mauricio Ayala-Rincon, UNB, Brazil Carlos Castro (chair), UTFSM, Chile Nicolas Galvez, UTFSM, Chile Claude Kirchner, INRIA, France Alvaro Luzzi, UTFSM, Chile Christophe Ringeissen, INRIA, France Maria Elena Rodriguez, UTFSM, Chile JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING SPECIAL ISSUE ON FORMAL METHODS IN SOFTWARE PRODUCT LINE ENGINEERING Call for Papers http://ees.elsevier.com/jlap/ * SCOPE This special issue of the Journal of Logic and Algebraic Programming (JLAP) is devoted, but by no means limited, to the themes of the FMSPLE workshop series on formal methods and analysis in Software Product Line Engineering (SPLE). This is an open call for papers, therefore participants of the FMSPLE workshop series as well as others working on the themes of this special issue, are strongly encouraged to submit contributions. * AIMS SPLE aims at developing a family of systems by reuse in order to reduce time to market and to increase product quality. The general motivation is to promote and stimulate the application of formal modelling and analysis techniques to problems that originate from the SPLE domain, and to strengthen in this way the ties between the SPLE community and theoretical computer scientists and formal methods researchers seeking to apply calculi, process algebras, type systems, logics, model checking, type checking, theorem proving, constraint solving, and so forth. Recent years have witnessed an increased application of formal modelling and analysis techniques in SPLE and this is starting to make an impact, as is confirmed by the growing number of papers that have been published in a variety of high-profile formal methods, SPLE, and (fundamental) software engineering conferences and journals. * IMPORTANT DATES Submission of papers: July 15, 2014 First review decision: December 15, 2014 Revision due: February 15, 2015 Acceptance notification: April 15, 2015 Final manuscript due: June 15, 2015 Expected publication: Summer 2015 * TOPICS OF INTEREST We solicit original papers on topics within the general scope of applying formal modelling and analysis techniques to software product lines. * SUBMISSION We expect original articles (typically 20-30 pages; submission of larger papers will be evaluated depending on editorial constraints) that present high-quality contributions, which have not been previously published elsewhere and that are also not simultaneously submitted for publication elsewhere. All contributions must be written in English, must be submitted in PDF format and must comply with JLAP's author guidelines. Submissions are handled using the Elsevier Editorial System and can be uploaded via the link http://ees.elsevier.com/jlap/ In the submission process, the authors must select the article type "FMSPLE". * GUEST EDITORS Maurice ter Beek, ISTI-CNR, Pisa, Italy Dave Clarke, Uppsala University, Sweden & KU Leuven, Belgium Ina Schaefer, Technische Universitaet Braunschweig, Germany 41TH INTERNATIONAL CONFERENCE ON CURRENT TRENDS IN THEORY AND PRACTICE OF COMPUTER SCIENCE (SOFSEM 2015) Call for Papers January 24-29, 2015 Hotel Horizont - Pec pod Snezkou Czech Republic http://www.sofsem.cz/ * GENERAL The website provides a lot of interesting information about the next SOFSEM. SOFSEM 2015 will consist of following four tracks: - FOUNDATIONS OF COMPUTER SCIENCE chaired by Roger Wattenhofer (ETH Zurich, Switzerland) - SOFTWARE and WEB ENGINEERING chaired by Tiziana Margaria-Steffen (University of Potsdam, Germany) - CRYPTOGRAPHY, SECURITY, and VERIFICATION chaired by Jean-Jacques Quisquater (Catholic University of Louvain, Belgium) - DATA, INFORMATION and KNOWLEDGE ENGINEERING chaired by Jaroslav Pokorny (Charles University in Prague, Czech Republic) Moreover, for PhD students there will be the traditional `STUDENT RESEARCH FORUM'. * IMPORTANT DATES Abstract deadline: August 1, 2014 Full paper deadline: August 15, 2014 Acceptance notification: September 22, 2014 Conference: January 24-29, 2015 * DETAILS As the SOFSEM 2015 organization will progress, the website will be regularly updated to let you know about important news. Location, accommodation and leisure activities of SOFSEM 2015 are presented at: http://www.sofsem.cz/sofsem15/index.php?page=location http://www.sofsem.cz/sofsem15/index.php?page=accommodation http://www.sofsem.cz/sofsem15/index.php?page=leisure We hope that you find the tracks for SOFSEM 2015 interesting, and that you will join us and enjoy the traditional, inspiring SOFSEM atmosphere. * CHAIRS Giuseppe F. Italiano (Program Committee Chair) Martin Rimnac (Organising Committee Chair) 6TH INDIAN CONFERENCE ON LOGIC AND ITS APPLICATIONS (ICLA 2015) Call for Papers January 8--10, 2015 IIT Bombay, India http://www.cse.iitb.ac.in/~icla15/index.html * HISTORY ALI, the Association for Logic in India, announces the sixth edition of its biennial International Conference on Logic and its Applications (ICLA), to be held at the Indian Institute of Technology, Bombay, from January 8 to 10, 2015. ICLA 2015 will be co-located with the 14th Asian Logic Conference to be held during January 5-8, 2015. * SCOPE ICLA is a forum for bringing together researchers from a wide variety of fields that formal logic plays a significant role in, along with mathematicians, philosophers and logicians studying foundations of formal logic in itself. A special feature of this conference is the inclusion of studies in systems of logic in the Indian tradition, and historical research on logic. Details of the last ICLA (2013) may be found at http://www.imsc.res.in/~icla/. The earlier events in this series featured many eminent logicians as invited speakers, and we are pleased to announce that this year's speakers will include: - Steve Awodey, Carnegie Mellon University - J. Michael Dunn, Indiana University Bloomington * SUBMISSION Authors are invited to submit papers presenting original and unpublished research in any area of logic and applications. Articles on mathematical and philosophical logic, foundations and philosophy of mathematics and the sciences, history of logic, Indian systems of logic, use of formal logic in areas of theoretical computer science and artificial intelligence, or on the relationship between logic and other branches of knowledge, are welcome. * IMPORTANT DATES Deadline for Submission: 5 August 2014 Notification to Authors: 30 September 2014 * IMPORTANT LINKS http://ali.cmi.ac.in http://www.cse.iitb.ac.in/~icla15/index.html * PROGRAM CHAIRS Mohua Banerjee (IIT Kanpur), co-chair Krishna S. (IIT Bombay), co-chair * CONTACT Any queries related to the conference may be sent to the following email address: email@example.com 8TH INTERNATIONAL IFIP CONFERENCE ON THEORETICAL COMPUTER SCIENCE 2014 (IFIP-TCS) Call for Participation September 1-3, 2014 Rome, Italy http://www.easyconferences.eu/tcs2014/index.php * GENERAL The conference Theoretical Computer Science, which is held every two years, either in conjunction with or in the framework of the IFIP World Computing Congress, is the meeting place of the TC1 (IFIP Technical Committee on Foundations of Computer Science) community where new results of computation theory are presented and more broadly experts in theoretical computer science meet to share insights and ask questions about the future directions of the field. 25TH CONFERENCE ON CONCURRENCY THEORY (CONCUR 2014) Call for Participation September 1-6, 2014 Rome, Italy http://concur2014.org * GENERAL The 25th Conference on Concurrency Theory will take place in Rome, from September 2nd to 5th, 2014. It will be co-located with the 9th International Symposium on Trustworthy Global Computing, September 5th and 6th, Theoritical Computer Science Conference September 1st-3rd, and with a few more workshops on September 1st and 6th. The purpose of the CONCUR conferences is to bring together researchers, developers and students in order to advance the theory of concurrency and promote its applications. Since its birth, in 1990, it has been the reference annual event for this research field. The event will be hosted by Sapienza Universita di Roma and co-organized by the University of Padova. It will be located in the heart of the Eternal City, a few steps from the Colosseum. * KEYNOTE SPEAKERS Javier Esparza (Munich), Jane Hillston (Edinburgh, joint with IFIP TCS) Catuscia Palamidessi (Paris, joint with TGC) Vasco Vasconcelos (Lisboa) * 25TH ANNIVERSARY SPEECH Tony Hoare * AFFILIATED WORKSHOPS EXPRESS/SOS Combined 21st International Workshop on Expressiveness in Concurrency and 11th Workshop on Structured Operational Semantics YR-CONCUR Young Researchers Workshop on Concurrency Theory BEAT 3rd International Workshop on Behavioural Types FOCLASA 13th International Workshop on Foundations of Coordination Languages and Self-Adaptation PV Workshop on Parameterized Verification TRENDS event organised by IFIP WG 1.8 32ND INTERNATIONAL SYMPOSIUM ON THEORETICAL ASPECTS OF COMPUTER SCIENCE (STACS 2015) Call for Papers March 4-7, 2015 Garching near Munich, Germany http://www14.in.tum.de/STACS2015 * SCOPE Authors are invited to submit papers presenting original and unpublished research on theoretical aspects of computer science. Typical areas include (but are not limited to): - algorithms and data structures, including: parallel, distributed, approximation, and randomized algorithms, computational geometry, cryptography, algorithmic learning theory, algorithmic game theory, analysis of algorithms; - automata and formal languages; - computational complexity, parameterized complexity, randomness in computation; - logic in computer science, including: semantics, specification and verification, rewriting and deduction; - current challenges, for example: natural computing, quantum computing, mobile and net computing. * PC CHAIRS Ernst W. Mayr (TUM, Munich) Nicolas Ollinger (LIFO, Orleans) * INVITED SPEAKERS Sanjeev Arora (CS, Princeton), Manuel Bodirsky (CNRS, LIX, Palaiseau), Peter Sanders (KIT, Karlsruhe) * TUTORIAL Felix Brandt (TUM, Munich), Computational Social Choice; tba: Algorithmic Game Theory * IMPORTANT DATES Submission website opens: Jun 22, 2014 Submission deadline: Sep 21, 2014 (23:59:59 GMT/UTC) Rebuttal period: Nov 15 - 17, 2014 Notification: Dec 5, 2014 Final version due: Jan 7, 2015 Symposium: Mar 4-7, 2015 * SUBMISSIONS Authors are invited to submit a draft of a full paper with at most 12 pages (excluding the references section). The usage of pdflatex and the LIPIcs style file (see below) are mandatory; no changes to font size, page geometry etc. are permitted. Submissions not in the correct format or submitted after the deadline will not be considered. Simultaneous submission to other conferences with published proceedings or to journals is not allowed. PC members are excluded from submitting. As a novelty for STACS, there will also be a rebuttal period for authors. Authors will receive the reviews of their submissions (via EasyChair) on Nov 14/15 and have three days (Nov 15 - 17) to submit rebuttals (via EasyChair). These rebuttals become part of the PC meeting, but entail no specific responses. The submission site, which opens on Jun 22, 2014, is https://www.easychair.org/conferences/?conf=stacs2015 EUROPEAN JOINT CONFERENCES ON THEORY AND PRACTICE OF SOFTWARE (ETAPS) Call for Papers April 11-19, 2015 London, UK http://www.etaps.org * IMPORTANT DATES Abstracts due: 10 October 2014 AoE Papers due: 17 October 2014 AoE Rebuttal (ESOP and FoSSaCS only): 3-5 December 2014 Author notification: 19 December 2014 Camera-ready versions: 16 January 2015 * SUBMISSIONS INSTRUCTIONS ETAPS conferences accept two types of contributions: research papers and tool demonstration papers. Both types will appear in the proceedings and have presentations during the conference. (TACAS has more categories, see below.) A condition of submission is that, if the submission is accepted, one of the authors attends the conference to give the presentation. Submitted papers must be in English presenting original research. They must be unpublished and not submitted for publication elsewhere. In particular, simultaneous submission of the same contribution to multiple ETAPS conferences is forbidden. The proceedings will be published in the Advanced Research in Computing and Software Science (ARCoSS) subline Springer's Lecture Notes in Computer Science series. Papers must follow the formatting guidelines specified by Springer at the URL http://www.springer.de/comp/lncs/authors.html and be submitted electronically in pdf through the Easychair (HotCRP) author interface of the respective conference. Submissions not adhering to the specified format and length may be rejected immediately. * RESEARCH PAPERS Different ETAPS 2015 conferences have different page limits. Specifically, FASE, FOSSACS and TACAS have a page limit of 15 pages, whereas CC, ESOP and POST allow at most 20 pages. Additional material intended for reviewers but not for publication in the final version - for example, details of proofs - may be placed in a clearly marked appendix that is not included in the page limit. ETAPS reviewers are at liberty to ignore appendices and papers must be understandable without them. TACAS solicits not only regular research papers, but also case study papers. * TOOL DEMONSTRATION PAPERS Submissions should consist of two parts. The first part, at most 4 pages, should describe the tool presented. Please include the URL of the tool (if available) and provide information that illustrates the maturity and robustness of the tool (this part will be included in the proceedings). The second part, at most 6 pages, should explain how the demonstration will be carried out and what it will show, including screen dumps and examples. (This part will be not be included in the proceedings, but will be evaluated.) ESOP and FOSSACS do not accept tool demonstration papers. In addition to tool demonstration papers (max 6 pages in their case), TACAS solicits also longer tool papers (max 15 pages) adhering to specific instructions about content and organization. SUMMER SCHOOL ON VERIFICATION TECHNOLOGY, SYSTEMS AND APPLICATIONS (VTSA 2014) Call for Applications October 26-31, 2014 University of Luxembourg, Luxembourg * AIMS The summer school on verification technology, systems & applications focuses on fundamental aspects of verification techniques, their implementation, and their use for concrete applications. It is organised by the Universities of Liege and of Luxembourg, the Max-Planck-Institut fuer Informatik in Saarbruecken, and the Inria Research Center in Nancy, and will take place at the Interdisciplinary Centre for Security, Reliability and Trust in University of Luxembourg, Luxembourg from October 26-31, 2014. This year it is a co-located event with ICFEM 2014, which will be held in Luxembourg from November 3-7, 2014. PhD students can apply scholarships in order to attend the conference ICFEM 2014 as well. More details will be available on the following website icfem2014.uni.lu. * SPEAKERS The following speakers have agreed to lecture at the school: - Nikolaj Bjorner: Software Verification by Solving Horn Clauses - Laura Kovacs: Symbolic Computation and Theorem Proving in Program Analysis - Joel Ouaknine: A Survey of Program Termination: Practical and Theoretical Challenges - Jaco van de Pol: Scalable Multi-core Model Checking: Technology & Applications of Brute Force - Helmut Veith: Model Checking of Fault-Tolerant Distributed Algorithms * PARTICIPATION Participation to the school is free to anybody holding at least a bachelor degree or equivalent; it includes the lectures, daily coffee and lunch breaks, and a school dinner. Attendance is limited to 40 participants. Please apply electronically by sending an email to Eugen Denerz (edenerz_AT_mpi-inf.mpg.de) including - a one-page CV, - an application letter explaining your interest in the school and your experience in the area, and - a copy of your bachelor (or equivalent or higher) certificate. The deadline for application is September 05, 2014. Notification of acceptance will be given by September 12, 2014. Full details can be found on the school Web page at http://www.mpi-inf.mpg.de/VTSA14/. TWO PHD POSITIONS IN INFORMATION SECURITY AT ETH ZURICH, SWITZERLAND http://www.infsec.ethz.ch/news/positions * The Information Security group headed by Prof. David Basin at ETH Zurich has two open PhD positions in two projects: (1) Formalizing computational soundness for protocol implementations (2) Testing access control systems * We are looking for enthusiastic outstanding researchers with a strong background and interest in one or more of the following areas: - formal methods or mathematical logic, - information security or cryptography, - (project 1) interactive theorem proving (project 2) software testing. Candidates with a strong theoretical background in related areas are also encouraged to apply. ETH Zurich regulations require PhD candidates to hold a Masters or equivalent degree (e.g. Diplom). The preferred starting date for both positions is as soon as possible, at the latest by the end of 2014. * Contact: Andreas Lochbihler and Mohammad Torabi Dashti firstname.lastname@example.org 11 PHD STUDENTSHIPS IN COMPUTER SCIENCE AT THE UNIVERSITY OF PISA http://dottorato.unipi.it/index.php/en/ * We would like to announce that by mid July it will appear the call for 11 grants at the PhD in Computer Science of the University of Pisa (deadline beginning September). The selection will be made on CV, reference letters and an interview, possibly via teleconferencing (check *carefully* the relevant fields required). * For further details please preferably contact Mr Enrico Carpentras
or otherwise the chairman of the PhD Programme Prof. Pierpaolo Degano NEW DOCTORAL PROGRAM ON LOGICAL METHODS IN COMPUTER SCIENCE (LogiCS) http://logic-cs.at/phd * Funded Doctoral Positions in Computer Science * TU Wien, TU Graz, and JKU Linz are seeking exceptionally talented and motivated students for their joint doctoral program LogiCS. The LogiCS doctoral college focuses on interdisciplinary research topics covering (i) computational logic, and applications of logic to (ii) databases and artificial intelligence as well as to (iii) computer-aided verification. * THE PROGRAM LogiCS is a doctoral college focusing on logic and its applications in computer science. Successful applicants will work with and be supervised by leading researchers in the fields of computational logic, databases and knowledge representation, and computer-aided verification. * FACULTY MEMBERS M. Baaz A. Biere R. Bloem A. Ciabattoni U. Egly T. Eiter C. Fermueller R. Grosu A. Leitsch M. Ortiz R. Pichler S. Szeider H. Tompits H. Veith G. Weissenbacher * POSITIONS AND FUNDING We are looking for 1-2 doctoral students per faculty member, where 30% of the positions are reserved for highly qualified female candidates. The doctoral positions are funded for a period of 3 years according to the funding scheme of the Austrian Science Fund (details: http://www.fwf.ac.at/de/projects/personalkostensaetze.html) The funding can be extended for one additional year contingent on a placement at one of our international partner institutions. * HOW TO APPLY Detailed information about the application process is available on the LogiCS web-page http://logic-cs.at/phd/ The applicants are expected to have completed an excellent diploma or master's degree in computer science, mathematics, or a related field. Candidates with comparable achievements will be considered on a case-by-case basis. Applications by the candidates need to be submitted electronically. * Next application Deadline: September 1, 2014. * HIGHEST QUALITY OF LIFE The Austrian cities Vienna, Graz, and Linz, located close to the Alps and surrounded by beautiful nature, provide an exceptionally high quality of life, with a vibrant cultural scene, numerous cultural events, world-famous historical sites, a large international community, a varied cuisine and famous coffee houses. * For further information please contact: email@example.com
Back to the LICS web page.