[TYPES/announce] OCL 2015: Final Call for Papers - Only 10 Days Left
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] (Apologies for duplicates) If you are working on the foundations, methods, or tools for OCL or textual modelling, you should now prepare your submission for the OCL workshop! CALL FOR PAPERS 15th International Workshop on OCL and Textual Modeling Tools and Textual Model Transformations Co-located with ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (MODELS 2015) September 28th, 2015, Ottawa, Canada http://ocl2015.lri.fr 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 to 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, -- meta-modeling 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 - Tools that support textual modeling languages (e.g., verification of OCL formulae, runtime monitoring of invariants) - 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 tools that support - in a very broad sense - textual modeling languages (if you have implemented OCL.js to run OCL in a web browser, this is the right workshop to present your work) as well as textual model transformations. Venue = The workshop will be organized as a part of MODELS 2015 Conference in Ottawa, Canada. 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, 2013 in Miami, and 2014 in Valencia, Spain. 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 === Three types of papers will be considered: * short papers (between 6 and 8 pages) describing ideas, * tool papers (between 6 and 8 pages), and * full papers (between 12 and 16 pages) in LNCS format. Submissions should be uploaded to EasyChair (https://easychair.org/conferences/?conf=ocl20150). The program committee will review the submissions (minimum 2 reviews per paper, usually 3 reviews) and select papers
[TYPES/announce] LOPSTR PPDP 2015: Last Call for Participation
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] CALL FOR PARTICIPATION LOPSTR PPDP 2015 = 25th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2015) 17th International Symposium on Principles and Practice of Declarative Programming (PPDP 2015) University of Siena, Siena, IT, July 13-15, 2015 Registration site: http://alpha.diism.unisi.it/ppdp-lopstr-15/registration.html 25th International Symposium on Logic-Based Program Synthesis and Transformation LOPSTR 2015 http://alpha.diism.unisi.it/lopstr15/ University of Siena, Siena, IT, July 13-15, 2015 (co-located with PPDP 2015) Invited speakers: Patrick Cousot, New York University, USA (Jointly with PPDP) ‘Verification by Abstract Interpretation, Soundness and Abstract Induction’ Gilles Barthe, IMDEA Software Institute, Spain ‘Towards Verified Cryptographic Implementations’ Dale Miller, INRIA and LIX/Ecole Polytechnique, France (Jointly with PPDP) ‘Proof checking and logic programming’ Full symposium program: http://alpha.diism.unisi.it/lopstr15/LOPSTR2015SymposiumProgram.html Program and Symposium Chair: Moreno Falaschi, Dept. of Information Engineering and Mathematics, Univ. of Siena, Italy (moreno.falas...@unisi.it) Organizing Committee Monica Bianchini, DIISM, Univ. of Siena, Italy Sara Brunetti, DIISM, Univ. of Siena, Italy Guillermo Roman-Diez, Technical Univ. of Madrid, Spain Andrea Machetti, DIISM, Univ. of Siena, Italy Simonetta Palmas, DIISM, Univ. of Siena, Italy Maurizio Proietti, IASI-CNR, Italy Simone Rinaldi, DIISM, Univ. of Siena, Italy Elisa Tiezzi, DIISM, Univ. of Siena, Italy Sara Ugolini, Dip. Informatica, Univ. of Pisa 17th International Symposium on Principles and Practice of Declarative Programming PPDP 2015 Siena, Italy, July 14-16, 2015 (co-located with LOPSTR 2015) http://costa.ls.fi.upm.es/ppdp15 Early registration by June 30, 2015 http://alpha.diism.unisi.it/ppdp-lopstr-15/registration.html Invited speakers: Patrick Cousot, New York University, USA (Jointly with LOPSTR) ‘Verification by Abstract Interpretation, Soundness and Abstract Induction’ Martin Hofmann, Ludwig-Maximilians University, Munich, Germany ‘Automatic Amortized Analysis’ Dale Miller, INRIA and LIX/Ecole Polytechnique, France (Jointly with LOPSTR) ‘Proof checking and logic programming’ Louis Mandel (College de France, Paris) and Marc Pouzet (ENS, Paris) ‘ReactiveML, Ten Years Later’ Full symposium program: http://costa.ls.fi.upm.es/ppdp15/program-ppdp15.html Program Chair Elvira Albert Complutense University of Madrid C/ Profesor Garcia Santesmases E-28040 Madrid, Spain Email: elv...@sip.ucm.es Symposium Chair Moreno Falaschi Department of information engineering and mathematics University of Siena, Italy Email: moreno.falas...@unisi.it Organizing Committee Monica Bianchini, DIISM, Univ. of Siena, Italy Sara Brunetti, DIISM, Univ. of Siena, Italy Guillermo Roman-Diez, Technical Univ. of Madrid, Spain Andrea Machetti, DIISM, Univ. of Siena, Italy Simonetta Palmas, DIISM, Univ. of Siena, Italy Maurizio Proietti, IASI-CNR, Italy Simone Rinaldi, DIISM, Univ. of Siena, Italy Elisa Tiezzi, DIISM, Univ. of Siena, Italy Sara Ugolini, Dip. Informatica, Univ. of Pisa
[TYPES/announce] CfP: Coq ITP Tutorial
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] CALL FOR PARTICIPATION Coq ITP Tutorial August 27th-29th Nanjing, China You are invited to attend the Coq ITP Tutorial in Nanjing, China, from the 27th of August to the 29th. Audience The tutorial is dedicated to beginners and should introduce to the basics of the Coq proof assistant. The tutorial consists of a mixture of lectures and practical classes where the participants are given practical theorem problems to be solved in Coq. Participants should bring their own laptops with Coq already installed on it. Speakers Reynald Affeldt (AIST) Sandrine Blazy (IRISA - University of Rennes 1) Cyril Cohen (Inria - Marelle team) Hugo Herbelin (Inria - πr2 team) Gregory Malecha (Harvard University SEAS) Enrico Tassi (Inria - Marelle team) Program === The program will address the basics of the Coq system, including: - Propositions and proofs - Programming in Coq - Interactive proofs - Proving properties of programs - Datatypes / Inductive Datatypes / Recursion / Inductive Properties Registration Registration is part of the ITP'15 conference registration process. Organizers == Matthieu Sozeau (Inria - πr2 team) Pierre-Yves Strub (IMDEA Software Institute) (all information is also available at http://www.strub.nu/coq-itp-15)
[TYPES/announce] Call For Abstracts: YR-CONCUR 2015 - Extended Deadline
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] = EXTENDED DEADLINE: Submissions 15th July. CALL for ABSTRACTS for YR-CONCUR 2015 6th International Young Researchers Workshop on Concurrency Theory (satellite workshop of CONCUR 2015) September 5, 2015 Madrid, Spain http://cimini.info/yr-concur2015/ = Aims and objectives: This workshop aims at providing a platform for PhD students and young researchers who recently completed their doctoral studies, to exchange new results related to concurrency theory and receive feedback on their research. Focus is on informal discussions. Excellent master students working on concurrency theory are also encouraged to contribute. Format: YR-CONCUR 2015 is a satellite workshop of CONCUR 2015 and will be held on September 5th, 2015. It is anticipated that many CONCUR participants will attend the YR-workshop (and vice versa). Presentations are selected on the basis of an abstract of up to 4 pages (including references) describing the research. No particular format is required. Submissions are judged on the expected interest in and quality of the talk. The accepted abstracts will be made available at the workshop, but no formal proceedings are planned. It is thus also allowed (and encouraged) to send results that have been published at other conferences (although preferably not at CONCUR 2015 or any of its other satellite workshops). Important Dates: - Deadline for 4-page abstracts: July 15, 2015 - Notification of acceptance: July 25, 2015 - Final version: August 6, 2014 - Workshop: September 5, 2014 Submission: 4-page abstracts (including references) should be submitted via the YR-CONCUR 2015 submission page on the EasyChair system. (see the workshop website) Organizer and PC Chair: - Matteo Cimini (Indiana University, Bloomington, USA) Program Committee Matteo Cimini (Indiana University, Bloomington, USA) Cinzia Di Giusto (UNS-CNRS, Sophia Antipolis, France) Sophia Knight (Université de Lorraine, France) Hernan Melgratti (University of Buenos Aires, Argentina) Luca Tesei (University of Camerino, Italy) Mohammad Reza Mousavi (Halmstad University, Sweden) Gianluigi Zavattaro (University of Bologna) ___ Concurrency mailing list concurre...@listserver.tue.nl http://listserver.tue.nl/mailman/listinfo/concurrency