Conference series Beta
Kurt Gödel Colloquium on Computational Logic and Proof Theory
KGC
- Events
- 5 (1989 to 1997)
- Academic field
- Natural sciences: Computer and information sciences
- Disciplines
- computer science
- Identifier
https://id.confref.org/series/s10a6g3
Events (5)
19891997
| Year | No. | Event | Place | Date |
|---|---|---|---|---|
| 1997 | 5 | Kurt Gödel Colloquium on Computational Logic and Proof Theory KGC | Vienna | 1997-08-25/29 |
| 1995 | Kurt Gödel Colloquium (KGC) KGC | Florence | 1995-01-01 | |
| 1993 | 3 | Kurt Gödel Colloquium on Computational Logic and Proof Theory KGC | Brno | 1993-08-24/27 |
| 1991 | Kurt Gödel Colloquium (KGC) KGC | 1991-01-01 | ||
| 1989 | Kurt Gödel Colloquium (KGC) KGC | Salzburg | 1989-01-01 |
The events on the map · in the search · calendar of coming events
Ratings
As the rating systems gave them at the date shown; a rating dataset keeps them as its source published them.
| System | Value | Date | Dataset |
|---|---|---|---|
| GII-GRIN-SCIE | W | 2017-04-06 | ratings-springer-lod |
Sources
The records of the sources that this identifier brings together (cr:sameAs).
| Springer LOD (2018) |
|
|---|---|
| confref portal (2020) | |
| Wikidata | |
| dblp | |
| GND |
Cite
Kurt Gödel Colloquium on Computational Logic and Proof Theory. confref identifier s10a6g3. https://id.confref.org/series/s10a6g3
Beta confref labs is under development. Identifiers are stable; pages, data and services can change.