[TYPES/announce] Postdoc positions in Reykjavik
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Two one-year postdoc positions (one possibly extendible to 1.5 years) are available in the ICE-TCS lab of the Department of Computer Science of Reykjavik University (https://urldefense.com/v3/__https://www.ru.is/__;!!IBzWLUs!XENpKj-HoSEr2B1F4_TTqro-Kp53uBkumKtgRtyN08yFcZDbYxzNiuybew37R8s2AKdOSG0tJijLIALfN6EhReCOj51z$ ). One position is in the Icelandic Research Fund research project on computational effects and high-level control. In this project, we study in particular effectful concurrency and event-drivenness. These are the topics where we expect the postdoc to make research contributions. The other is in the University Collaboration Fund project to advance and promote computer-assisted proof in Iceland, in particular to introduce this technology to CS and math teaching at Reykjavik University and the University of Iceland. The postdoc has to prepare teaching material on verification of algorithms and datastructures in a type-theoretic proof assistant and teach from it, but there is also room for research in this domain. Start date: soonest, summer/autumn 2024. The gross salary is 663000 ISK (~4420 EUR) per month which amounts to ~3210 EUR after tax, with tax relief for foreign experts ~3675 EUR after tax. For closer information on the two projects as well as the research environment and the conditions of the contract, please get in touch with Tarmo Uustalu, firstname at ru . is. To apply, please send me a motivation letter explaining your background and interests together with your CV (including the names of two references) and copies of degree certificates latest by 31 March 2024.
[TYPES/announce] Part-time (0.3) senior researcher position in program logics in Tallinn
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] We have a part-time (0.3) senior researcher position open in the Logic and Semantics Group of the Tallinn University of Technology, on program logics. https://urldefense.com/v3/__https://candidate.recrur.com/public/jobad/en/e8217e2b-1__;!!IBzWLUs!RXyuQtxMwdahaiDmnd1QJPwl5Ry2WCvlfx4F9ZkiRh-izK-4n5-kF_dvp7NBdxuleqaZoefm1oBZtC0x36EYp76qCNHC$ Start date 1 Sept 2024. The deadline for applications is 28 March 2024. Apply via the page linked above. These are the webpages of the university and the group: https://urldefense.com/v3/__https://www.taltech.ee/__;!!IBzWLUs!RXyuQtxMwdahaiDmnd1QJPwl5Ry2WCvlfx4F9ZkiRh-izK-4n5-kF_dvp7NBdxuleqaZoefm1oBZtC0x36EYpxUgNbPe$ https://urldefense.com/v3/__https://cs.ioc.ee/lsg/__;!!IBzWLUs!RXyuQtxMwdahaiDmnd1QJPwl5Ry2WCvlfx4F9ZkiRh-izK-4n5-kF_dvp7NBdxuleqaZoefm1oBZtC0x36EYp791TJgq$ For closer information about the position and the research environment (the group), please approach Tarmo Uustalu.
[TYPES/announce] Postdoc position, Logic and Semantics Group in Tallinn
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] The Logic and Semantics Group at the Tallinn University of Technology is seeking an aspiring talented and hard-working young scientist to fill a departmentally funded postdoc position. The group, currently consisting of 7 faculty and 4 PhD students, specializes in functional programming, type theory, mathematical semantics of programming languages, proof theory, constructive mathematics, proof assistants, formalization of mathematics and programming theory. Consult our webpage to get a picture of our work. https://urldefense.com/v3/__https://cs.ioc.ee/lsg/__;!!IBzWLUs!WvwWcJ7pmSBbYocQxBbSvQBpUPrxujXbY28Vi3aRN_v5evMvqbk9dnOECnljtQQrPGhftW9J66utiw4BP9t5ppj_ga6e$ The group belongs to the High-Assurance Software Lab of the Department of Software Science at the School of IT. https://urldefense.com/v3/__https://cs.taltech.ee/__;!!IBzWLUs!WvwWcJ7pmSBbYocQxBbSvQBpUPrxujXbY28Vi3aRN_v5evMvqbk9dnOECnljtQQrPGhftW9J66utiw4BP9t5pl8fJYct$ The position is for 2 years; the start date is negotiable, preferrably between 1 Nov 2023 and 1 Feb 2024. The monthly gross salary will be 2500-3200 EUR depending on the previous experience of the successful candidate. The deal includes coverage by the national health insurance system, a paid annual leave etc. A salary rate like this ensures a high standard of living in Estonia. Send your statement of purpose (cover letter), CV and research statement to Tarmo Uustalu, ta...@cs.ioc.ee, and Niccolò Veltri, nicc...@cs.ioc.ee, as soon as possible, but latest by 10 September 2023. We will assess applications as they arrive. With questions about the research topics of the group, the research environment, the conditions of the contract or living in Estonia, do not hesitate to ask.
[TYPES/announce] Full professor of programming languages, U of Tartu
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] A full professor position of programming languages is open at University of Tartu, Estonia, application deadline 2 Feb 2023. See https://urldefense.com/v3/__https://ut.ee/en/job-offer/professor-programming-languages__;!!IBzWLUs!X83ZB-WUurmSm3gx0eAk-X-J7dcPdbuFLhcIfY2psp4PwjHg3UE5YPWKLATXlcY8Atx5DQeYraJ6-AEJltTkTYzqP-lX$ Tartu is a pleasant student town easily reached from Tallinn, the capital; it is one of Europe's capitals of culture 2024. The university is one of the oldest in Northern Europe (est 1632), #201-250 in the THE rankings 2023. The computer science department is strong and has excellent premises and infrastructure.
[TYPES/announce] ETAPS 2022 final call for papers
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Paper submission deadline: 14 Oct 2021 23:59 AoE ** JOINT CALL FOR PAPERS 25th European Joint Conferences on Theory and Practice of Software ETAPS 2022 Munich, Germany, 2-7 April 2022 https://urldefense.com/v3/__https://etaps.org/2022__;!!IBzWLUs!A7WB2HlDaq4PpiGm1OO6yjaPoj1H5GQk4lCuIJSNAON6PblXwWlqvancTSuITsTkb2SbkTMduRrcTw$ ** -- ABOUT ETAPS -- ETAPS is the primary European forum for academic and industrial researchers working on topics relating to software science. ETAPS, established in 1998, is a confederation of four annual conferences, accompanied by satellite workshops. ETAPS 2022 is the twenty-fifth event in the series. -- MAIN CONFERENCES (4-7 April) -- * ESOP: European Symposium on Programming (PC chair: Ilya Sergey, Yale-NUS College and National University of Singapore, Singapore) * FASE: Fundamental Approaches to Software Engineering (PC chairs:Einar Broch Johnsen, University of Oslo, Norway, and Manuel Wimmer, Johannes Kepler Universität Linz, Austria) * FoSSaCS: Foundations of Software Science and Computation Structures (PC chairs: Patricia Bouyer, CNRS, LMF, France, and Lutz Schröder, FAU Erlangen-Nürnberg, Germany) * TACAS: Tools and Algorithms for the Construction and Analysis of Systems (PC chairs: Dana Fisman, Ben-Gurion University of the Negev, Israel, and Grigore Rosu, University of Illinois at Urbana-Champaign, USA) TACAS '22 will host the 11th Competition on Software Verification (SV-COMP). -- INVITED SPEAKERS -- * Unifying speakers: Alexandra Silva (University College London, UK / Cornell University, USA) Tomáš Vojnar (Brno University of Technology, Czechia) * FoSSaCS invited speaker: Nathalie Bertrand (Inria Rennes, France) * TACAS invited speaker: Lenore Zuck (University of Illinois at Chicago, USA) * Tutorial speakers: Stacey Jeffery (CWI and QuSoft, The Netherlands) a further tutorial speaker tba -- IMPORTANT DATES * Paper submission (also, pre-paper-acceptance artifact registration (TACAS)): 14 October 2021 23:59 AoE * Pre-paper-acceptance artifact submission (TACAS): 4 November 2021 23:59 AoE * Rebuttal (ESOP, FoSSaCS and, partially, TACAS): 7 December 00:01 AoE - 9 December 2021 23:59 AoE * Paper notification: 23 December 2021 * Post-paper-acceptance artifact submission (ESOP, FASE, TACAS): 5 January 2022 23:59 AoE * Paper final versions: 26 January 2022 * Artifact notification: 16 February 2022 -- SUBMISSION INSTRUCTIONS -- The four main conferences of ETAPS 2022 solicit contributions of the following types. All page limits are given **excluding the bibliography**. * ESOP: regular research papers of max 25 pp * FASE: regular research papers and empirical evaluation papers of max 18 pp, new ideas and emerging results (NIER) papers of max 8 pp, tool demonstration papers of max 6 pp (+ mandatory appendix of max 6 pp), * FoSSaCS: regular research papers of max 18 pp * TACAS: regular research papers, case study papers and regular tool papers of max 16 pp, tool demonstration papers of max 6 pp For definitions of the different paper types and specific instructions, where they are present, see the webpages of the individual conferences. All accepted papers will appear in the proceedings and have presentations during the conference. A condition of submission is that, if the submission is accepted, one of the authors attends the conference to give the presentation. We plan ETAPS 2022 as a hybrid conference; remote attendance and presentation will be possible. 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 also forbidden. Submissions must follow the formatting guidelines of Springer's LNCS (use the llncs.cls class) and be submitted electronically in pdf through the Easychair author interface of the respective conference. Submissions not adhering to the specified format and length may be rejected immediately. ESOP and FASE will use **double-blind reviewing**. Authors are asked to omit their names and institutions; refer to prior work in the third person, just as prior work by others; not to include acknowledgements that might identify them. ESOP and FoSSaCS will use an **author rebuttal phase**. TACAS will use rebuttal for selected submissions (those in the gray zone). Artifact submission and evaluation Regular tool paper
[TYPES/announce] NWPT 2021 call for contributions - deadline 10 October
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] NWPT is a series of annual regional-scope workshops on programming theory, targeted especially at younger researchers. In 2020, the workshop had been scheduled to take place in Reykjavik, Iceland, but had to be cancelled (postponed) because of the pandemic. As the epidemiological situation in Iceland is currently relatively good, NWPT 2021 is now going ahead at short notice as a hybrid meeting, the circumstances permitting. We hope this will be a nice opportunity especially for our PhD students and postdocs to attend a real physical workshop and present their work and to meet their colleagues from elsewhere in the Nordic countries - after a break of 1.5 years. --- 32nd Nordic Workshop on Programming Theory, NWPT '21 Reykjavik, Iceland and online, 4-6 November 2021 -- Important dates Submission of abstracts 10 October Notification 17 October -- About NWPT The NWPT series of annual workshops is a forum bringing together programming theorists from the Nordic and Baltic countries, but also from elsewhere. Topics of interest include (but are not limited to) - semantics of programming languages, - programming language design and programming methodology, - programming logics, - formal specification of programs, - program verification, - program construction, - tools for program verification and construction, - program transformation and refinement, - real-time and hybrid systems, - models of concurrency and distributed computing, - model-based testing, - language-based security. Contributed talks Authors wishing to give a talk at the workshop are requested to submit abstracts of 2-3 pages (pdf, printable on A4 paper, typeset with LaTeX with easychair.cls) through EasyChair (https://urldefense.com/v3/__https://easychair.org/conferences/?conf=nwpt2021__;!!IBzWLUs!CCsFzUAOG9muZEhPCn_-T4nulo_qdlW9weyvoJvmwyDp8qmCG4AsEUPCFde4FV42xQY18mluJ2YMyg$ ) by 10 October. Work in progress as well as abstracts of manuscripts submitted for formal publication elsewhere are permitted. The abstracts of the accepted contributions will be available electronically before the workshop. By submitting to EasyChair you agree that your abstract will be publicly available. Moreover, you as an author are responsible for the content. Social program We are planning a trip/hike to the currently active Geldingadalir volcano. https://urldefense.com/v3/__https://www.visitreykjanes.is/en/volcano-eruption/eruption-information__;!!IBzWLUs!CCsFzUAOG9muZEhPCn_-T4nulo_qdlW9weyvoJvmwyDp8qmCG4AsEUPCFde4FV42xQY18mkRWSMabA$ Organizers Antonis Achilleos, Elli Anastasiadi, Dylan McDermott, Tarmo Uustalu Travel to Iceland This may change, but at the moment anyone fully vaccinated or recovered from Covid can enter the country without any restriction of movement after arrival, but needs to present a negative result from a PCR or rapid antigen test taken before departure (not older than 72 hours). https://urldefense.com/v3/__https://www.covid.is/english__;!!IBzWLUs!CCsFzUAOG9muZEhPCn_-T4nulo_qdlW9weyvoJvmwyDp8qmCG4AsEUPCFde4FV42xQY18mm2IgTWfw$ https://urldefense.com/v3/__https://island.is/en/p/entry__;!!IBzWLUs!CCsFzUAOG9muZEhPCn_-T4nulo_qdlW9weyvoJvmwyDp8qmCG4AsEUPCFde4FV42xQY18mmicbZmsQ$ Further information More details will appear at this url: https://urldefense.com/v3/__http://icetcs.ru.is/nwpt21/__;!!IBzWLUs!CCsFzUAOG9muZEhPCn_-T4nulo_qdlW9weyvoJvmwyDp8qmCG4AsEUPCFde4FV42xQY18mms-Fz2Cg$
[TYPES/announce] ETAPS 2022 2nd joint call for papers
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Why choose ETAPS? - ETAPS is one of the world's leading fora for research on software science, with a history of more than 25 years. - The proceedings of ETAPS appear in gold open access, with no article processing charge for the authors specifically. - ETAPS has low participation fees for all and for students in particular. New in 2022: - Like FASE for several years already, ESOP will also use double-blind review this time. - FASE has a new paper category of new ideas and emerging results (NIER) papers. - The pre-paper-acceptance artifact submission deadline for TACAS is now a little later than the paper submission deadline. - ESOP and FASE welcome voluntary submission of artifacts for evaluation after paper acceptance; the outcome will not change the paper acceptance decision. - Among the satellite events, there is a PhD student mentoring workshop. ** JOINT CALL FOR PAPERS 25th European Joint Conferences on Theory and Practice of Software ETAPS 2022 Munich, Germany, 2-7 April 2022 https://urldefense.com/v3/__https://etaps.org/2022__;!!IBzWLUs!GmsL5mqqmDOPfpJPfPmJVN2zUxasq5MzDlbgmJGqD9umfN3lWmyTk_c-eK3_p7WST7lCwpkdyy4v0Q$ ** -- ABOUT ETAPS -- ETAPS is the primary European forum for academic and industrial researchers working on topics relating to software science. ETAPS, established in 1998, is a confederation of four annual conferences, accompanied by satellite workshops. ETAPS 2022 is the twenty-fifth event in the series. -- MAIN CONFERENCES (4-7 April) -- * ESOP: European Symposium on Programming (PC chair: Ilya Sergey, Yale-NUS College and National University of Singapore, Singapore) * FASE: Fundamental Approaches to Software Engineering (PC chairs:Einar Broch Johnsen, University of Oslo, Norway, and Manuel Wimmer, Johannes Kepler Universität Linz, Austria) * FoSSaCS: Foundations of Software Science and Computation Structures (PC chairs: Patricia Bouyer, CNRS, LMF, France, and Lutz Schröder, FAU Erlangen-Nürnberg, Germany) * TACAS: Tools and Algorithms for the Construction and Analysis of Systems (PC chairs: Dana Fisman, Ben-Gurion University of the Negev, Israel, and Grigore Rosu, University of Illinois at Urbana-Champaign, USA) TACAS '22 will host the 11th Competition on Software Verification (SV-COMP). -- INVITED SPEAKERS -- * Unifying speakers: Alexandra Silva (University College London, UK / Cornell University, USA) Tomáš Vojnar (Brno University of Technology, Czechia) * FoSSaCS invited speaker: Nathalie Bertrand (Inria Rennes, France) * TACAS invited speaker: Lenore Zuck (University of Illinois at Chicago, USA) * Tutorial speakers: Stacey Jeffery (CWI and QuSoft, The Netherlands) a further tutorial speaker tba -- IMPORTANT DATES * Paper submission (also, pre-paper-acceptance artifact registration (TACAS)): 14 October 2021 23:59 AoE * Pre-paper-acceptance artifact submission (TACAS): 4 November 2021 23:59 AoE * Rebuttal (ESOP, FoSSaCS and, partially, TACAS): 7 December 00:01 AoE - 9 December 2021 23:59 AoE * Paper notification: 23 December 2021 * Post-paper-acceptance artifact submission (ESOP, FASE, TACAS): 5 January 2022 23:59 AoE * Paper final versions: 26 January 2022 * Artifact notification: 16 February 2022 -- SUBMISSION INSTRUCTIONS -- The four main conferences of ETAPS 2022 solicit contributions of the following types. All page limits are given **excluding the bibliography**. * ESOP: regular research papers of max 25 pp * FASE: regular research papers and empirical evaluation papers of max 18 pp, new ideas and emerging results (NIER) papers of max 8 pp, tool demonstration papers of max 6 pp (+ mandatory appendix of max 6 pp), * FoSSaCS: regular research papers of max 18 pp * TACAS: regular research papers, case study papers and regular tool papers of max 16 pp, tool demonstration papers of max 6 pp For definitions of the different paper types and specific instructions, where they are present, see the webpages of the individual conferences. All accepted papers will appear in the proceedings and have presentations during the conference. A condition of submission is that, if the submission is accepted, one of the authors attends the conference to give the presentation. We plan ETAPS 2022 as a hybrid conference; remote attendance and presentation will be possible. Submitted papers must be in English presenting original research. They must be unpublished and not submitted for publication
[TYPES/announce] ETAPS 2022 1st joint call for papers
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Why choose ETAPS? - ETAPS is one of the world's leading fora for research on software science, with a history of more than 25 years. - ESOP, FoSSaCS, TACAS are CORE 2021 rank A conferences. - The proceedings of ETAPS appear in gold open access, with no article processing charge for the authors specifically. - ETAPS has low participation fees for all and for students in particular. New in 2022: - Like FASE for several years already, ESOP will also use double-blind review this time. - FASE has a new paper category of new ideas and emerging results (NIER) papers. - The pre-paper-acceptance artifact submission deadline for TACAS is now a little later than the paper submission deadline. - ESOP and FASE welcome voluntary submission of artifacts for evaluation after paper acceptance; the outcome will not change the paper acceptance decision. - Among the satellite events, there is a PhD student mentoring workshop. ** JOINT CALL FOR PAPERS 25th European Joint Conferences on Theory and Practice of Software ETAPS 2022 Munich, Germany, 2-7 April 2022 https://etaps.org/2022 ** -- ABOUT ETAPS -- ETAPS is the primary European forum for academic and industrial researchers working on topics relating to software science. ETAPS, established in 1998, is a confederation of four annual conferences, accompanied by satellite workshops. ETAPS 2022 is the twenty-fifth event in the series. -- MAIN CONFERENCES (4-7 April) -- * ESOP: European Symposium on Programming (PC chair: Ilya Sergey, Yale-NUS College and National University of Singapore, Singapore) * FASE: Fundamental Approaches to Software Engineering (PC chairs:Einar Broch Johnsen, University of Oslo, Norway, and Manuel Wimmer, Johannes Kepler Universität Linz, Austria) * FoSSaCS: Foundations of Software Science and Computation Structures (PC chairs: Patricia Bouyer, CNRS, LMF, France, and Lutz Schröder, FAU Erlangen-Nürnberg, Germany) * TACAS: Tools and Algorithms for the Construction and Analysis of Systems (PC chairs: Dana Fisman, Ben-Gurion University of the Negev, Israel, and Grigore Rosu, University of Illinois at Urbana-Champaign, USA) TACAS '22 will host the 11th Competition on Software Verification (SV-COMP). -- INVITED SPEAKERS -- * Unifying speakers: Alexandra Silva (University College London, UK / Cornell University, USA) Tomáš Vojnar (Brno University of Technology, Czechia) * FoSSaCS invited speaker: Nathalie Bertrand (Inria Rennes, France) * TACAS invited speaker: TBA * Tutorial speakers: TBA -- IMPORTANT DATES * Paper submission: 14 October 2021 23:59 AoE * Pre-paper-acceptance artifact submission (TACAS): 4 November 2021 23:59 AoE * Rebuttal (ESOP, FoSSaCS and, partially, TACAS): 7 December 00:01 AoE - 9 December 2021 23:59 AoE * Paper notification: 23 December 2021 * Post-paper-acceptance artifact submission (ESOP, FASE, TACAS): 5 January 2022 23:59 AoE * Paper final versions: 26 January 2022 * Artifact notification: 16 February 2022 -- SUBMISSION INSTRUCTIONS -- The four main conferences of ETAPS 2022 solicit contributions of the following types. All page limits are given **excluding the bibliography**. * ESOP: regular research papers of max 25 pp * FASE: regular research papers and empirical evaluation papers of max 18 pp, new ideas and emerging results (NIER) papers of max 8 pp, tool demonstration papers of max 6 pp (+ mandatory appendix of max 6 pp), * FoSSaCS: regular research papers of max 18 pp * TACAS: regular research papers, case study papers and regular tool papers of max 16 pp, tool demonstration papers of max 6 pp For definitions of the different paper types and specific instructions, where they are present, see the webpages of the individual conferences. All accepted papers will appear in the proceedings and have presentations during the conference. A condition of submission is that, if the submission is accepted, one of the authors attends the conference to give the presentation. We plan ETAPS 2022 as a hybrid conference; remote attendance and presentation will be possible. 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 also forbidden. Submissions must follow the formatting guidelines of Springer's LNCS (use the llncs.cls class) and be submitted electronically in pdf through the
[TYPES/announce] ETAPS 2021 1st joint call for papers
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] ** JOINT CALL FOR PAPERS 24th European Joint Conferences on Theory and Practice of Software ETAPS 2021 Luxembourg, Luxembourg, 27 March-1 April 2021 http://www.etaps.org/2021 ** -- ABOUT ETAPS -- ETAPS is the primary European forum for academic and industrial researchers working on topics relating to software science. ETAPS, established in 1998, is a confederation of four annual conferences, accompanied by satellite workshops. ETAPS 2021 is the twenty-fourth event in the series. -- MAIN CONFERENCES (29 March-1 April) -- * ESOP: European Symposium on Programming (PC chair: Nobuko Yoshida, Imperial College London, UK) * FASE: Fundamental Approaches to Software Engineering (PC chairs: Esther Guerra, Univ. Autónoma de Madrid, Spain, and Mariëlle Stoelinga, Univ. Twente, The Netherlands) * FoSSaCS: Foundations of Software Science and Computation Structures (PC chairs: Stefan Kiefer, Univ. of Oxford, UK, and Christine Tasson, IRIF, Univ. Paris Diderot, France) * TACAS: Tools and Algorithms for the Construction and Analysis of Systems (PC chairs: Jan Friso Groote, Techn. Univ. Eindhoven, The Netherlands, and Kim G. Larsen, Aalborg Univ., Denmark) TACAS '21 will host the 10th Competition on Software Verification (SV-COMP). -- IMPORTANT DATES * Papers due: 15 October 2020 23:59 AoE (=GMT-12) * Rebuttal (ESOP, FoSSaCS and, for selected papers, TACAS): 7 December 00:01 AoE - 9 December 23:59 AoE * Notification: 23 December 2020 * Camera-ready versions due: 22 January 2021 -- SUBMISSION INSTRUCTIONS -- The four main conferences of ETAPS 2021 solicit contributions of the following types. All page limits are given **excluding bibliography**. * ESOP: regular research papers of max 25 pp * FASE: regular research papers and empirical evaluation papers of max 18 pp, tool demonstration papers of max 6 pp + mandatory appendix of max 6 pp, * FoSSaCS: regular research papers of max 18 pp * TACAS: regular research papers, case study papers and regular tool papers of max 16 pp, tool demonstration papers of max 6 pp For definitions of the different paper types and specific instructions, where they are present, see the webpages of the individual conferences. All accepted papers will appear in the conference proceedings and have presentations during the conference. 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. Submissions must follow the formatting guidelines of Springer's LNCS and be submitted electronically in pdf through the Easychair author interface of the respective conference. Submissions not adhering to the specified format and length may be rejected immediately. FASE will use double-blind reviewing. Authors are asked to omit their names and institutions; refer to own prior work in the third person; not to include acknowledgements that might identify them. Regular tool paper and tool demonstration paper submissions to TACAS must be accompanied by an artifact. The artifact will be evaluated and the outcome will be taken into account in the acceptance decision of the paper. ESOP and FoSSaCS will use an author rebuttal phase. TACAS will have rebuttal for selected papers. -- PUBLICATION The proceedings will be published in the Advanced Research in Computing and Software Science (ARCoSS) subline of Springer's LNCS series. The proceedings volumes will appear in gold open access, so the published versions of all papers will be available for everyone to download from the publisher's website freely, from the date of online publication, perpetually. The copyright of the papers will remain with the authors. -- SATELLITE EVENTS (27-28 March) -- A number of satellite workshops will take place before the main conferences. -- CITY AND HOST INSTITUTION -- Luxembourg is the capital of the small European nation of the same name. Built amid deep gorges cut by the Alzette and Pétrusse rivers, it is famed for its ruins of medieval fortifications. The vast Bock Casemates tunnel network encompasses a dungeon, prison and the Archaeological Crypt, considered the city's birthplace. Along ramparts above, the Chemin de la Corniche promenade offers dramatic viewpoints. ETAPS 2021 is organised by the Interdisciplinary Centre for Security, Reliability
[TYPES/announce] ETAPS 2020 afternoon, online, 2 July 2020, call for participation
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] [There will be no physical ETAPS in Dublin this autumn. Instead, on 2 July 2020, we will hold an online ETAPS 2020 afternoon. The authors of papers accepted to the main conferences of ETAPS 2020 will get an opportunity to present their work at ETAPS 2021 in Luxembourg.] The ETAPS EC and ETAPS 2020 LOC regret to announce that the plan of a postponed physical ETAPS in Dublin in autumn 2020 has become unrealistic. We will follow the following substitute plan. - We will hold a 3-hour virtual online ETAPS 2020 event in the afternoon of Thu 2 July 2020, see the call below. Everyone is most welcome to attend. There will be no registration, no fee. - The authors of papers accepted to the main conferences of ETAPS 2020 will get an opportunity to present their work at ETAPS 2021 in Luxembourg, Sat-Thu 27 March-1 April 2021. The exact arrangements for this move will be announced. - The workshop organizers will individually decide and announce whether, when and in what format their workshops will take place. - The local organizers of ETAPS 2020 will reimburse the fees collected (minus some administrative charge) according to a policy and a procedure to be announced. Thank you for your understanding! CALL FOR PARTICIPATION ETAPS 2020 afternoon online, 2 July 2020 https://etaps.org/2020/afternoon ETAPS 2020 AFTERNOON To compensate for the cancelled physical ETAPS 2020 conference in Dublin, we will hold a 3-hour virtual event to hand out the awards of the conference and listen to talks by the best paper award winners. This will take place Thu 2 July 2020. The presentations will be streamed live. Questions to presenters can be asked in a chat. The event will be recorded and can be watched later. HOW TO JOIN There will be no registration, no fee. The link to join the programme online will be published on the webpage https://etaps.org/2020/afternoon on the day of the event. PROGRAMME All times below are CEST. Start: 15:00 CEST (= GMT+2, Amsterdam). - 15:00 Welcome by Marieke Huisman Announcement on ETAPS 2021 in Luxembourg and on the plan for ETAPS 2020 papers by Peter Ryan 15:15 Talk by EASST best paper award winner Florian Frohn. A calculus for modular loop acceleration (TACAS) Award handed out by Reiko Heckel 15:45 Announcement of ETAPS test of time award winner Award handed out by Don Sannella 16:00 Break 16:30 Talk by EAPLS best paper award winner Raffi Khatchadourian, Yiming Tang, Mehdi Bagherzadeh and Baishakhi Ray. An empirical study on the use and misuse of Java 8 streams (FASE) Award handed out by Anton Wijs 17:00 Talk by ETAPS PhD award winner Oded Padon. Deductive verification of distributed protocols in first-order logic (Tel Aviv University, 2018) Award handed out by Caterina Urban 17:30 Talk by EATCS best paper award winner Thomas Neele, Antti Valmari and Tim A.C. Willemse. The inconsistent labelling problem of stutter-preserving partial-order reduction (FoSSaCS) Award handed out by Don Sannella 18:00 Closing -
[TYPES/announce] 25th Estonian Winter School in CS, call for applications
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] [This is the 25th event in a long-running series of schools on (theoretical) computer science and we have another excellent line-up of lecturers. Please send students. We may be able to waive the fee for some students.] [Lecturers: Marco Gaboardi, Joost-Pieter Katoen, Andrew M Pitts, Jiri Sgall, Patric Östergård. Application is open, apply by **17 Jan 2020**, better sooner.] CALL for APPLICATIONS 25th Estonian Winter School in Computer Science, EWSCS '20 Palmse, Estonia, 1-6 March 2020 http://cs.ioc.ee/ewscs/2020/ BACKGROUND AND OBJECTIVES EWSCS is a series of regional-scope international winter schools held annually in Estonia. EWSCS are organized by Tallinn University of Technology. The main objective of EWSCS is to expose Estonian, Baltic, and Nordic graduate students in computer science (but also interested students from elsewhere) to frontline theoretical computer science research topics usually not covered within the regular curricula. The working language of the schools is English. EWSCS' 20 is the twenty-fifth event of the series. PROGRAMME The schools' scientific programme consists of short courses by renowned specialists and a student session. The courses of EWSCS '20 are: Marco Gaboardi (Boston University, USA): Differential privacy and applications Joost-Pieter Katoen (RWTH Aachen, Germany, and Universiteit Twente, The Netherlands): Foundations of probabilistic programming Andrew M. Pitts (University of Cambridge, UK): Introduction to nominal sets Jiri Sgall (Charles University, Prague, Czech Republic): Online algorithms Patric Östergård (Aalto University, Finland): Classification of mathematical structures The purpose of the student session is to give students an opportunity to present their work (typically, thesis work) and get feedback. Registrants are invited to propose short talks (20 min) on topics of theoretical computer science, broadly understood. The selection will be based on abstracts of 150-400 words. The social programme consists of an excursion and a conference dinner. VENUE Palmse is a small settlement 80 kms to the east from Tallinn in the county of Lääne-Viru. It is renowned for a large manor that used to belong to the von Pahlen family, today hosting the visitors' center of the Lahemaa National Park, a museum, and a hotel. The school will organize a bus from Tallinn to Palmse and back. APPLICATION AND COST Application to the school is open, the deadline for application 17 January 2020. All applicants will be notified of admission to the school and acceptance of their talks by 24 January 2020. The number of participants we can admit is limited by the capacity of the premises. Admitted participants will be expected to attend all of the school's program and will be provided access to materials of the courses. Participation includes 5 nights accommodation in twin rooms with full board. Attendance is without fee for PhD and master students (and, possibly, keen talented bachelor students) from TalTech and Univ of Tartu, as well as supervisors and consultants of PhD students. Particants from other institutions in Estonia and abroad will generally need to pay for their costs (above all accommodation and meals), approx 300 EUR. PROGRAMME COMMITTEE / ORGANIZING COMMITTEE Peeter Laud (Cybernetica AS) Monika Perkmann (Tallinn Univ of Technology) (secretary) Pille Pullonen (Cybernetica AS / University of Tartu) Ago-Erik Riet (University of Tartu) Tarmo Uustalu (Reykjavik University / Tallinn Univ of Technology) SPONSORS ERDF via TalTech Institutional Development Programme (Doctoral School in ICT) WEBPAGE http://cs.ioc.ee/ewscs/2020/ EMAIL CONTACT ewscs20(at)cs.ioc.ee
[TYPES/announce] ETAPS 2020 final joint call for papers
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] ** JOINT CALL FOR PAPERS 23rd European Joint Conferences on Theory and Practice of Software ETAPS 2020 Dublin, Ireland, 25-30 April 2020 http://www.etaps.org/2020 ** -- ABOUT ETAPS -- ETAPS is the primary European forum for academic and industrial researchers working on topics relating to software science. ETAPS, established in 1998, is a confederation of four annual conferences, accompanied by satellite workshops. ETAPS 2020 is the twenty-third event in the series. -- MAIN CONFERENCES (27-30 April) -- * ESOP: European Symposium on Programming (PC chair: Peter Müller, ETH Zürich, Switzerland) * FASE: Fundamental Approaches to Software Engineering (PC chairs: Heike Wehrheim, Universität Paderborn, Germany, and Jordi Cabot, Universitat Oberta de Catalunya, Spain) * FoSSaCS: Foundations of Software Science and Computation Structures (PC chairs: Barbara König, Univ Duisburg-Essen, Germany, and Jean Goubault-Larrecq, LSV, ENS Paris-Saclay, France) * TACAS: Tools and Algorithms for the Construction and Analysis of Systems (PC chairs: Armin Biere, Johannes-Kepler-Univ Linz, Austria, and David Parker, University of Birmingham, United Kingdom) TACAS '20 will host the 9th Competition on Software Verification (SV-COMP). POST, which was an ETAPS conference 2012-2019, has been discontinued. -- INVITED SPEAKERS -- * Unifying speakers: Lars Birkedal (Aarhus Universitet, Denmark) Jane Hillston (University of Edinburgh, United Kingdom) * ESOP invited speaker: Isil Dillig (University of Texas at Austin, USA) * FASE invited speaker: Willem Visser (Stellenbosch University, South Africa) -- IMPORTANT DATES * Papers due: 24 October 2019 23:59 AoE (=GMT-12) * Rebuttal (ESOP, FoSSaCS and, for selected papers, TACAS): 9 December 00:01 AoE - 10 December 23:59 AoE * Notification: 23 December 2019 * Camera-ready versions due: 22 February 2020 -- SUBMISSION INSTRUCTIONS -- The four main conferences of ETAPS 2020 solicit contributions of the following types. All page limits are given **excluding bibliography**. * ESOP: regular research papers of max 25 pp * FASE: regular research papers and empirical evaluation papers of max 18 pp, tool demonstration papers of max 6 pp + mandatory appendix of max 6 pp, * FoSSaCS: regular research papers of max 18 pp * TACAS: regular research papers, case study papers and regular tool papers of max 16 pp, tool demonstration papers of max 6 pp For definitions of the different paper types and specific instructions, where they are present, see the webpages of the individual conferences. All accepted papers will appear in the conference proceedings and have presentations during the conference. 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. Submissions must follow the formatting guidelines of Springer's LNCS and be submitted electronically in pdf through the Easychair author interface of the respective conference. Submissions not adhering to the specified format and length may be rejected immediately. FASE will use double-blind reviewing. Authors are asked to omit their names and institutions; refer to own prior work in the third person; not to include acknowledgements that might identify them. Regular tool paper and tool demonstration paper submissions to TACAS must be accompanied by an artifact. The artifact will be evaluated and the outcome will be taken into account in the acceptance decision of the paper. ESOP and FoSSaCS will use an author rebuttal phase. TACAS will have rebuttal for selected papers. -- PUBLICATION The proceedings will be published in the Advanced Research in Computing and Software Science (ARCoSS) subline of Springer's LNCS series. The proceedings volumes will appear in gold open access, so the published versions of all papers will be available for everyone to download from the publisher's website freely, from the date of online publication, perpetually. The copyright of the papers will remain with the authors. -- SATELLITE EVENTS (25-26 April) -- A number of satellite workshops will take place before the main conferences. * 25-26 April (two days): CMCS, GALOP, SynCoP, VerifyThis, VPT, WADT, WRLA * 25 April: CREST, InterAVT, MSFP,
[TYPES/announce] NWPT 2019 submission deadline extended
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Extended submission deadline: 26 September 2019 CALL FOR CONTRIBUTIONS 31st Nordic Workshop on Programming Theory, NWPT 2019 Tallinn, Estonia, 13-15 November 2019 http://cs.ttu.ee/events/nwpt2019 Important Dates Submission of abstracts 26 September 2019 Notification7 October 2019 Final versions 15 October 2019 Registration15 October 2019 Background The NWPT series of annual workshops is a forum bringing together programming theorists from the Nordic and Baltic countries, but also from elsewhere. List of Topics Semantics of programming languages Programming language design and programming methodology Programming logics Formal specification of programs Program verification Program construction Tools for program verification and construction Program transformation and refinement Real-time and hybrid systems Models of concurrency and distributed computing Model-based testing Language-based security Invited Speakers Mohamed Bettaz, Philadelphia University, Amman, Jordan Ando Saabas, Bolt, Estonia Pawel Sobocinski, Tallinn University of Technology, Estonia Submission Guidelines Authors wishing to give a talk at the workshop are requested to submit abstracts of 2-3 pages (pdf, printable on A4 paper, using easychair.cls) through EasyChair (https://easychair.org/conferences/?conf=nwpt2019) by 26 September 2019. Work in progress as well as abstracts of manuscripts submitted for formal publication elsewhere are permitted. The abstracts of the accepted contributions will be available electronically before the workshop. By submitting to EasyChair you agree that your abstract will be publicly available. Moreover, you as an author are responsible for the content. Post-workshop Publication We have arranged a special issue of the Journal of Logical and Algebraic Methods in Programming (JLAMP) devoted to the best contributions to the workshop. The contributions will be selected by the PC. They will be invited after the workshop and will undergo a rigorous, journal-strength review process according to the standards of JLAMP. Program Committee Antonis Achilleos, Reykjavík University, Iceland Johannes Borgström, Uppsala University, Sweden Martin Elsman, University of Copenhagen, Denmark Daniel Fava, University of Oslo, Norway John Gallagher, RUC, Denmark Michael R. Hansen, DTU, Denmark Magne Haveraaen, University of Bergen, Norway Keijo Heljanko, University of Helsinki, Finland Thomas T. Hildebrandt, ITU Copenhagen, Denmark Einar Broch Johnsen, University of Oslo, Norway Jaakko Järvi, University of Bergen, Norway Yngve Lamo, Western Norway Univ. of Applied Sciences, Norway Kim G. Larsen, Aalborg University, Denmark Alberto Lluch Lafuente, DTU, Denmark Fabrizio Montesi, University of Southern Denmark, Denmark Wojciech Mostowski, Halmstad University, Sweden Olaf Owe, University of Oslo, Norway Philipp Rümmer, Uppsala University, Sweden Gerardo Schneider, University of Gothenburg, Sweden Cristina Seceleanu, Mälardalen University, Sweden Jiri Srba, Aalborg University, Denmark Tarmo Uustalu, Reykjavík University, Iceland Jüri Vain, Tallinn University of Techn., Estonia Antti Valmari, University of Jyväskylä, Finland Marina Waldén, Åbo Akademi University, Finland Organizing Committee Jüri Vain (chair) Tarmo Uustalu Leonidas Tsiopoulos Juhan Ernits Marko Kääramees Venue The 31st Nordic Workshop on Programming Theory 2019 will take place in the campus of Tallinn University of Technology. Contact Further information can be obtained by mailing the organizers at nwpt2...@ttu.ee.
[TYPES/announce] NWPT 2019 2nd call for contributions
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] CALL FOR CONTRIBUTIONS 31st Nordic Workshop on Programming Theory, NWPT 2019 Tallinn, Estonia, 13-15 November 2019 http://cs.ttu.ee/events/nwpt2019 Important Dates Submission of abstracts 16 September 2019 Notification4 October 2019 Final versions 15 October 2019 Registration15 October 2019 Background The NWPT series of annual workshops is a forum bringing together programming theorists from the Nordic and Baltic countries, but also from elsewhere. List of Topics Semantics of programming languages Programming language design and programming methodology Programming logics Formal specification of programs Program verification Program construction Tools for program verification and construction Program transformation and refinement Real-time and hybrid systems Models of concurrency and distributed computing Model-based testing Language-based security Invited Speakers Mohamed Bettaz, Philadelphia University, Amman, Jordan Ando Saabas, Bolt, Estonia Pawel Sobocinski, Tallinn University of Technology, Estonia Submission Guidelines Authors wishing to give a talk at the workshop are requested to submit abstracts of 2-3 pages (pdf, printable on A4 paper, using easychair.cls) through EasyChair (https://easychair.org/conferences/?conf=nwpt2019) by 16 September, 2019. Work in progress as well as abstracts of manuscripts submitted for formal publication elsewhere are permitted. The abstracts of the accepted contributions will be available electronically before the workshop. By submitting to EasyChair you agree that your abstract will be publicly available. Moreover, you as an author are responsible for the content. Post-workshop Publication We have arranged a special issue of the Journal of Logical and Algebraic Methods in Programming (JLAMP) devoted to the best contributions to the workshop. The contributions will be selected by the PC. They will be invited after the workshop and will undergo a rigorous, journal-strength review process according to the standards of JLAMP. Program Committee Antonis Achilleos, Reykjavík University, Iceland Johannes Borgström, Uppsala University, Sweden Martin Elsman, University of Copenhagen, Denmark Daniel Fava, University of Oslo, Norway John Gallagher, RUC, Denmark Michael R. Hansen, DTU, Denmark Magne Haveraaen, University of Bergen, Norway Keijo Heljanko, University of Helsinki, Finland Thomas T. Hildebrandt, ITU Copenhagen, Denmark Einar Broch Johnsen, University of Oslo, Norway Jaakko Järvi, University of Bergen, Norway Yngve Lamo, Western Norway Univ. of Applied Sciences, Norway Kim G. Larsen, Aalborg University, Denmark Alberto Lluch Lafuente, DTU, Denmark Fabrizio Montesi, University of Southern Denmark, Denmark Wojciech Mostowski, Halmstad University, Sweden Olaf Owe, University of Oslo, Norway Philipp Rümmer, Uppsala University, Sweden Gerardo Schneider, University of Gothenburg, Sweden Cristina Seceleanu, Mälardalen University, Sweden Jiri Srba, Aalborg University, Denmark Tarmo Uustalu, Reykjavík University, Iceland Jüri Vain, Tallinn University of Techn., Estonia Antti Valmari, University of Jyväskylä, Finland Marina Waldén, Åbo Akademi University, Finland Organizing Committee Jüri Vain (chair) Tarmo Uustalu Leonidas Tsiopoulos Juhan Ernits Marko Kääramees Venue The 31st Nordic Workshop on Programming Theory 2019 will take place in the campus of Tallinn University of Technology. Contact Further information can be obtained by mailing the organizers at nwpt2...@ttu.ee.
[TYPES/announce] ETAPS 2020 2nd joint call for papers
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] ** JOINT CALL FOR PAPERS 23rd European Joint Conferences on Theory and Practice of Software ETAPS 2020 Dublin, Ireland, 25-30 April 2020 http://www.etaps.org/2020 ** -- ABOUT ETAPS -- ETAPS is the primary European forum for academic and industrial researchers working on topics relating to software science. ETAPS, established in 1998, is a confederation of four annual conferences, accompanied by satellite workshops. ETAPS 2020 is the twenty-third event in the series. -- MAIN CONFERENCES (27-30 April) -- * ESOP: European Symposium on Programming (PC chair: Peter Müller, ETH Zürich, Switzerland) * FASE: Fundamental Approaches to Software Engineering (PC chairs: Heike Wehrheim, Universität Paderborn, Germany, and Jordi Cabot, Universitat Oberta de Catalunya, Spain) * FoSSaCS: Foundations of Software Science and Computation Structures (PC chairs: Barbara König, Univ Duisburg-Essen, Germany, and Jean Goubault-Larrecq, LSV, ENS Paris-Saclay, France) * TACAS: Tools and Algorithms for the Construction and Analysis of Systems (PC chairs: Armin Biere, Johannes-Kepler-Univ Linz, Austria, and David Parker, University of Birmingham, United Kingdom) TACAS '20 will host the 9th Competition on Software Verification (SV-COMP). POST, which was an ETAPS conference 2012-2019, has been discontinued. -- INVITED SPEAKERS -- * Unifying speakers: Lars Birkedal (Aarhus Universitet, Denmark) Jane Hillston (University of Edinburgh, United Kingdom) * ESOP invited speaker: Isil Dillig (University of Texas at Austin, USA) * FASE invited speaker: Willem Visser (Stellenbosch University, South Africa) -- IMPORTANT DATES * Papers due: 24 October 2019 23:59 AoE (=GMT-12) * Rebuttal (ESOP, FoSSaCS and, for selected papers, TACAS): 9 December 00:01 AoE - 10 December 23:59 AoE * Notification: 23 December 2019 * Camera-ready versions due: 22 February 2020 -- SUBMISSION INSTRUCTIONS -- The four main conferences of ETAPS 2020 solicit contributions of the following types: * ESOP: regular research papers of max 25 pp (excl bibl) * FASE: regular research papers and empirical evaluation papers of max 18 pp (excl bibl), tool demonstration papers of 6+6 pp * FoSSaCS: regular research papers of max 18 pp (excl bibl) * TACAS: regular research papers, case study papers and regular tool papers of max 16 pp (excl bibl), tool demonstration papers of 6 pp For definitions of the different paper types and specific instructions, where they are present, see the webpages of the individual conferences. All accepted papers will appear in the conference proceedings and have presentations during the conference. 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. Submissions must follow the formatting guidelines of Springer's LNCS and be submitted electronically in pdf through the Easychair author interface of the respective conference. Submissions not adhering to the specified format and length may be rejected immediately. FASE will use double-blind reviewing. Authors are asked to omit their names and institutions; refer to own prior work in the third person; not to include acknowledgements that might identify them. Regular tool paper and tool demonstration paper submissions to TACAS must be accompanied by an artifact. The artifact will be evaluated and the outcome will be taken into account in the acceptance decision of the paper. ESOP and FoSSaCS will use an author rebuttal phase. TACAS will have rebuttal for selected papers. -- PUBLICATION The proceedings will be published in the Advanced Research in Computing and Software Science (ARCoSS) subline of Springer's LNCS series. The proceedings volumes will appear in gold open access, so the published versions of all papers will be available for everyone to download from the publisher's website freely, from the date of online publication, perpetually. The copyright of the papers will remain with the authors. -- SATELLITE EVENTS (25-26 April) -- A number of satellite workshops will take place before the main conferences. * 25-26 April (two days): CMCS, GALOP, SynCoP, VerifyThis, VPT, WADT, WRLA * 25 April: CREST, InterAVT, MSFP, TEASE-LP * 26 April: HCVS, MARS, MeTRiD, PLACES,
[TYPES/announce] ETAPS 2020 1st joint call for papers
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] ** JOINT CALL FOR PAPERS 23rd European Joint Conferences on Theory and Practice of Software ETAPS 2020 Dublin, Ireland, 25-30 April 2020 http://www.etaps.org/2020 ** -- ABOUT ETAPS -- ETAPS is the primary European forum for academic and industrial researchers working on topics relating to software science. ETAPS, established in 1998, is a confederation of four annual conferences, accompanied by satellite workshops. ETAPS 2020 is the twenty-third event in the series. -- MAIN CONFERENCES (27-30 April) -- * ESOP: European Symposium on Programming (PC chair: Peter Müller, ETH Zürich, Switzerland) * FASE: Fundamental Approaches to Software Engineering (PC chairs: Heike Wehrheim, Universität Paderborn, Germany, and Jordi Cabot, Universitat Oberta de Catalunya, Spain) * FoSSaCS: Foundations of Software Science and Computation Structures (PC chairs: Barbara König, Univ Duisburg-Essen, Germany, and Jean Goubault-Larrecq, LSV, ENS Paris-Saclay, France) * TACAS: Tools and Algorithms for the Construction and Analysis of Systems (PC chairs: Armin Biere, Johannes-Kepler-Univ Linz, Austria, and David Parker, University of Birmingham, United Kingdom) TACAS '20 will host the 9th Competition on Software Verification (SV-COMP). POST, which was an ETAPS conference 2012-2019, has been discontinued. -- INVITED SPEAKERS -- * Unifying speakers: Lars Birkedal (Aarhus Universitet, Denmark) Jane Hillston (University of Edinburgh, United Kingdom) * ESOP invited speaker: Isil Dillig (University of Texas at Austin, USA) * FASE invited speaker: Willem Visser (Stellenbosch University, South Africa) -- IMPORTANT DATES * Papers due: 24 October 2019 23:59 AoE (=GMT-12) * Rebuttal (ESOP, FoSSaCS and, for selected papers, TACAS): 9 December 00:01 AoE - 10 December 23:59 AoE * Notification: 23 December 2019 * Camera-ready versions due: 22 February 2020 -- SUBMISSION INSTRUCTIONS -- The four main conferences of ETAPS 2020 solicit contributions of the following types: * ESOP: regular research papers of max 25 pp (excl bibl) * FASE: regular research papers and empirical evaluation papers of max 18 pp (excl bibl), tool demonstration papers of 6+6 pp * FoSSaCS: regular research papers of max 18 pp (excl bibl) * TACAS: regular research papers, case study papers and regular tool papers of max 16 pp (excl bibl), tool demonstration papers of 6 pp For definitions of the different paper types and specific instructions, where they are present, see the webpages of the individual conferences. All accepted papers will appear in the conference proceedings and have presentations during the conference. 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. Submissions must follow the formatting guidelines of Springer's LNCS and be submitted electronically in pdf through the Easychair author interface of the respective conference. Submissions not adhering to the specified format and length may be rejected immediately. FASE will use double-blind reviewing. Authors are asked to omit their names and institutions; refer to own prior work in the third person; not to include acknowledgements that might identify them. Regular tool paper and tool demonstration paper submissions to TACAS must be accompanied by an artifact. The artifact will be evaluated and the outcome will be taken into account in the acceptance decision of the paper. ESOP and FoSSaCS will use an author rebuttal phase. TACAS will have rebuttal for selected papers. -- PUBLICATION The proceedings will be published in the Advanced Research in Computing and Software Science (ARCoSS) subline of Springer's LNCS series. The proceedings volumes will appear in gold open access, so the published versions of all papers will be available for everyone to download from the publisher's website freely, from the date of online publication, perpetually. The copyright of the papers wiil remain with the authors. -- SATELLITE EVENTS (25-26 April) -- A number of satellite workshops will take place before the main conferences. * 25-26 April (two days): CMCS, GALOP, SynCoP, VerifyThis, VPT, WADT, WRLA * 25 April: CREST, InterAVT, MSFP, TEASE-LP * 26 April: HCVS, MARS, MeTRiD, PLACES,
[TYPES/announce] Postdoc position on quantified effects at Reykjavik University
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Quantified computational effects and interaction Department of Computer Science, Reykjavik University One postdoc position Applications are invited for one postdoctoral position at the Department of Computer Science, Reykjavik University. The position is part of a three-year research project funded by the Icelandic Research Fund under the direction of Tarmo Uustalu. The overarching goal of to advance the theory and practice of disciplined effectful programming, based on graded monads, monad-like structures and interaction laws. Interested applicants should contact the PI (email ta...@ru.is) for closer details on the research proposal. The successful candidate will benefit from, and contribute to, the research environment at the Icelandic Centre of Excellence in Theoretical Computer Science (ICE-TCS), with research groups on concurrency, logic and semantics, algorithms, combinatorics. For information about ICE-TCS and its activities, see http://icetcs.ru.is/. Moreover, she/he will cooperate with Shin-ya Katsumata and Maciej Piróg during the project work and will benefit from the interaction with their research groups at the National Institute of Informatics in Tokyo and the University of Wroclaw. *Qualification requirements* Applicants for the postdoctoral position should have, or be about to defend, a PhD degree in Computer Science or a closely related field. Previous knowledge of at least one of lambda calculus and functional programming, proof theory/type theory, programming language semantics, category theory in computer science, proof assistants is a prerequisite. *Remuneration* The wage will be approx 500 kISK per month before income tax, but depend on the qualifications and experience of the postdoc. Check http://payroll.is/en/ for what this means in terms of take-home pay. A tax relief for foreign experts may apply. The position is for two years, to start in autumn 2019 (the start date is negotiable), and is renewable for another year, based on good performance and mutual satisfaction. *Application details* Interested applicants should send their CV, including a list of publications, to the PI (email ta...@ru.is), together with a statement outlining their suitability for the project and the names of at least two references. Informal enquiries about the project and the conditions of work are very welcome. We will review applications as they arrive. Please apply before 5 July 2019.
[TYPES/announce] ETAPS 2019 call for participation
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] ** CALL FOR PARTICIPATION 22nd European Joint Conferences on Theory And Practice of Software ETAPS 2019 Prague, Czech Republic, 6-11 April 2019 http://www.etaps.org/2019 https://conf.researchr.org/home/etaps-2019 ** -- ABOUT ETAPS -- ETAPS is the primary European forum for academic and industrial researchers working on topics relating to software science. ETAPS, established in 1998, is a confederation of five main annual conferences, accompanied by satellite workshops. ETAPS 2019 is the twenty-second event in the series. -- MAIN CONFERENCES (8-11 April) -- * ESOP: European Symposium on Programming (PC chair Luís Caires, Universidade Nova de Lisboa, Portugal) * FASE: Fundamental Approaches to Software Engineering (PC chairs Reiner Hähnle, Technische Univ Darmstadt, Germany, and Wil van der Aalst, RWTH Aachen University, Germany) * FoSSaCS: Foundations of Software Science and Computation Structures (PC chairs Mikolaj Bojanczyk, University of Warsaw, Poland, and Alex Simpson, University of Ljubljana, Slovenia) * POST: Principles of Security and Trust (PC chairs Flemming Nielson, Danmarks Tekniske Univ, Denmark, and David Sands, Chalmers Tekniska Högskola, Sweden) * TACAS: Tools and Algorithms for the Construction and Analysis of Systems (PC chairs Tomás Vojnar, Brno Univ of Technology, Czech Rep, and Lijun Zhang, Chinese Academy of Sciences, China) TACAS '19 hosts the 8th Competition on Software Verification (SV-COMP) and TOOLympics, an event to celebrate the achievements of the various competitions or comparative evaluations. -- INVITED TALKS AND TUTORIALS -- * Unifying speakers: Marscha Chechik (University of Toronto, Canada) Kathleen Fisher (Tufts University, USA) * FoSSaCS invited speaker: Thomas Colcombet (IRIF, France) * TACAS invited speaker: Cormac Flanagan (University of California at Santa Cruz, USA) * Tutorial speakers: Dirk Beyer (LMU München, Germany) Cesare Tinelli (University of Iowa, USA) -- CONTRIBUTED PAPERS -- See the accepted paper lists at webpages of the individual conferences. For the 2nd year, the proceedings of the ETAPS main conferences in LNCS/ARCoSS will appear in Gold Open Access. -- PROGRAM -- See the full program here: https://conf.researchr.org/program/etaps-2019/program-etaps-2019 -- SATELLITE EVENTS (6-7 April) -- 18 satellite workshops and other events will take place before ETAPS 2019. DICE-FOPARA, GaLoP, HSB, QAPL, SynCoP, VerifyThis, TOOLympics (6-7 April) BEHAPI, InterAVT, LiVe, MeTRiD, PERR (6 April) CREST, HCVS, PLACES, SPIoT, SYNTCOMP Camp, Mentoring Workshop (7 April) -- REGISTRATION -- Early registration is until Sunday, 11 March 2019, https://regmaster4.com/2019conf/ETAPS19/register.php -- HOST CITY AND VENUE -- ETAPS 2019 will take place in the centre of Prague, the beautiful capital of the Czech Republic. The main conferences will be held at Orea Hotel Pyramida, while the workshops will take place at the School of Computer Science, Faculty of Mathematics and Physics, Charles University. Both are close to the Prague Castle. For the special deal for accommodation at the conference hotel, see the conference website. -- HOST INSTITUTION -- ETAPS 2019 is hosted by the School of Computer Science of the Charles University. -- ORGANIZERS Jan Kofron and Jan Vitek (general chairs), Barbora Buhnova, Milan Ceska, Ryan Culpepper, Vojtech Horky, Paley Li, Petr Maj, Artem Pelenitsyn, David Safranek -- FURTHER INFORMATION -- Please do not hesitate to contact the organizers at jan.kof...@d3s.mff.cuni.cz and j.vi...@neu.edu.
[TYPES/announce] 24th Estonian Winter School in Computer Science, call for participation
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] [Lecturers: Jade Alglave, Zena Ariola, Barbara Kordy, Andrei Sabelfeld, Jiri Sgall. Apply by **16 Feb 2019**.] CALL for PARTICIPATION 24th Estonian Winter School in Computer Science, EWSCS '19 Palmse, Estonia, 3-8 March 2019 http://cs.ioc.ee/ewscs/2019/ BACKGROUND AND OBJECTIVES EWSCS is a series of regional-scope international winter schools held annually in Estonia. EWSCS are organized by Tallinn University of Technology. The main objective of EWSCS is to expose Estonian, Baltic, and Nordic graduate students in computer science (but also interested students from elsewhere) to frontline theoretical computer science research topics usually not covered within the regular curricula. The working language of the schools is English. EWSCS' 19 is the twenty-fourth event of the series. PROGRAMME The schools' scientific programme consists of short courses by renowned specialists and a student session. The courses of EWSCS '19 are: Jade Alglave (University College London, UK): Program reasoning for relaxed memory Zena Ariola (University of Oregon, Eugene, OR, USA): Logic and computation Barbara Kordy (IRISA, Rennes, France): Attack trees 20 years later Andrei Sabelfeld (Chalmers University of Technology, Gothenburg, Sweden): Information flow tracking Jiri Sgall (Charles University of Prague, Czech Republic): Online algorithms The purpose of the student session is to give students an opportunity to present their work (typically, thesis work) and get feedback. Registrants are invited to propose short talks (20 min) on topics of theoretical computer science, broadly understood. The selection will be based on abstracts of 150-400 words. The social programme consists of an excursion and a conference dinner. VENUE Palmse is a small settlement 80 kms to the east from Tallinn in the county of Lääne-Viru. It is renowned for a large manor that used to belong to the von Pahlen family, today hosting the visitors' center of the Lahemaa National Park, a museum, and a hotel. The school will organize a bus from Tallinn to Palmse and back. APPLICATION AND COST To apply for a place, fill in the online participation application form on the school website. The deadline for application is 16 February 2019. Please apply as soon as possible; we will process applications as they arrive, aiming to notify within three working days from application. Admitted participants will be expected to attend all of the school's program and will be provided access to materials of the courses. Participation includes 5 nights accommodation in twin rooms with full board. Attendance is without fee for PhD and master students (and, possibly, keen talented bachelor students) from TalTech and Univ of Tartu, as well as supervisors and consultants of PhD students. Particants from other institutions in Estonia and abroad will generally need to pay for their costs (mainly accommodation and meals), approx 300 EUR. We may be able to make exceptions, please contact the organizers. PROGRAMME COMMITTEE / ORGANIZING COMMITTEE Peeter Laud (Cybernetica AS) Monika Perkmann (Tallinn Univ of Technology) (secretary) Pille Pullonen (Cybernetica AS / University of Tartu) Ago-Erik Riet (University of Tartu) Tarmo Uustalu (Reykjavik University / Tallinn Univ of Technology) SPONSORS ERDF via TalTech Institutional Development Programme (Doctoral School in ICT) and EXCITE, Excellence in IT in Estonia WEBPAGE http://cs.ioc.ee/ewscs/2019/ EMAIL CONTACT ewscs19(at)cs.ioc.ee
[TYPES/announce] ETAPS Test of Time Award
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] ETAPS Test of Time Award The ETAPS Test of Time Award recognizes outstanding papers published more than 10 years in the past in one of the constituent conferences of ETAPS. The Award recognises the impact of excellent research results that have been published at ETAPS. See https://etaps.org/about/test-of-time-award . Nominations 2019 Nominations for the 2019 ETAPS Test of Time Award are solicited from the ETAPS community. A nomination should include the title and publication details of the nominated paper, explain the influence it has had since publication, and why it merits the award. It should be phrased in terms that are understandable by the members of the award committee and suitable for use in the award citation, and should be endorsed by at least 2 people other than the person submitting the nomination. Self-nominations are not allowed. Nominations should be sent by Monday 11 February 2019 to the chair of the award committee, Don Sannella . Award committee The 2019 award committee consists of Bruno Blanchet, Rance Cleaveland, Ugo Dal Lago, Joost-Pieter Katoen, Jan Kofron, Don Sannella (chair), Gabriele Taentzer and Peter Thiemann.
[TYPES/announce] ETAPS 2019 2nd joint call for papers
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] ** JOINT CALL FOR PAPERS 22nd European Joint Conferences on Theory And Practice of Software ETAPS 2019 Prague, Czech Republic, 6-11 April 2019 http://www.etaps.org/2019 ** -- ABOUT ETAPS -- ETAPS is the primary European forum for academic and industrial researchers working on topics relating to software science. ETAPS, established in 1998, is a confederation of five main annual conferences, accompanied by satellite workshops. ETAPS 2019 is the twenty-second event in the series. -- MAIN CONFERENCES (8-11 April) -- * ESOP: European Symposium on Programming (PC chair Luís Caires, Universidade Nova de Lisboa, Portugal) * FASE: Fundamental Approaches to Software Engineering (PC chairs Reiner Hähnle, Technische Univ Darmstadt, Germany, and Wil van der Aalst, RWTH Aachen University, Germany) * FoSSaCS: Foundations of Software Science and Computation Structures (PC chairs Mikolaj Bojanczyk, University of Warsaw, Poland, and Alex Simpson, University of Ljubljana, Slovenia) * POST: Principles of Security and Trust (PC chairs Flemming Nielson, Danmarks Tekniske Univ, Denmark, and David Sands, Chalmers Tekniska Högskola, Sweden) * TACAS: Tools and Algorithms for the Construction and Analysis of Systems (PC chairs Tomás Vojnar, Brno Univ of Technology, Czech Rep, and Lijun Zhang, Chinese Academy of Sciences, China) TACAS '19 hosts the 8th Competition on Software Verification (SV-COMP). -- INVITED SPEAKERS -- * Unifying speakers: Marscha Chechik (University of Toronto, Canada) Kathleen Fisher (Tufts University, USA) * FoSSaCS invited speaker: Thomas Colcombet (IRIF, France) * TACAS invited speaker: Cormac Flanagan (University of California at Santa Cruz, USA) -- IMPORTANT DATES * Abstracts due: 9 November 2018 23:59 AoE * Papers due: 16 November 2018 23:59 AoE * Rebuttal (ESOP, FoSSaCS, POST): 11 January 00:01 AoE - 14 January 2019 23:59 AoE * Notification: 25 January 2019 * Camera-ready versions due: 15 February 2019 -- SUBMISSION INSTRUCTIONS -- ETAPS conferences solicit contributions of two types: research papers and tool demonstration papers. ESOP and FoSSaCS accept only research papers. FASE, POST and TACAS have multiple types of research papers, see below. All accepted papers will appear in the proceedings and have presentations during the conference. 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 (this does not apply to abstracts). In particular, simultaneous submission of the same contribution to multiple ETAPS conferences is forbidden. Submissions must follow the formatting guidelines of Springer's Lecture Notes in Computer Science and be submitted electronically in pdf through the EasyChair author interface of the respective conference. Submissions not adhering to the specified format and length may be rejected immediately. FASE and POST use double-blind review. Like ETAPS 2018, the proceedings of ETAPS 2019 will be published in *gold open access*. The copyright of the papers will remain with the authors. The proceedings will be published in the Advanced Research in Computing and Software Science (ARCoSS) subline of Springer's Lecture Notes in Computer Science series. The publisher's charges for gold open access will be paid by the conference (funded with the participation fees of all participants). There will be no added cost for authors specifically. - Research papers FASE, FoSSaCS and TACAS have a page limit of 15 pp (excluding bibliography) for research papers, whereas POST allows at most 20 pp (excluding bibliography) and ESOP 25 pp (excluding bibliography). Additional material intended for the referees 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 referees are at liberty to ignore appendices and papers must be understandable without them. In addition to regular research papers, TACAS solicits also *case study papers* (with the same page limit as for regular research papers). POST solicits also *systematization of knowledge papers* (with the same page limit as for regular research papers) and *position papers* (max 10 pp, excluding bibliography). Both TACAS and FASE solicit also *regular tool papers* (at most 15 pp, excluding bibliography). - Tool demonstration papers Tool
[TYPES/announce] ETAPS 2019 1st joint call for papers
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] ** JOINT CALL FOR PAPERS 22nd European Joint Conferences on Theory And Practice of Software ETAPS 2019 Prague, Czech Republic, 6-11 April 2019 http://www.etaps.org/2019 ** -- ABOUT ETAPS -- ETAPS is the primary European forum for academic and industrial researchers working on topics relating to software science. ETAPS, established in 1998, is a confederation of five main annual conferences, accompanied by satellite workshops. ETAPS 2019 is the twenty-second event in the series. -- MAIN CONFERENCES (8-11 April) -- * ESOP: European Symposium on Programming (PC chair Luís Caires, Universidade Nova de Lisboa, Portugal) * FASE: Fundamental Approaches to Software Engineering (PC chairs Reiner Hähnle, Technische Univ Darmstadt, Germany, and Wil van der Aalst, RWTH Aachen University, Germany) * FoSSaCS: Foundations of Software Science and Computation Structures (PC chairs Mikolaj Bojanczyk, University of Warsaw, Poland, and Alex Simpson, University of Ljubljana, Slovenia) * POST: Principles of Security and Trust (PC chairs Flemming Nielson, Danmarks Tekniske Univ, Denmark, and David Sands, Chalmers Tekniska Högskola, Sweden) * TACAS: Tools and Algorithms for the Construction and Analysis of Systems (PC chairs Tomás Vojnar, Brno Univ of Technology, Czech Rep, and Lijun Zhang, Chinese Academy of Sciences, China) TACAS '19 hosts the 8th Competition on Software Verification (SV-COMP). -- INVITED SPEAKERS -- * Unifying speakers: Marscha Chechik (University of Toronto, Canada) Kathleen Fisher (Tufts University, USA) * FoSSaCS invited speaker: Thomas Colcombet (IRIF, France) * TACAS invited speaker: Cormac Flanagan (University of California at Santa Cruz, USA) -- IMPORTANT DATES * Abstracts due: 9 November 2018 23:59 AoE * Papers due: 16 November 2018 23:59 AoE * Rebuttal (ESOP, FoSSaCS, POST): 11 January 00:01 AoE - 14 January 2019 23:59 AoE * Notification: 25 January 2019 * Camera-ready versions due: 15 February 2019 -- SUBMISSION INSTRUCTIONS -- ETAPS conferences solicit contributions of two types: research papers and tool demonstration papers. ESOP and FoSSaCS accept only research papers. FASE, POST and TACAS have multiple types of research papers, see below. All accepted papers will appear in the proceedings and have presentations during the conference. 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 (this does not apply to abstracts). In particular, simultaneous submission of the same contribution to multiple ETAPS conferences is forbidden. Submissions must follow the formatting guidelines of Springer's Lecture Notes in Computer Science and be submitted electronically in pdf through the EasyChair author interface of the respective conference. Submissions not adhering to the specified format and length may be rejected immediately. FASE and POST use double-blind review. Like ETAPS 2018, the proceedings of ETAPS 2019 will be published in *gold open access*. The copyright of the papers will remain with the authors. The proceedings will be published in the Advanced Research in Computing and Software Science (ARCoSS) subline of Springer's Lecture Notes in Computer Science series. The publisher's charges for gold open access will be paid by the conference (funded with the participation fees of all participants). There will be no added cost for authors specifically. - Research papers FASE, FoSSaCS and TACAS have a page limit of 15 pp (excluding bibliography) for research papers, whereas POST allows at most 20 pp (excluding bibliography) and ESOP 25 pp (excluding bibliography). Additional material intended for the referees 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 referees are at liberty to ignore appendices and papers must be understandable without them. In addition to regular research papers, TACAS solicits also *case study papers* (with the same page limit as for regular research papers). POST solicits also *systematization of knowledge papers* (with the same page limit as for regular research papers) and *position papers* (max 10 pp, excluding bibliography). Both TACAS and FASE solicit also *regular tool papers* (at most 15 pp, excluding bibliography). - Tool demonstration papers Tool
[TYPES/announce] Professor and postdoc/researcher positions in Tallinn in trustworthy software technologies
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Professor and postdoc/researcher positions in Tallinn in trustworthy software technologies The Government of Estonia has allocated funds to create six new research groups in selected areas of ICT at the Tallinn U of Technology and U of Tartu during 2018-2022. One of these areas, to be hosted at the Tallinn U of Technology, is trustworthy software technologies. Specific topics of interest in this area include theories, methods and tools for program analysis, verification, program transformations and generation, program synthesis, programming languages, functional programming, refinement/dependent types, software contracts, theorem proving and proof assistants, certified software, processes of building trust in software, economics of trust. Applications are being sought for these positions: - a full (or associate) professor, to become the leader of the new group, application deadline 15 September 2018; per annum salary range 56500..75000 EUR gross (translating to ~45000..6 EUR net) - 4..6 postdocs or researchers, applications are accepted until the positions have been filled; salary range 25000..37500 EUR gross (~2..3 EUR net) Closer information is available at http://www.ttu.ee/itpositions/ The official position announcement for the professor position is at https://www.ttu.ee/university/work-at-tut-3/open-positions-academic/ (TTU is no longer my main employer, but I will be happy to answer informal questions about the programme and the environment. T.U.)
[TYPES/announce] CARI/ICTAC Spring School and ICTAC 2018, call for participation
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] * A TCS spring school and conference in Stellenbosch, South Africa, 12-19 October 2018. * 7 spring school tutorials and 4 invited talks by Yves Bertot, Vincent Cheval, Martin Leucker, Tommie Meyer, Gennaro Parlato, Ina Schaefer (with Loek Cleophas), Peter Thiemann, Willem Visser, 25 contributed papers. * A single, very affordable fee covers both the summer school and the conference and includes a full-day excursion to the Cape Peninsula. * Early registration ends 12 September. CALL FOR PARTICIPATION CARI/ICTAC Spring School and 15th International Colloquium on Theoretical Aspects of Computing ICTAC 2018 Stellenbosch, South Africa, 12-19 October 2018 https://www.ictac.org.za/ Established by UNU IIST in 2004, the ICTAC conference series aims at bringing together researchers and practitioners from academia, industry and government to present research and exchange ideas and experience addressing challenges in both theoretical aspects of computing and the exploitation of theory through methods and tools for system development. ICTAC also aims to promote research cooperation between developing and industrial countries. ICTAC 2018 will take place in Stellenbosch, South Africa, colocated with the 14th African Conference on Research in Computer Science and Applied Mathematics, CARI 2018, 14-16 October 2018. SPRING SCHOOL TUTORIALS Yves Bertot (Inria Sophia Antipolis - Mediterranée, FR): Interactive Theorem Proving and Program Development Vincent Cheval (Inria Nancy - Grand Est, FR): Verification of Security Protocols: From Confidentiality to Privacy Martin Leucker (Universität zu Lübeck, DE): Runtime Verification: Some Basics and Some Latest Developments Tommie Meyer (University of Cape Town, ZA): An Introduction to Description Logics Ina Schaefer (Technische Universität Braunschweig, DE) and Loek Cleophas (Technische Universiteit Eindhoven, NL): The Correctness-by-Construction Approach to Programming Peter Thiemann (Universität Freiburg, DE): Derivation beyond Regular Languages Willem Visser (Stellenbosch University, ZA): Symbolic Execution for Java ICTAC INVITED TALKS Yves Bertot (Inria Sophia Antipolis - Mediterranée, FR): Formal Verification of a Geometry Algorithm: A Quest for Abstract Views and Symmetry in Coq Proofs Tommie Meyer (University of Cape Town, ZA): What is Knowledge Representation and Reasoning? Gennaro Parlato (University of Southampton, UK): Finding Rare Concurrent Programming Bugs: An Automatic, Symbolic, Randomized, and Parallelizable Approach Peter Thiemann (Universität Freiburg, DE): From Logic to Automata by Derivation ICTAC CONTRIBUTED PAPERS 25 papers selected from 58 submissions INFORMAL WORKSHOP ON (CO)ALGEBRAIC LANGUAGE AND AUTOMATA THEORY In the afternoon of 15 October, we will have an informal workshop on (co)algebraic language and automata theory. To propose a talk, please send a title and abstract to ictac2...@easychair.org by 12 September. REGISTRATION AND COST Registration and payment is via the conference website. The single ICTAC fee includes attendance at the school and the ICTAC conference, access to the LNCS proceedings volume, tea breaks and lunches during the school and the conference, a full-day excursion to the Cape Peninsula and a conference dinner. Early registration is by 12 September. Until this date, the full fee is ~390 EUR and the student fee is ~240 EUR. GENERAL CHAIR Bernd Fischer (Stellenbosch University, ZA) PROGRAMME CHAIRS Bernd Fischer (Stellenbosch University, ZA) Tarmo Uustalu (Reykjavik University, IS) ICTAC STEERING COMMITTEE Ana Cavalcanti (University of York, UK) Martin Leucker (Universität zu Lübeck, DE) Zhiming Liu (Southwest University, CN) Tobias Nipkow (Technische Universität München, DE) Augusto Sampaio (Universidade Federal de Pernambuco, BR) Natarajan Shankar (SRI International, US) HOST INSTITUTION Stellenbosch University Computer Science Division SPONSORS Stellenbosch University Springer IFIP Inria AUF, CIRAD, IRD concerning the school CITY The city of Stellenbosch, founded 1685, is the second oldest European settlement in South Africa after Cape Town. It is situated about 50 km to the east of Cape Town. It is the place to admire Cape Dutch architecture and the heart of the Cape Winelands, South Africa's prime wine region. Stellenbosch University is one of the leading universities in Africa. FURTHER INFORMATION Please contact Bernd Fischer, bfischer(at)cs.sun.ac.za.
[TYPES/announce] ICTAC 2018 call for papers, extended deadlines
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] New deadlines: abstracts 18 May, papers 25 May. CALL FOR PAPERS 15th International Colloquium on Theoretical Aspects of Computing ICTAC 2018 Stellenbosch, South Africa, 16-19 October 2018 https://www.ictac.org.za/ COLOCATED EVENTS * ICTAC tutorials, 12-14 October 2018 * ICTAC workshop(s), 15 October 2018 * 14th African Conference on Research in Computer Science and Applied Mathematics / 14ème Colloque Africain sur la Recherche en Informatique et en Mathématiques Appliquées, CARI 2018, 14-16 October 2018 IMPORTANT DATES * Abstracts 18 May 2018 (new deadline) * Papers25 May 2018 (new deadline) * Notification 6 July 2018 * Camera-ready 3 August 2018 BACKGROUND Established in 2004 by the International Institute for Software Technology of the United Nations University (UNU-IIST), the ICTAC conference series aims at bringing together researchers and practitioners from academia, industry and government to present research and exchange ideas and experience addressing challenges in both theoretical aspects of computing and the exploitation of theory through methods and tools for system development. ICTAC also aims to promote research cooperation between developing and industrial countries. SCOPE The topics of the conference include, but are not limited to: * Languages and automata * Semantics of programming languages * Logic in computer science * Lambda calculus, type theory and category theory * Domain-specific languages * Theories of concurrency and mobility * Theories of distributed, grid and cloud computing * Models of objects and components * Coordination models * Models of software architectures * Timed, hybrid, embedded and cyber-physical systems * Static analysis * Software verification * Software testing * Program generation and transformation * Model checking and automated theorem proving * Interactive theorem proving * Verified software, formalized programming theory SUBMISSION OF CONTRIBUTIONS We solicit full-length research papers reporting original research contributions. Submissions must adhere to the LNCS format and must not exceed 18 pages (excluding bibliography of maximum 2 pages). Submissions must not have been published or be under consideration 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. Submission is through Easychair: https://easychair.org/conferences/?conf=ictac2018 One author of each accepted paper must attend the conference to present it, having paid the regular registration fee. PROCEEDINGS The proceedings will be published by Springer in the Lecture Notes in Computer Science series. BEST PAPER AWARD Springer is sponsoring a best paper award. SPECIAL ISSUE After the conference, authors of the best contributions are invited to submit a revised and extended version to a special issue, to be published in Elsevier's Theoretical Computer Science. GENERAL CHAIR Bernd Fischer (Stellenbosch University, ZA) PROGRAMME CHAIRS Bernd Fischer (Stellenbosch University, ZA) Tarmo Uustalu (Reykjavik University, IS) PROGRAM COMMITTEE June Andronick (Data61, AU) Éric Badouel (IRISA, FR) Eduardo Bonelli (Universidad Nacional de Quilmes, AR) Ana Cavalcanti (University of York, UK) Uli Fahrenberg (LIX, FR) Anna Lisa Ferrara (University of Southampton, UK) Adrian Francalanza (University of Malta, MT) Edward Hermann Haeusler (Pontificia Universidade Católica do Rio de Janeiro, BR) Ross Horne (Nanyang Technological University, SG) Dang Van Hung (VNU University of Engineering and Technology, VN) Atsushi Igarashi (Kyoto University, JP) Jan Kretinsky (Technische Universität München, DE) Martin Leucker (Universitaet zu Lübeck, DE) Zhiming Liu (Southwest University, CN) Radu Mardare (Aalborg Universitet, DK) Tobias Nipkow (Technische Universität München, DE) Maciej Piróg (Wroclaw University, PL) Sanjiva Prasad (IIT Delhi, IN) Camilo Rueda (Pontificia Universidad Javeriana Cali, CO) Murali Krishna Ramanathan (Uber, US) Augusto Sampaio (Universidade Federal de Pernambuco, BR) Ina Schaefer (Technische Universität Braunschweig, DE) Natarajan Shankar (SRI International, US) Georg Struth (University of Sheffield, UK) Cong Tian (Xidian University, CN) Lynette van Zijl (Stellenbosch University, ZA) ICTAC STEERING COMMITTEE Ana Cavalcanti (University of York, UK) Martin Leucker (Universität zu Lübeck, DE) Zhiming Liu (Southwest University, CN) Tobias Nipkow (Technische Universität München, DE) Augusto Sampaio (Universidade Federal de Pernambuco, BR) Natarajan Shankar (SRI International, US) HOST INSTITUTION AND CITY The conference will be hosted by the Division of Computer Science of Stellenbosch University. The city of Stellenbosch
[TYPES/announce] ICTAC 2018 final call for papers
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] CALL FOR PAPERS 15th International Colloquium on Theoretical Aspects of Computing ICTAC 2018 Stellenbosch, South Africa, 16-19 October 2018 https://www.ictac.org.za/ COLOCATED EVENTS * ICTAC tutorials, 12-14 October 2018 * ICTAC workshop(s), 15 October 2018 * 14th African Conference on Research in Computer Science and Applied Mathematics / 14eme Colloque Africain sur la Recherche en Informatique et en Mathématiques Appliquées, CARI 2018, 14-16 October 2018 IMPORTANT DATES * Abstracts 4 May 2018 * Papers11 May 2018 * Notification 6 July 2018 * Camera-ready 3 August 2018 BACKGROUND Established in 2004 by the International Institute for Software Technology of the United Nations University (UNU-IIST), the ICTAC conference series aims at bringing together researchers and practitioners from academia, industry and government to present research and exchange ideas and experience addressing challenges in both theoretical aspects of computing and the exploitation of theory through methods and tools for system development. ICTAC also aims to promote research cooperation between developing and industrial countries. SCOPE The topics of the conference include, but are not limited to: * Languages and automata * Semantics of programming languages * Logic in computer science * Lambda calculus, type theory and category theory * Domain-specific languages * Theories of concurrency and mobility * Theories of distributed, grid and cloud computing * Models of objects and components * Coordination models * Models of software architectures * Timed, hybrid, embedded and cyber-physical systems * Static analysis * Software verification * Software testing * Program generation and transformation * Model checking and automated theorem proving * Interactive theorem proving * Verified software, formalized programming theory SUBMISSION OF CONTRIBUTIONS We solicit full-length research papers reporting original research contributions. Submissions must adhere to the LNCS format and must not exceed 18 pages (excluding bibliography of maximum 2 pages). Submissions must not have been published or be under consideration 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. Submission is through Easychair: https://easychair.org/conferences/?conf=ictac2018 One author of each accepted paper must attend the conference to present it, having paid the regular registration fee. PROCEEDINGS The proceedings will be published by Springer in the Lecture Notes in Computer Science series. BEST PAPER AWARD Springer is sponsoring a best paper award. SPECIAL ISSUE After the conference, authors of the best contributions are invited to submit a revised and extended version to a special issue, to be published in Elsevier's Theoretical Computer Science. GENERAL CHAIR Bernd Fischer (Stellenbosch University, ZA) PROGRAMME CHAIRS Bernd Fischer (Stellenbosch University, ZA) Tarmo Uustalu (Reykjavik University, IS) PROGRAM COMMITTEE June Andronick (Data61, AU) Éric Badouel (IRISA, FR) Eduardo Bonelli (Universidad Nacional de Quilmes, AR) Ana Cavalcanti (University of York, UK) Uli Fahrenberg (LIX, FR) Anna Lisa Ferrara (University of Southampton, UK) Adrian Francalanza (University of Malta, MT) Edward Hermann Haeusler (Pontificia Universidade Católica do Rio de Janeiro, BR) Ross Horne (Nanyang Technological University, SG) Dang Van Hung (VNU University of Engineering and Technology, VN) Atsushi Igarashi (Kyoto University, JP) Jan Kretinsky (Technische Universität München, DE) Martin Leucker (Universitaet zu Lübeck, DE) Zhiming Liu (Southwest University, CN) Radu Mardare (Aalborg Universitet, DK) Tobias Nipkow (Technische Universität München, DE) Maciej Piróg (Wroclaw University, PL) Sanjiva Prasad (IIT Delhi, IN) Camilo Rueda (Pontificia Universidad Javeriana Cali, CO) Murali Krishna Ramanathan (Uber, US) Augusto Sampaio (Universidade Federal de Pernambuco, BR) Ina Schaefer (Technische Universität Braunschweig, DE) Natarajan Shankar (SRI International, US) Georg Struth (University of Sheffield, UK) Cong Tian (Xidian University, CN) Lynette van Zijl (Stellenbosch University, ZA) ICTAC STEERING COMMITTEE Ana Cavalcanti (University of York, UK) Martin Leucker (Universität zu Lübeck, DE) Zhiming Liu (Southwest University, CN) Tobias Nipkow (Technische Universität München, DE) Augusto Sampaio (Universidade Federal de Pernambuco, BR) Natarajan Shankar (SRI International, US) HOST INSTITUTION AND CITY The conference will be hosted by the Division of Computer Science of Stellenbosch University. The city of Stellenbosch, founded 1685, is the second oldest European settlement in South Africa after Cape
[TYPES/announce] ICTAC 2018 2nd call for papers
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] CALL FOR PAPERS 15th International Colloquium on Theoretical Aspects of Computing ICTAC 2018 Stellenbosch, South Africa, 16-19 October 2018 https://www.ictac.org.za/ COLOCATED EVENTS * ICTAC tutorials, 12-14 October 2018 * ICTAC workshop(s), 15 October 2018 * 14th African Conference on Research in Computer Science and Applied Mathematics / 14eme Colloque Africain sur la Recherche en Informatique et en Mathématiques Appliquées, CARI 2018, 14-16 October 2018 IMPORTANT DATES * Abstracts 4 May 2018 * Papers11 May 2018 * Notification 6 July 2018 * Camera-ready 3 August 2018 BACKGROUND Established in 2004 by the International Institute for Software Technology of the United Nations University (UNU-IIST), the ICTAC conference series aims at bringing together researchers and practitioners from academia, industry and government to present research and exchange ideas and experience addressing challenges in both theoretical aspects of computing and the exploitation of theory through methods and tools for system development. ICTAC also aims to promote research cooperation between developing and industrial countries. SCOPE The topics of the conference include, but are not limited to: * Languages and automata * Semantics of programming languages * Logic in computer science * Lambda calculus, type theory and category theory * Domain-specific languages * Theories of concurrency and mobility * Theories of distributed, grid and cloud computing * Models of objects and components * Coordination models * Models of software architectures * Timed, hybrid, embedded and cyber-physical systems * Static analysis * Software verification * Software testing * Program generation and transformation * Model checking and automated theorem proving * Interactive theorem proving * Verified software, formalized programming theory SUBMISSION OF CONTRIBUTIONS We solicit full-length research papers reporting original research contributions. Submissions must adhere to the LNCS format and must not exceed 18 pages (excluding bibliography of maximum 2 pages). Submissions must not have been published or be under consideration 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. Submission is through Easychair: https://easychair.org/conferences/?conf=ictac2018 One author of each accepted paper must attend the conference to present it, having paid the regular registration fee. PROCEEDINGS The proceedings will be published by Springer in the Lecture Notes in Computer Science series. BEST PAPER AWARD Springer is sponsoring a best paper award. SPECIAL ISSUE After the conference, authors of the best contributions are invited to submit a revised and extended version to a special issue, to be published in Elsevier's Theoretical Computer Science. GENERAL CHAIR Bernd Fischer (Stellenbosch University, ZA) PROGRAMME CHAIRS Bernd Fischer (Stellenbosch University, ZA) Tarmo Uustalu (Reykjavik University, IS) PROGRAM COMMITTEE June Andronick (Data61, AU) Éric Badouel (IRISA, FR) Eduardo Bonelli (Universidad Nacional de Quilmes, AR) Ana Cavalcanti (University of York, UK) Uli Fahrenberg (LIX, FR) Anna Lisa Ferrara (University of Southampton, UK) Adrian Francalanza (University of Malta, MT) Edward Hermann Haeusler (Pontificia Universidade Católica do Rio de Janeiro, BR) Ross Horne (Nanyang Technological University, SG) Dang Van Hung (VNU University of Engineering and Technology, VN) Atsushi Igarashi (Kyoto University, JP) Jan Kretinsky (Technische Universität München, DE) Martin Leucker (Universitaet zu Lübeck, DE) Zhiming Liu (Southwest University, CN) Radu Mardare (Aalborg Universitet, DK) Tobias Nipkow (Technische Universität München, DE) Maciej Piróg (Wroclaw University, PL) Sanjiva Prasad (IIT Delhi, IN) Camilo Rueda (Pontificia Universidad Javeriana Cali, CO) Murali Krishna Ramanathan (Uber, US) Augusto Sampaio (Universidade Federal de Pernambuco, BR) Ina Schaefer (Technische Universität Braunschweig, DE) Natarajan Shankar (SRI International, US) Georg Struth (University of Sheffield, UK) Cong Tian (Xidian University, CN) Lynette van Zijl (Stellenbosch University, ZA) ICTAC STEERING COMMITTEE Ana Cavalcanti (University of York, UK) Martin Leucker (Universität zu Lübeck, DE) Zhiming Liu (Southwest University, CN) Tobias Nipkow (Technische Universität Mänchen, DE) Augusto Sampaio (Universidade Federal de Pernambuco, BR) Natarajan Shankar (SRI International, US) HOST INSTITUTION AND CITY The conference will be hosted by the Division of Computer Science of Stellenbosch University. The city of Stellenbosch, founded 1685, is the second oldest European settlement in South Africa after Cape
[TYPES/announce] ETAPS 2018 final joint call for papers
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] NEW! The proceedings of ETAPS 2018 will appear in gold open access in LNCS/ARCoSS (with no added cost for authors specifically). As an exception for this year only, the important dates of POST differ from those of the other member conferences! POST solicits regular research papers, systematization of knowledge papers, position papers and tool demonstration papers. ** JOINT CALL FOR PAPERS 21st European Joint Conferences on Theory And Practice of Software ETAPS 2018 Thessaloniki, Greece, 14-21 April 2018 http://www.etaps.org/2018 ** -- ABOUT ETAPS -- ETAPS is the primary European forum for academic and industrial researchers working on topics relating to software science. ETAPS, established in 1998, is a confederation of five main annual conferences, accompanied by satellite workshops. ETAPS 2018 is the twenty-first event in the series. -- MAIN CONFERENCES (16-20 April) -- * ESOP: European Symposium on Programming (PC chair Amal Ahmed, Northeastern University, USA) * FASE: Fundamental Approaches to Software Engineering (PC chairs Alessandra Russo, Imperial College London, UK, and Andy Schürr, Technische Universität Darmstadt, Germany) * FoSSaCS: Foundations of Software Science and Computation Structures (PC chairs Christel Baier, Technische Univ. Dresden, Germany, and Ugo Dal Lago, Università di Bologna, Italy) * POST: Principles of Security and Trust (PC chairs Lujo Bauer, Carnegie Mellon University, USA, Ralf Küsters, University of Stuttgart, Germany) * TACAS: Tools and Algorithms for the Construction and Analysis of Systems (PC chairs Dirk Beyer, Ludwig-Maximilian-Univ. München, Germany, and Marieke Huisman, Universiteit Twente, The Netherlands) TACAS '18 hosts the 7th Competition on Software Verification (SV-COMP). -- INVITED SPEAKERS -- * Unifying speaker: Martin Abadi (Google Research & University of California at Santa Cruz, USA) * FASE invited speaker: Pamela Zave (AT Labs, USA) * ESOP invited speaker: Derek Dreyer (MPI-SWS, Germany) * POST invited speaker: Benjamin C. Pierce (University of Pennsylvania, USA) -- IMPORTANT DATES (all member conferences except POST) * Abstracts due: 13 October 2017 23:59 AoE * Papers due: 20 October 2017 23:59 AoE * Rebuttal (ESOP, FoSSaCS only): 6-8 December 2017 * Notification: 22 December 2017 * Camera-ready versions due: 23 February 2018 IMPORTANT DATES for POST * Abstracts due: 22 November 2017 23:59 AoE * Papers due: 24 November 2017 23:59 AoE * Rebuttal: 12-16 January 2018 * Notification: 25 January 2018 * Camera-ready versions due: 23 February 2018 -- SUBMISSION 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. ESOP and FoSSaCS accept only research papers. FASE, POST and TACAS have multiple types of research papers, 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 (this does not apply to abstracts). In particular, simultaneous submission of the same contribution to multiple ETAPS conferences is forbidden. Submissions must follow the formatting guidelines of Springer's Lecture Notes in Computer Science and be submitted electronically in pdf through the EasyChair author interface of the respective conference. Submissions not adhering to the specified format and length may be rejected immediately. FASE and POST will use a double-blind review process. The proceedings of ETAPS 2018 will be published in *gold open access*. The copyright of the papers will remain with the authors. The proceedings will be published in the Advanced Research in Computing and Software Science (ARCoSS) subline of Springer's Lecture Notes in Computer Science series. NB! The publisher's charges for gold open access will be paid by the conference (funded with the participation fees of all participants). There will be no added cost for authors specifically. The overall rise in participation fee levels will be small. - Research papers FASE, FoSSaCS and TACAS have a page limit of 15 pp (excluding bibliography of max 2 pp) for research papers, whereas POST allows at most 20 pp (excluding bibliography of max 2 pp) and ESOP 25 pp (excluding bibliography of max 2 pp). Additional material intended for the
[TYPES/announce] ETAPS 2018 joint call for papers
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] NEW! The proceedings of ETAPS 2018 will appear in *gold open access*. As an exception for this year only, the important dates of POST differ from the other member conferences! ** JOINT CALL FOR PAPERS 21st European Joint Conferences on Theory And Practice of Software ETAPS 2018 Thessaloniki, Greece, 14-21 April 2018 http://www.etaps.org/2018 ** -- ABOUT ETAPS -- ETAPS is the primary European forum for academic and industrial researchers working on topics relating to software science. ETAPS, established in 1998, is a confederation of five main annual conferences, accompanied by satellite workshops. ETAPS 2018 is the twenty-first event in the series. -- MAIN CONFERENCES (16-20 April) -- * ESOP: European Symposium on Programming (PC chair Amal Ahmed, Northeastern University, USA) * FASE: Fundamental Approaches to Software Engineering (PC chairs Alessandra Russo, Imperial College London, UK, and Andy Schürr, Technische Universität Darmstadt, Germany) * FoSSaCS: Foundations of Software Science and Computation Structures (PC chairs Christel Baier, Technische Univ. Dresden, Germany, and Ugo Dal Lago, Università di Bologna, Italy) * POST: Principles of Security and Trust (PC chairs Lujo Bauer, Carnegie Mellon University, USA, Ralf Küsters, University of Stuttgart, Germany) * TACAS: Tools and Algorithms for the Construction and Analysis of Systems (PC chairs Dirk Beyer, Ludwig-Maximilian-Univ. München, Germany, and Marieke Huisman, Universiteit Twente, The Netherlands) TACAS '18 hosts the 7th Competition on Software Verification (SV-COMP). -- INVITED SPEAKERS -- * Unifying speaker: Martin Abadi (Google Research & University of California at Santa Cruz, USA) * FASE invited speaker: Pamela Zave (AT Labs, USA) * ESOP invited speaker: Derek Dreyer (MPI-SWS, Germany) * POST invited speaker: Benjamin C. Pierce (University of Pennsylvania, USA) -- IMPORTANT DATES (all member conferences except POST) * Abstracts due: 13 October 2017 * Papers due: 20 October 2017 * Rebuttal (ESOP, FoSSaCS only): 6-8 December 2017 * Notification: 22 December 2017 * Camera-ready versions due: 23 February 2018 IMPORTANT DATES for POST * Abstracts due: 22 November 2017 * Papers due: 24 November 2017 * Rebuttal: 12-16 January 2018 * Notification: 25 January 2018 * Camera-ready versions due: 23 February 2018 -- SUBMISSION 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. ESOP and FoSSaCS accept only research papers. 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 (this does not apply to abstracts). In particular, simultaneous submission of the same contribution to multiple ETAPS conferences is forbidden. Submissions must follow the formatting guidelines of Springer's Lecture Notes in Computer Science and be submitted electronically in pdf through the EasyChair author interface of the respective conference. Submissions not adhering to the specified format and length may be rejected immediately. FASE and POST will use a double-blind review process. The proceedings of ETAPS 2018 will be published in *gold open access*. The copyright of the papers will remain with the authors. It is most likely that the proceedings will be published in the Advanced Research in Computing and Software Science (ARCoSS) subline of Springer's Lecture Notes in Computer Science series. - Research papers FASE, FoSSaCS and TACAS have a page limit of 15 pp (excluding bibliography of max 2 pp) for research papers, whereas POST allows at most 20 pp (excluding bibliography of max 2 pp) and ESOP 25 pp (excluding bibliography of max 2 pp). Additional material intended for the referees 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 referees are at liberty to ignore appendices and papers must be understandable without them. In addition to regular research papers, TACAS solicits also *case study papers* (at most 15 pp, excluding bibliography of max 2 pp). Both TACAS and FASE solicit also *regular tool papers* (at most 15 pp, excluding bibliography of max 2 pp). - Tool
[TYPES/announce] ETAPS 2017 call for participation
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] ** CALL FOR PARTICIPATION ETAPS 2017 20th European Joint Conferences on Theory And Practice of Software ETAPS 2017 Uppsala, Sweden, 22-29 April 2017 http://www.etaps.org/2017 ** -- ABOUT ETAPS -- ETAPS is the primary European forum for academic and industrial researchers working on topics relating to software science. ETAPS, established in 1998, is a confederation of five main annual conferences, accompanied by satellite workshops. ETAPS 2017 is the twentieth event in the series. -- MAIN CONFERENCES (24-28 April) -- * ESOP: European Symposium on Programming (PC chair Hongseok Yang, University of Oxford, UK) * FASE: Fundamental Approaches to Software Engineering (PC chairs Marieke Huisman, Universiteit Twente, The Netherlands, and Julia Rubin, University of British Columbia, Canada) * FoSSaCS: Foundations of Software Science and Computation Structures (PC chairs Javier Esparza, Technische Universität München, Germany, Andrzej Murawski, University of Warwick, UK) * POST: Principles of Security and Trust (PC chairs Matteo Maffei, Universität des Saarlandes, Germany, Mark D. Ryan, University of Birmingham, UK) * TACAS: Tools and Algorithms for the Construction and Analysis of Systems (PC chairs Axel Legay, INRIA Rennes, France, and Tiziana Margaria, LERO, Ireland) TACAS '17 hosts the 6th Competition on Software Verification (SV-COMP). -- INVITED SPEAKERS -- * Unifying speakers: Michael Ernst (University of Washington, USA) Kim G. Larsen (Aalborg University, DK) * FoSSaCS invited speaker: Joel Ouaknine (University of Oxford, UK) * TACAS invited speaker: Dino Distefano (Facebook and Queen Mary University of London, UK) -- UNIFYING PUBLIC LECTURE Serge Abiteboul (DI, INRIA Paris & ENS Cachan, France) -- INVITED TUTORIALS Véronique Cortier (LORIA, CRNS, France) Kenneth McMillan (Microsoft Research Redmond, USA) -- CONTRIBUTED PAPERS -- See the accepted paper lists at the conference website. -- SATELLITE EVENTS (22-23 April, 29 April) -- 17 satellite workshops and other events will take place before or after ETAPS 2017. Check their calls for papers and consider contributing! DICE-FOPARA, GaLoP, GaM, SynCop-PV, VerifyThis (22-23 April) FESCA, SNR (22 April) HotSpot, MBT, QAPL, SannellaFest (23 April) BX, CREST, LiVe, MARS, PLACES, VPT (29 April) -- REGISTRATION -- Early registration is until Sunday, 12 March 2017 (23:59 GMT+1). http://www.etaps.org/2017/registration -- ACCOMMODATION -- The organizers have negotiated special rates from several hotels in Uppsala. To benefit from those, follow the instructions on the conference website. The offers expire on different dates. -- HOST CITY -- Uppsala city holds a rich history, having for long periods been the political, religious and academic centre of Sweden. Uppsala University is over 500 years old and ranked among the top 100 in the World and has hosted many great scientists over the years, for instance Carl von Linné, Anders Celsius and Anders Jonas Ångström. The proximity to the capital of Sweden, Stockholm, provides additional benefits as a potential site for arranging both pre- and post congress tours, as well as for excursions or tourism. -- HOST INSTITUTION -- ETAPS 2017 is hosted by the Department of Information Technology, Uppsala University. -- ORGANIZERS Parosh Abdulla (General chair), Mohamed Faouzi Atig, Andreina Francisco, Kaj Lampka, Philipp Rümmer, Konstantinos Sagonas, Björn Victor, Wang Yi, Tjark Weber, Yunyun Zhu
[TYPES/announce] ETAPS 2017 final call for papers
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] ** JOINT CALL FOR PAPERS 20th European Joint Conferences on Theory And Practice of Software ETAPS 2017 Uppsala, Sweden, 22-29 April 2017 http://www.etaps.org/2017 ** -- ABOUT ETAPS -- ETAPS is the primary European forum for academic and industrial researchers working on topics relating to software science. ETAPS, established in 1998, is a confederation of five main annual conferences, accompanied by satellite workshops. ETAPS 2017 is the twentieth event in the series. -- MAIN CONFERENCES (24-28 April) -- * ESOP: European Symposium on Programming (PC chair Hongseok Yang, University of Oxford, UK) * FASE: Fundamental Approaches to Software Engineering (PC chairs Marieke Huisman, Universiteit Twente, The Netherlands, and Julia Rubin, University of British Columbia, Canada) * FoSSaCS: Foundations of Software Science and Computation Structures (PC chairs Javier Esparza, Technische Universität München, Germany, Andrzej Murawski, University of Warwick, UK) * POST: Principles of Security and Trust (PC chairs Matteo Maffei, Universität des Saarlandes, Germany, Mark D. Ryan, University of Birmingham, UK) * TACAS: Tools and Algorithms for the Construction and Analysis of Systems (PC chairs Axel Legay, INRIA Rennes, France, and Tiziana Margaria, LERO, Ireland) TACAS '17 hosts the 6th Competition on Software Verification (SV-COMP). -- INVITED SPEAKERS -- * Unifying speakers: Michael Ernst (University of Washington, USA) Kim G. Larsen (Aalborg University, DK) * FoSSaCS invited speaker: Joel Ouaknine (University of Oxford, UK) * TACAS invited speaker: Dino Distefano (Facebook and Queen Mary University of London, UK) -- IMPORTANT DATES -- * Abstracts due (ESOP, FASE, FoSSaCS, TACAS): 14 October 2016 * Papers due: 21 October 2016 * Rebuttal (ESOP and FoSSaCS only): 7-9 December 2016 * Notification: 22 December 2016 * Camera-ready versions due: 20 January 2017 -- SUBMISSION 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. ESOP and FoSSaCS accept only research papers. 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 (this does not apply to abstracts). 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 of 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 author interface of the respective conference. Submissions not adhering to the specified format and length may be rejected immediately. FASE will use a light-weight double-blind review process (see http://www.etaps.org/2017/fase). - Research papers FASE, FoSSaCS and TACAS have a page limit of 15 pp (excluding bibliography of max 2 pp) for research papers, whereas POST allows at most 20 pp (excluding bibliography of max 2 pp) and ESOP 25 pp (excluding bibliography of max 2 pp). Additional material intended for the referees 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 referees are at liberty to ignore appendices and papers must be understandable without them. In addition to regular research papers, TACAS solicits also case study papers (at most 15 pp, excluding bibliography of max 2 pp). Both TACAS and FASE solicit also regular tool papers (at most 15 pp, excluding bibliography of max 2 pp). The rationale of a separate page limit for the bibliography is to remove the possibility to win space for the body of a paper by cutting the bibliography, a practise that has a negative effect on our competitiveness as a community. - 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
[TYPES/announce] ETAPS 2017 2nd joint call for papers
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] ** JOINT CALL FOR PAPERS 20th European Joint Conferences on Theory And Practice of Software ETAPS 2017 Uppsala, Sweden, 22-29 April 2017 http://www.etaps.org/2017 ** -- ABOUT ETAPS -- ETAPS is the primary European forum for academic and industrial researchers working on topics relating to software science. ETAPS, established in 1998, is a confederation of five main annual conferences, accompanied by satellite workshops. ETAPS 2017 is the twentieth event in the series. -- MAIN CONFERENCES (24-28 April) -- * ESOP: European Symposium on Programming (PC chair Hongseok Yang, University of Oxford, UK) * FASE: Fundamental Approaches to Software Engineering (PC chairs Marieke Huisman, Universiteit Twente, The Netherlands, and Julia Rubin, University of British Columbia, Canada) * FoSSaCS: Foundations of Software Science and Computation Structures (PC chairs Javier Esparza, Technische Universität München, Germany, Andrzej Murawski, University of Warwick, UK) * POST: Principles of Security and Trust (PC chairs Matteo Maffei, Universität des Saarlandes, Germany, Mark D. Ryan, University of Birmingham, UK) * TACAS: Tools and Algorithms for the Construction and Analysis of Systems (PC chairs Axel Legay, INRIA Rennes, France, and Tiziana Margaria, LERO, Ireland) TACAS '17 hosts the 6th Competition on Software Verification (SV-COMP). -- INVITED SPEAKERS -- * Unifying speakers: Michael Ernst (University of Washington, USA) Kim G. Larsen (Aalborg University, DK) * FoSSaCS invited speaker: Joel Ouaknine (University of Oxford, UK) * TACAS invited speaker: Dino Distefano (Facebook and Queen Mary University of London, UK) -- IMPORTANT DATES -- * Abstracts due (ESOP, FASE, FoSSaCS, TACAS): 14 October 2016 * Papers due: 21 October 2016 * Rebuttal (ESOP and FoSSaCS only): 7-9 December 2016 * Notification: 22 December 2016 * Camera-ready versions due: 20 January 2017 -- SUBMISSION 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. ESOP and FoSSaCS accept only research papers. 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 (this does not apply to abstracts). 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 of 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 author interface of the respective conference. Submissions not adhering to the specified format and length may be rejected immediately. FASE will use a light-weight double-blind review process (see http://www.etaps.org/2017/fase). - Research papers FASE, FoSSaCS and TACAS have a page limit of 15 pp (excluding bibliography of max 2 pp) for research papers, whereas POST allows at most 20 pp (excluding bibliography of max 2 pp) and ESOP 25 pp (excluding bibliography of max 2 pp). Additional material intended for the referees 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 referees are at liberty to ignore appendices and papers must be understandable without them. In addition to regular research papers, TACAS solicits also case study papers (at most 15 pp, excluding bibliography of max 2 pp). Both TACAS and FASE solicit also regular tool papers (at most 15 pp, excluding bibliography of max 2 pp). The rationale of a separate page limit for the bibliography is to remove the possibility to win space for the body of a paper by cutting the bibliography, a practise that has a negative effect on our competitiveness as a community. - 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.) *
[TYPES/announce] ETAPS 2017 1st call for papers
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] ** JOINT CALL FOR PAPERS 20th European Joint Conferences on Theory And Practice of Software ETAPS 2017 Uppsala, Sweden, 22-29 April 2017 http://www.etaps.org/2017 ** -- ABOUT ETAPS -- ETAPS is the primary European forum for academic and industrial researchers working on topics relating to software science. ETAPS, established in 1998, is a confederation of five main annual conferences, accompanied by satellite workshops. ETAPS 2017 is the twentieth event in the series. -- MAIN CONFERENCES (24-28 April) -- * ESOP: European Symposium on Programming (PC chair Hongseok Yang, University of Oxford, UK) * FASE: Fundamental Approaches to Software Engineering (PC chairs Marieke Huisman, Universiteit Twente, The Netherlands, and Julia Rubin, University of British Columbia, Canada) * FOSSACS: Foundations of Software Science and Computation Structures (PC chairs Javier Esparza, Technische Universität München, Germany, Andrzej Murawski, University of Warwick, UK) * POST: Principles of Security and Trust (PC chairs Matteo Maffei, Universität des Saarlandes, Germany, Mark D. Ryan, University of Birmingham, UK) * TACAS: Tools and Algorithms for the Construction and Analysis of Systems (PC chairs Axel Legay, INRIA Rennes, France, and Tiziana Margaria, LERO, Ireland) TACAS '17 hosts the 6th Competition on Software Verification (SV-COMP). -- INVITED SPEAKERS -- * Unifying speakers: Michael Ernst (University of Washington, USA) Kim G. Larsen (Aalborg University, DK) * FoSSaCS invited speaker: Joel Ouaknine (University of Oxford, UK) * TACAS invited speaker: Dino Distefano (Facebook and Queen Mary University of London, UK) -- IMPORTANT DATES -- * Abstracts due (ESOP, FASE, FoSSACS, TACAS): 14 October 2016 * Papers due: 21 October 2016 * Rebuttal (ESOP and FoSSaCS only): 7-9 December 2016 * Notification: 22 December 2016 * Camera-ready versions due: 20 January 2017 -- SUBMISSION 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. ESOP and FoSSaCS accept only research papers. 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 (this does not apply to abstracts). 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 of 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 author interface of the respective conference. Submissions not adhering to the specified format and length may be rejected immediately. FASE will use a light-weight double-blind review process (see http://www.etaps.org/2017/fase). - Research papers FASE, FOSSACS and TACAS have a page limit of 15 pp (excluding bibliography of max 2 pp) for research papers, whereas POST allows at most 20 pp (excluding bibliography of max 2 pp) and ESOP 25 pp (excluding bibliography of max 2 pp). Additional material intended for the referees 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 referees are at liberty to ignore appendices and papers must be understandable without them. In addition to regular research papers, TACAS solicits also case study papers (at most 15 pp, excluding bibliography of max 2 pp). Both TACAS and FASE solicit also regular tool papers (at most 15 pp, excluding bibliography of max 2 pp). The rationale of a separate page limit for the bibliography is to remove the possibility to win space for the body of a paper by cutting the bibliography, a practise that has a negative effect on our competitiveness as a community. - 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.) *
[TYPES/announce] ETAPS 2016 early registration deadline 1 March approaching
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Early registration deadline 1 March 2016! ** CALL FOR PARTICIPATION ETAPS 2016 19th European Joint Conferences on Theory And Practice of Software Eindhoven, The Netherlands, 2-8 April 2016 http://www.etaps.org/2016 ** -- ABOUT ETAPS -- The European Joint Conferences on Theory And Practice of Software (ETAPS) is the primary European forum for academic and industrial researchers working on topics relating to software science. ETAPS, established in 1998, is a confederation of five main annual conferences, accompanied by satellite workshops. ETAPS 2016 is already the nineteenth event in the series. -- MAIN CONFERENCES (4-7 April) -- * ESOP: European Symposium on Programming * FASE: Fundamental Approaches to Software Engineering * FOSSACS: Foundations of Software Science and Computation Structures * POST: Principles of Security and Trust * TACAS: Tools and Algorithms for the Construction and Analysis of Systems -- INVITED TALKS -- Unifying speakers: Andrew D Gordon (MSR Cambridge and University of Edinburgh, UK) Rupak Majumdar (MPI Kaiserslautern, Germany) ESOP invited speaker: Cristina Lopes (University of California at Irvine, USA) FASE invited speaker: Oscar Nierrstrasz (Universität Bern, Switzerland) POST invited speaker: Vitaly Shmatikov (Cornell Tech, USA) -- TUTORIALS Peter Ryan (University of Luxembourg, Luxembourg) Grigore Rosu (University of Illinois at Urbana-Champaign, USA) -- CONTRIBUTED PAPERS -- See the accepted paper lists and the programme of the main conferences at the conference website. http://www.etaps.org/2016/programme -- SATELLITE EVENTS (2-3 and 8 April) -- 22 satellite workshops will take place before or after ETAPS 2016. CASSTING, CMCS, DICE, GaLoP, GaM, QAPL, WRLA (2-3 April) RAC, VerifyThis, VPT, VSSE (2 April) FESCA, FMSPLE, HCVS, HotSpot, SENSATION, SynCop (3 April) BX, CREST, MSFP, PLACES, TermGraph (8 April) -- REGISTRATION -- Early registration is until Tuesday, 1 March 2016 (23:59 GMT+1). Normal-rate registration is until Thursday, 31 March 2016 (23:59 GMT+1). http://www.etaps.org/2016/registration -- ACCOMMODATION -- We request that participants arrange their accommodation on their own. See our recommendations on the conference website. -- HOST CITY -- Eindhoven is located in the province of North Brabant in the south of the Netherlands. It is the fifth-largest city of the Netherlands. The city is well known for modern art, design and technology. The main airport of the Netherlands is the Amsterdam Airport, Schiphol. All major airlines fly to Schiphol, and Schiphol has a direct and very frequent train connection to Eindhoven. Eindhoven also has a small international airport, Eindhoven Airport, with direct connections to more than thirty destinations in Europe. -- ORGANIZERS -- General chair: Jan Friso Groote Workshop chairs: Erik de Vink and Julien Schmaltz Publicity chair: Anton Wijs --- HOST INSTITUTION -- ETAPS 2016 is hosted by Faculteit Wiskunde en Informatica, Technische Universiteit Eindhoven. -- FURTHER INFORMATION -- Please do not hesitate to contact the organizers at j.f.gro...@tue.nl, a.j.w...@tue.nl.
[TYPES/announce] ETAPS 2016 call for participation
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] ** CALL FOR PARTICIPATION ETAPS 2016 19th European Joint Conferences on Theory And Practice of Software Eindhoven, The Netherlands, 2-8 April 2016 http://www.etaps.org/2016 ** -- ABOUT ETAPS -- The European Joint Conferences on Theory And Practice of Software (ETAPS) is the primary European forum for academic and industrial researchers working on topics relating to software science. ETAPS, established in 1998, is a confederation of five main annual conferences, accompanied by satellite workshops. ETAPS 2016 is already the nineteenth event in the series. -- MAIN CONFERENCES (4-7 April) -- * ESOP: European Symposium on Programming * FASE: Fundamental Approaches to Software Engineering * FOSSACS: Foundations of Software Science and Computation Structures * POST: Principles of Security and Trust * TACAS: Tools and Algorithms for the Construction and Analysis of Systems -- INVITED TALKS -- Unifying speakers: Andrew D Gordon (MSR Cambridge and University of Edinburgh, UK) Rupak Majumdar (MPI Kaiserslautern, Germany) ESOP invited speaker: Cristina Lopes (University of California at Irvine, USA) FASE invited speaker: Oscar Nierrstrasz (Universität Bern, Switzerland) POST invited speaker: Vitaly Shmatikov (Cornell Tech, USA) -- TUTORIALS Peter Ryan (University of Luxembourg, Luxembourg) Grigore Rosu (University of Illinois at Urbana-Champaign, USA) -- CONTRIBUTED PAPERS -- See the accepted paper lists and the programme of the main conferences at the conference website. http://www.etaps.org/2016/programme -- SATELLITE EVENTS (2-3 and 8 April) -- 22 satellite workshops will take place before or after ETAPS 2016. CASSTING, CMCS, DICE, GaLoP, GaM, QAPL, WRLA (2-3 April) RAC, VerifyThis, VPT, VSSE (2 April) FESCA, FMSPLE, HCVS, HotSpot, SENSATION, SynCop (3 April) BX, CREST, MSFP, PLACES, TermGraph (8 April) -- REGISTRATION -- Early registration is until Tuesday, 1 March 2016 (23:59 GMT+1). Normal-rate registration is until Thursday, 31 March 2016 (23:59 GMT+1). http://www.etaps.org/2016/registration -- ACCOMMODATION -- We request that participants arrange their accommodation on their own. See our recommendations on the conference website. -- HOST CITY -- Eindhoven is located in the province of North Brabant in the south of the Netherlands. It is the fifth-largest city of the Netherlands. The city is well known for modern art, design and technology. The main airport of the Netherlands is the Amsterdam Airport, Schiphol. All major airlines fly to Schiphol, and Schiphol has a direct and very frequent train connection to Eindhoven. Eindhoven also has a small international airport, Eindhoven Airport, with direct connections to more than thirty destinations in Europe. -- ORGANIZERS -- General chair: Jan Friso Groote Workshop chairs: Erik de Vink and Julien Schmaltz Publicity chair: Anton Wijs --- HOST INSTITUTION -- ETAPS 2016 is hosted by Faculteit Wiskunde en Informatica, Technische Universiteit Eindhoven. -- FURTHER INFORMATION -- Please do not hesitate to contact the organizers at j.f.gro...@tue.nl, a.j.w...@tue.nl.
[TYPES/announce] ETAPS 2017 call for satellite events
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] 20th European Joint Conferences on Theory and Practice of Software ETAPS 2017 Uppsala, Sweden, 23-29 April 2017 http://www.etaps.org/2017/ Call for Satellite Events -- ABOUT ETAPS -- The European Joint Conferences on Theory and Practice of Software (ETAPS) is the primary European forum for academic and industrial researchers working on topics relating to Software Science. It is an annual event held in Europe each spring since 1998. Its twentieth edition, ETAPS 2017, will take place 23-29 April 2017 in Uppsala, Sweden. ETAPS 2017 main conferences, scheduled for 25-28 April, are: * ESOP: European Symposium on Programming * FASE: Fundamental Approaches to Software Engineering * FOSSACS: Foundations of Software Science and Computation Structures * POST: Principles of Security and Trust * TACAS: Tools and Algorithms for the Construction and Analysis of Systems -- SATELLITE EVENTS -- The ETAPS 2017 organizing committee invites proposals for satellite events (workshops) that will complement the main conferences. They should fall within the scope of ETAPS. This encompasses all aspects of the system development process, including specification, design, implementation, analysis and improvement, as well as the languages, methodologies and tools which support these activities, covering a spectrum from practically-motivated theory to soundly-based practice. Satellite events provide an opportunity to discuss and report on emerging research approaches and practical experience relevant to theory and practice of software. ETAPS 2017 satellite events will be held immediately before and after the main conferences, on 23-24 April and 29 April. -- ARRANGEMENTS FOR SATELLITE EVENTS -- The organizers of an ETAPS 2017 satellite are expected to: * create and maintain a website for the event, * form a PC, produce a call for papers for the event (if appropriate), * advertise the event through specialist mailing lists etc. to complement the publicity of ETAPS, * review the submissions received and make acceptance decisions, * prepare an informal (pre)proceedings for the event (if appropriate), * prepare the event's program complying with any scheduling constraints defined by the ETAPS 2017 organizing committee, * prepare and organize the publication of a formal (post)proceedings (if desired). The ETAPS 2017 organizing committee will: * promote the event on the website and in the publicity material of ETAPS 2017, * integrate the event's program into the overall program of the conference, * arrange registration for the event as a component of registration for ETAPS, * collect a participation fee from the registrants, * produce a compilation USB memory stick of the informal (pre)proceedings of the satellite events of ETAPS 2017 and distribute this to the registrants, * provide the event with a meeting room of an appropriate size, A/V equipment, coffee breaks and possibly lunch(es). As a rule, ETAPS will not contribute toward the travel or accommodation costs of invited speakers or organizers of satellite events. -- SUBMISSION OF SATELLITE EVENT PROPOSALS -- Researchers and practitioners wishing to organize satellite events are invited to submit proposals to the workshop co-chairs Konstantinos Sagonas and Mohamed Faouzi Atig using the web form at http://www.etaps.org/2017/call-for-workshops . The following information is requested: * the name and acronym of the satellite event * the names and contact information of the organizers * the duration of the event: one or two days * the preferred period: 23 April, 24 April, 23-24 April or 29 April * the expected number of participants * a brief description (120 words approximately) of the event topic for the website and publicity material of ETAPS 2017 * a brief explanation of the event topic and its relevance to ETAPS * an explanation of the selection procedure of contributions to the event, the PC chair and members, if known already, information about past editions of the event, if applicable * any other relevant information, like a special event format, invited speakers, demo sessions, special space requirements, etc. * a tentative schedule for paper submission, notification of acceptance and final versions for the (informal pre-)proceedings (the ETAPS 2017 organizing committee will need the final files by the end of Feb. 2017) * the plans for formal publication (no formal publication, formal proceedings ready by the event, formal post-proceedings, publication venue - EPTCS or elsewhere) The proposals will be evaluated by the ETAPS 2017 organizing committee on the basis of their assessed benefit for prospective participants of ETAPS 2017. Prospective organizers may wish to consult the web pages of
[TYPES/announce] ETAPS 2016 satellite workshops joint call for papers
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Joint Call for Papers ETAPS 2016 Satellite Workshops Eindhoven, The Netherlands, 2-3 and 8 April 2016 http://www.etaps.org/2016/workshops ETAPS, the European Joint Conferences on Theory and Practice of Software, is the primary European forum for academic and industrial researchers working on topics relating to Software Science. The nineteenth edition, ETAPS 2016, will take place in Eindhoven, The Netherlands, 2-8 April 2016, and covers besides the main conferences ESOP, FASE, FOSSACS, POST and TACAS, a large number of satellite workshops and other events in the fields of Software Engineering, Formal Methods, Logics of Programs and the Theory of Computation. This is the joint call for papers for ETAPS 2016 for 21 satellite workshops with open calls. ETAPS satellite workshops will take place in the weekend of Saturday-Sunday, 2-3 April, before the ETAPS main conferences, and on Friday, 8 April, after them. For more information on ETAPS 2016, see http://www.etaps.org/2016/. Bx 2016: 5th International Workshop on Bidirectional Transformations, 8 April, organized by Anthony Anjorin, Jeremy Gibbons, and Perdita Stevens. Submission deadlines: abstracts 13 January / papers 20 January. See http://bx-community.wikidot.com/bx2016:home. CASSTING 2016: Workshop on Games for the Synthesis of Complex Systems, 2-3 April, organized by Thomas Brihaye and Nicolas Markey. Submission deadlines: papers 15 January; presentation extended abstracts 8 February. See http://www.cassting-project.eu/workshop2016/. CMCS 2016: 13th International Workshop on Coalgebraic Methods in Computer Science, 2-3 April, organized by Ichiro Hasuo. Submission deadlines: abstracts 4 January / papers 13 January; short contributions 22 February. See http://www.coalg.org/cmcs16/. CREST 2016: 1st Workshop on Causal Reasoning for Embedded and safety-critical Systems Technologies, 8 April, organized by Gregor Gößler, Oleg Sokolsky. Submission deadlines: abstracts 10 January / papers 17 January. See http://crest2016.inria.fr/. DICE 2016: 7th International Workshop on Developments in Implicit Computational complExity, 2-3 April, organized by Damiano Mazza. Submission deadline: extended abstracts 31 January. See https://lipn.univ-paris13.fr/DICE2016/. FESCA 2016: 13th International Workshop on Formal Engineering approaches to Software Components and Architectures, 3 April, organized by Jan Kofroň, Jana Tumova, Barbora Buhnova. Submission deadlines: abstracts 4 January / papers 14 January. See http://d3s.mff.cuni.cz/conferences/fesca/. FMSPLE 2016: 7th International Workshop on Formal Methods and Analysis in Software Product Line Engineering, 3 April, organized by Julia Rubin, Thomas Thüm. Submission deadlines: abstracts 18 January / papers 25 January. See https://www.tu-braunschweig.de/isf/events/fmsple16. GaLoP 2016: Games for Logic and Programming Languages XI, 2-3 April, organized by Paul Levy. Submission deadline: 1-page abstracts 25 January. See http://www.gamesemantics.org/. GaM 2016: 2nd Graphs as Models Workshop, 2-3 April, organized by Anton Wijs, Aleks Kissinger, and Alexander Heußner. Submission deadline: papers, informal presentation and tool demos abstracts 15 January. See http://gam2016.swt-bamberg.de/. HCVS 2016: 3rd Workshop on Horn Clauses for Verification and Synthesis, 3 April, organized by John Gallagher and Philipp Rümmer. Submission deadlines: abstracts 25 January / papers, presentation extended abstracts 1 February. See http://hcvs2016.it.uu.se/. HotSpot 2016: 4th Workshop on Hot Issues in Security Principles and Trust, 3 April, organized Veronique Cortier. Submission deadline: papers 8 January. See http://www.loria.fr/~cortier/HotSpot2016/. MBT 2016: 11th Workshop on Model-Based Testing, 3 April, organized by Alexander K. Petrenko, Holger Schlingloff, and Nikolay Pakulin. MSFP 2016: 6th Workshop on Mathematically Structured Functional Programming, 8 April, organized by Robert Atkey and Neelakantan Krishnaswami. Submission deadlines: abstracts 10 January / papers 17 January. See http://msfp2016.bentnib.org/. PLACES 2016: 9th Workshop on Programming Language Approaches for Concurrency and Communication-cEntric Software, 8 April, organized by Dominic Orchard and Nobuko Yoshida. Submission deadlines: abstracts 8 January / extended abstracts 15 January. See http://places16.by.di.fc.ul.pt. QAPL 2016: 14th International Workshop on Quantitative Aspects of Programming Languages and Systems, 2-3 April, organized by Mirco Tribastone and Herbert Wiklicky. Submission deadline: papers 18 January. See http://qapl16.doc.ic.ac.uk/. RAC 2016: First international workshop on Resource Aware Computing, 2 April, organized by Kerstin Eder and Marko van Eekelen. Submission deadline: papers 11 January. See http://resourceanalysis.cs.ru.nl/rac2016/. SynCop
[TYPES/announce] TYPES 2015 post-proceedings open call for papers (reminder)
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Paper submission deadline 27 Nov 2015. But please let us know of your intent to submit *now*! Open call for papers Post-proceedings of the 21st International Conference on Types for Proofs and Programs, TYPES 2015 Tallinn, Estonia, 18-21 May 2015 BACKGROUND TYPES is a major forum for presenting research on all aspects of type theory and its applications. TYPES 2015 was held 18-21 May 2015 in Tallinn, Estonia. A post-proceedings volume will be published in LIPIcs (Leibniz International Proceedings in Informatics), an open-access series of conference proceedings. http://www.dagstuhl.de/en/publications/lipics Submission to this post-proceedings volume is open to everyone, so also those who did not participate in the conference or did not talk. We would like to invite all researchers that study and apply type theory to share their results. In particular, we welcome submissions on topics from the following list: foundations of type theory and constructive mathematics; applications of type theory; dependently typed programming; industrial uses of type theory technology; meta-theoretic studies of type systems; proof assistants and proof technology; automation in computer-assisted reasoning; links between type theory and functional programming; formalizing mathematics using type theory. IMPORTANT DATES Non-binding intents to submit a paper: (by submitting (a placeholder for) an abstract) 2 October 2015 Papers due: 27 November 2015 Final notifications:27 May 2016 DETAILS * Papers must be formatted with lipics.cls and adhere to the style requirements of LIPIcs. http://www.dagstuhl.de/publikationen/lipics/anleitung-fuer-autoren/ * The recommended length of a paper is 15-25 pages. Submissions significantly longer than 25 pages will not be considered. * Papers must be submitted in pdf through EasyChair: https://www.easychair.org/conferences/?conf=types15postproceedin * Authors have the option to attach to their submission a zip or tgz file containing code (formalized proofs or programs), but reviewers are not obliged to take those attachments into account and they will not be published. EDITOR Tarmo Uustalu, Institute of Cybernetics, Tallinn, Estonia
[TYPES/announce] ETAPS 2016 final call for papers
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] ** CALL FOR PAPERS: ETAPS 2016 19th European Joint Conferences on Theory And Practice of Software Eindhoven, The Netherlands, 2-8 April 2016 http://www.etaps.org/2016 ** -- ABOUT ETAPS -- ETAPS is the primary European forum for academic and industrial researchers working on topics relating to software science. ETAPS, established in 1998, is a confederation of five main annual conferences, accompanied by satellite workshops. ETAPS 2016 is the ninteenth event in the series. -- MAIN CONFERENCES (4-7 April) -- * ESOP: European Symposium on Programming (PC chair Peter Thiemann, Universität Freiburg, Germany) * FASE: Fundamental Approaches to Software Engineering (PC chairs Perdita Stevens, University of Edinburgh, UK, and Andrzej Wasowski, IT University of Copenhagen, Denmark) * FOSSACS: Foundations of Software Science and Computation Structures (PC chairs Bart Jacobs, Radboud Universiteit Nijmegen, The Netherlands, and Christof Löding, RWTH Aachen, Germany) * POST: Principles of Security and Trust (PC chairs Frank Piessens, Katholieke Universiteit Leuven, Belgium, and Luca Viganò, King's College London, UK) * TACAS: Tools and Algorithms for the Construction and Analysis of Systems (PC chairs Marsha Chechik, University of Toronto, Canada, and Jean-François Raskin (Université Libre de Bruxelles, Belgium) TACAS '16 hosts the 5th Competition on Software Verification (SV-COMP). -- INVITED SPEAKERS -- * Unifying speakers: Andrew D. Gordon (MSR Cambridge and University of Edinburgh, UK) Rupak Majumdar (MPI Kaiserslautern, Germany) * ESOP invited speaker: Cristina Lopes (University of California at Irvine, USA) * FASE invited speaker: Oscar Nierstrasz (Universität Bern, Switzerland) * POST invited speaker: Vitaly Shmatikov (University of Texas at Austin, USA) -- IMPORTANT DATES -- * 9 October 2015: Submission deadline for abstracts * 16 October 2015: Submission deadline for full papers * 2-4 December 2015: Author response period (ESOP and FoSSaCS only) * 18 December 2015: Notification of acceptance * 8 January 2016: Camera-ready versions due -- SUBMISSION 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. ESOP and FoSSaCS accept only research papers. 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 of 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 author interface of the respective conference. Submissions not adhering to the specified format and length may be rejected immediately. FASE will try a light-weight double-blind review process (see http://www.etaps.org/2016/fase). - Research papers FASE, FOSSACS and TACAS have a page limit of 15 pp (excluding bibliography of max 2 pp) for research papers, whereas POST allows at most 20 pp (excluding bibliography of max 2 pp) and ESOP 25 pp (excluding bibliography of max 2 pp). Additional material intended for the referees 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 referees are at liberty to ignore appendices and papers must be understandable without them. In addition to regular research papers, TACAS solicits also case study papers (at most 15 pp, excluding bibliography of max 2 pp). Both TACAS and FASE solicit also regular tool papers (at most 15 pp, excluding bibliography of max 2 pp). - 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
[TYPES/announce] TYPES 2015 post-proceedings open call for papers
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Open call for papers Post-proceedings of the 21st International Conference on Types for Proofs and Programs, TYPES 2015 Tallinn, Estonia, 18-21 May 2015 BACKGROUND TYPES is a major forum for presenting research on all aspects of type theory and its applications. TYPES 2015 was held 18-21 May 2015 in Tallinn, Estonia. A post-proceedings volume will be published in LIPIcs (Leibniz International Proceedings in Informatics), an open-access series of conference proceedings. http://www.dagstuhl.de/en/publications/lipics Submission to this post-proceedings volume is open to everyone, so also those who did not participate in the conference or did not talk. We would like to invite all researchers that study and apply type theory to share their results. In particular, we welcome submissions on topics from the following list: foundations of type theory and constructive mathematics; applications of type theory; dependently typed programming; industrial uses of type theory technology; meta-theoretic studies of type systems; proof assistants and proof technology; automation in computer-assisted reasoning; links between type theory and functional programming; formalizing mathematics using type theory. IMPORTANT DATES Non-binding intents to submit a paper: (by submitting (a placeholder for) an abstract) 2 October 2015 Papers due: 27 November 2015 Final notifications:27 May 2016 DETAILS * Papers must be formatted with lipics.cls and adhere to the style requirements of LIPIcs. http://www.dagstuhl.de/publikationen/lipics/anleitung-fuer-autoren/ * The recommended length of a paper is 15-25 pages. Submissions significantly longer than 25 pages will not be considered. * Papers must be submitted in pdf through EasyChair: https://www.easychair.org/conferences/?conf=types15postproceedin * Authors have the option to attach to their submission a zip or tgz file containing code (formalized proofs or programs), but reviewers are not obliged to take those attachments into account and they will not be published. EDITOR Tarmo Uustalu, Institute of Cybernetics, Tallinn, Estonia
[TYPES/announce] ETAPS 2016 2nd call for papers
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] ** CALL FOR PAPERS: ETAPS 2016 19th European Joint Conferences on Theory And Practice of Software Eindhoven, The Netherlands, 2-8 April 2016 http://www.etaps.org/2016 ** -- ABOUT ETAPS -- ETAPS is the primary European forum for academic and industrial researchers working on topics relating to software science. ETAPS, established in 1998, is a confederation of five main annual conferences, accompanied by satellite workshops. ETAPS 2016 is the ninteenth event in the series. -- MAIN CONFERENCES (4-7 April) -- * ESOP: European Symposium on Programming (PC chair Peter Thiemann, Universität Freiburg, Germany) * FASE: Fundamental Approaches to Software Engineering (PC chairs Perdita Stevens, University of Edinburgh, UK, and Andrzej Wasowski, IT University of Copenhagen, Denmark) * FOSSACS: Foundations of Software Science and Computation Structures (PC chairs Bart Jacobs, Radboud Universiteit Nijmegen, The Netherlands, and Christof Löding, RWTH Aachen, Germany) * POST: Principles of Security and Trust (PC chairs Frank Piessens, Katholieke Universiteit Leuven, Belgium, and Luca Viganò, King's College London, UK) * TACAS: Tools and Algorithms for the Construction and Analysis of Systems (PC chairs Marsha Chechik, University of Toronto, Canada, and Jean-François Raskin (Université Libre de Bruxelles, Belgium) TACAS '16 hosts the 5th Competition on Software Verification (SV-COMP). -- INVITED SPEAKERS -- * Unifying speakers: Andrew D. Gordon (MSR Cambridge and University of Edinburgh, UK) Rupak Majumdar (MPI Kaiserslautern, Germany) * ESOP invited speaker: Cristina Lopes (University of California at Irvine, USA) * FASE invited speaker: Oscar Nierstrasz (Universität Bern, Switzerland) * POST invited speaker: Vitaly Shmatikov (University of Texas at Austin, USA) -- IMPORTANT DATES -- * 9 October 2015: Submission deadline for abstracts * 16 October 2015: Submission deadline for full papers * 2-4 December 2015: Author response period (ESOP and FoSSaCS only) * 18 December 2015: Notification of acceptance * 8 January 2016: Camera-ready versions due -- SUBMISSION 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. ESOP and FoSSaCS accept only research papers. 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 of 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 author interface of the respective conference. Submissions not adhering to the specified format and length may be rejected immediately. FASE will try a light-weight double-blind review process (see http://www.etaps.org/2016/fase). - Research papers FASE, FOSSACS and TACAS have a page limit of 15 pp (excluding bibliography of max 2 pp) for research papers, whereas POST allows at most 20 pp (excluding bibliography of max 2 pp) and ESOP 25 pp (excluding bibliography of max 2 pp). Additional material intended for the referees 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 referees are at liberty to ignore appendices and papers must be understandable without them. In addition to regular research papers, TACAS solicits also case study papers (at most 15 pp, excluding bibliography of max 2 pp). Both TACAS and FASE solicit also regular tool papers (at most 15 pp, excluding bibliography of max 2 pp). - 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
[TYPES/announce] ETAPS 2016 call for papers
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] ** CALL FOR PAPERS: ETAPS 2016 19th European Joint Conferences on Theory And Practice of Software Eindhoven, The Netherlands, 2-8 April 2016 http://www.etaps.org/2016 ** -- ABOUT ETAPS -- ETAPS is the primary European forum for academic and industrial researchers working on topics relating to software science. ETAPS, established in 1998, is a confederation of five main annual conferences, accompanied by satellite workshops. ETAPS 2016 is the nineteenth event in the series. -- MAIN CONFERENCES (4-7 April) -- * ESOP: European Symposium on Programming (PC chair Peter Thiemann, Universität Freiburg, Germany) * FASE: Fundamental Approaches to Software Engineering (PC chairs Perdita Stevens, University of Edinburgh, UK, and Andrzej Wasowski, IT University of Copenhagen, Denmark) * FOSSACS: Foundations of Software Science and Computation Structures (PC chairs Bart Jacobs, Radboud Universiteit Nijmegen, The Netherlands, and Christof Löding, RWTH Aachen, Germany) * POST: Principles of Security and Trust (PC chairs Frank Piessens, Katholieke Universiteit Leuven, Belgium, and Luca Viganò, King's College London, UK) * TACAS: Tools and Algorithms for the Construction and Analysis of Systems (PC chairs Marsha Chechik, University of Toronto, Canada, and Jean-François Raskin (Université Libre de Bruxelles, Belgium) TACAS '16 hosts the 5th Competition on Software Verification (SV-COMP). -- INVITED SPEAKERS -- * Unifying speakers: Andrew D. Gordon (MSR Cambridge and University of Edinburgh, UK) Rupak Majumdar (MPI Kaiserslautern, Germany) * ESOP invited speaker: Cristina Lopes (University of California at Irvine, USA) * FASE invited speaker: Oscar Nierstrasz (Universität Bern, Switzerland) * POST invited speaker: Vitaly Shmatikov (University of Texas at Austin, USA) -- IMPORTANT DATES -- * 9 October 2015: Submission deadline for abstracts * 16 October 2015: Submission deadline for full papers * 2-4 December 2015: Author response period (ESOP and FoSSaCS only) * 18 December 2015: Notification of acceptance * 8 January 2016: Camera-ready versions due -- SUBMISSION 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. ESOP and FoSSaCS accept only research papers. 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 of 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 author interface of the respective conference. Submissions not adhering to the specified format and length may be rejected immediately. FASE will try a light-weight double-blind review process (see http://www.etaps.org/2016/fase). - Research papers FASE, FOSSACS and TACAS have a page limit of 15 pp (excluding bibliography of max 2 pp) for research papers, whereas POST allows at most 20 pp (excluding bibliography of max 2 pp) and ESOP 25 pp (excluding bibliography of max 2 pp). Additional material intended for the referees 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 referees are at liberty to ignore appendices and papers must be understandable without them. In addition to regular research papers, TACAS solicits also case study papers (at most 15 pp, excluding bibliography of max 2 pp). Both TACAS and FASE solicit also regular tool papers (at most 15 pp, excluding bibliography of max 2 pp). - 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
[TYPES/announce] ETAPS 2016 last call for workshops
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] [We are soliciting workshop proposals for ETAPS 2016 in Eindhoven. The proposal submission deadline of 29 March is approaching.] 19th European Joint Conferences on Theory and Practice of Software ETAPS 2016 Eindhoven, The Netherlands, April 2-8, 2016 http://www.etaps.org/2016/ Call for Satellite Events -- ABOUT ETAPS -- The European Joint Conferences on Theory and Practice of Software (ETAPS) is the primary European forum for academic and industrial researchers working on topics relating to Software Science. ETAPS is an annual event which takes place in Europe each spring since 1998. The nineteenth conference, ETAPS 2016, will take place April 2-8, 2016 in Eindhoven, The Netherlands. ETAPS main conferences will take place on April 4-7, 2016. They are: + ESOP: European Symposium on Programming, + FASE: Fundamental Approaches to Software Engineering, + FOSSACS: Foundations of Software Science and Computation Structures, + POST: Principles of Security and Trust, + TACAS: Tools and Algorithms for the Construction and Analysis of Systems. -- SATELLITE EVENTS -- The ETAPS 2016 organizing committee invites proposals for satellite events (workshops etc.) that will complement the main conferences. They should fall within the scope of ETAPS. This encompasses all aspects of the system development process, including specification, design, implementation, analysis and improvement, as well as the languages, methodologies and tools which support these activities, covering a spectrum from practically-motivated theory to soundly-based practice. Satellite events provide an opportunity to discuss and report on emerging research approaches and practical experience relevant to theory and practice of software. ETAPS 2016 satellite events will be held immediately before and after the main conferences, on April 2-3 and April 8, 2016. -- ARRANGEMENTS FOR SATELLITE EVENTS -- The organizers of an ETAPS 2016 satellite are expected to: + create and maintain a website for the event, + form a PC, produce a call for papers for the event (if appropriate), + advertise the event through specialist mailing lists etc. to complement the publicity of ETAPS, + review the submissions received and make acceptance decisions, + prepare an informal (pre)proceedings for the event (if appropriate), + prepare the event's program complying with any scheduling constraints defined by the ETAPS 2016 organizing committee, + prepare and organize the publication of a formal (post-)proceedings (if desired). The ETAPS 2016 organizing committee will: + promote the event on the website and in the publicity material of ETAPS 2016, + integrate the event's program into the overall program of the conference, + arrange registration for the event as a component of registration for ETAPS, collect a participation fee from the registrants, + produce a compilation USB memory stick of the informal (pre-) proceedings of the satellite events of ETAPS 2016 and distribute this to the registrants, + provide the event with a meeting room of an appropriate size, A/V equipment, coffee breaks and possibly lunch(es). As a rule, ETAPS will not contribute toward the travel or accommodation costs of invited speakers or organizers of satellite events. -- SUBMISSION OF SATELLITE EVENT PROPOSALS -- Researchers and practitioners wishing to organize satellite events are invited to submit proposals to the workshop co-chairs Julien Schmaltz and Erik de Vink using this web form: http://eptcs.web.cse.unsw.edu.au/ETAPS/ The following information is requested: + the name and acronym of the satellite event, + the names and contact information of the organizers, + the duration of the event: one or two days, + the preferred period: April 2, April 3, April 8 or April 2-3, + the expected number of participants, + a brief description (120 words approximately) of the event topic for the website and publicity material of ETAPS 2016, + a brief explanation of the event topic and its relevance to ETAPS, + an explanation of the selection procedure of contributions to the event, the PC chair and members, if known already, information about past editions of the event, if applicable, + any other relevant information, like a special event format, invited speakers, demo sessions, special space requirements, etc., + a tentative schedule for paper submission, notification of acceptance and final versions for the (informal pre-)proceedings (the ETAPS 2016 organizing committee will need the final files by March 12, 2016), + the plans for formal publication (no formal publication, formal proceedings ready by the event, formal post-proceedings, publication venue - EPTCS or elsewhere). The proposals will be evaluated by the ETAPS
[TYPES/announce] TYPES 2015 submission deadline extended
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] [Submission deadline extended by a week to 20 March 2015. Consider contributing!] CALL FOR CONTRIBUTIONS 21st International Conference on Types for Proofs and Programs, TYPES 2015 Tallinn, Estonia, 18-21 May 2015 http://cs.ioc.ee/types15/ Background The TYPES meetings are a forum to present new and on-going work in all aspects of type theory and its applications, especially in formalized and computer assisted reasoning and computer programming. The meetings from 1990 to 2008 were annual workshops of a sequence of five EU funded networking projects. Since 2009, TYPES has been run as an independent conference series. Previous TYPES meetings were held in Antibes (1990), Edinburgh (1991), Båstad (1992), Nijmegen (1993), Båstad (1994), Torino (1995), Aussois (1996), Kloster Irsee (1998), Lökeberg (1999), Durham (2000), Berg en Dal near Nijmegen (2002), Torino (2003), Jouy en Josas near Paris (2004), Nottingham (2006), Cividale del Friuli (2007), Torino (2008), Aussois (2009), Warsaw (2010), Bergen (2011), Toulouse (2013), Paris (2014). The TYPES areas of interest include, but are not limited to: foundations of type theory and constructive mathematics; applications of type theory; dependently typed programming; industrial uses of type theory technology; meta-theoretic studies of type systems; proof assistants and proof technology; automation in computer-assisted reasoning; links between type theory and functional programming; formalizing mathematics using type theory. We encourage talks proposing new ways of applying type theory. Invited speakers Gilles Barthe (IMDEA Software) Andrej Bauer (University of Ljubljana) Peter Selinger (Dalhousie University) Tutorials Joachim Kock (Universitat Autònoma de Barcelona) Peter LeFanu Lumsdaine (Stockholm University) Contributed talks We solicit contributed talks. Selection of those will be based on extended abstracts/short papers of 2 pp formatted with easychair.cls. Submission is via EasyChair by 20 March 2015. The authors will be notified of acceptance/rejection by 10 April 2015. Camera-ready versions of the accepted contributions, due by 1 May 2015, will be published in an informal book of abstracts for distribution at the workshop. Post-proceedings Similarly to TYPES 2011, 2013, 2014, we will publish a post-proceedings in the Leibniz International Proceedings in Informatics (LIPIcs) series. Submission to that volume will be open for everyone. Tentative submission deadline: mid-September 2015. Programme committee Andrea Asperti (Università di Bologna) Robert Atkey (University of Edinburgh) Ulrich Berger (Swansea University) Jean-Philippe Bernardy (Chalmers University of Technology) Edwin Brady (University of St Andrews) Joëlle Despeyroux (INRIA Sophia Antipolis - Méditerranée) Herman Geuvers (Radboud Universiteit Nijmegen) Sam Lindley (University of Edinburgh) Assia Mahboubi (INRIA Saclay - Île-de-France) Ralph Matthes (IRIT, CNRS and Université Paul Sabatier) Aleksandar Nanevski (IMDEA Software) Christine Paulin-Mohring (LRI, Université Paris-Sud) Simona Ronchi Della Rocca (Università di Torino) Ulrich Schöpp (Ludwig-Maximilians-Universität München) Bas Spitters (Carnegie Mellon University) Pawel Urzyczyn (University of Warsaw) Tarmo Uustalu (Institute of Cybernetics, Tallinn) (chair) Organizers Logic and semantics group, Institute of Cybernetics, Tallinn Sponsors ERDF via EXCS, the Estonian Centre of Excellence in Computer Science
[TYPES/announce] ETAPS 2015 final call for participation
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] [Tutorials information added. Note that normal-rate registration ends 10 March.] ** CALL FOR PARTICIPATION ETAPS 2015 18th European Joint Conferences on Theory And Practice of Software London, UK, 11-18 April 2015 http://www.etaps.org/ ** -- ABOUT ETAPS -- The European Joint Conferences on Theory And Practice of Software (ETAPS) is the primary European forum for academic and industrial researchers working on topics relating to software science. ETAPS, established in 1998, is a confederation of six main annual conferences, accompanied by satellite workshops. ETAPS 2015 is already the eighteenth event in the series. -- MAIN CONFERENCES (13-17 April) -- * CC: Compiler Construction * ESOP: European Symposium on Programming * FASE: Fundamental Approaches to Software Engineering * FOSSACS: Foundations of Software Science and Computation Structures * POST: Principles of Security and Trust * TACAS: Tools and Algorithms for the Construction and Analysis of Systems -- INVITED TALKS -- Unifying speakers: Daniel Licata (Wesleyan University, USA) Catuscia Palamidessi (INRIA Saclay and LIX, France) CC invited speaker: Keshav Pingali (University of Texas, USA) FoSSaCS invited speaker: Frank Pfenning (Carnegie Mellon University, USA) TACAS invited speaker: Wang Yi (Uppsala University, Sweden) -- TUTORIALS Daniel J. Bernstein (U. of Illinois at Chicago, USA / Technische Universiteit Eindhoven, The Netherlands): The death of optimizing compilers Florian Kirchner (CEA, France): Keep calm and verify your software: an overview of the Frama-C platform -- CONTRIBUTED PAPERS See the accepted paper lists and the programme of the main conferences at the conference website. -- SATELLITE EVENTS (11-12 and 18 April) -- 17 satellite workshops will take place before or after ETAPS 2015. GALOP, GaM, QAPL (11-12 April) FMSPLE, FOPARA, SynCop, VPT (11 April) DICE, FESCA, VerifyThis, WoC, WPLI (12 April) HotSpot, MBT, PLACES, TTATT, TPDP (18 April) -- REGISTRATION Early registration is until Saturday, 14 February 2015. Normal-rate registration is until Tuesday, 10 March 2015. -- ACCOMMODATION We request that participants arrange their accommodation on their own. See our recommendations on the website. -- HOST CITY -- London is one of the most visited and cosmopolitan cities on earth. It is a leading global city, with strengths in the arts, commerce, education, entertainment, fashion, finance, healthcare, media, professional services, research and development, tourism and transport all contributing to its prominence. It can be reached by more people, from more destinations, in less time, than any other destination in the world. -- ORGANIZERS General chairs: Pasquale Malacaria, Nikos Tzevelekos Workshop chair: Paulo Oliva Publicity chairs: Michael Tautschnig and Greta Yorsh Further organizers: Dino Distefano, Edmund Robinson and Mehrnoosh Sadrzadeh --- HOST INSTITUTION Queen Mary University of London -- FURTHER INFORMATION -- Please do not hesitate to contact the organizers at etaps2...@qmul.ac.uk
[TYPES/announce] TYPES 2015 final call for contributions
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] [Selection of talks based on abstracts (2 pp easychair.cls) due 13 March 2015! A post-proceedings volume in LIPIcs, with an open call.] CALL FOR CONTRIBUTIONS 21st International Conference on Types for Proofs and Programs, TYPES 2015 Tallinn, Estonia, 18-21 May 2015 http://cs.ioc.ee/types15/ Background The TYPES meetings are a forum to present new and on-going work in all aspects of type theory and its applications, especially in formalized and computer assisted reasoning and computer programming. The meetings from 1990 to 2008 were annual workshops of a sequence of five EU funded networking projects. Since 2009, TYPES has been run as an independent conference series. Previous TYPES meetings were held in Antibes (1990), Edinburgh (1991), Båstad (1992), Nijmegen (1993), Båstad (1994), Torino (1995), Aussois (1996), Kloster Irsee (1998), Lökeberg (1999), Durham (2000), Berg en Dal near Nijmegen (2002), Torino (2003), Jouy en Josas near Paris (2004), Nottingham (2006), Cividale del Friuli (2007), Torino (2008), Aussois (2009), Warsaw (2010), Bergen (2011), Toulouse (2013), Paris (2014). The TYPES areas of interest include, but are not limited to: foundations of type theory and constructive mathematics; applications of type theory; dependently typed programming; industrial uses of type theory technology; meta-theoretic studies of type systems; proof assistants and proof technology; automation in computer-assisted reasoning; links between type theory and functional programming; formalizing mathematics using type theory. We encourage talks proposing new ways of applying type theory. Invited speakers Gilles Barthe (IMDEA Software) Andrej Bauer (University of Ljubljana) Peter Selinger (Dalhousie University) Tutorials Joachim Kock (Universitat Autònoma de Barcelona) Peter LeFanu Lumsdaine (Stockholm University) Contributed talks We solicit contributed talks. Selection of those will be based on extended abstracts/short papers of 2 pp formatted with easychair.cls. Submission is via EasyChair by 13 March 2015. The authors will be notified of acceptance/rejection by 3 April 2015. Camera-ready versions of the accepted contributions, due by 24 April 2015, will be published in an informal book of abstracts for distribution at the workshop. Post-proceedings Similarly to TYPES 2011, 2013, 2014, we will publish a post-proceedings in the Leibniz International Proceedings in Informatics (LIPIcs) series. Submission to that volume will be open for everyone. Tentative submission deadline: mid-September 2015. Programme committee Andrea Asperti (Università di Bologna) Robert Atkey (University of Edinburgh) Ulrich Berger (Swansea University) Jean-Philippe Bernardy (Chalmers University of Technology) Edwin Brady (University of St Andrews) Joëlle Despeyroux (INRIA Sophia Antipolis - Méditerranée) Herman Geuvers (Radboud Universiteit Nijmegen) Sam Lindley (University of Edinburgh) Assia Mahboubi (INRIA Saclay - Île-de-France) Ralph Matthes (IRIT, CNRS and Université Paul Sabatier) Aleksandar Nanevski (IMDEA Software) Christine Paulin-Mohring (LRI, Université Paris-Sud) Simona Ronchi Della Rocca (Università di Torino) Ulrich Schöpp (Ludwig-Maximilians-Universität München) Bas Spitters (Carnegie Mellon University) Pawel Urzyczyn (University of Warsaw) Tarmo Uustalu (Institute of Cybernetics, Tallinn) (chair) Organizers Logic and semantics group, Institute of Cybernetics, Tallinn Sponsors ERDF via EXCS, the Estonian Centre of Excellence in Computer Science
[TYPES/announce] ETAPS 2016 call for satellite events
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] 19th European Joint Conferences on Theory and Practice of Software ETAPS 2016 Eindhoven, The Netherlands, April 2-8, 2016 http://www.etaps.org/2016/ Call for Satellite Events -- ABOUT ETAPS -- The European Joint Conferences on Theory and Practice of Software (ETAPS) is the primary European forum for academic and industrial researchers working on topics relating to Software Science. ETAPS is an annual event which takes place in Europe each spring since 1998. The nineteenth conference, ETAPS 2016, will take place April 2-8, 2016 in Eindhoven, The Netherlands. ETAPS main conferences will take place on April 4-7, 2016. They are: + ESOP: European Symposium on Programming, + FASE: Fundamental Approaches to Software Engineering, + FOSSACS: Foundations of Software Science and Computation Structures, + POST: Principles of Security and Trust, + TACAS: Tools and Algorithms for the Construction and Analysis of Systems. -- SATELLITE EVENTS -- The ETAPS 2016 organizing committee invites proposals for satellite events (workshops etc.) that will complement the main conferences. They should fall within the scope of ETAPS. This encompasses all aspects of the system development process, including specification, design, implementation, analysis and improvement, as well as the languages, methodologies and tools which support these activities, covering a spectrum from practically-motivated theory to soundly-based practice. Satellite events provide an opportunity to discuss and report on emerging research approaches and practical experience relevant to theory and practice of software. ETAPS 2016 satellite events will be held immediately before and after the main conferences, on April 2-3 and April 8, 2016. -- ARRANGEMENTS FOR SATELLITE EVENTS -- The organizers of an ETAPS 2016 satellite are expected to: + create and maintain a website for the event, + form a PC, produce a call for papers for the event (if appropriate), + advertise the event through specialist mailing lists etc. to complement the publicity of ETAPS, + review the submissions received and make acceptance decisions, + prepare an informal (pre)proceedings for the event (if appropriate), + prepare the event's program complying with any scheduling constraints defined by the ETAPS 2016 organizing committee, + prepare and organize the publication of a formal (post-)proceedings (if desired). The ETAPS 2016 organizing committee will: + promote the event on the website and in the publicity material of ETAPS 2016, + integrate the event's program into the overall program of the conference, + arrange registration for the event as a component of registration for ETAPS, collect a participation fee from the registrants, + produce a compilation USB memory stick of the informal (pre-) proceedings of the satellite events of ETAPS 2016 and distribute this to the registrants, + provide the event with a meeting room of an appropriate size, A/V equipment, coffee breaks and possibly lunch(es). As a rule, ETAPS will not contribute toward the travel or accommodation costs of invited speakers or organizers of satellite events. -- SUBMISSION OF SATELLITE EVENT PROPOSALS -- Researchers and practitioners wishing to organize satellite events are invited to submit proposals to the workshop co-chairs Julien Schmaltz and Erik de Vink using this web form. A proposal should not exceed two pages and should include: + the name and acronym of the satellite event, + the names and contact information of the organizers, + the duration of the event: one or two days, + the preferred period: April 2, April 3, April 8 or April 2-3, + the expected number of participants, + a brief description (120 words approximately) of the event topic for the website and publicity material of ETAPS 2016, + a brief explanation of the event topic and its relevance to ETAPS, + an explanation of the selection procedure of contributions to the event, the PC chair and members, if known already, information about past editions of the event, if applicable, + any other relevant information, like a special event format, invited speakers, demo sessions, special space requirements, etc., + a tentative schedule for paper submission, notification of acceptance and final versions for the (informal pre-)proceedings (the ETAPS 2016 organizing committee will need the final files by March 12, 2016), + the plans for formal publication (no formal publication, formal proceedings ready by the event, formal post-proceedings, publication venue - EPTCS or elsewhere). The proposals will be evaluated by the ETAPS 2016 organizing committee on the basis of their assessed benefit for prospective participants of ETAPS 2016. Prospective organizers may wish to consult the
[TYPES/announce] ETAPS 2015 call for participation
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] ** CALL FOR PARTICIPATION ETAPS 2015 18th European Joint Conferences on Theory And Practice of Software London, UK, 11-18 April 2015 http://www.etaps.org/ ** -- ABOUT ETAPS -- The European Joint Conferences on Theory And Practice of Software (ETAPS) is the primary European forum for academic and industrial researchers working on topics relating to software science. ETAPS, established in 1998, is a confederation of six main annual conferences, accompanied by satellite workshops. ETAPS 2015 is already the eighteenth event in the series. -- MAIN CONFERENCES (13-17 April) -- * CC: Compiler Construction * ESOP: European Symposium on Programming * FASE: Fundamental Approaches to Software Engineering * FOSSACS: Foundations of Software Science and Computation Structures * POST: Principles of Security and Trust * TACAS: Tools and Algorithms for the Construction and Analysis of Systems -- INVITED TALKS -- Unifying speakers: Daniel Licata (Wesleyan University, USA) Catuscia Palamidessi (INRIA Saclay and LIX, France) CC invited speaker: Keshav Pingali (University of Texas, USA) FoSSaCS invited speaker: Frank Pfenning (Carnegie Mellon University, USA) TACAS invited speaker: Wang Yi (Uppsala University, Sweden) -- CONTRIBUTED PAPERS See the accepted paper lists and the programme of the main conferences at the conference website. -- SATELLITE EVENTS (11-12 and 18 April) -- 17 satellite workshops will take place before or after ETAPS 2015. GALOP, GaM, QAPL (11-12 April) FMSPLE, FOPARA, SynCop, VPT (11 April) DICE, FESCA, VerifyThis, WoC, WPLI (12 April) HotSpot, MBT, PLACES, TTATT, TPDP (18 April) -- REGISTRATION Early registration is until Saturday, 14 February 2015. Normal-rate registration is until Tuesday, 10 March 2015. -- ACCOMMODATION We request that participants arrange their accommodation on their own. See our recommendations on the website. -- HOST CITY -- London is one of the most visited and cosmopolitan cities on earth. It is a leading global city, with strengths in the arts, commerce, education, entertainment, fashion, finance, healthcare, media, professional services, research and development, tourism and transport all contributing to its prominence. It can be reached by more people, from more destinations, in less time, than any other destination in the world. -- ORGANIZERS General chairs: Pasquale Malacaria, Nikos Tzevelekos Workshop chair: Paulo Oliva Publicity chairs: Michael Tautschnig and Greta Yorsh Further organizers: Dino Distefano, Edmund Robinson and Mehrnoosh Sadrzadeh --- HOST INSTITUTION Queen Mary University of London -- FURTHER INFORMATION -- Please do not hesitate to contact the organizers at etaps2...@qmul.ac.uk
[TYPES/announce] TYPES 2015 2nd call for contributions
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Reminder: Abstracts (2 pp easychair.cls) due by 13 March 2015 News: Tutorials by Joachim Kock and Peter LeFanu Lumsdaine. Post-proceedings volume in LIPIcs confirmed. CALL FOR CONTRIBUTIONS 21st International Conference on Types for Proofs and Programs, TYPES 2015 Tallinn, Estonia, 18-21 May 2015 http://cs.ioc.ee/types15/ Background The TYPES meetings are a forum to present new and on-going work in all aspects of type theory and its applications, especially in formalized and computer assisted reasoning and computer programming. The meetings from 1990 to 2008 were annual workshops of a sequence of five EU funded networking projects. Since 2009, TYPES has been run as an independent conference series. Previous TYPES meetings were held in Antibes (1990), Edinburgh (1991), Båstad (1992), Nijmegen (1993), Båstad (1994), Torino (1995), Aussois (1996), Kloster Irsee (1998), Lökeberg (1999), Durham (2000), Berg en Dal near Nijmegen (2002), Torino (2003), Jouy en Josas near Paris (2004), Nottingham (2006), Cividale del Friuli (2007), Torino (2008), Aussois (2009), Warsaw (2010), Bergen (2011), Toulouse (2013), Paris (2014). The TYPES areas of interest include, but are not limited to: foundations of type theory and constructive mathematics; applications of type theory; dependently typed programming; industrial uses of type theory technology; meta-theoretic studies of type systems; proof assistants and proof technology; automation in computer-assisted reasoning; links between type theory and functional programming; formalizing mathematics using type theory. We encourage talks proposing new ways of applying type theory. Invited speakers Gilles Barthe (IMDEA Software) Andrej Bauer (University of Ljubljana) Peter Selinger (Dalhousie University) Tutorials Joachim Kock (Universitat Autònoma de Barcelona) Peter LeFanu Lumsdaine (Stockholm University) Contributed talks We solicit contributed talks. Selection of those will be based on extended abstracts/short papers of 2 pp formatted with easychair.cls. Submission is via EasyChair by 13 March 2015. The authors will be notified of acceptance/rejection by 3 April 2015. Camera-ready versions of the accepted contributions, due by 24 April 2015, will be published in an informal book of abstracts for distribution at the workshop. Post-proceedings Similarly to TYPES 2011, 2013, 2014, we will publish a post-proceedings in the Leibniz International Proceedings in Informatics (LIPIcs) series. Submission to that volume will be open for everyone. Tentative submission deadline: mid-September 2015. Programme committee Andrea Asperti (Università di Bologna) Robert Atkey (University of Edinburgh) Ulrich Berger (Swansea University) Jean-Philippe Bernardy (Chalmers University of Technology) Edwin Brady (University of St Andrews) Joëlle Despeyroux (INRIA Sophia Antipolis - Méditerranée) Herman Geuvers (Radboud Universiteit Nijmegen) Sam Lindley (University of Edinburgh) Assia Mahboubi (INRIA Saclay - Île-de-France) Ralph Matthes (IRIT, CNRS and Université Paul Sabatier) Aleks Nanevski (IMDEA Software) Christine Paulin-Mohring (LRI, Université Paris-Sud) Simona Ronchi Della Rocca (Università di Torino) Ulrich Schöpp (Ludwig-Maximilians-Universität München) Bas Spitters (Carnegie Mellon University) Pawel Urzyczyn (University of Warsaw) Tarmo Uustalu (Institute of Cybernetics, Tallinn) (chair) Organizers Logic and semantics group, Institute of Cybernetics, Tallinn Sponsors ERDF via EXCS, the Estonian Centre of Excellence in Computer Science
[TYPES/announce] TYPES 2015 call for contributions
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] CALL FOR CONTRIBUTIONS 21st International Conference on Types for Proofs and Programs, TYPES 2015 Tallinn, Estonia, 18-21 May 2015 http://cs.ioc.ee/types15/ Background The TYPES meetings are a forum to present new and on-going work in all aspects of type theory and its applications, especially in formalized and computer assisted reasoning and computer programming. The meetings from 1990 to 2008 were annual workshops of a sequence of five EU funded networking projects. Since 2009, TYPES has been run as an independent conference series. Previous TYPES meetings were held in Antibes (1990), Edinburgh (1991), Båstad (1992), Nijmegen (1993), Båstad (1994), Torino (1995), Aussois (1996), Kloster Irsee (1998), Lökeberg (1999), Durham (2000), Berg en Dal near Nijmegen (2002), Torino (2003), Jouy en Josas near Paris (2004), Nottingham (2006), Cividale del Friuli (2007), Torino (2008), Aussois (2009), Warsaw (2010), Bergen (2011), Toulouse (2013), Paris (2014). The TYPES areas of interest include, but are not limited to: foundations of type theory and constructive mathematics; applications of type theory; dependently typed programming; industrial uses of type theory technology; meta-theoretic studies of type systems; proof assistants and proof technology; automation in computer-assisted reasoning; links between type theory and functional programming; formalizing mathematics using type theory. We encourage talks proposing new ways of applying type theory. Invited speakers Gilles Barthe (IMDEA Software) Andrej Bauer (University of Ljubljana) Peter Selinger (Dalhousie University) Contributed talks We solicit contributed talks. Selection of those will be based on extended abstracts/short papers of 2 pp formatted with easychair.cls. Submission is via EasyChair by 13 March 2015. The authors will be notified of acceptance/rejection by 3 April 2015. Camera-ready versions of the accepted contributions, due by 24 April 2015, will be published in an informal book of abstracts for distribution at the workshop. Post-proceedings Similarly to TYPES 2011, 2013, 2014, we intend to publish a post-proceedings volume in the Leibniz International Proceedings in Informatics (LIPiCS) series (subject to successful negotiation with Dagstuhl Publishing). Submission to that volume would be open for everyone. Tentative submission deadline: mid-September 2015. Programme committee Andrea Asperti (Università di Bologna) Robert Atkey (University of Edinburgh) Ulrich Berger (Swansea University) Jean-Philippe Bernardy (Chalmers University of Technology) Edwin Brady (University of St Andrews) Joëlle Despeyroux (INRIA Sophia Antipolis - Méditerranée) Herman Geuvers (Radboud Universiteit Nijmegen) Sam Lindley (University of Edinburgh) Assia Mahboubi (INRIA Saclay - Île-de-France) Ralph Matthes (IRIT, Université Paul Sabatier) Aleks Nanevski (IMDEA Software) Christine Paulin-Mohring (LRI, Université Paris-Sud) Simona Ronchi Della Rocca (Università di Torino) Ulrich Schöpp (Ludwig-Maximilians-Universität München) Bas Spitters (Carnegie Mellon University) Pawel Urzyczyn (University of Warsaw) Tarmo Uustalu (Institute of Cybernetics, Tallinn) (chair) Organizers Logic and semantics group, Institute of Cybernetics, Tallinn Sponsors ERDF via EXCS, the Estonian Centre of Excellence in Computer Science
[TYPES/announce] ETAPS 2015 final call for papers
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] ** CALL FOR PAPERS: ETAPS 2015 18th European Joint Conferences on Theory And Practice of Software London, UK, 11-18 April 2015 http://www.etaps.org/2015 ** -- ABOUT ETAPS -- ETAPS is the primary European forum for academic and industrial researchers working on topics relating to software science. ETAPS, established in 1998, is a confederation of six main annual conferences, accompanied by satellite workshops. ETAPS 2015 is the eighteenth event in the series. -- MAIN CONFERENCES (13-17 April) -- * CC: Compiler Construction (PC chair Björn Franke, University of Edinburgh, UK) * ESOP: European Symposium on Programming (PC chair Jan Vitek, Northeastern University, USA) * FASE: Fundamental Approaches to Software Engineering (PC chairs Alexander Egyed, Johannes Kepler U Linz, Austria, and Ina Schaefer, Technische Universität Braunschweig, Germany) * FOSSACS: Foundations of Software Science and Computation Structures (PC chair Andrew Pitts, University of Cambridge, UK) * POST: Principles of Security and Trust (PC chairs Riccardo Focardi, Università Ca' Foscari Venezia, Italy, and Andrew Myers, Cornell University, USA) * TACAS: Tools and Algorithms for the Construction and Analysis of Systems (PC chairs Christel Baier, Technische Univ Dresden, Germany, and Cesare Tinelli, The University of Iowa, USA) TACAS '15 will host the 4rd Competition on Software Verification (SV-COMP). -- INVITED SPEAKERS -- * Unifying speakers: Robert Harper (Carnegie Mellon University, USA) Catuscia Palamidessi (INRIA Saclay and LIX, France) * CC invited speaker: Keshav Pingali (University of Texas, USA) * FoSSaCS invited speaker: Frank Pfenning (Carnegie Mellon University, USA) * TACAS invited speaker: Wang Yi (Uppsala Universitet, Sweden) -- IMPORTANT DATES -- * 10 October 2014: Submission deadline for abstracts * 17 October 2014: Submission deadline for full papers * 3-5 December 2014: Author response period (ESOP and FoSSaCS only) * 19 December 2014: Notification of acceptance * 16 January 2015: Camera-ready versions due -- SUBMISSION 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. ESOP and FoSSaCS accept only research papers. TACAS has more paper categories (see http://www.etaps.org/2015/tacas). 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 of Springer's Lecture Notes in Computer Science series. Papers must follow the formatting guidelines specified by Springer at http://www.springer.de/comp/lncs/authors.html and be submitted electronically in pdf through the EasyChair author interface of the respective conference (HotCRP for ESOP). Submissions not adhering to the specified format and length may be rejected immediately. - Research papers FASE, FOSSACS and TACAS have a page limit of 15 pages for research papers, whereas CC, POST allow at most 20 pages and ESOP 25 pages. Additional material intended for the referees 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 referees are at liberty to ignore appendices and papers must be understandable without them. In addition to regular research papers, TACAS solicits also case study papers (at most 15 pages). Both TACAS and FASE solicit also regular tool papers (at most 15 pages). - 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
[TYPES/announce] ETAPS 2015 2nd call for papers
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] ** CALL FOR PAPERS: ETAPS 2015 18th European Joint Conferences on Theory And Practice of Software London, UK, 11-18 April 2015 http://www.etaps.org/2015 ** -- ABOUT ETAPS -- ETAPS is the primary European forum for academic and industrial researchers working on topics relating to software science. ETAPS, established in 1998, is a confederation of six main annual conferences, accompanied by satellite workshops. ETAPS 2015 is the eighteenth event in the series. -- MAIN CONFERENCES (13-17 April) -- * CC: Compiler Construction (PC chair Björn Franke, University of Edinburgh, UK) * ESOP: European Symposium on Programming (PC chair Jan Vitek, Northeastern University, USA) * FASE: Fundamental Approaches to Software Engineering (PC chairs Alexander Egyed, Johannes Kepler U Linz, Austria, and Ina Schaefer, Technische Universität Braunschweig, Germany) * FOSSACS: Foundations of Software Science and Computation Structures (PC chair Andrew Pitts, University of Cambridge, UK) * POST: Principles of Security and Trust (PC chairs Riccardo Focardi, Università Ca' Foscari Venezia, Italy, and Andrew Myers, Cornell University, USA) * TACAS: Tools and Algorithms for the Construction and Analysis of Systems (PC chairs Christel Baier, Technische Univ Dresden, Germany, and Cesare Tinelli, The University of Iowa, USA) TACAS '15 will host the 4rd Competition on Software Verification (SV-COMP). -- INVITED SPEAKERS -- * Unifying speakers: Robert Harper (Carnegie Mellon University, USA) Catuscia Palamidessi (INRIA Saclay and LIX, France) * CC invited speaker: Keshav Pingali (University of Texas, USA) * FoSSaCS invited speaker: Frank Pfenning (Carnegie Mellon University, USA) * TACAS invited speaker: Wang Yi (Uppsala Universitet, Sweden) -- IMPORTANT DATES -- * 10 October 2014: Submission deadline for abstracts * 17 October 2014: Submission deadline for full papers * 3-5 December 2014: Author response period (ESOP and FoSSaCS only) * 19 December 2014: Notification of acceptance * 16 January 2015: Camera-ready versions due -- SUBMISSION 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. ESOP and FoSSaCS accept only research papers. TACAS has more paper categories (see http://www.etaps.org/2015/tacas). 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 of Springer's Lecture Notes in Computer Science series. Papers must follow the formatting guidelines specified by Springer at http://www.springer.de/comp/lncs/authors.html and be submitted electronically in pdf through the EasyChair author interface of the respective conference (HotCRP for ESOP). Submissions not adhering to the specified format and length may be rejected immediately. - Research papers FASE, FOSSACS and TACAS have a page limit of 15 pages for research papers, whereas CC, POST allow at most 20 pages and ESOP 25 pages. Additional material intended for the referees 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 referees are at liberty to ignore appendices and papers must be understandable without them. In addition to regular research papers, TACAS solicits also case study papers (at most 15 pages). Both TACAS and FASE solicit also regular tool papers (at most 15 pages). - 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. TACAS has a page
[TYPES/announce] ETAPS 2015 1st call for papers
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] ** CALL FOR PAPERS: ETAPS 2015 18th European Joint Conferences on Theory And Practice of Software London, UK, 11-18 April 2015 http://www.etaps.org/2015 ** -- ABOUT ETAPS -- ETAPS is the primary European forum for academic and industrial researchers working on topics relating to software science. ETAPS, established in 1998, is a confederation of six main annual conferences, accompanied by satellite workshops. ETAPS 2015 is the eighteenth event in the series. -- MAIN CONFERENCES (13-17 April) -- * CC: Compiler Construction (PC chair Björn Franke, University of Edinburgh, UK) * ESOP: European Symposium on Programming (PC chair Jan Vitek, Northeastern University, USA) * FASE: Fundamental Approaches to Software Engineering (PC chairs Alexander Egyed, Johannes Kepler U Linz, Austria, and Ina Schaefer, Technische Universität Braunschweig, Germany) * FOSSACS: Foundations of Software Science and Computation Structures (PC chair Andrew Pitts, University of Cambridge, UK) * POST: Principles of Security and Trust (PC chairs Riccardo Focardi, Università Ca' Foscari Venezia, Italy, and Andrew Myers, Cornell University, USA) * TACAS: Tools and Algorithms for the Construction and Analysis of Systems (PC chairs Christel Baier, Technische Univ Dresden, Germany, and Cesare Tinelli, The University of Iowa, USA) TACAS '14 hosts the 4rd Competition on Software Verification (SV-COMP). -- INVITED SPEAKERS -- * Unifying speakers: Robert Harper (Carnegie Mellon University, USA) Catuscia Palamidessi (INRIA Saclay and LIX, France) * CC invited speaker: Keshav Pingali (University of Texas, USA) * FoSSaCS invited speaker: Frank Pfenning (Carnegie Mellon University, USA) * TACAS invited speaker: Wang Yi (Uppsala Universitet, Sweden) -- IMPORTANT DATES -- * 10 October 2014: Submission deadline for abstracts * 17 October 2014: Submission deadline for full papers * 3-5 December 2014: Author response period (ESOP and FoSSaCS only) * 19 December 2014: Notification of acceptance * 16 January 2015: Camera-ready versions due -- SUBMISSION 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. ESOP and FoSSaCS accept only research papers. TACAS has more paper categories (see http://www.etaps.org/2015/tacas). 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 of Springer's Lecture Notes in Computer Science series. Papers must follow the formatting guidelines specified by Springer at http://www.springer.de/comp/lncs/authors.html and be submitted electronically in pdf through the EasyChair author interface of the respective conference (HotCRP for ESOP). Submissions not adhering to the specified format and length may be rejected immediately. - Research papers FASE, FOSSACS and TACAS have a page limit of 15 pages for research papers, whereas CC, POST allow at most 20 pages and ESOP 25 pages. Additional material intended for the referees 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 referees are at liberty to ignore appendices and papers must be understandable without them. In addition to regular research papers, TACAS solicits also case study papers (at most 15 pages). Both TACAS and FASE solicit also regular tool papers (at most 15 pages). - 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. TACAS has a page
[TYPES/announce] ETAPS 2014 2nd call for participation
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] To notice: - Normal-rate registration is until Monday, 10 March 2014. ** CALL FOR PARTICIPATION ETAPS 2014 17th European Joint Conferences on Theory And Practice of Software Grenoble, France, 5-13 April 2014 http://www.etaps.org/2014 ** -- ABOUT ETAPS -- The European Joint Conferences on Theory And Practice of Software (ETAPS) is the primary European forum for academic and industrial researchers working on topics relating to software science. ETAPS, established in 1998, is a confederation of six main annual conferences, accompanied by satellite workshops. ETAPS 2014 is already the seventeenth event in the series. -- MAIN CONFERENCES (7-11 April) -- * CC: Compiler Construction * ESOP: European Symposium on Programming * FASE: Fundamental Approaches to Software Engineering * FOSSACS: Foundations of Software Science and Computation Structures * POST: Principles of Security and Trust * TACAS: Tools and Algorithms for the Construction and Analysis of Systems -- INVITED TALKS -- * Unifying speakers: John Launchbury (Galois, US) Geoffrey Smith (Florida International University, US) * CC invited speaker: Benoit Dupont de Dinechin (Kalray, France) * ESOP invited speaker: Maurice Herlihy (Brown University, US) * FASE invited speaker: Christel Baier (Technical University of Dresden, Germany) * FoSSaCS invited speaker: Petr Jancar (Technical Univ of Ostrava, Czech Republic) * POST invited speaker: David Mazières (Stanford University, US) * TACAS invited speaker: Orna Kupferman (Hebrew University Jerusalem, Israel) -- TUTORIALS * Andy Gordon (Microsoft Research, Cambridge, UK) * Bernd Finkbeiner (Univ des Saarlandes, Germany) -- CONTRIBUTED PAPERS See the accepted paper lists and the programme of the main conferences at the conference website. -- SATELLITE EVENTS (5-6 and 12-13 April) -- 23 satellite workshops will take place before or after ETAPS 2014. CMCS, DICE, F-IDE, Graphite, GT-VMT, MBT, MEALS, RePP, Sifakis event, SR, SynCop, VSSE, WRLA will be held 5-6 April 2014. AiSOS, Cassting, FESCA, GALOP, GramSec, HAS, HotSpot, MSFP, PLACES, QAPL have been scheduled for 12-13 April 2014. -- REGISTRATION Normal-rate registration is until Monday, 10 March 2014. After that date, late rates apply. -- ACCOMMODATION We request that participants arrange their accommodation on their own. See our recommendations on the website. -- HOST CITY -- Located in the southeastern part of France, Grenoble is considered as the capital of the Alps. Grenoble is surrounded by nature and high mountains: down the Alps, Grenoble is the meeting point of two important rivers, Drac and Isere. Grenoble has important historical and gastronomic heritages. Leisure activities in breathtaking nature are easily organizable and within short-distance. Grenoble is also a major scientific center in Europe dedicated to high-tech technologies, e.g., nano, micro, bio, and information technologies. -- ORGANIZERS * General chair: Saddek Bensalem * Conferences chair: Alain Girault * Workshops chair: Axel Legay * Publicity chair: Ylies Falcone * Finance chair: Nicolas Halbwachs * Website chair: Marius Bozga Host institution: VERIMAG, U Joseph Fourier / CNRS / Grenoble INP -- FURTHER INFORMATION -- Please do not hesitate to contact the organizers at etaps2014.organizat...@imag.fr.
[TYPES/announce] ETAPS 2014 call for participation
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] To notice: - The programme of the main conferences of ETAPS 2014 is on the web. - Early registration is until Friday, 14 February 2014. ** CALL FOR PARTICIPATION ETAPS 2014 17th European Joint Conferences on Theory And Practice of Software Grenoble, France, 5-13 April 2014 http://www.etaps.org/2014 ** -- ABOUT ETAPS -- The European Joint Conferences on Theory And Practice of Software (ETAPS) is the primary European forum for academic and industrial researchers working on topics relating to software science. ETAPS, established in 1998, is a confederation of six main annual conferences, accompanied by satellite workshops. ETAPS 2014 is already the seventeenth event in the series. -- MAIN CONFERENCES (7-11 April) -- * CC: Compiler Construction * ESOP: European Symposium on Programming * FASE: Fundamental Approaches to Software Engineering * FOSSACS: Foundations of Software Science and Computation Structures * POST: Principles of Security and Trust * TACAS: Tools and Algorithms for the Construction and Analysis of Systems -- INVITED TALKS -- * Unifying speakers: John Launchbury (Galois, US) Geoffrey Smith (Florida International University, US) * CC invited speaker: Benoit Dupont de Dinechin (Kalray, France) * ESOP invited speaker: Maurice Herlihy (Brown University, US) * FASE invited speaker: Christel Baier (Technical University of Dresden, Germany) * FoSSaCS invited speaker: Petr Jancar (Technical Univ of Ostrava, Czech Republic) * POST invited speaker: David Mazières (Stanford University, US) * TACAS invited speaker: Orna Kupferman (Hebrew University Jerusalem, Israel) -- TUTORIALS * Andy Gordon (Microsoft Research, Cambridge, UK) * Bernd Finkbeiner (Univ des Saarlandes, Germany) -- CONTRIBUTED PAPERS See the accepted paper lists and the programme of the main conferences at the conference website. -- SATELLITE EVENTS (5-6 and 12-13 April) -- 23 satellite workshops will take place before or after ETAPS 2014. CMCS, DICE, F-IDE, Graphite, GT-VMT, MBT, MEALS, RePP, Sifakis event, SR, SynCop, VSSE, WRLA will be held 5-6 April 2014. AiSOS, Cassting, FESCA, GALOP, GramSec, HAS, HotSpot, MSFP, PLACES, QAPL have been scheduled for 12-13 April 2014. -- REGISTRATION Early registration is until Friday, 14 February 2014. Normal-rate registration is until Monday, 10 March 2014. -- ACCOMMODATION We request that participants arrange their accommodation on their own. See our recommendations on the website. -- HOST CITY -- Located in the southeastern part of France, Grenoble is considered as the capital of the Alps. Grenoble is surrounded by nature and high mountains: down the Alps, Grenoble is the meeting point of two important rivers, Drac and Isere. Grenoble has important historical and gastronomic heritages. Leisure activities in breathtaking nature are easily organizable and within short-distance. Grenoble is also a major scientific center in Europe dedicated to high-tech technologies, e.g., nano, micro, bio, and information technologies. -- ORGANIZERS * General chair: Saddek Bensalem * Conferences chair: Alain Girault * Workshops chair: Axel Legay * Publicity chair: Ylies Falcone * Finance chair: Nicolas Halbwachs * Website chair: Marius Bozga Host institution: VERIMAG, U Joseph Fourier / CNRS / Grenoble INP -- FURTHER INFORMATION -- Please do not hesitate to contact the organizers at etaps2014.organizat...@imag.fr.
[TYPES/announce] ETAPS 2015 call for satellite events
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] 18th European Joint Conferences on Theory and Practice of Software ETAPS 2015 London, UK, April 11-19, 2015 http://www.etaps.org/2015/ Call for Satellite Events -- ABOUT ETAPS -- The European Joint Conferences on Theory and Practice of Software (ETAPS) is the primary European forum for academic and industrial researchers working on topics relating to Software Science. ETAPS is an annual event which takes place in Europe each spring since 1998. The eighteenth conference, ETAPS 2015, will take place between April 11th and 19th, 2015 at Queen Mary University of London, in London, United Kingdom. London is one of the most visited and cosmopolitan cities on earth. It is a leading global city, with strengths in the arts, commerce, education, entertainment, fashion, finance, healthcare, media, professional services, research and development, tourism and transport all contributing to its prominence. It can be reached by more people, from more destinations, in less time, than any other destination in the world. ETAPS main conferences will take place on April 13th-17th, 2015. They are: - CC: International Conference on Compiler Construction - ESOP: European Symposium on Programming - FASE: Fundamental Approaches to Software Engineering - FOSSACS: Foundations of Software Science and Computation Structures - POST: Principles of Security and Trust - TACAS: Tools and Algorithms for the Construction and Analysis of Systems -- SATELLITE EVENTS -- The ETAPS 2015 organizing committee invites proposals for satellite events (workshops etc.) that will complement the main conferences. They should fall within the scope of ETAPS. This encompasses all aspects of the system development process, including specification, design, implementation, analysis and improvement, as well as the languages, methodologies and tools which support these activities, covering a spectrum from practically-motivated theory to soundly-based practice. Satellite events provide an opportunity to discuss and report on emerging research approaches and practical experience relevant to theory and practice of software. ETAPS 2015 satellite events will be held immediately before and after the main conferences, on April 11th-12th and April 18th-19th, 2015. -- ARRANGEMENTS FOR SATELLITE EVENTS -- The organizers of an ETAPS 2015 satellite are expected to: - create and maintain a website for the event, - form a PC, produce a call for papers for the event (if appropriate), - advertise the event through specialist mailing lists etc. to complement the publicity of ETAPS, - review the submissions received and make acceptance decisions, - prepare an informal (pre)proceedings for the event (if appropriate), - prepare the event's program complying with any scheduling constraints defined by the ETAPS 2015 organizing committee, - prepare and organize the publication of a formal (post)proceedings (if desired). The ETAPS 2015 organizing committee will: - promote the event on the website and in the publicity material of ETAPS 2015 - integrate the event's program into the overall program of the conference, - arrange registration for the event as a component of registration for ETAPS, collect a participation fee from the registrants, - produce a compilation USB memory stick of the informal (pre)proceedings of the satellite events of ETAPS 2015 and distribute this to the registrants, - provide the event with a meeting room of an appropriate size, A/V equipment, coffee breaks and possibly lunch(es). As a rule, ETAPS will not contribute toward the travel or accommodation costs of invited speakers or organizers of satellite events. -- SUBMISSION OF SATELLITE EVENT PROPOSALS -- Researchers and practitioners wishing to organize satellite events are invited to submit proposals in plain text or pdf by e-mail to Paulo Oliva p.ol...@qmul.ac.uk). A proposal should not exceed two pages and should include: - the name and acronym of the satellite event, - the names and contact information of the organizers, - the duration of the event: one or two days, - the preferred period: April 11-12th or April 18-19th, - a 120-word description of the event topic for the website and publicity material of ETAPS 2015, - a brief explanation of the event topic and its relevance to ETAPS - a tentative schedule for paper submission, notification of acceptance and final versions (the ETAPS 2015 organizing committee will need the final files for the local proceedings by March 13, 2015), - the plans for formal publication (no formal publication, formal proceedings ready by the event, formal post-proceedings), - the expected
[TYPES/announce] ETAPS 2014 last call for papers
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] [We apologise for multiple copies.] Abstracts due 4 Oct, full papers 11 Oct 2013 ** LAST CALL FOR PAPERS: ETAPS 2014 17th European Joint Conferences on Theory And Practice of Software Grenoble, France 5-13 April 2014 http://www.etaps.org/2014 ** -- ABOUT ETAPS -- ETAPS is the primary European forum for academic and industrial researchers working on topics relating to software science. ETAPS, established in 1998, is a confederation of six main annual conferences, accompanied by satellite workshops. ETAPS 2014 is the seventeenth event in the series. -- MAIN CONFERENCES (7-11 April) -- * CC: Compiler Construction * ESOP: European Symposium on Programming * FASE: Fundamental Approaches to Software Engineering * FOSSACS: Foundations of Software Science and Computation Structures * POST: Principles of Security and Trust * TACAS: Tools and Algorithms for the Construction and Analysis of Systems TACAS '14 hosts the 3rd Competition on Software Verification (SV-COMP). -- INVITED SPEAKERS -- * Robert Harper (Carnegie Mellon University, US) * John Launchbury (Galois, US) * Benoit Dupont de Dinechin (Kalray, France) * Maurice Herlihy (Brown University, US) * Christel Baier (Technical University of Dresden, Germany) * Petr Jancar (Technical Univ of Ostrava, Czech Republic) * David Mazieres (Stanford University, US) * Orna Kupferman (Hebrew University Jerusalem, Israel) -- IMPORTANT DATES -- * 4 October 2013: Submission deadline for abstracts (strict) * 11 October 2013: Submission deadline for full papers (strict) * 20 December 2013: Notification of acceptance * 17 January 2014: Camera-ready versions due ESOP and FoSSaCS will use a rebuttal (author response) phase. -- GENERAL SUBMISSION INFORMATION -- 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 of 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 author interface of the respective conference. Submissions not adhering to the specified format and length may be rejected immediately. - Research papers Different ETAPS 2014 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 the referees 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 referees 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 regular tool papers (max 15 pages) adhering to specific instructions about content and organization. -- SATELLITE EVENTS (5-6 April, 12-13 April) -- Around 20 satellite workshops will take place before and after the main conferences. In addition, on 6 April, some tutorials on topics of wide interest will be offered. -- HOST CITY -- Located in the southeastern part of France, Grenoble is considered as the capital of the Alps. Grenoble is surrounded by nature and high
[TYPES/announce] NWPT 2013 last call for contributions
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] [We apologize for multiple copies.] 25th Nordic Workshop on Programming Theory, NWPT '13 Tallinn, Estonia, 20-22 November 2013 http://cs.ioc.ee/nwpt13/ Call for Contributions Background The NWPT series of annual workshops is a forum bringing together programming theorists from the Nordic and Baltic countries (but also elsewhere). The previous editions were held in Uppsala (1989, 1999 and 2004), Aalborg (1990), Göteborg (1991 and 1995), Bergen (1992, 2000 and 2012), Åbo (1993, 1998, 2003 and 2010), Aarhus (1994), Oslo (1996 and 2007), Tallinn (1997, 2002 and 2008), Lyngby (2001 and 2009), Copenhagen (2005), Reykjavík (2006), and Västerås (2011). Scope Topics of interest include (but are not limited to) semantics of programming languages programming language design and programming methodology programming logics formal specification of programs program verification program construction tools for program verification and construction program transformation and refinement real-time and hybrid systems models of concurrency and distributed computing language-based security. NWPT 2013 will take place in Tallinn, organized by the Department of Computer Science and Institute of Cybernetics at Tallinn University of Technology. Invited Speakers Keijo Heljanko (Aalto University) Shin-ya Katsumata (Kyoto University) TBA Important Dates Submission of abstracts: 6 October 2013 Notification: 20 October 2013 Registration: 3 November 2013 Submission Authors wishing to give a talk at the workshop are requested to submit abstracts of 2-3 pages (pdf, printable on A4 paper, using easychair.cls from http://www.easychair.org/easychair.zip) through EasyChair. Work in progress as well as abstracts of manuscripts submitted for formal publication elsewhere are permitted. Publication The abstracts of the accepted contributions will be available at the workshop. Like in earlier years we plan to publish selected papers from the workshop in an international journal, most probably in the Journal of Logic and Algebraic Programming. Programme Committee Luca Aceto, Reykjavík University, Iceland Lars Birkedal, University of Aarhus, Denmark Einar Broch Johnsen, University of Oslo, Norway Michael R. Hansen, Technical University of Denmark, Denmark Yngve Lamo, Bergen University College, Norway Kim G. Larsen, Aalborg University, Denmark Mohammad Reza Mousavi, Halmstad University, Sweden Bengt Nordström, Chalmers | University of Gothenburg, Sweden Olaf Owe, University of Oslo, Norway Paul Pettersson, Mälardalen University, Sweden Andrei Sabelfeld, Chalmers | University of Gothenburg, Sweden Gerardo Schneider, Chalmers | University of Gothenburg, Sweden Tarmo Uustalu, Institute of Cybernetics, Estonia (co-chair) Jüri Vain, Tallinn University of Technology, Estonia (co-chair) Marina Waldén, Åbo Akademi University, Finland Uwe Wolter, University of Bergen, Norway Wang Yi, Uppsala University, Sweden Organising Committee Juhan-Peep Ernits, Tallinn University of Technology, Estonia Tarmo Uustalu, Institute of Cybernetics, Estonia Jüri Vain, Tallinn University of Technology, Estonia Sponsors The workshop is supported by ERDF through EXCS, the Estonian centre of excellence in computer science. Further information For further information please contact one of the co-chairs Jüri Vain (juri.vain(at)ttu.ee) or Tarmo Uustalu (tarmo(at)cs.ioc.ee).
[TYPES/announce] ETAPS 2014 first call for papers
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] [We apologise for multiple copies.] ** FIRST CALL FOR PAPERS: ETAPS 2014 17th European Joint Conferences on Theory And Practice of Software Grenoble, France 5-13 April 2014 http://www.etaps.org/2014 ** -- ABOUT ETAPS -- ETAPS is the primary European forum for academic and industrial researchers working on topics relating to software science. ETAPS, established in 1998, is a confederation of six main annual conferences, accompanied by satellite workshops. ETAPS 2014 is the seventeenth event in the series. -- MAIN CONFERENCES (7-11 April) -- * CC: Compiler Construction * ESOP: European Symposium on Programming * FASE: Fundamental Approaches to Software Engineering * FOSSACS: Foundations of Software Science and Computation Structures * POST: Principles of Security and Trust * TACAS: Tools and Algorithms for the Construction and Analysis of Systems TACAS '14 hosts the 3rd Competition on Software Verification (SV-COMP). -- INVITED SPEAKERS -- * Robert Harper (Carnegie Mellon University, US) * John Launchbury (Galois, US) * Benoit Dupont de Dinechin (Kalray, France) * Maurice Herlihy (Brown University, US) * Christel Baier (Technical University of Dresden, Germany) * Petr Jancar (Technical Univ of Ostrava, Czech Republic) * David Mazieres (Stanford University, US) * Orna Kupferman (Hebrew University Jerusalem, Israel) -- IMPORTANT DATES -- * 4 October 2013: Submission deadline for abstracts (strict) * 11 October 2013: Submission deadline for full papers (strict) * 20 December 2013: Notification of acceptance * 17 January 2014: Camera-ready versions due ESOP and FoSSaCS will use a rebuttal (author response) phase. -- GENERAL SUBMISSION INFORMATION -- 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 of 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 author interface of the respective conference. Submissions not adhering to the specified format and length may be rejected immediately. - Research papers Different ETAPS 2014 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 the referees 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 referees 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 regular tool papers (max 15 pages) adhering to specific instructions about content and organization. -- SATELLITE EVENTS (5-6 April, 12-13 April) -- Around 20 satellite workshops will take place before and after the main conferences. In addition, on 6 April, some tutorials on topics of wide interest will be offered. -- HOST CITY -- Located in the southeastern part of France, Grenoble is considered as the capital of the Alps. Grenoble is surrounded by nature and high mountains: down the Alps, Grenoble is the meeting point of two important
[TYPES/announce] ETAPS 2012 call for participation, early reg deadline 29 Jan. 2012
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] [We apologise for multiple copies.] Things to notice: - The programme of the main conferences of ETAPS 2012 is on the web. - Early registration is until Sunday, 29 January 2012. - Special rates and/or block bookings for ETAPS 2012 participants at a number of central hotels also expire Sunday, 29 January 2012. We strongly advise that many participants book their accommodation before that date. ** CALL FOR PARTICIPATION: ETAPS 2012 European Joint Conferences on Theory And Practice of Software March 24 - April 1, 2012 Tallinn, Estonia http://www.etaps.org/2012 ** -- ABOUT ETAPS -- The European Joint Conferences on Theory And Practice of Software (ETAPS) is the primary European forum for academic and industrial researchers working on topics relating to software science. ETAPS, established in 1998, is a confederation of six main annual conferences (one of them, POST, being new in 2012), accompanied by satellite workshops. ETAPS 2012 is already the fifteenth event in the series. -- MAIN CONFERENCES -- * CC: Compiler Construction * ESOP: European Symposium on Programming * FASE: Fundamental Approaches to Software Engineering * FOSSACS: Foundations of Software Science and Computation Structures * New! POST: Principles of Security and Trust * TACAS: Tools and Algorithms for the Construction and Analysis of Systems -- INVITED TALKS -- * Unifying speaker 1: Bruno Blanchet (INRIA / ENS / CNRS, France). Security protocol verification: Symbolic and computational models * Unifying speaker 2: Georg Gottlob (Univ. of Oxford, UK). TBA * CC invited speaker: Francois Bodin (IRISA and CAPS Entreprise, France). Programming heterogeneous many-cores using directives * ESOP invited speaker: Bjarne Stroustrup (Texas AM Univ., USA) Foundations of C++ * FASE invited speaker: Wil van der Aalst (Techn. Univ. of Eindhoven, Netherlands). Distributed process discovery and conformance checking * FoSSaCS invited speaker: Glynn Winskel (Univ. of Cambridge, UK). Bicategories of concurrent games * POST invited speaker: Cynthia Dwork (Microsoft Research, Silicon Valley, USA). Differential privacy and the power of (formalizing) negative thinking * TACAS invited speaker: Holger Hermanns (Saarland University, Germany). Quantitative models for a not so dumb grid -- CONTRIBUTED PAPERS See the accepted paper lists and the programme of the main conferences at the conference website. -- SATELLITE EVENTS -- 21 satellite workshops will take place before or after ETAPS 2012. BX, FICS, FIT, GT-VMT, iWIGP, MBT, MSFP, VSSE, WRLA will take place in the weekend on 24-25 March 2012. ACCAT, AIPA, Bytecode, CMCS, DICE, FESCA, Graphite, HAS, LDTA, Linearity, PLACES, QAPL are scheduled for 31 March-1 April 2012. -- REGISTRATION Early registration is until Sunday, 29 January 2012. -- ACCOMMODATION Tallinn has developed ample hotel capacity. We request that participants arrange their accommodation on their own. We have negotiated special rates and made block bookings with a selection of centrally located hotels. A number of those expire Sunday, 29 January 2012. We strongly advise that many participants book their accommodation before that date. -- HOST CITY -- Tallinn, a city of 412,000 people, is the capital and largest city of Estonia, a small EU member country in Northern Europe, bordering Russia to the East and Latvia to the south. Located in the north of the country, on the southern shores of the Gulf of Finland, opposite Helsinki in Finland, Tallinn is most well known for its picturesque medieval Old Town, a UNESCO World Heritage site. But it also has a vivid cultural scene, outperforming most European centres of similar size. In 2011, Tallinn, along with Turku in Finland, was the Cultural Capital of Europe. Tallinn is easy to travel to. Estonia is part of Schengen and the Eurozone. The Lennart Meri International Airport of Tallinn (TLL) is only 4 kms from the city centre. -- ORGANIZERS * General chair: Tarmo Uustalu * Workshops chair: Keiko Nakata * Organizing committee: James Chapman, Juhan Ernits, Tiina Laasma, Monika Perkmann and colleagues * Host institution: Institute of Cybernetics at Tallinn University of Technology -- FURTHER INFORMATION -- Please do not hesitate to contact the organizers at etap...@cs.ioc.ee.
[TYPES/announce] Estonian Winter School in Comput Sci 2012, call for partic.
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] [Lecturers: Dimitrov, Escardó, Italiano, Nordström, Yi. Place/time: Palmse, Estonia, 26 Feb-2 March 2012. Deadline for application and submission of abstracts for student talks: ** 13 Jan 2012 **.] CALL for PARTICIPATION 17th Estonian Winter School in Computer Science, EWSCS '12 Palmse, Estonia, 26 Feb-2 March 2012 http://cs.ioc.ee/ewscs/2012/ BACKGROUND AND OBJECTIVES EWSCS is a series of regional-scope international winter schools held annually in Estonia. EWSCS are organized by Institute of Cybernetics, a research institute of Tallinn University of Technology. The main objective of EWSCS is to expose Estonian, Baltic, and Nordic graduate students in computer science (but also interested students from elsewhere) to frontline research topics usually not covered within the regular curricula. The working language of the schools is English. EWSCS '12 is the seventeenth event of the series. PROGRAMME The schools' scientific programme consists of short courses by renowned specialists and a student session. Courses of EWSCS '12 * Vassil S. Dimitrov (University of Calgary, Canada): Computational number theory and its applications * Martín Escardó (University of Birmingham, UK): Topology for functional programming * Giuseppe Italiano (Università di Roma Tor Vergata, Italy): Dynamic graph algorithms * Jakob Nordström (KTH Royal Institute of Technology, Sweden): Time-space trade-offs in proof complexity * Kwangkeun Yi (Seoul National University, South Korea): Collage of static analyses in practice and theory The purpose of the student session is to give students an opportunity to present their work (typically, thesis work) and get feedback. Registrants are invited to propose short talks (20 min) on topics of theoretical computer science, broadly understood. The selection will be based on abstracts of 150-400 words. The social programme consists of an excursion and a conference dinner. VENUE Palmse is a small settlement 80 kms to the east from Tallinn in the county of Lääne-Viru. It is renowned for a large manor that used to belong to the von Pahlen family, today hosting the visitors' center of the Lahemaa National Park, a museum, and a hotel. Tallinn, Estonia's capital, is famous for its picturesque medieval Old Town, a UNESCO World Heritage site. In 2011, Tallinn, along with Turku in Finland, was the cultural capital of Europe. There are direct flights to Tallinn Lennart Meri airport from Amsterdam, Bremen, Brussels, Copenhagen, Dublin, Düsseldorf Weeze, Frankfurt, Girona, Gothenburg, Helsinki, Kiev, Liverpool, London Gatwick, Luton and Stansted, Milan Bergamo, Moscow Sheremetyevo and Vnukovo, Munich, Oslo Gardermoen and Rygge, Oulu, Prague, Riga, Stockholm Arlanda, Bromma and Skavsta, St Petersburg, Tampere, Trondheim, Turku, Vaasa, Warsaw and Vilnius, ferries from Stockholm and Helsinki. From Vilnius, Riga, St Petersburg the Lux Express and EcoLines coach services are the practical travel option. APPLICATION AND COST The deadline for application and submission of student talk abstracts is 13 January 2012. All applicants will be notified of admission to the school and acceptance of their talks by 27 January 2012. Admitted applicants are entitled and expected to attend the courses and student session of the school. They will also receive a binder with the course material and access to additional materials on the school website. The participation fee is 320 EUR and includes full board accommodation at Palmse, transportation from Tallinn to Palmse, the excursion and conference dinner (by contributing towards the associated expense). We may be able to reduce the fee for a small number of participants. To apply for fee reduction, please fill in the online fee reduction request form. PROGRAMME COMMITTEE / ORGANISING COMMITTEE * Tarmo Uustalu (Institute of Cybernetics) (chair) * Monika Perkmann (Institute of Cybernetics) (secretary) * Peeter Laud (Cybernetica AS) * Varmo Vene (University of Tartu) * Sven Laur (University of Tartu) SPONSORS * Tiger University Plus programme of the Estonian Information Technology Foundation * Estonian Centre of Excellence in Computer Science, EXCS, funded by the European Regional Development Fund FURTHER INFORMATION Details on the application procedure and cost, submission of student talk abstrats are available from the school webpage, http://cs.ioc.ee/ewscs/2012/. Questions should be sent to ewscs12(at)cs.ioc.ee.
[TYPES/announce] ETAPS 2012 Call for Satellite Events
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] *** CALL FOR SATELLITE EVENTS *** ETAPS 2012 European Joint Conferences on Theory and Practice of Software 24 March - 1 April 2012 Tallinn, Estonia http://www.etaps.org/2012/ -- ABOUT ETAPS -- The European Joint Conferences on Theory and Practice of Software (ETAPS) is the primary European forum for academic and industrial researchers working on topics relating to Software Science. ETAPS is an annual event which takes place in Europe each spring since 1998. The fifteenth conference, ETAPS 2012, will take place 24 March - 1 April 2012 in Tallinn, Estonia. Tallinn is the capital city of Estonia, famous for its picturesque medieval Old Town, a World Heritage site. This year 2011, Tallinn, together with Turku in Finland, is the European capital of culture. The main conferences of ETAPS are: - CC: International Conference on Compiler Construction - ESOP: European Symposium on Programming - FASE: Fundamental Approaches to Software Engineering - FOSSACS: Foundations of Software Science and Computation Structures - TACAS: Tools and Algorithms for the Construction and Analysis of Systems The ETAPS 2012 conferences will take place 26-30 March 2012. -- SATELLITE EVENTS -- The ETAPS 2012 organizing committee invites proposals for satellite events (workshops, tutorials, etc.) that will complement the main ETAPS 2012 conferences. They should fall within the scope of ETAPS. This encompasses all aspects of the system development process, including specification, design, implementation, analysis and improvement, as well as the languages, methodologies and tools which support these activities, covering a spectrum from practically-motivated theory to soundly-based practice. Satellite events provide an opportunity to discuss and report on emerging research approaches and practical experience relevant to theory and practice of software. The ETAPS 2012 satellite events will be held immediately before and after the main conferences, 24-25 March and 31 March-1 April 2012. -- SUBMISSION OF SATELLITE EVENT PROPOSALS -- Researchers and practitioners wishing to organize satellite events are invited to submit proposals in plain text or pdf format by e-mail to etaps12-w...@cs.ioc.ee. A proposal should not exceed two pages and should include: - the satellite event name and acronym - the names and contact information of the organizers - the preferred period: 24-25 March or 31 March-1 April - the duration of the workshop: one-day or two-day event - a 120-word description of the event topic for later use in publicity material - a brief explanation of the event topic and its relevance to ETAPS - the history of the event, where applicable - a tentative schedule for paper submission, notification of acceptance and final versions, where applicable (the ETAPS 2012 organizing committee will need the final files of the event local proceedings by 12 February 2012) - the expected number of participants - plans for formal publication - any other relevant information, like event format, invited speakers, demo sessions, special space requirements, etc. The proposals will be evaluated by the ETAPS 2012 organizing committee on the basis of their assessed benefit for prospective participants of ETAPS 2012. The titles and brief information about accepted satellite events will be included in the ETAPS 2012 website, call for papers and call for participation. Satellite events organizers will be responsible for - producing the event's call for papers and call for participations - publicising the event through specialist mailing lists etc. to complement publicity for ETAPS as a whole - hosting and maintaining a web site for the event - reviewing and making acceptance decisions on submitted papers - producing the event proceedings, if any (the organizing committee obliges to print the local proceedings volume and to produce a CD/USB memory stick with the local proceedings of all satellite events) - scheduling of the event's activities in consultation with the organizing committee Prospective organizers may wish to consult the web pages of previous satellite events as examples: ETAPS 2011: http://www.etaps.org/2011/ ETAPS 2010: http://www.etaps10.cs.ucy.ac.cy/ ETAPS 2009: http://www.cs.york.ac.uk/etaps09/ ETAPS 2008: http://etaps08.mit.bme.hu/ ETAPS 2007: http://www.di.uminho.pt/etaps07/ ETAPS 2006: http://www.complang.tuwien.ac.at/etaps06/ ETAPS 2005: http://www.etaps05.inf.ed.ac.uk/ ETAPS 2004: http://www.lsi.upc.es/etaps04/ ETAPS 2003: http://www.mimuw.edu.pl/etaps03/ -- IMPORTANT DATES -- Satellite event proposals deadline: 6 March 2011. Notification of acceptance: 13 March 2011. -- FURTHER INFORMATION AND ENQUIRIES -- Please contact Keiko Nakata or Tarmo Uustalu, etaps12-w
[TYPES/announce] PPDP 2011, Call for papers
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] == CALL FOR PAPERS PPDP 2011 13th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming http://www-ps.informatik.uni-kiel.de/ppdp11/ July 20-22, 2011, Odense, Denmark (in cooperation with ACM SIGPLAN, co-located with LOPSTR 2011) == PPDP 2011 aims to provide a forum that brings together researchers from the declarative programming communities, including those working in the logic, constraint and functional programming paradigms, but also embracing a variety of other paradigms such as visual programming, executable specification languages, database languages, AI languages and knowledge representation languages used, for example, in the semantic web. The goal is to stimulate research in the use of logical formalisms and methods for specifying, performing, and analyzing computations, including mechanisms for mobility, modularity, concurrency, object-orientation, security, and static analysis. Papers related to the use of declarative paradigms and tools in industry and education are especially solicited. The conference will held in cooperation with ACM SIGPLAN and take place in July 2011 in Odense, Denmark, co-located with the 21st International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2011). TOPICS: - Logic, Constraint, and Functional Programming - Database, AI and Knowledge Representation Languages - Visual Programming - Executable Specification Languages - Applications of Declarative Programming - Methodologies: Program Design and Development - Declarative Aspects of Object-Oriented Programming - Concurrent Extensions to Declarative Languages - Declarative Mobile Computing - Integration of Paradigms - Proof Theoretic and Semantic Foundations - Type and Module Systems - Program Analysis and Verification - Program Transformation - Abstract Machines and Compilation - Programming Environments This list is not exhaustive - submissions describing new and interesting ideas relating broadly to declarative programming are encouraged. IMPORTANT DATES: Abstract submission: March 8, 2011 Paper submission: March 15, 2011 Notification: April 19, 2011 Camera-ready version: May 12, 2011 Symposium: July 20-22, 2011 SUBMISSION GUIDELINES: Papers should be submitted via the submission website for PPDP 2011: http://www.easychair.org/conferences/?conf=ppdp11 Papers must describe original work, be written and presented in English, and must not substantially overlap with papers that have been published or that are simultaneously submitted to a journal, conference, or workshop with refereed proceedings. Work that already appeared in unpublished or informally published workshop proceedings may be submitted (please contact the PC chair in case of questions). Papers should consist of the equivalent of 12 pages under the ACM formatting guidelines. These guidelines are available online, along with formatting templates or style files. Submitted papers will be judged on the basis of significance, relevance, correctness, originality, and clarity. They should include a clear identification of what has been accomplished and why it is significant. Authors who wish to provide additional material to the reviewers beyond the 12-page limit can do so in clearly marked appendices: reviewers are not required to read such appendices. PROCEEDINGS: The proceedings will be published by ACM Press. Authors of accepted papers will be required to sign a copyright form. PROGRAM COMMITTEE: Peter AchtenRadboud University Nijmegen, The Netherlands Sergio AntoyPortland State University, USA Michael Codish Ben-Gurion University of the Negev, Israel Moreno Falaschi Universita di Siena, Italy Amy Felty University of Ottawa, Canada Michael Hanus University of Kiel, Germany (Chair) Andy King University of Kent, UK Helene Kirchner INRIA, France Francisco J. Lopez Fraguas Universidad Complutense de Madrid, Spain Salvador Lucas Universidad Politecnica de Valencia, Spain Simon Peyton Jones Microsoft Research, Cambridge, UK Kostis Sagonas Uppsala University, Sweden Peter Schneider-KampUniversity of Southern Denmark, Denmark Doaitse Swierstra Utrecht University, The Netherlands Paul Tarau University of North Texas, USA Peter Thiemann University of Freiburg, Germany Kazunori Ueda Waseda University, Japan Tarmo Uustalu Tallinn University of Technology, Estonia Peter Van Roy
[TYPES/announce] 15th Estonian Winter School in Comput. Sci., Call for Partic.
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] [Lecturers: Cockett, Groth, Kiayias, Morgan, Mycroft. Place/time: Palmse, Estonia, 28 Feb-5 March 2010. Deadline for application and submission of abstracts for student talks: ** 15 Jan 2010 **.] CALL for PARTICIPATION 15th Estonian Winter School in Computer Science, EWSCS '10 Palmse, Estonia, 28 Feb-5 March 2010 http://cs.ioc.ee/ewscs/2010/ BACKGROUND AND OBJECTIVES EWSCS is a series of regional-scope international winter schools held annually in Estonia. EWSCS are organized by Institute of Cybernetics, a research institute of Tallinn University of Technology. The main objective of EWSCS is to expose Estonian, Baltic, and Nordic graduate students in computer science (but also interested students from elsewhere) to frontline research topics usually not covered within the regular curricula. The working language of the schools is English. EWSCS'10 is the fifteenth event of the series. PROGRAMME The schools' scientific programme consists of short courses by renowned specialists and a student session. Courses of EWSCS'10 * Robin Cockett (University of Calgary, Canada): Categories and Computability * Jens Groth (University College London, UK): Pairing-Based Non-interactive Zero-Knowledge Proofs * Aggelos Kiayias (University of Connecticut, USA): Encryption Mechanisms for Digital Content Distribution * Carroll Morgan (University of New South Wales, Australia): Security, Probability and Abstraction: Rigorous Methods for Source-Level Reasoning * Alan Mycroft (University of Cambridge, UK): Type-Like Frameworks for Controlling State and Aliasing The purpose of the student session is to give students an opportunity to present their work (typically, thesis work) and get feedback. Registrants are invited to propose short talks (20 min) on topics of theoretical computer science, broadly understood. The selection will be based on abstracts of 150-400 words. The social programme consists of an excursion and a conference dinner. VENUE Palmse is a small settlement 80 kms to the east from Tallinn in the county of Lääne-Viru. It is renowned for a large manor that used to belong to the von Pahlen family, today hosting the visitors' center of the Lahemaa National Park, a museum, and a hotel. Tallinn, Estonia's capital, is famous for its picturesque medieval Old Town, a UNESCO World Heritage site. There are direct flights to Tallinn airport from Amsterdam, Berlin Tegel, Brussels, Copenhagen, Frankfurt, Gothenburg, Helsinki, Kiev, Lappeenranta, London Gatwick and Stansted, Milan Malpensa, Minsk, Moscow, Munich, Oslo, Prague, Riga, Stockholm Arlanda, St Petersburg, Turku, Vilnius, ferries from Stockholm and Helsinki. From Vilnius, Riga, St Petersburg the Eurolines coach services are the practical travel option. APPLICATION AND COST The deadline for application and submission of abstracts is 15 January 2010. All applicants will be notified of admission to the school and acceptance of their talks by 29 January 2010. Admitted participants are entitled and expected to attend the courses and student session of the school. They will also receive a binder with the course material and access to additional materials on the school website. The participation fee is 5000 EEK (320 EUR) and includes full board accommodation at Palmse, transportation from Tallinn to Palmse, an excursion and conference dinner (by contributing towards the corresponding expense). PROGRAMME COMMITTEE / ORGANISING COMMITTEE * Tarmo Uustalu (Institute of Cybernetics) (chair) * Monika Perkmann (Institute of Cybernetics) (secretary) * Helger Lipmaa (Cybernetica AS) * Peeter Laud (Cybernetica AS) * Varmo Vene (University of Tartu) * Sven Laur (University of Tartu) SPONSORS * Tiger University Plus programme of the Estonian Information Technology Foundation * Estonian Centre of Excellence in Computer Science, EXCS (funded mainly by the European Regional Development Fund) FURTHER INFORMATION Details on the submission of abstracts, application procedure and cost are available from the school webpage, http://cs.ioc.ee/ewscs/2010/. Questions should be sent to ewscs10(at)cs.ioc.ee.
[TYPES/announce] FICS'09 Call for papers - Fixed Points in Computer Science (CSL'09 workshop)
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Call for Papers (Extended Abstracts) 6th Workshop on Fixed Points in Computer Science, FICS 2009 Coimbra, Portugal, 12-13 September 2009, a satellite workshop of CSL 2009, colocated with PPDP 2009, LOPSTR 2009 http://cs.ioc.ee/fics09/ Background Fixed points play a fundamental role in several areas of computer science and logic by justifying induction and recursive definitions. The construction and properties of fixed points have been investigated in many different frameworks such as: design and implementation of programming languages, program logics, databases. The aim of the workshop is to provide a forum for researchers to present their results to those members of the computer science and logic communities who study or apply the theory of fixed points. Previous workshops where held in Brno (1998, MFCS/CSL workshop), Paris (2000, LC workshop), Florence (2001, PLI workshop), Copenhagen (2002, LICS (FLoC) workshop), Warsaw (2003, ETAPS workshop). Topics include, but are not restricted to: * categorical, metric and ordered fixed point models * fixed points in algebra and coalgebra * fixed points in languages and automata * fixed points in programming language semantics * the mu-calculus and fixed points in modal logic * fixed points in process algebras and process calculi * fixed points in the lambda-calculus, functional programming and type theory * fixed points in relation to dataflow and circuits * fixed points in logic programming and theorem proving * finite model theory, descriptive complexity theory, fixed points in databases Invited speakers tba Contributed talks Selection of contributed talks is based on extended abstracts/short papers of 3..6 pp formatted with easychair.cls. Submission is via EasyChair by 30 June 2009. The authors will be notified of acceptance/rejection by 21 July 2009. Camera-ready versions of the accepted contributions, due by 11 August 2009, will be published for distribution at the workshop as a technical report. If the number and quality of submissions and accepted talks warrant this, EDP Sciences will publish a special issue of Theoretical Informatics and Applications. The special issues of the previous editions of FICS appeared in the same journal. Programme committee Yves Bertot (INRIA Sophia Antipolis) Anuj Dawar (University of Cambridge) Peter Dybjer (Chalmers University of Technology) Zoltán Ésik (University of Szeged) Masahito Hasegawa (Kyoto University) Anna Ingólfsdóttir (Reykjavik University) Ralph Matthes (IRIT, Toulouse) (co-chair) Jan Rutten (CWI and Vrije Universiteit Amsterdam) Luigi Santocanale (LIF, Marseille) Alex Simpson (University of Edinburgh) Tarmo Uustalu (Institute of Cybernetics, Tallinn) (co-chair) Igor Walukiewicz (LaBRI, Bordeaux) Sponsors EXCS, Estonian Centre of Excellence in Computer Science
[TYPES/announce] 14th Estonian Winter School in Computer Science, Last Call for Partic
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] [Lecturers: Courtois, Dybjer, Gennaro, Goldberg, Müller-Olm. Place/time: Palmse, Estonia, 1-6 March 2009 Deadline for application and submission of student talk abstracts: ** 16 Jan 2009 **.] Call for Participation 14th Estonian Winter School in Computer Science, EWSCS '09 Palmse, Estonia, 1-6 March 2009 http://cs.ioc.ee/ewscs/2009/ Background and objectives EWSCS is a series of regional-scope international winter schools held annually in Estonia. EWSCS are organized by Institute of Cybernetics (IoC), a research institute of Tallinn University of Technology. EWSCS '09 is the fourteenth event of the series. The main objective of EWSCS is to expose Estonian, Baltic, and Nordic graduate students in computer science (but also interested students from elsewhere) to frontline research topics usually not covered within the regular curricula. The subject of the schools is general computer science, with a bias towards theory, this comprising both algorithms, complexity and models of computation, and semantics, logic and programming theory. The working language of the schools is English. Programme The schools' scientific programme consists of short courses by renowned specialists and a student session. The course list for EWSCS '09 is the following: * Nicolas T. Courtois (University College London, UK): Algebraic Attacks on Stream Ciphers * Peter Dybjer (Chalmers University of Technology and Gothenburg University, Sweden): Normalization by Evaluation * Rosario Gennaro (IBM T.J. Watson Research Centre, New York, USA): Provable Security and Efficiency in Cryptographic Constructions * Paul W. Goldberg (University of Liverpool, UK): Computational Complexity in Game Theory * Markus Müller-Olm (Westfälische Wilhelms-Universität Münster, Germany): Program Analysis of Sequential and Parallel Programs The purpose of the student session is to give students an opportunity to present their work (typically, thesis work) and get feedback. Registrants are invited to propose short talks (20 min) on topics of theoretical computer science, broadly understood. The selection will be based on abstracts of 150-400 words (see the instruction on the school website). The social programme consists of an excursion and a conference dinner. Venue Palmse is a small settlement 80 kms to the east from Tallinn in the county of Lääne-Viru. It is renowned for a large manor that used to belong to the von Pahlen family, today hosting the visitors' center of the Lahemaa National Park, a museum, and a hotel. Tallinn, Estonia's capital, is famous for its picturesque medieval Old Town, a UNESCO World Heritage site. There are direct flights to Tallinn from Amsterdam, Brussels, Copenhagen, Frankfurt, Gothenburg, Helsinki, Kiev, London Gatwick and Stansted, Milan Malpensa, Minsk, Moscow, Munich, Oslo, Prague, Riga, Stockholm Arlanda, Vienna and Vilnius, ferries from Stockholm and Helsinki. From Vilnius, Riga, St Petersburg the Eurolines coach services are the practical travel option. Application and cost To apply for a place, please fill in the online form on the school website. Please apply early; the number of participants we can admit is limited. The deadline for application and submission of student talk abstracts is 16 January 2009. All applicants will be notified of admission to the school and acceptance of their talks by 30 January 2009. The participation fee of 5000 EEK includes course materials, full board accommodation at Palmse, transportation from Tallinn to Palmse and back, excursion and conference dinner. Programme committee / organizing committee Tarmo Uustalu (IoC) (chair), Monika Perkmann (IoC) (secretary), Helger Lipmaa (Cybernetica AS), Peeter Laud (Cybernetica AS), Varmo Vene (U. of Tartu), Sven Laur (U. of Tartu), Ando Saabas (IoC) Sponsors Tiger University Plus programme of the Estonian Information Technology Foundation Estonian Centre of Excellence in Computer Science (EXCS) Further information Details on the submission of abstracts, application procedure and cost are available from the school webpage, http://cs.ioc.ee/ewscs/2009/. Questions should be sent to ewscs09(at)cs.ioc.ee.
[TYPES/announce] Winter School on Verification of OO Programs, Estonia, 25-29 Jan 2009
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] [Lecturers: Johnsen, Haack, Hähnle, Marché, Poetzsch-Heffter. Application deadline: *** 5 Dec. 2008 ***.] Call of Participation COST Action IC0701 Winter School on Verification of Object-Oriented Programs Viinistu, Estonia, 25-29 January 2009 http://viinistu.cost-ic0701.org/ Background The action IC0701 of COST (2008-2012) is a European network of researchers working on extending the reach and power of methods and tools for verification of object-oriented software. The school at Viinistu is the first of the two training schools the network will organize as part of its activities. The school is targeted at early-stage researchers. Individuals associated to the network are eligible for support from the project funds, but the school is open to anyone. Courses The school's scientific programme will consist of five short courses: * Einar Broch Johnsen, University of Oslo: An abstract behavioral model of distributed concurrent objects * Christian Haack, Radboud Universiteit Nijmegen: Specification and verification of heap access policies * Reiner Hähnle, Chalmers University of Technology and Gothenburg University: Formal analysis of Java programs with KeY * Claude Marché, INRIA Saclay - Île-de-France: Deductive verification of pointer programs: the Why/Krakatoa approach * Arnd Poetzsch-Heffter, Universität Kaiserslautern: Modular verification of object-oriented programs Venue Viinistu is a 600-year old fishermen's village some 80 kms from Tallinn. Today it is mostly known for its spectacular museum of Estonian art, a private museum created by the businessman Jaan Manitski who was born in the village. The school will take place in the hotel and conference centre adjoining the museum. The social programme of the school will include a visit to this museum and a hike (weather permitting, alt. an excursion) in the neighboring Lahemaa National Park. Tallinn, Estonia's capital, is famous for its picturesque medieval Old Town, a UNESCO World Heritage site. There are direct flights to Tallinn airport from Amsterdam, Brussels, Copenhagen, Frankfurt, Gothenburg, Helsinki, Kiev, London Gatwick and Stansted, Milan Malpensa, Minsk, Moscow, Munich, Oslo, Paris, Prague, Riga, Stockholm Arlanda, Vienna and Vilnius. Application To express your wish to participate and (optionally) to benefit from project support, please apply by 5 December 2008 by filling out this form. We will notify you by 12 December 2008. http://viinistu.cost-ic0701.org/Application The participation fee (payable only after notification about acceptance to the school and binding registration) is 300 EUR. This covers accommodation in a shared en-suite twin room with full board at Viinistu for 4 nights, transportation from Tallinn to Viinistu and back, a visit to the art museum and a hike (guide and equipment). Upgrade to a single room costs extra and is subject to availability. To be eligible for project support (a flat grant of 600 EUR to contribute toward your travel and subsistence cost) you have to be an early-stage researcher from one of the 15 signatory countries of the action. These are: Belgium, Denmark, Estonia, France, Germany, Ireland, Israel, Italy, Netherlands, Norway, Poland, Spain, Sweden, Switzerland, United Kingdom. Organizers The school is organized by Tarmo Uustalu and the Logic and semantics group of the Institute of Cybernetics at Tallinn University of Technology. Further information With questions, email cost-ic0701(at)cs.ioc.ee.
[TYPES/announce] 14th Estonian Winter School in Comput. Sci., Call for Partic.
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] [Lecturers: Courtois, Dybjer, Gennaro, Goldberg, Müller-Olm. Place/time: Palmse, Estonia, 1-6 March 2009 Deadline for application and submission of abstracts for student talks: ** 16 Jan 2009 **.] Call for Participation 14th Estonian Winter School in Computer Science, EWSCS '09 Palmse, Estonia, 1-6 March 2009 http://cs.ioc.ee/ewscs/2009/ Background and objectives EWSCS is a series of regional-scope international winter schools held annually in Estonia. EWSCS are organized by Institute of Cybernetics (IoC), a research institute of Tallinn University of Technology. EWSCS '09 is the fourteenth event of the series. The main objective of EWSCS is to expose Estonian, Baltic, and Nordic graduate students in computer science (but also interested students from elsewhere) to frontline research topics usually not covered within the regular curricula. The subject of the schools is general computer science, with a bias towards theory, this comprising both algorithms, complexity and models of computation, and semantics, logic and programming theory. The working language of the schools is English. Programme The schools' scientific programme consists of short courses by renowned specialists and a student session. The course list for EWSCS '09 is the following: * Nicolas T. Courtois (University College London, UK): Algebraic Attacks on Stream Ciphers * Peter Dybjer (Chalmers University of Technology and Gothenburg University, Sweden): Normalization by Evaluation * Rosario Gennaro (IBM T.J. Watson Research Centre, New York, USA): Provable Security and Efficiency in Cryptographic Constructions * Paul W. Goldberg (University of Liverpool, UK): Computational Complexity in Game Theory * Markus Müller-Olm (Westfälische Wilhelms-Universität Münster, Germany): Program Analysis of Sequential and Parallel Programs The purpose of the student session is to give students an opportunity to present their work (typically, thesis work) and get feedback. Registrants are invited to propose short talks (20 min) on topics of theoretical computer science, broadly understood. The selection will be based on abstracts of 150-400 words. The social programme consists of an excursion and a conference dinner. Venue Palmse is a small settlement 80 kms to the east from Tallinn in the county of Lääne-Viru. It is renowned for a large manor that used to belong to the von Pahlen family, today hosting the visitors' center of the Lahemaa National Park, a museum, and a hotel. Tallinn, Estonia's capital, is famous for its picturesque medieval Old Town, a UNESCO World Heritage site. There are direct flights to Tallinn from Amsterdam, Brussels, Copenhagen, Frankfurt, Gothenburg, Helsinki, Kiev, London Gatwick and Stansted, Milan Malpensa, Minsk, Moscow, Munich, Oslo, Prague, Riga, Stockholm Arlanda, Vienna and Vilnius, ferries from Stockholm and Helsinki. From Vilnius, Riga, St Petersburg the Eurolines coach services are the practical travel option. Application and cost The deadline for application and submission of abstracts is 16 January 2009. All applicants will be notified of admission to the school and acceptance of their talks/posters by 30 January 2009. The participation fee 5000 EEK includes course materials, full board accommodation at Palmse, transportation from Tallinn to Palmse and back, excursion and conference dinner. Programme committee / organizing committee Tarmo Uustalu (IoC) (chair), Monika Perkmann (IoC) (secretary), Helger Lipmaa (Cybernetica AS), Peeter Laud (Cybernetica AS), Varmo Vene (U. of Tartu), Sven Laur (U. of Tartu), Ando Saabas (IoC) Sponsors Estonian Centre of Excellence in Computer Science (EXCS) Tiger University Plus programme of the Estonian Information Technology Foundation (pending) Further information Details on the submission of abstracts, application procedure and cost are available from the school webpage, http://cs.ioc.ee/ewscs/2009/. Questions should be sent to ewscs09(at)cs.ioc.ee.
[TYPES/announce] NWPT'08, Tallinn, 2nd call for contributions
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Type systems and type theory are well in the scope of NWPT. NEWS: Invited speakers: Dave Clarke, Vincent Danos, Martin Fränzle, Margus Veanes. A special issue of selected papers in J. of Logic and Algebraic Programming. A guided tour and reception in the new KUMU Art Museum, the 2008 winner of the European Museum of the Year award. 20th Nordic Workshop on Programming Theory, NWPT '08 Tallinn, Estonia, 19-21 November 2008 http://cs.ioc.ee/nwpt08/ Call for Contributions Background The NWPT series of annual workshops is a forum bringing together programming theorists from the Nordic and Baltic countries (but also elsewhere). The previous editions were held in Uppsala (1989, 1999, and 2004), Aalborg (1990), Göteborg (1991 and 1995), Bergen (1992 and 2000), Åbo (1993, 1998, and 2003), Aarhus (1994), Oslo (1996, 2007), Tallinn (1997 and 2002), Lyngby (2001), Copenhagen (2005) and Reykjavík (2006). This year it is Tallinn's turn again and the workshop will be celebrating its 20th anniversary. The workshop will be organized by organized by Institute of Cybernetics (Tallinn) and Dept. of Computer Science, Tallinn University of Technology. Scope Topics of interest include (but are not limited to) * semantics of programming languages, * programming language design and programming methodology, * programming logics, * formal specification of programs, * program verification, * program construction, * program transformation and refinement, * real-time and hybrid systems, * models of concurrency and distributed computing, * tools for program verification and construction. Invited Speakers * Dave Clarke, CWI, The Netherlands * Vincent Danos, University of Edinburgh, UK * Martin Fränzle, Carl von Ossietzky Univ. Oldenburg, Germany * Margus Veanes, Microsoft Research, Redmond, WA, USA Submission Authors wishing to give a talk at the workshop are requested to submit an abstract of 2-3 pages (pdf, printable on A4 paper) through EasyChair by 3 October 2008. Submission of work submitted for formal publication elsewhere and work in progress is permitted. The abstracts of the accepted contributions will be available at the workshop. After the workshop, selected papers will be published in a special issue of the Journal of Logic and Algebraic Programming. Important Dates * Submission of abstracts: 3 October 2008 * Notification: 17 October 2008 Programme Committee * Luca Aceto, Reykjavík Univ., Iceland * Michael R. Hansen, Technical Univ. of Denmark, Denmark * Anna Ingólfsdóttir, Reykjavík Univ., Iceland * Einar Broch Johnsen, University of Oslo, Norway * Kim G. Larsen, Aalborg Univ., Denmark * Bengt Nordström, Univ. of Gothenburg, Chalmers Univ. of Technology, Sweden * Olaf Owe, University of Oslo, Norway * Gerardo Schneider, University of Oslo, Norway * Tarmo Uustalu, Inst. of Cybernetics, Estonia (co-chair) * Jüri Vain, Tallinn Univ. of Technology, Estonia (co-chair) * Marina Waldén, Åbo Akademi University, Finland * Uwe Wolter, Univ. of Bergen, Norway * Wang Yi, Uppsala Univ., Sweden Sponsors The workshop is sponsored by EXCS, the new Estonian centre of excellence in computer science, http://cs.ioc.ee/excs/. Venue Tallinn, Estonia's capital, is famous for its picturesque medieval Old Town, a UNESCO World Heritage site. There are direct flights to Tallinn from Amsterdam, Barcelona, Berlin Schönefeld, Brussels, Copenhagen, Dublin, Dubrovnik, Frankfurt, Gothenburg, Hamburg, Helsinki, Kiev, London Gatwick and Stansted, Milan Malpensa, Minsk, Moscow, Munich, Oslo, Paris, Prague, Riga, Rome, Simferopol, Stockholm Arlanda, Vienna, Vilnius, and Warsaw. The workshop will take place in the historic House of the Brotherhood of the Blackheads in the Old Town at walking distance from all central hotels. The social programme includes a guided tour and a welcome reception in the new (opened 2006) KUMU Art Museum in Kadriorg. KUMU, designed by the Finnish architect Pekka Vapaavuori, has earned several recognitions for its architecture and is the 2008 winner of the European Museum of the Year award. Further information With questions, email nwpt08(at)cs.ioc.ee.