[SMT-LIB] STAF 2015 - Call for Participation

Geoff Sutcliffe geoff at cs.miami.edu
Thu Jun 11 09:42:07 EDT 2015


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 at gmail.com 

Alfonso Pierantonio
STAF 2015 General Chair 



More information about the SMT-LIB mailing list