[TYPES/announce] Scala'18 Call for Papers
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Scala'18 Call for Papers 9th ACM SIGPLAN Symposium on Scala, 2018 27th-28th of September, 2018 St. Louis Missouri, United States https://conf.researchr.org/track/scala-2018/scala-2018-papers Scala is a general purpose programming language designed to express common programming patterns in a concise, elegant, and type-safe way. It smoothly integrates features of object-oriented and functional languages. The Scala Symposium is the leading forum for researchers and practitioners related to the Scala programming language. We welcome a broad spectrum of research topics and support many submission formats for industry and academia alike. This year’s Scala Symposium is co-located with ICFP 2018 and Strange Loop 2018. We seek submissions on all topics related to Scala, including (but not limited to): * Language design and implementation – language extensions, optimization, and performance evaluation. * Library design and implementation patterns for extending Scala – stand-alone Scala libraries, embedded domain-specific languages, combining language features, generic and meta-programming. * Formal techniques for Scala-like programs – formalizations of the language, type system, and semantics, formalizing proposed language extensions and variants, dependent object types, type and effect systems. * Concurrent and distributed programming – libraries, frameworks, language extensions, programming models, performance evaluation, experimental results. * Big data and machine learning libraries and applications using the Scala programming language. * Safety and reliability – pluggable type systems, contracts, static analysis and verification, runtime monitoring. * Interoperability with other languages and runtimes, such as JavaScript, Java 8 (lambdas), Graal and others. * Tools – development environments, debuggers, refactoring tools, testing frameworks. * Case studies, experience reports, and pearls. Important dates: * Paper submission June 1st, 2018 * Paper notification: July 13th, 2018 * Student talk submission: Aug 10th, 2018 * Camera ready: Aug 3rd, 2018 * Student talk notification: Aug 31st, 2018 All deadlines are at the end of the day, “Anywhere on Earth” (AoE). Submission Format: To accommodate the needs of researchers and practitioners, as well as beginners and experts alike, we seek several kinds of submissions, all in acmart/sigplan style, 10pt font. * Full papers (at most 10 pages, excluding bibliography) * Short papers (at most 4 pages, excluding bibliography) * Tool papers (at most 4 pages, excluding bibliography) * Student talks (short abstract only, in plain text) Accepted papers (either full papers, short ones or tool papers, but not student talks) will be published in the ACM Digital Library. Detailed information for each kind of submission is given below. Formatting requirements are detailed in Instructions for Authors. Please note that at least one author of each accepted contribution must attend the symposium and present the work. In the case of tool demonstration papers, a live demonstration of the described tool is expected. Full and Short Papers: Full and short papers should describe novel ideas, experimental results, or projects related to the Scala language. In order to encourage lively discussion, submitted papers may describe work in progress. Additionally, short papers may present problems and raise research questions interesting for the Scala language community. All papers will be judged on a combination of correctness, significance, novelty, clarity, and interest to the community. In general, papers should explain their original contributions, identifying what has been accomplished, explaining why it is significant, and relating it to previous work (also for other languages where appropriate). Tool Papers: Tool papers need not necessarily report original research results; they may describe a tool of interest, report practical experience that will be useful to others, new Scala idioms, or programming pearls. In all cases, such a paper must make a contribution which is of interest to the Scala community, or from which other members of the Scala community can benefit. Where appropriate, authors are encouraged to include a link to the tool’s website. For inspiration, you might consider advice in https://conf.researchr.org/track/POPL-2016/pepm-2016-main#Tool-Paper-Advice, which we however treat as non-binding. In case of doubts, please contact the program chairs. Student Talks: In addition to regular papers and tool demos, we also solicit short student talks by bachelor/master/PhD students. A student talk is not accompanied by paper (it is sufficient to submit a short abstract of the talk in plain text). Student talks
[TYPES/announce] VSTTE 2018 - Call for papers
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] VSTTE 2018: 10th Working Conference on Verified Software: Theories, Tools, and Experiments Oxford, part of FLoC 2018 Oxford, UK, July 18-19, 2018 Conference websitehttp://vstte18.it.uu.se/ Submission linkhttps://easychair.org/conferences/?conf=vstte2018 Abstract registration deadlineApril 15, 2018 Submission deadlineApril 22, 2018 The goal of the VSTTE conference series is to advance the state of the art in the science and technology of software verification, through the interaction of theory development, tool evolution, and experimental validation. VSTTE will bring together users and practitioners (from industry and academia), tool developers, and researchers working on theoretic aspects of verification. Submission Guidelines We welcome submissions describing significant advances in the production of verified software, i.e., software that has been proved to meet its functional specifications. Submissions of theoretical, practical, and experimental contributions are equally encouraged, including those that focus on specific problems or problem domains. We are especially interested in submissions describing large-scale verification efforts that involve collaboration, theory unification, tool integration, and formalized domain knowledge. We also welcome papers describing novel experiments and case studies evaluating verification techniques and technologies. All papers must be original and not simultaneously submitted to another journal or conference. Contributions can be submitted in the form of full research papers (limited to 16 pages, not including references), and in the form of short papers (limited to 10 pages, not including references). The post-conference proceedings of VSTTE 2017 will be published in the LNCS series. Topics include, but are not limited to: Education; Requirements modeling; Specification languages; Specification/verification/certification case studies; Formal calculi; Software design methods; Automatic code generation; Refinement methodologies; Compositional analysis; Verification tools, e.g., static analysis, dynamic analysis, model checking, theorem proving, satisfiability; Tool integration; Benchmarks; Challenge problems; Integrated verification environments. Programme Committee June Andronick (University of New South Wales, Australia) Martin Brain (University of Oxford, UK) Michael Butler (University of Southampton, UK) Supratik Chakraborty (IIT Bombay, India) Roderick Chapman (Protean Code Ltd and University of York, UK) Cristina David (University of Cambridge, UK) Dino Distefano (Facebook and Queen Mary University of London, UK) Mike Dodds (Galois Inc, USA) Patrice Godefroid (Microsoft Research, USA) Arie Gurfinkel (University of Waterloo, Canada) Liana Hadarean (Synopsys, USA) Swen Jacobs (Saarland University, Germany) Bart Jacobs (KU Leuven, Belgium) Cezary Kaliszyk (University of Innsbruck, Austria) Andy M. King (University of Kent, UK) Tim King (Google, USA) Vladimir Klebanov (SAP, Germany) Akash Lal (Microsoft Research, India) Nuno P. Lopes (Microsoft Research, UK) Alexander Malkis (TU Munich, Germany) Yannick Moy (AdaCore, France) Gennaro Parlato (University of Southampton, UK) Andrei Paskevich (Université Paris-Sud, France) Ruzica Piskac (Yale University, USA) - co-chair Markus Rabe (UC Berkeley, USA) Philipp Ruemmer (Uppsala University, Sweden) - co-chair Peter Schrammel (University of Sussex, UK) Natarajan Shankar (SRI International, USA) Tachio Terauchi (Waseda University, Japan) Mattias Ulbrich (KIT Karlsruhe, Germany) Philipp Wendler (Ludwig Maximilian University of Munich, Germany) Thomas Wies (New York University, USA) Greta Yorsh (Queen Mary University of London, UK) Aleksandar Zeljić (Uppsala University, Sweden) Damien Zufferey (MPI-SWS Kaiserslautern, Germany) Venue VSTTE 2018 is affiliated with the 30th International Conference on Computer-Aided Verification (CAV 2018) and is part of the Federated Logic Conference. Contact All questions about submissions should be emailed to ruzica.pis...@yale.edu or philipp.ruem...@it.uu.se
[TYPES/announce] 8th Halmstad Summer School on Testing (June 11-14)
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] === The 8th Halmstad Summer School on Testing Halmstad University, Sweden (Organised in cooperation with the TOCSYC Network) June 11 - June 14, 2018 http://ceres.hh.se/mediawiki/HSST_2018 === Scope Software testing accounts for a major part of software development cost and effort, yet the current practice of software testing is often insufficiently structured and disciplined. There have been various attempts in the past decades to bring more rigour and structure into this field, resulting in several industrial-strength processes, techniques and tools for different levels of testing. The 8th Halmstad Summer School on Testing provides an overview of the state of the art in testing, including theory, industrial cases, tools and hands-on tutorials by internationally-renowned researchers. Tutorials Model-based Mutation Testing: the Science of Killing Bugs in a Black Box, Bernhard Aichernig, TU Graz, Austria Testing concurrent and distributed systems, Mauro Pezzé, University of Lugano, Switzerland Model-Based Testing: Theory, Tools, and Applications, Jan Tretmans, ESI by TNO and Radboud University Nijmegen, The Netherlands and Halmstad University, Sweden Automated testing of applications at the GUI level, Tanja Vos, Technical University of Valencia, Spain and the Open University, The Netherlands Real Bugs, Real Projects, Real Impact, Andrzej Wasowski, IT University of Copenhagen, Denmark (An additional speaker's confirmation is pending.) Registration == The registration deadline is May 1, 2018. To apply to the summer school, please fill in the form at: http://bit.ly/HSST2018 . If you have any dietary requirements, or would like to attend only certain days of the summer school, please indicate in the form . The registration fee is 3800 SEK (approx. 380 EUR) and covers lunches, coffee breaks, the study material, the social event, and a social dinner (but not drinks). Ph.D. Symposium === The deadline for Ph.D. abstract submission is May 15, 2018. We have 8 time slots for Ph.D. presentations, where each student gets to present her/his research project (and possibly results) and receive feedback from our experts. We solicit abstracts of 2 pages, solely authored by a Ph.D. student, in the EasyChair Style in order to make a selection (see: http://www.easychair.org/ publications/for_authors). The abstract should contain a clear overview of the problem description, approach, (existing results, if any,) and future milestone. Abstract submissions can already be made via https://easychair.org/ conferences/?conf=hsst2018 . Venue == The summer school will be held on the campus of Halmstad University in Halmstad, Sweden. Halmstad is a popular summer destination located on the Swedish west coast. Just a few minutes by bicycle or bus takes you from campus to city centre, sandy beaches or forested Galgberget Hill. Trains take you directly to Göteborg in about an hour, to the Malmö-Copenhagen area in about 2 hours and to Stockholm in 4.5 hours. There are also daily flights from Halmstad Airport (and the nearby Ängelholm Airport) to Stockholm Bromma Airport. If you are flying in internationally it is generally easiest to fly into Copenhagen (CPH) airport (also known as Kastrup). The best thing about flying into CPH is that you just buy a train ticket when you arrive at the airport and simply take a train from the airport directly toHalmstad. More travel information can be found at the school page: http://ceres.hh.se/mediawiki/index.php/HSST_2018#Venue Organizers Stella Erlandsson (Local Organization, stella.erlands...@hh.se) Mohammad Mousavi (Program Co-Chair, m.r.mous...@hh.se) Richard Torkar (Program Co-Chair, richard.tor...@cse.gu.se) The abstracts of the tutorials can be found at: http://ceres.hh.se/mediawiki/index.php/HSST_2018 For more information, contact one of the organizers.
[TYPES/announce] [fm-announcements] RV 2018 Call for Papers
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] RV 2018 Call for Papers The 18th International Conference on Runtime Verification November 10-13, 2018, Limassol, Cyprus https://rv2018.isp.uni-luebeck.de rv18(at)easychair(dot)org Runtime verification is concerned with the monitoring and analysis of the runtime behaviour of software and hardware systems. Runtime verification techniques are crucial for system correctness, reliability, and robustness; they provide an additional level of rigor and effectiveness compared to conventional testing, and are generally more practical than exhaustive formal verification. Runtime verification can be used prior to deployment, for testing, verification, and debugging purposes, and after deployment for ensuring reliability, safety, and security and for providing fault containment and recovery as well as online system repair. Topics of interest to the conference include, but are not limited to: * specification languages * monitor construction techniques * program instrumentation * logging, recording, and replay * combination of static and dynamic analysis * specification mining and machine learning over runtime traces * monitoring techniques for concurrent and distributed systems * runtime checking of privacy and security policies * statistical model checking * metrics and statistical information gathering * program/system execution visualization * fault localization, containment, recovery and repair * dynamic type checking Application areas of runtime verification include cyber-physical systems, safety/mission-critical systems, enterprise and systems software, autonomous and reactive control systems, health management and diagnosis systems, and system security and privacy. We welcome contributions exploring the combination of runtime verification techniques with machine learning and static analysis. Whilst these are highlight topics, papers falling into these categories will not be treated differently from other contributions. An overview of previous RV conferences and earlier workshops can be found at: http://www.runtime-verification.org. RV 2018 will be held November 10-13 in Limassol, Cyprus. RV 2018 will feature a tutorial day (November 10), and three conference days (November 11-13). IMPORTANT DATES Papers as well as tutorial proposals will follow the following timeline (Anywhere on Earth): * Abstract deadline: June 18, 2018 * Paper deadline: June 25, 2018 * Paper notification: September 10, 2018 * Camera-ready deadline: September 21, 2018 * Conference: November 10-13, 2018 GENERAL INFORMATION ON SUBMISSIONS All accepted papers (including short papers) will appear in the conference proceedings in an LNCS volume. More precisely, the proceedings will appear within the formal methods subline of LNCS. Submitted papers must use the LNCS/Springer style detailed here: http://www.springer.de/comp/lncs/authors.html Papers must be original work and not be submitted for publication elsewhere. Papers must be written in English and submitted electronically (in PDF format) using the EasyChair submission page here: https://easychair.org/conferences/?conf=rv18 The page limitations mentioned below include all text and figures, but exclude references. Additional details omitted due to space limitations may be included in a clearly marked appendix, that will be reviewed at the discretion of reviewers, but not included in the proceedings. At least one author of each accepted paper must attend RV 2018 for presentation. PAPER SUBMISSIONS There are two categories of papers which can be submitted: regular or short papers. Papers in each category will be reviewed by at least 3 members of the Program Committee. * Regular Papers (up to 15 pages, not including references) should present original unpublished results. We welcome theoretical papers, system papers, papers describing domain-specific variants of RV, and case studies on runtime verification. * Short Papers (up to 6 pages, not including references) may present novel but not necessarily thoroughly worked out ideas, for example emerging runtime verification techniques and applications, or techniques and applications that establish relationships between runtime verification and other domains. The Program Committee of RV 2018 will give a best paper award, and a selection of accepted regular papers will be invited to appear in a special issue of the Springer Journal on Formal Methods in System Design. RELATED EVENTS The RV conference also includes an RV tool contest as well as an exhibition of industrial-strength runtime verification tools and approaches. Separate calls for contribution to these events will be issued soon. COMMITTEES General Chair * Saddek Bensalem, VERIMAG (University of Grenoble Alpes),
[TYPES/announce] Postdoctoral position in machine learning + program synthesis at, Rice University
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Postdoctoral position in machine learning + program synthesis at Rice University - Rice University's Intelligent Software Systems Laboratory is looking to hire a postdoctoral researcher for a project at the interface of program synthesis and deep learning. Our goal is to develop algorithms for program synthesis that are guided by neural networks, as well as new learning algorithms that leverage programming language abstractions. Ideal applicants will have a background in formal methods and/or programming languages, interest in machine learning, and experience with building systems of significant size. The postdoc will work with Professor Swarat Chaudhuri. The duration of the position is two years, starting summer 2018. Compensation will be competitive and commensurate with experience. To apply, send a CV and names of 2 references to Swarat Chaudhuri (swa...@rice.edu).
[TYPES/announce] CfP: VORTEX 2018, Verification of Objects at RunTime EXecution
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] VORTEX 2018, ECOOP and ISSTA, Amsterdam, July 16-21, 2018 (https://conf.researchr.org/track/ecoop-issta-2018/vortex-2018-papers) = Runtime verification (RV) is an approach to software verification concerned with monitoring and analysis of software and hardware under execution. Recently, RV has gained more traction as an effective and promising approach to ensure software reliability, bridging a gap between formal verification and conventional testing; monitoring a system at runtime offers additional opportunities for addressing error recovery, self-adaptation, and other issues that go beyond software reliability. The goal of VORTEX is to bring together researchers working on runtime verification for topics covering either theoretical, or practical aspects, or, preferably, both, with emphasis on object-oriented languages, and systems. Topics of interest include, but are not limited to, the following ones: * behavioural types for RV * combination of static and dynamic analyses * industrial applications * language support for RV * monitor construction and synthesis techniques * monitoring concurrent/distributed systems * monitoring oriented programming * program adaptation * runtime enforcement, fault detection, recovery and repair * RV for safety and security * RV for the Internet of Things * specification formalisms and formal underpinning of RV * specification mining * tool development Contributions will be formally reviewed by at least three reviewers, and selection will be based on originality, relevance, technical accuracy, and the potential to generate interesting discussions. Important Dates --- Paper submission: May 16, 2018 23:59 AoE (UTC-12h) Notification: June 14, 2018 Submission Instructions --- Submissions must be unpublished work, in English, formatted in PDF with acmart sigplan style (http://www.sigplan.org/Resources/Author), and are allowed to be position papers or surveys (max 6 pages), short papers (max 3 pages) presenting preliminary ongoing scientific work, or long papers (max 6 pages) providing more consolidated research contributions. Papers must be submitted electronically via EasyChair at https://easychair.org/conferences/?conf=vortex2018 . Proceedings and Special Issue - Accepted papers will, upon agreement by the authors, be published in the ACM Digital Library. Depending on the quality of submissions, authors of selected papers will be invited after the workshop to submit an extended version for a special issue hosted by a prime journal in the field. Program Committee - - Davide Ancona, University of Genova, Italy (co-chair) - Gordon Pace, University of Malta, Malta (co-chair) - Wolfgang Ahrendt, Chalmers University of Technology, Sweden - Cyrille Artho, KTH Royal Institute of Technology, Sweden - Ezio Bartocci, Technische Universität Wien, Austria - Borzoo Bonakdarpour, Iowa State University, USA - Ylies Falcone, Univ. Grenoble Alpes, Inria, France - Klaus Havelund, NASA/Caltech Jet Propulsion Laboratory, USA - Reiner Hahnle, Technical University of Darmstadt, Germany - Jean-Baptiste Jeannin, Carnegie Mellon University, USA - Martin Leucker, University of Lubeck, Germany - Rumyana Neykova, Imperial College London, UK - Luca Padovani, University of Turin, Italy - Antonio Ravara, New University of Lisbon, Portugal - Giles Reger, University of Manchester, UK - Gerardo Schneider, University of Gothenburg, Sweden - Volker Stolz, Hogskulen pa Vestlandet, Norway - Cesar Sanchez, IMDEA Software Institute, Spain - Frank S. de Boer, Centrum Wiskunde & Informatica, Leiden University, Netherlands - Oleg Sokolsky, University of Pennsylvania, USA
[TYPES/announce] PPDP 2018: Second Call for Papers
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] == PPDP 2018: Second Call for Papers == 20th International Symposium on Principles and Practice of Declarative Programming Frankfurt am Main, Germany, 3-5 September 2018 http://ppdp-lopstr-18.cs.uni-frankfurt.de/ppdp18.html (co-located with LOPSTR 2018 and WFLP 2018) http://ppdp-lopstr-18.cs.uni-frankfurt.de == Invited Talks (NEW!) - Philippa Gardner, Imperial College: Testing and Verification for JavaScript (joint with LOPSTR) - Jorge Navas, SRI International: Constrained Horn Clauses for Verification (joint with LOPSTR) - Chung-Chieh Shan, University of Indiana: Calculating Distributions Scope = The PPDP 2018 symposium brings together researchers from the declarative programming communities, including those working in the functional, logic, answer-set, and constraint handling programming paradigms. The goal is to stimulate research in the use of logical formalisms and methods for analyzing, performing, specifying, and reasoning about computations, including mechanisms for concurrency, security, static analysis, and verification. Submissions are invited on all topics related to declarative programming, from principles to practice, from foundations to applications. Topics of interest include, but are not limited to - Language Design: domain-specific languages; interoperability; concurrency, parallelism, and distribution; modules; probabilistic languages; reactive languages; database languages; knowledge representation languages; languages with objects; language extensions for tabulation; metaprogramming. - Implementations: abstract machines; interpreters; compilation; compile-time and run-time optimization; memory management. - Foundations: types; logical frameworks; monads and effects; semantics. - Analysis and Transformation: partial evaluation; abstract interpretation; control flow; data flow; information flow; termination analysis; resource analysis; type inference and type checking; verification; validation; debugging; testing. - Tools and Applications: programming and proof environments; verification tools; case studies in proof assistants or interactive theorem provers; certification; novel applications of declarative programming inside and outside of CS; declarative programming pearls; practical experience reports and industrial application; education. The PC chair will be happy to advise on the appropriateness of a topic. PPDP will be co-located with the 28th Int'l Symp. on Logic-Based Program Synthesis and Transformation (LOPSTR 2018). Submission Categories = Submissions can be made in three categories: regular Research Papers, System Descriptions, and Experience Reports. Submissions of Research Papers must present original research which is unpublished and not submitted elsewhere. They must not exceed 12 pages ACM style 2-column (including figures, but excluding bibliography). Work that already appeared in unpublished or informally published workshop proceedings may be submitted (please contact the PC chair in case of questions). Research papers will be judged on originality, significance, correctness, clarity, and readability. Submission of System Descriptions must describe a working system whose description has not been published or submitted elsewhere. They must not exceed 10 pages and should contain a link to a working system. System Descriptions must be marked as such at the time of submission and will be judged on originality, significance, usefulness, clarity, and readability. Submissions of Experience Reports are meant to help create a body of published, refereed, citable evidence where declarative programming such as functional, logic, answer-set, constraint programming, etc., is used in practice. They must not exceed 5 pages **including references**. Experience Reports must be marked as such at the time of submission and need not report original research results. They will be judged on significance, usefulness, clarity, and readability. Possible topics for an Experience Report include, but are not limited to: insights gained from real-world projects using declarative programming comparison of declarative programming with conventional programming in the context of an industrial project or a university curriculum curricular issues encountered when using declarative programming in education real-world constraints that created special challenges for an implementation of a declarative language or for declarative programming in general novel use of