[TYPES/announce] [fm-announcements] CFP: 11th International Workshop on Developments in Computational Models
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] == CALL FOR PAPERS -- DCM 2015 11th International Workshop on Developments in Computational Models October 28, 2015, Cali, Colombia http://dcm-workshop.org.uk/2015/ A satellite event of ICTAC 2015 - http://www.ictac2015.co http://www.ictac2015.co/ DEADLINE FOR SUBMISSIONS: AUGUST 3, 2015 == Several new models of computation have emerged in the last few years, and many developments of traditional computational models have been proposed with the aim of taking into account the new demands of computer systems users and the new capabilities of computation engines. A new computational model, or a new feature in a traditional one, usually is reflected in a new family of programming languages, and new paradigms of software development. DCM 2015 is the eleventh in a series of international workshops focusing on new computational models. The aim of this workshop is to bring together researchers who are currently developing new computational models or new features for traditional computational models, in order to foster their interaction, to provide a forum for presenting new ideas and work in progress, and to enable newcomers to learn about current activities in this area. DCM 2015 will be a one-day satellite event of ICTAC 2015, the Twelfth International Colloquium on Theoretical Aspects of Computing. == TOPICS OF INTEREST Topics of interest include all abstract models of computation and their properties, and their applications to the development of programming languages and systems: - functional calculi: lambda-calculus, rho-calculus, term and graph rewriting; - quantum computation, including implementations and formal methods in quantum protocols; - probabilistic computation and verification in modeling situations; - chemical, biological and bio-inspired computation, including spatial models, self-assembly, growth models; - models of concurrency, including the treatment of mobility, trust, and security; - infinitary models of computation; - information-theoretic ideas in computing. == IMPORTANT DATES - Submission Deadline for Extended Abstracts: August 3 - Notification: 13 September - Pre-proceedings version due: 5 October - Workshop: 28 October - Submission Deadline for EPTCS Proceedings: 7 December == INVITED SPEAKERS Mauricio Ayala Rincón, Universidade de Brasilia (Brazil). Gilles Dowek, INRIA (France). == SUBMISSIONS Submit your paper in PDF format via the conference EasyChair submission page: https://www.easychair.org/conferences/?conf=dcm2015 Submissions should be an abstract of at most 5 pages, written in English. Simultaneous submission to journals, conferences or other workshops is not permitted. Please use the EPTCS macro package and follow the instructions of EPTCS, following the EPTCS style: http://style.eptcs.org/ A submission may contain an appendix, but reading the appendix should not be necessary to assess its merits. After the workshop authors are invited to submit a full paper of their presentation. Accepted contributions will appear in an issue of EPTCS. == PROGRAM COMMITTEE: Mario Benevides (Brazil) Luís Caires (Portugal) Ugo Dal Lago (Italy) Nachum Dershowitz (Israel) Jérôme Feret (France) Marcelo Frias (Argentina) Russ Harmer (France) Ivan Lanese (Italy) Radu Mardare (Denmark) Elvira Mayordomo (Spain) César A. Muñoz (USA) - chair Jorge A. Pérez (The Netherlands) - chair Andrés Sicard-Ramírez (Colombia) Alexandra Silva (The Netherlands) Daniele Varacca (France) == CONTACT INFORMATION Cesar A. Munoz (cesar.a.mu...@nasa.gov) Jorge A. Perez (j.a.pe...@rug.nl) --- To opt-out from this mailing list, send an email to fm-announcements-requ...@lists.nasa.gov with the word 'unsubscribe' as subject or in the body. You can also make the request by contacting fm-announcements-ow...@lists.nasa.gov
[TYPES/announce] MASPEGHI 2015 Workshop - call for papers
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Call for contributions and participation MASPEGHI 2015 MechAnisms for SPEcialization, Generalization and inHerItance - Workshop in conjunction with ECOOP 2015 Prague, Czech Republic, Sunday, 5th July, 2015 The MASPEGHI series of workshops, the latest of which took place at ECOOP 2013 (Montpellier, France), continues. Most papers presented in this workhop series in the past have been in the areas of programming languages and software engineering. However, the exchange of ideas with other fields would be very useful. We therefore welcome also submissions related to databases, knowledge discovery and representation, modelling and design methods, for example. The workshop is concerned at least with: - the design of inheritance-related reuse mechanisms, including their dynamic semantics, static analysis, permissions and visibility; - software engineering issues, including metrics, interactions with methodologies, and consequences for quality parameters such as maintainability and comprehensibility. Authors primarily interested in implementation issues should consider instead submitting to the ICOOOLPS workshop, also to be held in conjunction with ECOOP 2015. For the first time, we solicit two kinds of submissions: 1. position papers of up to 2 pages, 2. technical papers of up to 5 pages. Position papers will be only lightly reviewed, and accepted papers will be made available only on the workshop website. Technical papers will be formally refereed by a Programme Committee, and the final versions of accepted papers will be published in the ACM Digital Library (unless the authors do not want that). Important deadlines --- Paper submission: Thursday, 2 April Notification of acceptance or rejection: Friday, 1 May Workshop programme published: Saturday, 16 May Early registration for the conference: to be announced Final papers: to be announced Workshop: Sunday, 5 July Organising Committee Andrew P. Black, Portland State University, USA (primary contact) Markku Sakkinen, University of Jyväskylä, Finland Erik Ernst, Google, Denmark Manuel Oriol, ABB Corporate Research, Switzerland Marianne Huchard, LIRMM, France Current Programme Committee (in addition to the above) -- Gabriela Arévalo, DCyT - Universidad Nacional de Quilmes, Argentina Kim Bruce, Pomona College, USA Robert Godin, Université du Québec à Montréal, Canada Martin Hitz, Alpen-Adria-Universität Klagenfurt, Austria Gerti Kappel, Technical University of Vienna, Austria Stein Krogdahl, University of Oslo, Norway Bernhard Thalheim, Christian-Albrechts-University, Germany Roberto Zicari, Goethe-Universität Frankfurt am Main, Germany The PC may still be extended. Detailed information See the workshop website at http://2015.ecoop.org/track/MASPEGHI-2015-papers If you are interested, join the mailing list at http://lists.jyu.fi/mailman/listinfo/maspeghi-2015 -- Erik Ernst - eer...@acm.org Google, Inc.
[TYPES/announce] CFP: LCC 2015
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] == First Call for Papers LCC 2015 16th International Workshop on Logic and Computational Complexity July 4-5, 2015, Kyoto, Japan collocated with ICALP/LICS 2015 http://www.cs.swansea.ac.uk/lcc/ == LCC meetings are aimed at the foundational interconnections between logic and computational complexity, as present, for example, in implicit computational complexity (descriptive and type-theoretic methods); deductive formalisms as they relate to complexity (e.g. ramification, weak comprehension, bounded arithmetic, linear logic and resource logics); complexity aspects of finite model theory and databases; complexity-mindful program derivation and verification; computational complexity at higher type; and proof complexity. The program will consist of invited lectures as well as contributed talks selected by the Program Committee. IMPORTANT DATES: * submission April 19, 2015 * notification May 14, 2015 * workshop July 4-5, 2015 INVITED SPEAKERS: tba SUBMISSION: We welcome submissions of abstracts based on work submitted or published elsewhere, provided that all pertinent information is disclosed at submission time. There will be no formal reviewing as is usually understood in peer-reviewed conferences with published proceedings. The program committee checks relevance and may provide additional feedback. Submissions must be in English and in the form of an abstract of about 3-4 pages. All submissions should be submitted through Easychair at: https://easychair.org/conferences/?conf=lcc2015 PROGRAM COMMITTEE: * Albert Atserias (Universitat Politècnica de Catalunya, Barcelona) co-chair * Guillaume Bonfante (LORIA, Nancy) * Yijia Chen (Fudan University, Shanghai) * Ugo Dal Lago(Università degli Studi di Bologna) * Nao Hirokawa(JAIST, Nomi) co-chair * Antonina Kolokolova (Memorial University of Newfoundland) * Damiano Mazza (CNRS, LIPN - University Paris 13) * Georg Moser (University of Innsbruck) * Moritz Müller (Kurt Gödel Research Center for Mathematical Logic, Wien) * Benjamin Rossman(National Institute of Informatics, Tokyo) * Iddo Tzameret (Royal Holloway, University of London) * Heribert Vollmer(Leibniz Universität Hannover)
[TYPES/announce] 3rd Workshop on Domain-Specific Language Design and Implementation (DSLDI'15)
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] * FIRST CALL FOR TALK PROPOSALS DSLDI 2015 Third Workshop on Domain-Specific Language Design and Implementation July 7, 2015 Prague, Czech Republic Co-located with ECOOP http://2015.ecoop.org/track/dsldi-2015-papers * Deadline for talk proposals: 2nd of April, 2015 If designed and implemented well, domain-specific languages (DSLs) combine the best features of general-purpose programming languages (e.g., performance) with high productivity (e.g., ease of programming). *** Workshop Goal *** The goal of the DSLDI workshop is to bring together researchers and practitioners interested in sharing ideas on how DSLs should be designed, implemented, supported by tools, and applied in realistic application contexts. We are both interested in discovering how already known domains such as graph processing or machine learning can be best supported by DSLs, but also in exploring new domains that could be targeted by DSLs. More generally, we are interested in building a community that can drive forward the development of modern DSLs. *** Workshop Format *** DSLDI is a single-day workshop and will consist of a series of short talks whose main goal is to trigger exchange of opinion and discussions. The talks should be on the topics within DSLDI's area of interest, which include but are not limited to the following ones: * DSL implementation techniques, including compiler-level and runtime-level solutions * utilization of domain knowledge for driving optimizations of DSL implementations * utilizing DSLs for managing parallelism and hardware heterogeneity * DSL performance and scalability studies * DSL tools, such as DSL editors and editor plugins, debuggers, refactoring tools, etc. * applications of DSLs to existing as well as emerging domains, for example graph processing, image processing, machine learning, analytics, robotics, etc. * practitioners reports, for example descriptions of DSL deployment i a real-life production setting *** Call for Submissions *** We solicit talk proposals in the form of short abstracts (max. 2 pages). A good talk proposal describes an interesting position, demonstration, or early achievement. The submissions will be reviewed on relevance and clarity, and used to plan the mostly interactive sessions of the workshop day. Publication of accepted abstracts and slides on the website is voluntary. * Deadline for talk proposals: April 2nd, 2015 * Notification: May 1st, 2015 * Workshop: July 7th, 2015 * Submission website: https://easychair.org/conferences/?conf=dsldi2015 *** Workshop Organization *** Organizers * Tijs van der Storm (st...@cwi.nl), CWI, The Netherlands * Sebastian Erdweg (erd...@informatik.tu-darmstadt.de), TU Darmstadt, Germany Follow us on Twitter at https://twitter.com/wsdsldi Program committee * Emilie Balland * Martin Bravenboer (LogicBlox) * Hassan Chafi (Oracle Labs) * William Cook (UT Austin) * Shriram Krishnamurthi (Brown University) * Heather Miller (EPFL) * Bruno Oliveira (University of Hong Kong) * Cyrus Omar (CMU) * Richard Paige (University of York) * Tony Sloane (Macquarie University) * Emma Söderberg (Google) * Emma Tosch (University of Massachusetts, Amherst) * Jurgen Vinju (CWI) -- Researcher Centrum Wiskunde Informatica (CWI) Master of Software Engineering Universiteit van Amsterdam (UvA) Dr. Tijs van der Storm @ Centrum Wiskunde Informatica (CWI) Office: L225| Phone: +31 (0)20 5924164 | Address: Science Park 123 P.O. Box 94079 | Postal code: 1090 GB | Amsterdam, The Netherlands
[TYPES/announce] SAS 2015: Final Call for Papers
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] - Final Call for Papers: Static Analysis Symposium 2015 (SAS 2015) September 9-11, 2015 Saint-Malo, France http://sas2015.inria.fr Abstracts due: Monday March 9, 2015 Papers due: Friday March 13, 2015 - Objective - Static Analysis is increasingly recognized as a fundamental tool for program verification, bug detection, compiler optimization, program understanding, and software maintenance. The series of Static Analysis Symposia has served as the primary venue for the presentation of theoretical, practical, and application advances in the area. The 22nd International Static Analysis Symposium, SAS 2015, will be held in Saint-Malo, France. Previous symposia were held in Munich, Seattle, Deauville, Venice, Perpignan, Los Angeles, Valencia, Kongens Lyngby, Seoul, London, Verona, San Diego, Madrid, Paris, Santa Barbara, Pisa, Aachen, Glasgow, and Namur. Topics -- The technical program for SAS 2015 will consist of invited lectures and presentations of refereed papers. Contributions are welcomed on all aspects of static analysis, including, but not limited to: * Abstract domains * Abstract interpretation * Abstract testing * Bug detection * Data flow analysis * Model checking * Compilation * Program transformation * Program verification* Security * Theoretical frameworks * Type checking * New applications Paper Submission Submissions can address any programming paradigm, including concurrent, constraint, functional, imperative, logic, object-oriented, aspect, multi-core, distributed, GPU and script programming. 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 or a conference with refereed proceedings. Submitted papers will be judged on the basis of significance, relevance, correctness, originality, and clarity. They should clearly identify what has been accomplished and why it is significant. Paper submissions should not exceed 15 pages in Springer's Lecture Notes in Computer Science LNCS format, excluding bibliography and well-marked appendices. Program committee members are not required to read the appendices, and thus papers must be intelligible without them. Submissions are handled online. For further details please visit the above web page. Artifact Submission --- As in previous years, we are encouraging authors to submit a virtual machine image containing any artifacts and evaluations presented in the paper. The goal of the artifact submissions is to strengthen our field's scientific approach to evaluations and reproducibility of results. The virtual machines will be archived on a permanent Static Analysis Symposium website to provide a record of past experiments and tools, allowing future research to better evaluate and contrast existing work. Artifact submission is optional. We accept only virtual machine images that can be processed with Virtual Box. Details on what to submit and how will be sent to the corresponding authors by mail shortly after the paper submission deadline. The submitted artifacts will be used by the program committee as a secondary evaluation criteria whose sole purpose is to find additional positive arguments for the paper's acceptance. Submissions without artifacts are welcome and will not be penalized. Dates - * Submission deadline: abstracts must be received by March 9, 2015, and complete papers by March 13, 2015. These deadlines are strict; submissions where abstract or paper are received later will not be evaluated. * Artifacts must be submitted by March 27, 2015. * Rebuttal: May 18-20, 2015. * Notification of acceptance: June 1, 2015 * Final version due: June 22, 2015 * Early registration: On or before July 21, 2015 * Workshop day: September 8, 2015 * Conference: September 9-11, 2015 Program Chairs -- Sandrine Blazy (University of Rennes, France) Thomas Jensen(INRIA, France) Program Committee - Elvira Albert, University of Madrid, Spain Josh Berdine, Microsoft Research, United Kingdom Sandrine Blazy, University of Rennes 1, France (co-chair) Liqian Chen, National University of Defense Technology, China Roberto Giacobazzi, University of Verona, Italy Fritz Henglein, University of Copenhagen, Denmark Thomas Jensen, Inria Rennes, France (co-chair) Ranjit Jhala, University of California at San Diego, USA Andy King, University of Kent at Canterbury, United Kingdom Björn Lisper, Mälardalen University, Sweden Matt
[TYPES/announce] Call for papers: APLAS 2015
[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
*
APLAS 2015, Call for Papers
13th Asian Symposium on Programming Languages and Systems
Pohang, Korea, November 30 - December 2, 2015
http://pl.postech.ac.kr/aplas2015/
*
*IMPORTANT DATES*
Submission deadline: June 5, 2015
Author notification: August 17, 2015
Conference: November 30 - December 2, 2015
*INVITED SPEAKERS*
Peter O'Hearn, Facebook
Sukyoung Ryu, KAIST
Eran Yahav, Technion
Hongseok Yang, University of Oxford
*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
language 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 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 in
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 presentations
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:
a) Regular research papers
- describing original scientific research results, including tool
development and case studies. Regular research papers should not
exceed 18 pages in the Springer LNCS format, including
bibliography and figures. They 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. 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.
b) System and tool presentations
- describing systems or tools that support theory, program
construction, reasoning, or program execution in the scope of
APLAS. System and Tool presentations are expected to be centered
around a demonstration. The paper and the demonstration should
identify the novelties of the tools and use motivating examples.
System and Tool papers should not exceed 8 pages in the Springer
LNCS format, including bibliography and figures. Submissions will
be judged based on both the papers and the described systems or
tools. It is highly desirable that the tools are available on the
web.
Submitted papers must be unpublished and not submitted for
publication elsewhere. Papers must be written in English.
The proceedings will be published as a volume in Springer's
LNCS series. Accepted papers must be presented at the conference.
*ORGANIZERS*
General Chair:
Sungwoo Park (Pohang Univ. of Science and Technology (POSTECH), Korea)
Program Chair:
Xinyu Feng (Univ. of Science and Technology of China, China)
Program Committee:
James Brotherston (Univ. College London, UK)
James Cheney (Univ. of Edinburgh, UK)
Huimin Cui (Institute of Computing Technology, CAS, China)
Mike Dodds (Univ. of York, UK)
Xinyu Feng (Univ. of Science and Technology of China, China)
Nate Foster (Cornell Univ., USA)
Alexey Gotsman (IMDEA Software Institute, Spain)
Aquinas Hobor
(School of Computing, National Univ. of Singapore / Yale-NUS College)
Chung-Kil Hur (Seoul National Univ., Korea)
Radha Jagadeesan (DePaul Univ., USA)
Annie Liu (Stony Brook Univ., USA)
Andreas Lochbihler (ETH Zurich, Switzerland)
Santosh Nagarakatte (Rutgers Univ., USA)
David A. Naumann (Stevens Inst. of Tech., USA)
[TYPES/announce] CFP: ML 2015
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Higher-order, Typed, Inferred, Strict: ACM SIGPLAN ML Family Workshop Thursday September 3, 2015, Vancouver, Canada (immediately following ICFP) Call for papers: http://www.mlworkshop.org/ml2015/ ML is a very large family of programming languages that includes Standard ML, OCaml, F#, SML#, Manticore, MetaOCaml, JoCaml, Alice ML, Dependent ML, Flow Caml, and many others. All ML languages share several fundamental traits, besides a good deal of syntax. They are higher-order, strict, mostly pure, and typed, with algebraic and other data types. Their type systems are derived from Hindley-Milner. The development of these languages has inspired a significant body of computer science research and influenced the design of many other programming languages, including Haskell, Scala and Clojure, Rust, ATS and many others. ML workshops have been held in affiliation with ICFP continuously since 2005. This workshop specifically aims to recognise the entire extended ML family and to provide a forum for presenting and discussing common issues, both practical (compilation techniques, implementations of concurrency and parallelism, programming for the Web) and theoretical (fancy types, module systems, metaprogramming). The scope of the workshop includes all aspects of the design, semantics, theory, application, implementation, and teaching of the members of the ML family. We also encourage presentations from related languages (such as Scala, Rust, Nemerle, ATS, etc.), to exchange experience of further developing ML ideas. The ML family workshop will be held in close coordination with the OCaml Users and Developers Workshop. Scope - We acknowledge the whole breadth of the ML family and aim to include languages that are closely related (although not by blood), such as Rust, ATS, Scala, and Typed Clojure. Those languages have implemented and investigated run-time and type system choices that may be worth considering for OCaml, F# and other ML languages. We also hope that the exposure to the state of the art ML might favourably influence those related languages. Specifically, we seek research presentations on topics including (but not limited to) * Language design: abstraction, higher forms of polymorphism, concurrency, distribution and mobility, staging, extensions for semi-structured data, generic programming, object systems, etc. * Implementation: compilers, interpreters, type checkers, partial evaluators, runtime systems, garbage collectors, foreign function interfaces, etc. * Type systems: inference, effects, modules, contracts, specifications and assertions, dynamic typing, error reporting, etc. * Applications: case studies, experience reports, pearls, etc. * Environments: libraries, tools, editors, debuggers, cross-language interoperability, functional data structures, etc. * Semantics: operational and denotational semantics, program equivalence, parametricity, mechanization, etc. Four kinds of submissions will be accepted: Research Presentations, Experience Reports, Demos and Informed Positions. * Research Presentations: Research presentations should describe new ideas, experimental results, or significant advances in ML-related projects. We especially encourage presentations that describe work in progress, that outline a future research agenda, or that encourage lively discussion. These presentations should be structured in a way which can be, at least in part, of interest to (advanced) users. * Experience Reports: Users are invited to submit Experience Reports about their use of ML and related languages. These presentations do not need to contain original research but they should tell an interesting story to researchers or other advanced users, such as an innovative or unexpected use of advanced features or a description of the challenges they are facing or attempting to solve. * Demos: Live demonstrations or short tutorials should show new developments, interesting prototypes, or work in progress, in the form of tools, libraries, or applications built on or related to ML and related languages. (You will need to provide all the hardware and software required for your demo; the workshop organisers are only able to provide a projector.) * Informed Positions: A justified argument for or against a language feature. The argument must be substantiated, either theoretically (e.g. by a demonstration of (un)soundness, an inference algorithm, a complexity analysis), empirically or by substantial experience. Personal experience is accepted as justification so long as it is extensive and illustrated with concrete examples. Format -- The ML 2015 workshop will continue the informal approach used since 2010. Presentations are selected from submitted abstracts. There are no
