[TYPES/announce] ACM SIGPLAN Scala Symposium 2017: Final Call for Papers
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] ACM SIGPLAN Scala Symposium 2017 co-located with SPLASH 2017 Vancouver, Canada 22-23 October 2017 CALL FOR PAPERS http://conf.researchr.org/track/scala-2017/scala-2017-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 a forum for researchers and practitioners to share new ideas and results of interest to the Scala community. We welcome a broad spectrum of research topics and many formats. Important dates === * Abstract submission: Jul 2nd, 2017 * Paper submission: Jul 9th, 2017 * Paper notification: Aug 20th, 2017 * Student talk submission: Aug 30th, 2017 * Camera ready: Sep 11th, 2017 * Student talk notification: Sep 17th, 2017 All deadlines are "Anywhere on Earth" (AoE). Topics of Interest == 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. 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 papers, 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 on the symposium website at http://conf.researchr.org/track/scala-2017/scala-2017-papers#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 http://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
[TYPES/announce] APLAS 2017: June 13 deadline, Final CfP, Asian Symposium on Programming Languages and Systems
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Note that full paper deadline has been extended to Monday, June 19 as long as the paper is registered by the original abstract deadline of Tuesday, June 13 AoE. * APLAS 2017 Second Call for Papers 15th Asian Symposium on Programming Languages and Systems Suzhou, China, November 27-29, 2017 https://www-aplas.github.io/ * # Important Dates - Abstract deadline: Tuesday, June 13, 2017 (firm) - Paper deadline: Monday, June 19, 2017 (extended from Friday, June 16, 2017) - Author response: Wednesday-Friday, July 26-28, 2017 - Author notification: Monday, August 14, 2017 - Camera-ready deadline: Friday, September 1, 2017 - Conference: Monday-Wednesday, November 27-29, 2017 All deadline times are AoE. # About APLAS aims to stimulate programming language research by providing a forum for the presentation of latest results and the exchange of ideas in programming languages and systems. APLAS is based in Asia but is an international forum that serves the worldwide programming languages community. APLAS is sponsored by the Asian Association for Foundation of Software (AAFS), founded by Asian researchers in cooperation with many researchers from Europe and the USA. Past APLAS symposiums were successfully held in Hanoi ('16), Pohang ('15), Singapore ('14), Melbourne ('13), Kyoto ('12), Kenting ('11), Shanghai ('10), Seoul ('09), Bangalore ('08), Singapore ('07), Sydney ('06), Tsukuba ('05), Taipei ('04), and Beijing ('03) after three informal workshops. Proceedings of the past symposiums were published in Springer's LNCS. # Topics The symposium is devoted to foundational and practical issues broadly spanning the areas of programming languages and systems. Papers are solicited on topics such as - semantics, logics, foundational theory - design of languages, type systems, and foundational calculi - domain-specific languages - compilers, interpreters, abstract machines - program derivation, synthesis, and transformation - program analysis, verification, model-checking - logic, constraint, probabilistic, and quantum programming - software security - concurrency and parallelism - tools and environments for programming and implementation Topics are not limited to those discussed in previous symposiums. Papers identifying future directions of programming and those addressing the rapid changes of the underlying computing platforms are especially welcome. Demonstration of systems and tools in the scope of APLAS are welcome to the System and Tool demonstrations category. Authors concerned about the appropriateness of a topic are welcome to consult with program chair prior to submission. # Submission We solicit submissions in two categories: - **Regular research papers** describing original scientific research results, including system development and case studies. Regular research papers *should not exceed 18 pages* in the Springer LNCS format, including bibliography and figures. This category encompasses both theoretical and implementation (also known as system descriptions) papers. In either case, submissions should clearly identify what has been accomplished and why it is significant. Submissions will be judged on the basis of significance, relevance, correctness, originality, and clarity. System descriptions papers should contain a link to a working system and will be judged on originality, usefulness, and design. In case of lack of space, proofs, experimental results, or any information supporting the technical results of the paper could be provided as an appendix or a link to a web page, but reviewers are not obliged to read them. - **System and tool demonstrations** describing a demonstration of a tool or a system that support theory, program construction, reasoning, or program execution in the scope of APLAS. The main purpose of a tool paper is to display a completed, robust and well-documented tool--highlighting the overall functionality of the tool, the interfaces of the tool, interesting examples and applications of the tool, an assessment of the tool's strengths and weaknesses, and a summary of documentation/support available with the tool. Authors of tool demonstration proposals are expected to present a live demonstration of the tool at the conference. It is highly desirable that the tools are available on the web. System and Tool papers should not exceed 8 pages in the Springer LNCS format, including bibliography and figures. They may include an additional appendix of up to 6 extra pages giving the outline, screenshots, examples, etc. to indicate the content of the proposed live demo. Papers should be submitted electronically via the submission web page https://easychair.org/conferences/?conf=aplas2017 using EasyChair. The acceptable format is PDF.
[TYPES/announce] Methods and Tools for Distributed Hybrid Systems (DHS 2017)
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Please find below a second CfP for the DHS workshop associated with MFCS 2017. DHS is concerned with analysis and validation of distributed hybrid systems, thus intersects with some of the topics of this list. Best regards, Uli Fahrenberg Apologies for multiple copies of this email; please distribute as you see fit. SECOND CALL FOR PAPERS DHS 2017 International Workshop on Methods and Tools for Distributed Hybrid Systems Associated with MFCS 2017 Aalborg University, Denmark 25-26 August 2017 http://dhs.gforge.inria.fr/ The deadline for submission has been extended to 20 June. The purpose of DHS is to connect researchers working in real-time and hybrid systems, control theory, distributed computing, and concurrency, in order to advance the subject of distributed hybrid systems. Distributed hybrid systems, or distributed cyber-physical systems, are abundant. Many of them are safety-critical, but ensuring their correct functioning is very difficult. We believe that new techniques are needed for the analysis and validation of DHS. More precisely, we believe that convergence and interaction of methods and tools from different areas of computer science, engineering, and mathematics is needed in order to advance the subject. This first edition of the DHS workshop aims at gathering researchers which work in the above areas in order to facilitate collaboration and discuss how the subject may advance. INVITED SPEAKERS Martin Fränzle, Carl von Ossietzky Universität Oldenburg, Germany Kim G. Larsen, Aalborg Universitet, Denmark Martin Raussen, Aalborg Universitet, Denmark Rafael Wisniewski, Aalborg Universitet, Denmark IMPORTANT DATES Paper submission: 20 June 2017 Notification: 15 July 2017 Final version: 31 July 2017 Workshop: 25 August (afternoon) - 26 August (evening) For more information, see: http://dhs.gforge.inria.fr/
[TYPES/announce] 1st CfP: IFL 2017 (29th Symposium on Implementation and Application of Functional Languages)
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Hello,Please, find below the first call for papers for IFL 2017.Please forward these to anyone you think may be interested.Apologies for any duplicates you may receive.best regards,Jurriaan HagePublicity Chair of IFL---IFL 2017 - CALL FOR PAPERS==29th SYMPOSIUM ON IMPLEMENTATION AND APPLICATION OF FUNCTIONAL LANGUAGESUniversity of Bristol, UKIn cooperation with ACM SIGPLANWednesday 30 August - Friday 1 September, 2017href="http://iflconference.org/;>http://iflconference.org/Scope-The goal of the IFL symposia is to bring together researchers actively engagedin the implementation and application of functional and function-basedprogramming languages. IFL 2017 will be a venue for researchers to present anddiscuss new ideas and concepts, work in progress, and publication-ripe resultsrelated to the implementation and application of functional languages andfunction-based programming.Peer-review---Following the IFL tradition, IFL 2017 will use a post-symposium review processto produce the formal proceedings. All participants of IFL 2017 are invited tosubmit either a draft paper or an extended abstract describing work to bepresented at the symposium. At no time may work submitted to IFL besimultaneously submitted to other venues; submissions must adhere to ACMSIGPLANs republication policy:href="http://www.sigplan.org/Resources/Policies/Republication;>http://www.sigplan.org/Resources/Policies/RepublicationThe submissions will be screened by the program committee chair to make surethey are within the scope of IFL, and will appear in the draft proceedingsdistributed at the symposium. Submissions appearing in the draft proceedingsare not peer-reviewed publications. Hence, publications that appear only in thedraft proceedings are not subject to the ACM SIGPLAN republication policy.After the symposium, authors will be given the opportunity to incorporate thefeedback from discussions at the symposium and will be invited to submit arevised full article for the formal review process. From the revisedsubmissions, the program committee will select papers for the formalproceedings considering their correctness, novelty, originality, relevance,significance, and clarity. The formal proceedings will appear in theInternational Conference Proceedings Series of the ACM Digital Library.Important dates---Mon 31 July 2017 : Submission deadline draft papersWed 2 August 2017 : Notification of acceptance for presentationFri 4 August 2017 : Early registration deadlineFri 11 August 2017 : Late registration deadlineMon 21 August 2017 : Submission deadline for pre-symposium proceedingsWed 30 August 2017 - Fri 1 September 2017 : IFL SymposiumMon 4 December 2017 : Submission deadline for post-symposium proceedingsWed 31 January 2018 : Notification of acceptance for post-symposium proceedingsMon 12 March 2018 : Camera-ready version for post-symposium proceedingsSubmission details--Prospective authors are encouraged to submit papers or extended abstracts to bepublished in the draft proceedings and to present them at the symposium. Allcontributions must be written in English. Papers must use the new ACM twocolumns conference format, which can be found at:href="http://www.acm.org/publications/proceedings-template;>http://www.acm.org/publications/proceedings-templateFor the pre-symposium proceedings we adopt a weak page limit of 12 pages. Forthe post-symposium proceedings the page limit of 12 pages is firm.Authors submit through EasyChair:href="https://easychair.org/conferences/?conf=ifl2017;>https://easychair.org/conferences/?conf=ifl2017Topics--IFL welcomes submissions describing practical and theoretical work as well assubmissions describing applications and tools in the context of functionalprogramming. If you are not sure whether your work is appropriate for IFL 2017,please contact the PC chair at href="mailto:nicolas...@bristol.ac.uk;>nicolas...@bristol.ac.uk. Topics of interest include,but are not limited to:- language concepts- type systems, type checking, type inferencing- compilation techniques- staged compilation- run-time function specialization- run-time code generation- partial evaluation- (abstract) interpretation- metaprogramming- generic programming- automatic program generation- array processing- concurrent/parallel programming- concurrent/parallel program execution- embedded systems- web applications- (embedded) domain specific languages- security- novel memory management techniques- run-time profiling performance measurements- debugging and tracing- virtual/abstract machine architectures- validation, verification of functional