VSL 2014: VIENNA SUMMER OF LOGIC 2014

VSL FOREWORD VSL PROGRAM VOLUMES

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

CFP | PC | PROGRAM | VOLUME

EC2 ON FRIDAY, JULY 18TH: TALK VIEW

Days:

View: with abstracts session overview side by side with other conferences

9:30

10:00

10:30

11:00

11:30

12:00

12:30

13:00

13:30

14:00

14:30

15:00

15:30

16:00

16:30

09:15-10:15

Does Wait-Freedom Matter?

Kapil Vaswani

10:45-11:45

Wait-Freedom Made Practical

Erez Petrank

11:45-12:15

A new reduction for event-driven distributed programs

Ankush Desai, Pranav Garg, P. Madhusudan

12:15-13:00 Discussion

10:15-10:45 Coffee Break

13:00-14:30 Lunch Break

16:00-16:30 Coffee Break

Disclaimer | Powered by EasyChair Smart Program