[Hol-info] FOCLASA 2017 - First Call for Papers

2017-03-27 Thread foclasa2017
date TBA), Trento (Italy) Colocated with SEFM 2017 - http://sefm17.fbk.eu Follow us on Twitter: @foclasa2017 -- FOCLASA 2017 is a workshop colocated with the 15th International Conference on Software Engineering and Formal Methods

[Hol-info] FOCLASA 2017 - Call for Participation

2017-08-06 Thread foclasa2017
[Apologies for multiple postings] -- FOCLASA 2017: Call for Participation -- FOCLASA 2017: 15th International Workshop on Foundations of Coordination Languages and Self-Adaptive Systems Date: September 5, 2017, Trento (Italy) Co-located with SEFM 2017 - http://sefm17.fbk.eu Web:

[Hol-info] FOCLASA 2017 - Second Call for Papers

2017-05-03 Thread foclasa2017
(Italy) Colocated with SEFM 2017 - http://sefm17.fbk.eu Follow us on Twitter: @foclasa2017 -- FOCLASA 2017 is a workshop colocated with the 15th International Conference on Software Engineering and Formal Methods (SEFM 2017

[Hol-info] FOCLASA 2017 - Final Call for Papers

2017-05-29 Thread foclasa2017
(Italy) Colocated with SEFM 2017 - http://sefm17.fbk.eu Follow us on Twitter: @foclasa2017 -- FOCLASA 2017 is a workshop colocated with the 15th International Conference on Software Engineering and Formal Methods (SEFM 2017). The goal

[Hol-info] FOCLASA 2017 - Final Call for Papers - Extended Deadlines

2017-06-05 Thread foclasa2017
http://foclasa.lcc.uma.es September 5, 2017, Trento (Italy) Colocated with SEFM 2017 - http://sefm17.fbk.eu Follow us on Twitter: @foclasa2017 -- FOCLASA 2017 is a workshop colocated with the 15th International Conference