[Haskell] GTTSE 2015 -- Call for Participation
GTTSE 2015 -- Call for Participation The 5th Summer School on Grand Timely Topics in Software Engineering (GTTSE) Sunday 23 Aug - Saturday 29 Aug, 2015, Braga, Portugal http://gttse.wikidot.com/ Registration is open for participants! http://gttse.wikidot.com/2015:registration There is a students' workshop to which one may submit. http://gttse.wikidot.com/2015:students-workshop List of speakers * Matthew Dwyer (University of Nebraska, USA): Probabilistic program analysis * Cesar Gonzalez-Perez (Spanish National Research Council (CSIC), Spain): How ontologies can help in software engineering * Stefan Hanenberg (University of Duisburg-Essen, Germany): Empirical Evaluation of Programming and Programming Language Constructs * Frédéric Jouault (ESEO Institute of Science and Technology, France): Model Synchronization * Julia Rubin (MIT, USA): To merge or not to merge: managing software product families * Leif Singer (University of Victoria, Canada): People Analytics in Software Development * Ulrik Pagh Schultz (University of Southern Denmark, Denmark): DSLs in Robotics: A Case Study in Programming Self-reconfigurable Robots * Yannis Smaragdakis (University of Athens, Greece): Structured Program Generation Techniques * Friedrich Steimann (FernUniversität in Hagen, Germany): Refactoring and beyond * Nikolai Tillmann (Microsoft Research, USA): Software Engineering Processes in the Cloud * Guido Wachsmuth (Delft University of Technology, The Netherlands): Name Binding: Paradigms, Representation and Specification Scope = Historically, in the first four editions of GTTSE, the school series focused on generative and transformational techniques in software engineering, as evident from the original acronym (GTTSE - Generative and Transformational Techniques in Software Engineering). With the rise of the Software Language Engineering conference, the school series also covered that field. As of the 5th edition, a broader scope is applied to include additional areas of software engineering, e.g., software analysis, empirical research, modularity, and product lines. Thus, the new expansion of the GTTSE acronym: Grand Timely Topics in Software Engineering. The notion of timely topics is inspired by the ICSE conference which, in its 2015 edition, features technical briefings as "a venue for communicating the current state of a timely topic related to software engineering". Format == The school's scientific program of GTTSE 2015 consists of 10 briefings for different timely topics in software engineering. Each briefing is based on a relatively short paper which combines aspects of surveying and tutorial. The surveying aspect is realized specifically by the design constraint for the briefings to dedicate 50% to the analysis of related work. The remaining 50% are typically dedicated to the more specific research of the presenters. Each briefing gets allotted 2-3 sessions with up to 3 hours in total. The speakers for the briefings are established authorities in their respective fields. GTTSE 2015 also features a students' workshop. These presentations may be refined into submissions of short papers (6-8 pages LNCS style) to be peer-reviewed and considered for inclusion in the post-proceedings past the school. All material presented at the school will be collected in informal proceedings to be handed out solely to the participants. Formal and public post-proceedings will be compiled after the summer school where all contributions are subjected to reviewing. The post-proceedings of the school will be published in a volume of the Lecture Notes in Computer Science series of Springer International Publishing. The post-proceedings of the previous four instances of the summer school were published as LNCS 4143 (GTTSE 2005), LNCS 5235 (GTTSE 2007), LNCS 6491 (GTTSE 2009) and LNCS 7680 (GTTSE 2011). Important dates === * 3 July: Early Registration Deadline * 7 August: Late Registration Deadline * 23-29 August: Summer School * 15 October: Submission deadline for post-proceedings * 15 December: Notifications of authors * 1 February: Camera-ready submissions Organization committee == * Jácome Cunha (Universidade Nova de Lisboa, Portugal) - Organization Chair * João Paulo Fernandes (Universidade da Beira Interior, Portugal) - Program Chair * Ralf Lämmel (Universität Koblenz-Landau, Germany) - Briefings Chair * João Saraiva (Universidade do Minho, Portugal) - General Chair * Joost Visser (Software Improvement Group, The Netherlands) - Industry Chair * Vadim Zaytsev (Universiteit van Amsterdam, The Netherlands) - Publicity Chair Scientific committee * Bram Adams (École Polytechnique de Montréal) * Benoit Baudry (INRIA) * Xavier Blanc (Bordeaux 1 University) * Darius Blasband (RainCode) * Paulo Borba (Federal University of Pernambuco) * Mark van den Brand (Eindhoven University of Technology) * Martin Bravenboer (LogicBlox Inc.) * Jordi Cabot (I
[Haskell] OCL 2015: Second Call for Papers - Only Four Weeks Left
(Apologies for duplicates) 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 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). Important Dates === Submission of papers: July 17,