Betaconfref labs: services in development; they can change or be unavailable. The project site is www.confref.org.
confreflabs
Menu

Record Beta

CSL 2025

https://id.confref.org/data/confident/48291

This record is part of the confref event 33rd EACSL Annual Conference on Computer Science Logic.

rdf:typecf:Category_Event
schema:locationKingdom of the Netherlands (wd:Q29999)
rdfs:labelCSL 2025
cf:Abstract_Deadline2024-07-18
cf:Academic_Fieldhttps://id.confref.org/data/confident/25698
cf:Academic_Fieldhttps://id.confref.org/data/confident/37085
cf:AcronymCSL 2025
cf:Camera-Ready_Deadline2024-11-24
cf:CityAmsterdam
cf:Countryhttps://id.confref.org/data/confident/31004
cf:Country_Missingfalse
cf:Creation_date2024-11-06T17:48:31
cf:DOI10.25798/bqkp-p144
cf:Display_TitleCSL 2025
cf:End_Date2025-02-14
cf:Event_Modeon site
cf:Event_Statusas scheduled
cf:Has_Metricfalse
cf:Has_subobjecthttps://id.confref.org/data/confident/48291/1c142315730509e406a36d8d552ad32a
cf:Has_subobjecthttps://id.confref.org/data/confident/48291/5877c402d486a5406f72453ffa7d88b2
cf:Has_subobjecthttps://id.confref.org/data/confident/48291/69c0c815590a04ffb2d165ab71d6ebac
cf:Has_subobjecthttps://id.confref.org/data/confident/48291/ca7529901b3cd477abde14a35b4ddd94
cf:Has_subobjecthttps://id.confref.org/data/confident/48291/ee83835387a6bdaafc6dff78091b2183
cf:In_Event_Serieshttps://id.confref.org/data/confident/1255
cf:Modification_date2026-08-10T06:44:28
cf:Month2
cf:Notification_Deadline2024-10-27
cf:Official_Websitehttps://csl2025.github.io/
cf:Ordinal33
cf:Organizer_Missingfalse
cf:Paper_Deadline2024-07-23
cf:RegionNoord-Holland
cf:Registration_Linkhttps://csl2025.github.io/index#registration
cf:Single_Day_Eventno
cf:Start_Date2025-02-10
cf:Start_Date_Missingfalse
cf:Submission_Linkhttps://easychair.org/account2/signin?l=6000180479843954502
cf:Title33rd EACSL Annual Conference on Computer Science Logic
cf:VenueCWI
cf:Year2025
cf:pagehttps://www.confident-conference.org/index.php/Event:050ae43e-5be3-4555-9c36-19aa5de1650d
cf:pageTitleEvent:050ae43e-5be3-4555-9c36-19aa5de1650d
cr:disciplinemathematical logic (wd:Q1166618)
cr:disciplinecomputer science (wd:Q21198)
cr:fieldMathematics (https://id.confref.org/data/oecd-fos/1.1)
cr:sameAshttps://dblp.org/db/conf/csl/csl2025

Data: Turtle · JSON-LD · N-Triples · RDF/XML

Beta confref labs is under development. Identifiers are stable; pages, data and services can change.