VSL 2014: VIENNA SUMMER OF LOGIC 2014

PROGRAM FOR FRIDAY, JULY 18TH: SESSION VIEW

Days:
previous day
next day
all days

View: with abstractstalk overview

PSC
NLSR
VSTTE
ITP
NMR
CSL-LICS
CAV
SAT
Coq
LaSh
SMT
RCRA
NLCS
AISS
CICLOPS-WLPE
FLoC
DL
CSF
RTA-TLCA
CSPSAT
FCS-FCC
LC
ADDCT
VSL
EC2
QED
CHR
HOPA
WST
LATD
ICLP
VPT
IJCAR
ParSearchOpt
STAST
QUANTIFY
iPRA
PAS
PCCR
APPA
NSV
ASA
WWV
ITRS
9:00
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
17:00
17:30
18:00
18:30
19:00
19:30
20:00
20:30
21:00
21:30
22:00
22:30
23:00
23:30
08:45-10:15
New and advanced Coq features
08:45-10:15
Tutorial: How do we get inductive invariants?
08:45-10:15
Summer School on Computational Logic: Probabilistic Logic Programming I
08:45-10:15
CAV Tutorial: How do we get inductive invariants?
08:45-10:15
Fairness and Liveness
08:45-10:15
Hypervisors and dynamic data structures
08:45-10:15
Opening and Invited Talk
08:45-10:15
Opening and Invited Talk
08:45-10:15
Tutorial and a contributed talk
08:45-10:15
Contributed Talks
08:45-10:15
Contributed Talks
08:45-10:15
Workshop Opening and Invited Talk
08:45-09:45
Invited Speaker
08:45-09:45
Invited Speaker
08:45-10:15
Invited Talk and Contributed Talk
08:45-10:15
Invited Talk and Contributed Talk
08:45-09:00
Workshop Opening
08:45-10:15
Invited speaker (A. Rybalchenko)
09:00-09:15
Workshop opening
09:00-10:15
Invited Talk
09:00-10:15
Invited Talk
09:00-10:00
Session 87C
09:00-18:00
FLoC Olympic Games Big Screen: OWL Reasoner Evaluation (ORE 2014)
09:00-18:00
FLoC Olympic Games Big Screen: OWL Reasoner Evaluation (ORE 2014)
09:00-18:00
FLoC Olympic Games Big Screen: OWL Reasoner Evaluation (ORE 2014)
09:00-18:00
FLoC Olympic Games Big Screen: OWL Reasoner Evaluation (ORE 2014)
09:00-18:00
FLoC Olympic Games Big Screen: OWL Reasoner Evaluation (ORE 2014)
09:00-18:00
FLoC Olympic Games Big Screen: OWL Reasoner Evaluation (ORE 2014)
09:00-18:00
FLoC Olympic Games Big Screen: OWL Reasoner Evaluation (ORE 2014)
09:00-18:00
FLoC Olympic Games Big Screen: OWL Reasoner Evaluation (ORE 2014)
09:00-18:00
FLoC Olympic Games Big Screen: OWL Reasoner Evaluation (ORE 2014)
09:00-18:00
FLoC Olympic Games Big Screen: OWL Reasoner Evaluation (ORE 2014)
09:00-18:00
FLoC Olympic Games Big Screen: Satisfiability Modulo Theories solver competition (SMT-COMP 2014)
09:00-18:00
FLoC Olympic Games Big Screen: Satisfiability Modulo Theories solver competition (SMT-COMP 2014)
09:00-18:00
FLoC Olympic Games Big Screen: Satisfiability Modulo Theories solver competition (SMT-COMP 2014)
09:00-18:00
FLoC Olympic Games Big Screen: Satisfiability Modulo Theories solver competition (SMT-COMP 2014)
09:00-18:00
FLoC Olympic Games Big Screen: Satisfiability Modulo Theories solver competition (SMT-COMP 2014)
09:00-18:00
FLoC Olympic Games Big Screen: Satisfiability Modulo Theories solver competition (SMT-COMP 2014)
09:00-18:00
FLoC Olympic Games Big Screen: Satisfiability Modulo Theories solver competition (SMT-COMP 2014)
09:00-18:00
FLoC Olympic Games Big Screen: Satisfiability Modulo Theories solver competition (SMT-COMP 2014)
09:00-18:00
FLoC Olympic Games Big Screen: Satisfiability Modulo Theories solver competition (SMT-COMP 2014)
09:00-18:00
FLoC Olympic Games Big Screen: Satisfiability Modulo Theories solver competition (SMT-COMP 2014)
09:00-10:15
Invited Tutorials (SAT- and SMT-Solvers)
09:00-10:15
Invited Talk by Frank Wolter
09:00-10:15
Invited talk: Aarne Ranta
09:00-10:15
Invited talk: Aarne Ranta
09:00-10:15
Keynote Talk
09:00-10:15
Session 87J
09:15-10:15
Invited Talk by Christel Baier
09:15-10:15
Invited talk
09:15-10:15
Invited talk
09:15-10:15
Invited Talk by Hoon Hong
09:15-10:15
Invited talk
09:15-10:15
Invited Talk
09:15-10:15
Invited Talk by Ulrich Berger (joint work with Tie Hou): Program Extraction in Church's Simple Theory of Types
09:15-10:15
Invited talk
09:15-10:15
Constraints
09:15-10:15
Invited Talk: Matching Logic
09:45-10:25
Technical Session
09:45-10:15
Technical Session
10:45-13:00
Programming Logics
10:45-13:00
Proof Theory
10:45-12:45
Invited talk & useful tools
10:45-12:15
Tutorial: How do we get inductive invariants?
10:45-13:00
Summer school on Computational Logic: Probabilistic Logic Programming II
10:45-12:45
CAV Tutorial: How do we get inductive invariants?
10:45-11:45
Session 90AG
10:45-13:00
SAT Encodings and Semantic Labelling
10:45-13:00
EPR, QBF, and QCSP
10:45-12:45
Session 90AJ
10:45-11:45
Invited Tutorials (First- and Higher-order Automated Theorem Provers)
10:45-12:45
Symbolic Computation
10:45-13:00
Certification
10:45-13:00
LaSh morning 2: Contributed Talks
10:45-12:45
Invited talk and two contributed talks
10:45-12:45
Invited Talk (Fitting) and Tutorial (Baader)
10:45-11:45
Contributed talks to NLSR
10:45-13:00
Session 90AS
10:45-12:45
Technical Session
10:45-12:00
Contributed Talks
10:45-12:00
Contributed Talks
10:45-12:15
Technical session
10:45-13:00
Arithmetic
10:45-12:15
Contributed Talks: Extracting Parsers and Ancestral Logic
10:45-13:00
iPrA Regular Talks
10:45-11:45
Invited Speaker
10:45-11:45
Contributed talks
10:45-13:00
Security Ceremonies and Policies
10:45-11:15
Constraints (continued)
10:45-12:00
Invited talk
10:45-12:45
Contributed Talks
10:45-12:45
Contributed Talks
10:45-13:00
Contributed Talks
10:45-13:00
Session 90BG
10:45-12:45
Invited Talk 2 and Submitted Talks: Javascript and Concurrency
11:00-13:00
Tutorial and invited talk
11:20-13:00
Heuristic, randomised and probabilistic approaches
11:45-12:00
Break
11:45-12:45
talks after an invited NLCS/NLSR lecture by Aarne Ranta
12:00-13:00
Session 94A
12:00-13:00
Invited Tutorials (Interactive Theorem Provers and Calculus of Inductive Constructions)
12:00-13:00
Contributed Talks and Poster Announcements
12:00-13:00
Technical Session
12:00-12:30
Contributed talk
12:00-13:00
Satisfiability Modulo Theories and Applications
12:00-13:00
Contributed Talks: Benchmarks
12:15-13:00
Discussion
14:30-16:00
Formalizations in Coq
14:30-16:00
Games and Finite Models
14:30-16:00
Types
14:30-16:00
Tutorial: Hardware Model Checking
14:30-16:00
Summer School on Computational Logic: Answer Set Programming I
14:30-15:30
Session 96AF
14:30-16:00
Special session: Philosophy of Mathematics
14:30-16:00
Special session: Set Theory
14:30-16:00
Term Rewriting Revisited
14:30-16:00
QBF and First-Order Logic
14:30-16:00
Session 96AK
14:30-16:00
Invited Talk
14:30-16:00
Invited Talk
14:30-16:00
Invited Tutorials (Foundational Proof Certificates, Deduction Modulo and Proof Analysis)
14:30-16:00
Invited Talk by Michael Rusinowitch
14:30-16:00
Real Time and Security
14:30-16:10
LaSh afternoon 1: Invited Talks - Lazy Grounding
14:30-16:00
NLCS contributed talks
14:30-16:00
Invited Talk (Metcalfe) and Contributed Talk
14:30-16:00
Talk and Panel Discussion
14:30-15:50
Technical session
14:30-15:50
Contributed Talks and Poster Announcements
14:30-16:00
SMT-COMP and SMT-EVAL Presentations
14:30-16:00
Contributed Talks: Proof Search and Proof Relevance
14:30-16:00
iPrA Regular Talks
14:30-16:00
Technical Session
14:30-15:30
Invited talk
14:30-16:00
Security and Human Behaviour
14:30-16:00
Dynamic and Modal Logic
14:30-16:00
Special Session: Decidability with Numerical Methods
14:30-16:00
Session 96BE
14:30-16:00
Special session: Perspectives on Induction
14:30-16:00
Special session: Perspectives on Induction
14:30-16:00
Invited talk by Josep Silva
14:30-16:00
Invited talk by Josep Silva
14:30-16:00
Contributed Talks: Argumentation 1
14:30-16:00
Abstract Interpretation and Linear Logic
15:30-16:00
Contributed talk
15:50-16:40
Poster Session (with coffee break)
16:30-18:00
New IDEs & Coq 8.5 update
16:30-18:00
Tutorial: Hardware Model Checking
16:30-17:00
Test-of-Time Award Presentations and Lectures
16:30-18:35
Summer School on Computational Logic: Answer Set Programming II
16:30-17:30
Session 99AE
16:30-18:00
Special session: Philosophy of Mathematics
16:30-18:00
Special session: Model Theory
16:30-18:00
Discussion and Business Meeting
16:30-18:00
Satisfiability Modulo Theories
16:30-18:00
Session 99AJ
16:30-18:00
Implementation Issues
16:30-18:00
Implementation Issues
16:30-18:00
Invited Tutorials (Verification, Security and Deep Inference)
16:30-18:10
Program Verification
16:30-18:00
Verified Software Competition (VSCOMP 2014)
16:30-18:00
LaSh afternoon 2: Invited Talks - Answer Set Programming
16:30-18:00
NLCS contributed talks
16:30-18:00
Contributed Talks
16:30-18:00
Contributed Talks
16:30-18:00
SMT-LIB Discussion and Business Meeting
16:30-18:00
iPrA Regular Talks, Discussions, Closing
16:30-18:00
Technical Session
16:30-17:30
PCCR panel
16:30-18:00
Socio-Technical Security
16:30-18:00
NSV Invited Talk: Jim Kapinski
16:30-18:00
Session 99AZ
16:30-18:00
Joint session with VPT: Web systems
16:30-17:30
Panel Session: The W3C Web Crypto API
16:40-17:30
Contributed Talks
17:00-18:00
Ackermann Award Presentation and Lecture
17:00-18:00
NMR Social Event
17:30-17:45
Workshop closing
17:30-17:45
Workshop closing
17:30-18:00
Joint session with WWV
18:00-18:10
Workshop Closing
18:00-23:30
DL/NMR Social Event and Dinner
18:00-23:30
DL/NMR Social Event and Dinner
18:15-19:15
Contributed talks A3
18:15-19:15
Contributed talks B3
18:15-19:15
Contributed talks C3
18:15-18:45
Session 104D
10:15-10:45 Coffee Break
13:00-14:30 Lunch Break
16:00-16:30 Coffee Break
Disclaimer | Powered by EasyChair Smart Program