- From: Geoff Sutcliffe <geoff@cs.miami.edu>
- Date: Thu, 11 Jun 2015 09:41:04 -0400 (EDT)
- To: public-argumentation@w3.org
STAF 2015: Software Technologies: Applications and Foundations July 20th - 24th, 2015 L'Aquila, Italy http://www.disim.univaq.it/staf2015/ The umbrella conference for the * ECMFA'15 - 11th European Conference on Modelling Foundations and Applications * ICGT'15 - 8th International Conference on Graph Transformation * ICMT'15 - 8th International Conference on Model Transformation * TAP'15 - 9th International Conference on Tests & Proofs * TTC'15 - 8th Transformation Tool Contest and many related events. *** First Call for Participation *** ============================================================================ Software Technologies: Applications and Foundations (STAF) is a federation of a number of the leading conferences on software technologies. It was formed after the end of the successful TOOLS federated event (http://tools.ethz.ch) in 2012, providing a loose umbrella organisation, with steering committee, that aims to provide continuity. The STAF federated event runs annually; the conferences that participate may vary from year to year, but all focus on practical and foundational advances in software technology. The conferences address all aspects of software technology, from object-oriented design, testing, mathematical approaches to modelling and verification, transformation, model-driven engineering, aspect- oriented techniques, and tools. Registration ============ Register online at http://www.disim.univaq.it/staf2015/staf-2015-registration/ before June 16th (Tuesday) at reduced, early bird registration rates! Keynote Speakers ================ * Lionel Briand (University of Luxembourg, Luxembourg) * Arend Rensink (University of Twente, The Netherlands) * Sam Nicander (Saab Aeronautics, Sweden) * Gerti Kappel (Vienna University of Technology, Austria) * Einar Broch Johnsen (University of Oslo, Norway) * Francesco Zappa Nardelli (INRIA, France) * Fréedéric Jouault (ESEO, France) Tutorial ======== * Carlo Alberto Furia (ETH Zurich, Switzerland): Testing, fixing, and proving with contracts. Main conferences ================ * ECMFA'15 - 11th European Conference on Modelling Foundations and Applications https://www.uni-marburg.de/fb12/swt/ecmfa2015/ * ICGT'15 - 8th International Conference on Graph Transformation http://btn1x4.inf.uni-bayreuth.de/icgt2015/ * ICMT'15 - 8th International Conference on Model Transformation http://www.model-transformation.org/ * TAP'15 - 9th International Conference on Tests & Proofs http://tap2015.in.tum.de/ Satellite events ================ * TTC'15 - 8th Transformation Tool Contest http://www.transformation-tool-contest.eu/ * PS'15 - 1st Project Showcase http://www.disim.univaq.it/staf2015/projects-showcase/ * DocSymp'15 - STAF 2015 Doctoral Symposium http://www.disim.univaq.it/staf2015/doctoral-symposium/ * BigMDE-15 - Third Workshop on Scalable Model Driven Engineering http://www.big-mde.eu/ * BX-15 - Fourth International Workshop on Bidirectional Transformations http://bx-community.wikidot.com/bx2015:home * GCM-15 - Sixth International Workshop on Graph Computation Models http://www-users.cs.york.ac.uk/~det/GCM2015/cfp.html * MORSE-15 - Second Workshop on Model-Driven Robot Software Engineering http://swt4.informatik.uni-mannheim.de/morse2015/ * PAME-15 - First Workshop on Patterns in Model Engineering http://www-ens.iro.umontreal.ca/~syriani/pame2015/ * VAO-15 - Third Workshop on View-Based, Aspect-Oriented and Orthographic Software Modelling http://vao.ipd.kit.edu/vao_2015 * VOLT-15 - Fourth Workshop on the Verification Of Model Transformations http://volt2015.big.tuwien.ac.at/ Tentative program of all events is available at: http://bit.ly/1GvC4MU Venue ===== STAF 2015 will be hosted by L'Aquila, the capital city of the Abruzzi region in Italy. The city's construction was begun by Frederick II, Holy Roman Emperor and King of Sicily, as a bulwark against the power of the papacy. The name of Aquila means "Eagle" in Italian. Construction was completed in 1254 under Frederick's son, Conrad IV of Germany. Laid out within medieval walls upon a hillside in the middle of a narrow valley; tall snow-capped mountains of the Gran Sasso massif flank the town. A maze of narrow streets, lined with Baroque and Renaissance buildings and churches, open onto elegant piazzas. The surrounding area boasts Roman ruins (the important Roman city of Amiternum), ancient monasteries, and numerous castles. The best-known of these is Rocca Calascio (used in the 1980s as the location for the movie Ladyhawke), which is the highest castle in Italy and one of the highest in Europe. Also nearby are several ski resorts like Gran Sasso d'Italia, the highest of the Apennines where in its valley the movie The Name of the Rose was filmed in the end of the 1980s. Earthquakes mark the history of L'Aquila. STAF 2015 is the first remarkable scientific event in Computer Science after the earthquake that occurred in 2009. It is a small, big step towards the grand achievement of restoring some form of normality in this place and its people. The conferences will be held on Dipartimento di Scienze Umane of the University of L'Aquila ADDRESS: Viale Nizza, 14 67100 L'Aquila (Italy) GOOGLE MAP: https://goo.gl/maps/ZGqQE Contact ======= For further inquiries, do not hesitate to contact the organization team at stafconference2015@gmail.com Alfonso Pierantonio STAF 2015 General Chair
Received on Thursday, 11 June 2015 13:41:27 UTC