Calendars

To ease scheduling your days at VSL, we have prepared online calendars (HTML and iCal feeds).
To subscribe to an iCal feed in your favorite calendar application: i. right-click the respective link, ii. select Copy Link Address or Copy Link Location, iii. paste the copied URL in the application.

VSL Events

VSL + FLoC Global Events iCal HTML
VSL Public Events [de] iCal HTML
VSL Public Events [en] iCal HTML

Conferences

Mathematical Logic
LC iCal HTML
LATD iCal HTML
Artificial Intelligence
KR iCal HTML
Computer Science / FLoC
CAV iCal HTML
CSF iCal HTML
CSL-LICS iCal HTML
ICLP iCal HTML
IJCAR iCal HTML
ITP iCal HTML
RTA-TLCA iCal HTML
SAT iCal HTML

Workshops

2FC iCal HTML
ACL2 iCal HTML
ADDCT iCal HTML
AISS iCal HTML
APPA iCal HTML
ARQNL iCal HTML
ARW-DT iCal HTML
ASA iCal HTML
ASPOCP iCal HTML
CHR iCal HTML
CICLOPS-WLPE iCal HTML
CLC iCal HTML
Coq iCal HTML
CSPSAT iCal HTML
DCM iCal HTML
DL iCal HTML
DTP iCal HTML
EC2 iCal HTML
FCS-FCC iCal HTML
FRIDA iCal HTML
FWFM iCal HTML
GeTFun iCal HTML
GSB iCal HTML
HCVS iCal HTML
HOL iCal HTML
HOPA iCal HTML
HOR iCal HTML
HSB iCal HTML
ICLP DC iCal HTML
IFIP-WG16 iCal HTML
INFINITY iCal HTML
iPRA iCal HTML
Isabelle iCal HTML
ITRS iCal HTML
IWC iCal HTML
KR4HC iCal HTML
LaSh iCal HTML
LCC iCal HTML
LFMTP iCal HTML
LG iCal HTML
Linearity iCal HTML
LOLA iCal HTML
LSB iCal HTML
NCPROOFS iCal HTML
NLCS iCal HTML
NLSR iCal HTML
NMR iCal HTML
NSV iCal HTML
ORE iCal HTML
PAAR iCal HTML
ParSearchOpt iCal HTML
PAS iCal HTML
PC iCal HTML
PCCR iCal HTML
PLP iCal HTML
POS iCal HTML
PRUV iCal HTML
PSC iCal HTML
QBF iCal HTML
QED iCal HTML
QUANTIFY iCal HTML
RCRA iCal HTML
REORDER iCal HTML
RS iCal HTML
SD iCal HTML
SMT iCal HTML
STAST iCal HTML
SYNT iCal HTML
TermGraph iCal HTML
UITP iCal HTML
UNIF iCal HTML
Vampire iCal HTML
VEMDP iCal HTML
VERIFY iCal HTML
VeriSure iCal HTML
VPT iCal HTML
VSTTE iCal HTML
WING iCal HTML
WIR iCal HTML
WPTE iCal HTML
WST iCal HTML
WWV iCal HTML