Conference series Beta
International Conference on Temporal Logic (ICTL)
ICTL
- Events
- 4 (1994 to 2003)
- Academic field
- Natural sciences: Computer and information sciences
- Disciplines
- computer science
- Identifier
https://id.confref.org/series/s10b2th
Events (4)
19942003
| Year | No. | Event | Place | Date |
|---|---|---|---|---|
| 2003 | International Conference on Temporal Logic ICTL | Cairns | 2003-01-01 | |
| 2000 | International Conference on Temporal Logic ICTL | Leipzig | 2000-01-01 | |
| 1997 | International Conference on Temporal Logic ICTL | Manchester | 1997-01-01 | |
| 1994 | Temporal Logic, First International Conference, ICTL '94, Bonn, Germany, July 11-14, 1994, Proceedings ICTL | Bonn | 1994-07-11/14 |
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 | |
| GND |
Cite
International Conference on Temporal Logic (ICTL). confref identifier s10b2th. https://id.confref.org/series/s10b2th
Beta confref labs is under development. Identifiers are stable; pages, data and services can change.