Events (9)
20022011
| Year | No. | Event | Place | Date |
|---|
| 2011 | 8 | Formal Aspects of Security and Trust - 8th International Workshop, FAST 2011, Leuven, Belgium, September 12-14, 2011. Revised Selected Papers IFIP1-7 | Leuven | 2011-09-12/14 |
| 2010 | 7 | Formal Aspects of Security and Trust - 7th International Workshop, FAST 2010, Pisa, Italy, September 16-17, 2010. Revised Selected Papers IFIP1-7 | Pisa | 2010-03-27/28 |
| 2009 | 6 | Formal Aspects in Security and Trust, 6th International Workshop, FAST 2009, Eindhoven, The Netherlands, November 5-6, 2009, Revised Selected Papers IFIP1-7 | York | 2009-03-28/29 |
| 2008 | 5 | Formal Aspects in Security and Trust, 5th International Workshop, FAST 2008, Malaga, Spain, October 9-10, 2008, Revised Selected Papers IFIP1-7 | Málaga | 2008-10-09/10 |
| 2006 | | Formal Aspects in Security and Trust, Fourth International Workshop, FAST 2006, Hamilton, Ontario, Canada, August 26-27, 2006, Revised Selected Papers IFIP1-7 | Hamilton | 2006-08-26/27 |
| 2005 | | Formal Aspects in Security and Trust, Third International Workshop, FAST 2005, Newcastle upon Tyne, UK, July 18-19, 2005, Revised Selected Papers IFIP1-7 | Newcastle upon Tyne | 2005-01-10/11 |
| 2004 | 18 | Formal Aspects in Security and Trust: Second IFIP TC1 WG1.7 Workshop on Formal Aspects in Security and Trust (FAST), an event of the 18th IFIP World Computer Congress, August 22-27, 2004, Toulouse, France IFIP1-7 | Toulouse | 2004-08-22/27 |
| 2003 | | IFIP WG 1.7 Publications IFIP1-7 | Warsaw | 2003-01-01 |
| 2002 | | IFIP WG 1.7 Publications IFIP1-7 | Portland | 2002-01-01 |
The events on the map · in the search · calendar of coming events
Sources
The records of the sources that this identifier brings together (cr:sameAs).
Beta confref labs is under development. Identifiers are stable; pages, data and services can change.
