[TYPES/announce] OCaml 2014 - Last Call for Presentations
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] == OCAML 2014 The OCaml Users and Developers Workshop http://ocaml.org/meetings/ocaml/2014/ Gothenburg, Sweden September 5, 2014 CALL FOR PRESENTATIONS Co-located with ICFP 2014 Sponsored by SIGPLAN Talk Proposal Submission Deadline: May 19, 2014 == The OCaml Users and Developers Workshop brings together industrial users of OCaml with academics and hackers who are working on extending the language, type system and tools. Previous editions have been colocated with ICFP 2012 in Copenhagen, and ICFP 2013 in Boston, following the OCaml Meetings in Paris in 2010 and 2011. OCaml 2014 will be held on September 5, 2014, in Gothenburg, colocated with ICFP 2014. Scope = Discussions will focus on the practical aspects of OCaml programming and the nitty gritty of the tool-chain and upcoming improvements and changes. Thus, we aim to solicit talks on all aspects related to improving the use or development of the language and of its programming environment, including, for example: - compiler developments, new backends, runtime and architectures - practical type system improvements, such as (but not limited to) GADTs, first-class modules, generic programming, or dependent types - new library or application releases, and their design rationales - tools and infrastructure services, and their enhancements - prominent industrial uses of OCaml, or deployments in unusual situations. Submission == It will be an informal meeting, with an online scribe report of the meeting, but no formal proceedings. Slides of presentations will be available online from the workshop homepage. The presentations will likely be recorded, and made available at a later time. To submit a talk, please register a description of the talk (about 2 pages long) at https://www.easychair.org/conferences/?conf=ocaml2014, providing a clear statement of what will be brought by the talk: the problems that are addressed, the technical solutions or methods that are proposed. If you wish to perform a demo or require any special setup, we will do our best to accommodate you. Schedule Abstract Submission Deadline: Monday, May 19, 2014 Notification to Speakers: Monday, June 30, 2014 Workshop: Friday, September 5, 2014 ML family workshop and post-proceedings === The ML family workshop, held on the previous day, deals with general issues of the ML-style programming and type systems, and is seen as more research oriented. Yet there is an overlap with the OCaml workshop, which we are keen to explore, for instance by having a common session. The authors who feel their submission fits both workshops are encouraged to mention it at submission time and/or contact the Program Chairs. As another form of cooperation, we are considering combined post-conference proceedings of selected papers from the two workshops. The Program Committees shall invite interested authors of selected presentations to expand their abstract for inclusion in the proceedings. The submissions would be reviewed according to the standards of the publication. Program Committee = * Esther Baruk, LexiFi, France * Jacques Garrigue, Nagoya University, Japan (chair) * Oleg Kyseliov, Monterey, CA, USA * Pierre Letouzey, Universite Paris 7, France * Luc Maranget, INRIA Paris-Rocquencourt, France * Keisuke Nakano, University of Electro-Communications, Japan * Yoan Padioleau, Facebook, USA * Andreas Rossberg, Max Planck Institute for Software Systems, Germany * Julien Signoles, CEA LIST, France * Leo White, University of Cambridge, UK If you have any questions, please e-mail: Jacques Garrigue ocaml2014 AT easychair DOT org
[TYPES/announce] FTfJP'14: Call for Papers [EXTENDED DEADLINE]
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] *** NOTE DEADLINES EXTENDED *** Abstract submissions: May 12th, 2014 Paper submissions: May 19th, 2014 === 16th International Workshop on Formal Techniques for Java-like Programs (FTfJP'14) Co-located with ECOOP 2014 July 29th, 2014, Uppsala, Sweden http://ecs.victoria.ac.nz/Events/FTfJP2014/ == Formal techniques can help analyze programs, precisely describe program behavior, and verify program properties. Newer languages such as Java, C#, and Scala provide good platforms to bridge the gap between formal techniques and practical program development, because of their reasonably clear semantics and standardized libraries. Moreover, these languages are interesting targets for formal techniques, because the novel paradigm for program deployment introduced with Java, with its improved portability and mobility, opens up new possibilities for abuse and causes concern about security. Work on formal techniques and tools for programs and work on the formal underpinnings of programming languages themselves naturally complement each other. This workshop aims to bring together people working in both these fields, on topics such as: * Language Semantics * Specification techniques and languages * Verification of program properties * Verification logics * Dynamic program analysis * Static program analysis * Type systems * Challenge problems and solutions * Security === Submissions === Contributions (of up to 6 pages in the ACM 2-column style) are sought on open questions, new developments, or interesting new applications of formal techniques in the context of Java or similar languages. Contributions should not merely present completely finished work, but also raise challenging open problems or propose speculative new approaches. We particularly welcome contributions that simply suggest good topics for discussion at the workshop, or raise issues that you feel deserve the attention of the research community. Contributions will be formally reviewed, for originality, relevance, and the potential to generate interesting discussions. The workshop will be organized into four or more sessions, each focused on a specific topic, and initiated by a presentation of few related position papers by the respective participants, or the introduction of the specific topic by a single speaker, and followed by discussions. Accepted papers will be published in the ACM Digital Library. In addition, depending on the nature of the contributions, we may be organizing a special journal issue as a follow-up to the workshop, as has been done for some of the previous FTfJP workshops. Contributions must be in English, in PDF format, and are limited to 6 pages in ACM 2-column style. Papers must be submitted electronically via Easy Chair. A plain-text ASCII abstract must be submitted one week before the paper submission deadline. Submission site: https://www.easychair.org/conferences/?conf=ftfjp2014 Any PC member, other than the chair, may be an author or co-author on any paper submitted for consideration but will be excluded from any evaluation or discussion of the paper. === Important Dates === Abstract submission: May 12th, 2014 Paper submission: May 19th, 2014 Notification: June 9th, 2014 Camera ready: June 23nd, 2014 Workshop: July 28th, 2014 All deadlines are at 23:59 American Samoa time (that is, UTC-11). === Program Committee === David J. Pearce, Victoria University of Wellington, NZ (Chair) Bart Jacobs, KU Leuven, Belgium Alex Summers, ETH Zurich, Switzerland Werner Dietl, University of Waterloo, Canada Dave Clarke, KU Leuven, Belgium Elena Zucca, University of Genoa, Italy Max Schaefer, Semmle, UK Nick Cameron, Mozilla Research, New Zealand Tijs Van Der Storm, CWI, The Netherlands === Steering Committee === Sophia Drossopoulou, Imperial College, London, Great Britain Werner Dietl, University of Waterloo, Canada Gary T. Leavens, University of Central Florida, Orlando, USA K. Rustan M. Leino, Microsoft Research, Redmond, USA Peter Müller, ETH Zurich, Switzerland Arnd Poetzsch-Heffter, Universität Kaiserlautern, Germany Erik Poll, Radboud University Nijmegen, The Netherlands ___
[TYPES/announce] APLAS 2014: Last CFP
[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
===
APLAS 2014
12th Asian Symposium on Programming Languages and Systems
http://www.math.nagoya-u.ac.jp/~garrigue/APLAS2014/
17-19 November 2014, Singapore
CALL FOR PAPERS
Abstracts due May 26 (full paper by June 2)
===
INVITED SPEAKERS
Zhenjiang Hu (NII, Japan)
Dexter Kozen (Cornell University, USA)
Julien Verlaguet (Facebook, USA)
==
BACKGROUND
==
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 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 the program chair prior to submission.
==
SUBMISSION
==
We solicit submissions in two categories:
*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.
*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.
Papers should be submitted electronically via the submission web page:
https://www.easychair.org/conferences/?conf=aplas2014
Acceptable formats are PostScript or PDF. 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.
=
DATES
=
Abstracts due: May 26, 2014 (Monday)
Submission due: June 2, 2014 (Monday)
Notification:August 6, 2014 (Wednesday)
Final paper due: September 1, 2014 (Monday)
Conference: November 17-19, 2014 (Monday-Wednesday)
==
ORGANIZERS
==
General chair:
Wei-Ngan Chin (National University of Singapore)
Program chair:
Jacques Garrigue (Nagoya University)
Program committee:
Xiaojuan Cai (Shanghai Jiao Tong University, China)
James Chapman (Institute of Cybernetics, Estonia)
Cristian Gherghina (Singapore University of Technology and Design)
Eric Goubault (CEA LIST and Ecole Polytechnique, France)
Fei He (Tsinghua University, China)
Gerwin Klein (NICTA and UNSW, Australia)
[TYPES/announce] New moderator: Dimitrios Vytiniotis
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Dear Types and Types/announce members, It has been my pleasure to serve as moderator of the Types and Types/announce lists for 5 years now, but it's time to hand over the reins to someone else. Dimitrios Vytiniotis of Microsoft Research Cambridge has kindly agreed to take over as moderator. I want to thank him for agreeing to moderate the list, and I'm sure he'll do a great job! In fact, he and I have discussed it, and one of the first things he would like to do as new moderator is to solicit feedback from the community on whether the Types list is serving its members as well as it could, and if not, how best to evolve it going forward. He will be sending mail about that shortly. Best regards, Derek Dreyer
[TYPES/announce] OCL 2014: First Call for Papers
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] (Apologies for duplicates) CALL FOR PAPERS 14th International Workshop on OCL and Textual Modeling Applications and Case Studies (OCL 2014) Co-located with ACM/IEEE 17th International Conference on Model Driven Engineering Languages and Systems (MODELS 2014) September 28-30 (tbc), 2014, VALENCIA, SPAIN http://www.software.imdea.org/OCL2014/ Modeling started out with UML and its precursors as a graphical notation. Such visual representations enable direct intuitive capturing of reality, but some of their features are difficult to formalize and lack the level of precision required to create complete and unambiguous specifications. Limitations of the graphical notations encouraged the development of text-based modeling languages that either integrate with or replace graphical notations for modeling. Typical examples of such languages are OCL, textual MOF, Epsilon, and Alloy. Textual modeling languages have their roots in formal language paradigms like logic, programming and databases. The goal of this workshop is create a forum where researchers and practitioners interested in building models using OCL or other kinds of textual languages can directly interact, report advances, share results, identify tools for language development, and discuss appropriate standards. In particular, the workshop will encourage discussions for achieving synergy from different modeling language concepts and modeling language use. The close interaction will enable researchers and practitioners to identify common interests and options for potential cooperation. Topics of interest include (but are not limited to) === - Mappings between textual modeling languages and other languages/formalisms - Algorithms, evaluation strategies and optimizations in the context of textual modeling languages for -- validation, verification, and testing, -- model transformation and code generation, -- metamodeling and DSLs, and -- query and constraint specifications - Alternative graphical/textual notations for textual modeling languages - Evolution, transformation and simplification of textual modeling expressions - Libraries, templates and patterns for textual modeling languages - Complexity results for textual modeling languages - Quality models and benchmarks for comparing and evaluating textual modeling tools and algorithms - Successful applications of textual modeling languages - Case studies on industrial applications of textual modeling languages - Experience reports -- usage of textual modeling languages and tools in complex domains, -- usability of textual modeling languages and tools for end-users - Empirical studies about the benefits and drawbacks of textual modeling languages - Innovative textual modeling tools - Comparison, evaluation and integration of modeling languages - Correlation between modeling languages and modeling tasks This year, we particularly encourage submissions describing applications and case studies of textual modeling as well as test suites and benchmark collections for evaluating textual modeling tools. Venue = The workshop will be organized as a part of MODELS 2014 Conference in Valencia, Spain. It continues the series of OCL workshops held at UML/MODELS conferences: York (2000), Toronto (2001), San Francisco (2003), Lisbon (2004), Montego Bay (2005), Genova (2006), Nashville (2007), Toulouse (2008), Denver (2009), Oslo (2010), Zurich (2011, at the TOOLs conference), 2012 in Innsbruck, and 2013 in Miami. Similar to its predecessors, the workshop addresses both people from academia and industry. The aim is to provide a forum for addressing integration of OCL and other textual modeling languages, as well as tools for textual modeling, and for disseminating good practice and discussing the new requirements for textual modeling. Workshop Format === The workshop will include short (about 15 min) presentations, parallel sessions of working groups, and sum-up discussions. Submissions === Two types of papers will be considered: * short papers (6 pages) and * full papers (10 pages) in LNCS format. Submissions should be uploaded to EasyChair (https://www.easychair.org/conferences/?conf=ocl2014). The program committee will review the submissions (minimum 2 reviews per paper, usually 3 reviews) and select papers according to their relevance and interest for discussions that will take place at the workshop. Accepted papers will be published online in a pre-conference edition of CEUR (http://www.ceur-ws.org). Authors of selected papers will be invited to submit an extended version of their workshop paper to a special issue of the Electronic Communications of the EASST (http://journal.ub.tu-berlin.de/eceasst)
