Record Beta
CSL 1990
https://id.confref.org/data/confident/7444
This record is part of the confref event 4th Workshop on Computer Science Logic.
| rdf:type | cf:Category_Event |
|---|---|
| schema:location | Heidelberg (wd:Q2966) |
| rdfs:label | CSL 1990 |
| cf:Acronym | CSL 1990 |
| cf:City | Heidelberg |
| cf:Country | https://id.confref.org/data/confident/30931 |
| cf:Country_Missing | false |
| cf:Creation_date | 2022-04-06T21:32:43 |
| cf:DOI | 10.25798/0x2k-bj55 |
| cf:Display_Title | CSL 1990 |
| cf:End_Date | 1990-10-05 |
| cf:Event_Mode | on site |
| cf:Event_Status | as scheduled |
| cf:Has_Metric | false |
| cf:Has_subobject | https://id.confref.org/data/confident/7444/aad8fc55132d997d14f2c15f6eb495a5 |
| cf:In_Event_Series | https://id.confref.org/data/confident/1255 |
| cf:Modification_date | 2026-09-30T18:40:27 |
| cf:Month | 10 |
| cf:Number_Of_Accepted_Papers | 35 |
| cf:Number_Of_Submitted_Papers | 89 |
| cf:Ordinal | 4 |
| cf:Organizer_Missing | false |
| cf:Single_Day_Event | no |
| cf:Start_Date | 1990-10-01 |
| cf:Start_Date_Missing | false |
| cf:Title | 4th Workshop on Computer Science Logic |
| cf:Year | 1990 |
| cf:page | https://www.confident-conference.org/index.php/Event:CSL_1990 |
| cf:pageTitle | Event:CSL 1990 |
| cr:sameAs | https://dblp.org/db/conf/csl/csl90 |
Beta confref labs is under development. Identifiers are stable; pages, data and services can change.