Conference series Beta
International Workshop on Formal Methods (IWFM)
IWFM
- Events
- 6 (1997 to 2003)
- Academic field
- Natural sciences: Computer and information sciences
- Disciplines
- computer science
- Identifier
https://id.confref.org/series/s10cdpc
Events (6)
19972003
| Year | No. | Event | Place | Date |
|---|---|---|---|---|
| 2003 | 6 | 6th International Workshop on Formal Methods, IWFM 2003, Dublin City University, Ireland, 11 July, 2003 IWFM | Dublin City University | 2003-01-01 |
| 2001 | 5 | 5th Irish Workshop on Formal Methods, IWFM 2001, Dublin, Ireland, 16-17 July 2001 IWFM | Dublin | 2001-07-16/17 |
| 2000 | 4 | 4th Irish Workshop on Formal Methods, IWFM 2000, Maynooth, Ireland, 5th-6th July 2000 IWFM | Maynooth | 2000-01-01 |
| 1999 | 3 | 3rd Irish Workshop on Formal Methods, Galway, Ireland, July 1999 IWFM | Galway | 1999-01-01 |
| 1998 | 2 | 2nd Irish Workshop on Formal Methods, Cork, Ireland, 2-3 July 1998 IWFM | Cork | 1998-07-02/03 |
| 1997 | 1 | 1st Irish Workshop on Formal Methods, IWFM 1997, Dublin, Ireland, 3-4 July 1997 IWFM | Dublin | 1997-07-03/04 |
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).
| confref portal (2020) | |
|---|---|
| Wikidata | |
| dblp |
Cite
International Workshop on Formal Methods (IWFM). confref identifier s10cdpc. https://id.confref.org/series/s10cdpc
Beta confref labs is under development. Identifiers are stable; pages, data and services can change.