formalise.org
Keynote speaker: Aditya Nori | FormaliSE
http://www.formalise.org/node/21
FormaliSE: FME Workshop on Formal Methods in Software Engineering (15 May 2016, Austin, Texas, USA). Keynote speaker: Aditya Nori. Submitted by FormaliSE OC. On Sun, 02/02/2014 - 17:42. We are happy to announce that Professor Aditya Nori has accepted our invitation to give a keynote at FormaliSE 2014! An abstract will follow later.
formalise.org
Deadline extension | FormaliSE
http://www.formalise.org/node/36
FormaliSE: FME Workshop on Formal Methods in Software Engineering (15 May 2016, Austin, Texas, USA). On Thu, 01/22/2015 - 15:04. The submission deadline for FormaliSE 2015 has been extended to 30 january 2015. However, it is still required to submit (at least) an abstract by 23 January 2015 (the original deadline). This will enable the organisation to start the paper bidding process for PC members.
formalise.org
Extension of submission date | FormaliSE
http://www.formalise.org/node/20
FormaliSE: FME Workshop on Formal Methods in Software Engineering (15 May 2016, Austin, Texas, USA). Extension of submission date. Submitted by FormaliSE OC. On Sun, 01/12/2014 - 11:21. The deadline for submission of papers to FormaliSE 2014 has been extended to Friday 31 January 2014 . FormaliSE is a yearly workshop on Formal Methods in Software Engineering. FormaliSE is organised by FME (Formal Methods Europe) and is co-located with ICSE (International Conference on Software Engineering).
formalise.org
List of accepted papers and preliminary programme | FormaliSE
http://www.formalise.org/node/37
FormaliSE: FME Workshop on Formal Methods in Software Engineering (15 May 2016, Austin, Texas, USA). List of accepted papers and preliminary programme. On Wed, 02/25/2015 - 07:27. After a careful paper selection process and we are happy to announce that we now have nine high quality papers. Two keynotes for FormliSE 2015! Please have a look under "Programme" for the details.
formalise.org
Travel support for students | FormaliSE
http://www.formalise.org/node/22
FormaliSE: FME Workshop on Formal Methods in Software Engineering (15 May 2016, Austin, Texas, USA). Travel support for students. Submitted by FormaliSE OC. On Tue, 02/11/2014 - 22:09. To apply please visit the SIGSOFT CAPS. FormaliSE is a yearly workshop on Formal Methods in Software Engineering. FormaliSE is organised by FME (Formal Methods Europe) and is co-located with ICSE (International Conference on Software Engineering).
formalise.org
Update: September 2014 | FormaliSE
http://www.formalise.org/node/34
FormaliSE: FME Workshop on Formal Methods in Software Engineering (15 May 2016, Austin, Texas, USA). On Sat, 09/27/2014 - 23:14. A couple of months ago the 2nd FormaliSE workshop took place in Hyderabad, India. We look back at a very successful event! In Florence, Italy. The precise date of the workshop is not known yet, but it will be in the time frame 16-24 May 2015. Why not consider submitting a paper yourself? FormaliSE papers are refereed by professionals in the field, and the FormaliSE proceedings ...
formalise.org
FormaliSE 2015 is go! | FormaliSE
http://www.formalise.org/node/35
FormaliSE: FME Workshop on Formal Methods in Software Engineering (15 May 2016, Austin, Texas, USA). FormaliSE 2015 is go! On Thu, 12/04/2014 - 17:28. We are happy to announce that the FormaliSE 2015 workshop proposal has received approval from the. Organization, which means that the 3rd edition of this workshop will be held on Monday 18 May 2015, in Florence, Italy. Why not consider submitting a paper and participate in this event? The call for papers can be downloaded.
formalise.org
Social media | FormaliSE
http://www.formalise.org/node/23
FormaliSE: FME Workshop on Formal Methods in Software Engineering (15 May 2016, Austin, Texas, USA). Submitted by FormaliSE OC. On Sun, 02/16/2014 - 12:42. FormaliSE now also has a FaceBook page at www.facebook.com/formalise2014. Visit and "like" this page so you keep updated on the latest FormaliSE news. And the same for our twitter account, start following @formalise2014!
formalise.org
Registration open, and programme known! | FormaliSE
http://www.formalise.org/node/25
FormaliSE: FME Workshop on Formal Methods in Software Engineering (15 May 2016, Austin, Texas, USA). Registration open, and programme known! Submitted by FormaliSE OC. On Fri, 03/21/2014 - 16:12. We have finalized the programme for the workshop (see "Programme" menu) and registration is now also open (see "Registration" menu). Early registration ends on 14 April so be quick to register!
formalise.org
Looking back and looking forward | FormaliSE
http://www.formalise.org/node/39
FormaliSE: FME Workshop on Formal Methods in Software Engineering (15 May 2016, Austin, Texas, USA). Looking back and looking forward. On Sat, 05/30/2015 - 22:59. The third FormaliSE workshop. By now the FormaliSE workshop is slowly becoming an established forum for exchanging ideas that lower the barriers for wider use of formal methods in industrial software engineering practise, from education to practical application by software engineers working in the field. See you next year in Austin, Texas!
SOCIAL ENGAGEMENT