[TYPES/announce] OCL 2015: First Call for Papers
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] (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
[TYPES/announce] MFPS XXXI/CALCO 2015 : Call for Participation
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] From June 22, in a galaxy far, far away... https://coalg.org/calco15/images/poster.jpg = JOINT CALL FOR PARTICIPATION MFPS XXXI 31st Conference on the Mathematical Foundations of Programming Semantics June 22 - 25, 2015 http://events.cs.bham.ac.uk/mfps31/ CALCO 2015 6th International Conference on Algebra and Coalgebra in Computer Science June 24 - 26, 2015 http://coalg.org/calco15/ In cooperation with ACM SIGLOG Nijmegen, Netherlands == Early registration deadline:June 14, 2015 == -- SCOPE -- MFPS conferences are devoted to those areas of mathematics, logic, and computer science that are related to models of computation, in general, and to the semantics of programming languages, in particular. The series has particularly stressed providing a forum where researchers in mathematics and computer science can meet and exchange ideas about problems of common interest. As the series also strives to maintain breadth in its scope, the conference strongly encourages participation by researchers in neighbouring areas. CALCO aims to bring together researchers and practitioners with interests in foundational aspects, and both traditional and emerging uses of algebra and coalgebra in computer science. It is a high-level, bi-annual conference formed by joining the forces and reputations of CMCS (the International Workshop on Coalgebraic Methods in Computer Science), and WADT (the Workshop on Algebraic Development Techniques). Previous CALCO editions took place in Swansea (Wales, 2005), Bergen (Norway, 2007), Udine (Italy, 2009), Winchester (UK, 2011) and Warsaw (Poland, 2013). -- INVITED SPEAKERS -- Invited speaker of MFPS and CALCO * Andy Pitts - University of Cambridge, UK MFPS invited speakers * Thierry Coquand - Chalmers University of Technology, Sweden * Paul B. Levy - University of Birmingham, UK * Guy McCusker - University of Bath, UK * Sam Staton - Radboud University, Nijmegen, NL CALCO invited speakers * Chris Heunen - University of Oxford, UK * Matteo Mio - CNRS, ENS Lyon, FR * Daniela Petrisan - Radboud University, Nijmegen, NL -- PROGRAMME AND SATELLITE EVENTS -- The detailed programme will appear soon on the conference web sites: http://events.cs.bham.ac.uk/mfps31/ (MFPS)https://coalg.org/calco15/ (CALCO) *MFPS special sessions* MFPS will host four special sessions: * Game semantics, organised by Andrzej Murawski, Warwick * Concurrent separation logic, organised by Philippa Gardner, Imperial College * Nominal techniques, organised by Daniela Petrisan, Radboud * Algebraic effects, organised by Matija Pretnar, Ljubljana The special session will include an invited tutorial talk, delivered by the session organiser. *CALCO Early Ideas workshop* CALCO 2015 will run together with the CALCO Early Ideas Workshop, with dedicated Early Ideas sessions at the end of each conference day. Additional information is available at https://coalg.org/calco15/ei.html . -- REGISTRATION -- To register for MFPS/CALCO, please fill out the registration form available at https://limesurvey.science.ru.nl/index.php/118286/lang-en . The following registration Fees are applied. Normal Late Both MFPS and Calco Non-Studentsâ¬230â¬250 Studentsâ¬160 â¬180 MFPS only or Calco only Non-Studentsâ¬160â¬180 Studentsâ¬100 â¬120 SIGLOG members attending MFPS and/or Calco receive a discount on the registration fee: â¬20 for student members, and â¬30 for professional members. The yearly rate for SIGLOG membership is $15 for students, and $25 for professionals. The deadline for normal registration is Sunday, June 14. After this date, the late registration fee will be applied. The registration fee can be paid by bank transfer or by credit card (Visa or Mastercard). Payment by bank transfer is strongly encouraged. Within the SEPA area, bank transfers are free of change. We will be sponsoring 5 free student registrations. Anyone interested please contact alexan...@cs.ru.nl. We are also proud to be a family-friendly conference: any participant who requires support for childcare to be able to attend the conference should contact us. Additional information on registration and hotel information can be found at http://mfpscalco2015.cs.ru.nl/ . -- LOCATION -- Nijmegen is the oldest city in the Netherlands and celebrated its 2,000th year of existence in 2005. It is situated in the eastern province of Gelderland, quite
[TYPES/announce] FM 2015, Oslo: 2nd call for participation: Early registration ends 20 May!
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] - !!! IMPORTANT: early registration ends soon !!! Early registration deadline: May 20, 2015 .. === FM 2015 ===- Second Call for Participation 20th International Symposium on Formal Methods Oslo, Norway, June 22-26, 2015 http://fm2015.ifi.uio.no/ --- This year's International Symposium on Formal Methods, FM2015, will be held June 22-26 (which includes the year's longest(!) and hopefully sunniest days in Oslo). o ABOUT FM (International Symposium on Formal Methods) FM 2015 is the twentieth in a series of symposia organized by Formal Methods Europe, an independent association whose aim is to stimulate the use of, and research on, formal methods for software development. The symposia have been notably successful in bringing together innovators and practitioners in precise mathematical methods for software and systems development, industrial users, as well as researchers. o CONFERENCE AND SATELLITE EVENTS: Satellite events:22-23 June, 2015 (Mon - Tue) FM2015 Main conference: 24-26 June, 2015 (Wed - Fri) o FM 2015 KEYNOTE SPEAKERS Elvira Albert, Complutense University of Madrid, ES Werner Damm, Carl von Ossietzky Universitaet Oldenburg, DE Valerie Issarny, INRIA, FR Leslie Lamport, Microsoft Research, US o FME FELLOWSHIP AWARD o WORKSHOPS - FMICS (22-23th June) Keynote: Kim G. Larsen, Aalborg University, DK Keynote: Marielle Petit-Doche, Systerel, FR - Overture/VDM (23 June) Keynote: Taro Kurita, Sony Corporation, JP - WWV: Automated Specification and Verification of Web systems (23 June) Keynote: Dino Distefano, Queen Mary University Facebook, UK Keynote: José Meseguer, University of Illinois, US - Refinement (22 June) - ESSS: Engineering Safety and Security Systems (22 June) Keynote: Marieke Huisman, University of Twente, NL Keynote: Audun Jøsang, University of Oslo, NO - USE: Usages of Symbolic Execution (23 June) - SETS: Sets and Tools (23 June) - FMSEET: Formal Methods in Software Education and Training (23 June) - F-IDE: Formal Integrated Development Environments (22 June) o DOCTORAL SYMPOSIUM (22 June) Keynote: Stijn de Gouw, SDL, NL o TUTORIALS - Modelling and Analysis of Communicating Systems Jan Friso Groote (Eindhoven University of Technology, NL), Mohammad Mousavi (Halmstad University, SE), Tim Willemse (Eindhoven University of Technology, NL) - The Correctness-by-Construction Approach to Programming Bruce Watson (FASTAR research group, ZA) Derrick Kourie (FASTAR research group, ZA) Loek Cleophas (FASTAR research group, ZA, and Umeå University, SE) - Abstract Behavioral Specification Reiner Hähnle (Technische Universität Darmstadt, DE), Einar Broch Johnsen (University of Oslo, NO) - Theory and Practice of Runtime Verification Martin Leucker (Universität zu Lübeck, DE) Daniel Thoma (Universität zu Lübeck, DE) o FM2015 ACCEPTED PAPERS MAIN CONFERENCE - Cornelius Diekmann, Lars Hupel and Georg Carle. Semantics-Preserving Simplification of Real-World Firewall Rule Sets -Nadia Polikarpova, Julian Tschannen and Carlo A. Furia. A Fully Verified Container Library - Alexey Solovyev, Charlie Jacobsen, Zvonimir Rakamaric and Ganesh Gopalakrishnan. Rigorous Estimation of Floating-Point Round-off Errors with Symbolic - Taylor Expansions Shin Nakajima. Using Real-Time Maude to Model Check Energy Consumption Behavior - Li Li, Jun Sun, Yang Liu and Jin Song Dong. Verifying Parameterized Timed Security Protocols - Jiang Liu, Naijun Zhan, Hengjun Zhao and Liang Zou. Abstraction of Elementary Hybrid Systems by Variable Transformation - Tommaso Dreossi, Thao Dang and Carla Piazza. Parameter Synthesis through Temporal Logic Specifications - Peter Schmitt and Mattias Ulbrich. Typed First-Order Logic - Jesus Mauricio Chimento, Wolfgang Ahrendt, Gerardo Schneider and Gordon Pace. A Specification Language for Static and Runtime Verification of Data and Control Properties - Karam Abdelkader, Orna Grumberg, Corina Pasareanu and Sharon Shoham. Automated Circular Assume-Guarantee Reasoning - Xue-Yang Zhu, Rongjie Yan, Yu-Lei Gu, Jian Zhang, Wenhui Zhang and Guangquan Zhang. Static Optimal Scheduling for Synchronous Data Flow Graphs with Model Checking - Tim Nelson, Andrew D. Ferguson and Shriram Krishnamurthi. Static Differential Program Analysis for Software-Defined Networks - Matthew Fernandez, June Andronick, Gerwin Klein and Ihor Kuz. Automated Verification of RPC Stub Code - Yuan Feng, Ernst
[TYPES/announce] PhD in Computer Science at IMT Lucca (Italy) - Deadline June 29, 2015 -
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] = PhD positions in Computer Science at IMT Lucca (Italy) - Deadline June 29, 2015 - = The Institute for Advanced Studies IMT Lucca - Italy (http://www.imtlucca.it/ http://www.imtlucca.it/) invites applications for fully-funded PhD scholarships in Computer Science tenable from 1st November 2015. IMT Lucca is a truly international research university within the Italian public higher education system that focuses on cutting-edge research in key areas such as Computer Sciences, Systems Engineering, Complex Networks, Economics and Cultural Heritage. The three-year doctoral program, which is taught entirely in English, is articulated in four discipline-specific curricula that share an interdisciplinary scientific background. Computer Science doctoral studies at IMT are coordinated by Rocco De Nicola and promote research on the theory and applications of informatics such as concurrency, performance, programming languages, security, dependability, software engineering, and computational biology. The overarching goal is to develop languages, models, algorithms, verification techniques, engineering methodologies, and software tools for reasoning about distributed systems. The doctoral students will be working within the SysMA research unit of IMT Lucca (http://sysma.lab.imtlucca.it/ http://sysma.lab.imtlucca.it/); some of the research lines are pursued in collaboration with two institutes of the Italian Research Council (CNR) in Pisa, namely ISTI (http://www.isti.cnr.it http://www.isti.cnr.it/) and IIT (http://www.iit.cnr.it http://www.iit.cnr.it/). PhD students receive a stipend of about €13,600 EUR gross (around €12,400 EUR after taxes) per year, as established by Italian law. In addition, they are offered free meals and on-campus housing in the historical center of the beautiful Tuscan city of Lucca. Students also get the opportunity to spend research periods abroad, with the possibility of receiving additional financing through the Erasmus+ program. The deadline for application is June 29th, 2015 at 18:00 Italian time. The call is open to all candidates who are expected to obtain the required degree by October 31st, 2015; however, they must still apply by the above deadline. Further details, along with the online application form, can be found at: http://phd.imtlucca.it http://phd.imtlucca.it/
