INFINITY on Wednesday, July 9th, 2014: Talk View

VSL 2014: VIENNA SUMMER OF LOGIC 2014

VSL PROGRAM INDEXES

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

HOME | PROGRAM | INDEXES

INFINITY ON WEDNESDAY, JULY 9TH, 2014: TALK VIEW

Days:

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

14:00

14:30

15:00

15:30

16:00

16:30

17:00

17:30

14:00-15:00

Interactions of Set Theory, $L_{\omega_1,\omega}$, and AEC

John Baldwin

15:15-16:15

Proof Theoretic Characterisations of Feasible Set Functions

Arnold Beckmann

16:45-17:45

Systems of Strength H(1)

Ulrik Buchholtz

Disclaimer | Powered by EasyChair Smart Program