VSL 2014: VIENNA SUMMER OF LOGIC 2014

PROGRAM FOR THURSDAY, JULY 17TH: SESSION VIEW

Days:
previous day
next day
all days

View: with abstractstalk overview

VSL
EC2
REORDER
LC
PLP
RTA-TLCA
DL
CSF
RCRA
NLCS
CICLOPS-WLPE
FLoC
SMT
CSL-LICS
CAV
SAT
ITP
NMR
VSTTE
PSC
NSV
LFMTP
VEMDP
PCCR
PAS
UITP
HCVS
iPRA
IJCAR
VPT
LATD
ICLP
WST
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
FLoC Panel
08:45-10:15
FLoC Panel
08:45-10:15
FLoC Panel
08:45-10:15
FLoC Panel
08:45-10:15
FLoC Panel
08:45-10:15
FLoC Panel
08:45-10:15
FLoC Panel
08:45-10:15
FLoC Panel
08:45-10:15
FLoC Panel
08:45-10:15
FLoC Panel
08:45-10:15
Non-Termination
08:45-10:15
Invited Talk I
08:45-10:15
Contributed Talks
08:45-10:15
Contributed Talks
08:45-10:15
Technical session
08:45-10:15
Invited Talk & Welcome
08:45-10:15
Session 62H
08:45-10:15
Contributed Talks: Uncertainty 1
08:45-10:15
Summer School on Computational Logic: Constraint Logic Programming I
08:50-10:15
Technical Session
09:00-10:15
Opening + Invited Talk 1
09:00-10:15
Session 64B
09:00-10:15
Opening + Invited Talk by Viorica Sofronie-Stokkermans
09:00-10:15
Invited talk: Laure Vieu
09:00-10:15
Welcome and Invited Talk
09:15-10:15
NSV Invited Talk: Jean-Michel Muller
09:15-10:15
Invited talk
09:15-10:15
UITP Invited Talk 1 (Geoff Sutcliffe: "TPTP Process Instruction Language")
09:15-10:15
Invited Talk by Martín Escardó: Excluded Middle Considered as a Mathematical Problem
10:45-13:00
Model Theory and Complexity
10:45-13:00
Semantics and Verification
10:45-13:00
Session 66AC
10:45-12:45
Session 66AD
10:45-13:00
Summer School on Computational Logic: Constraint Logic Programming II
10:45-11:15
Simplification and Solving II
10:45-12:45
NSV Contributed Talks: Formal Methods in Numerical Programs
10:45-13:00
UITP Contributed Talks (Proof Strategies, HCI Focus Groups, Proof Visualization, Term Rewriting)
10:45-13:00
Invited Talk and Imperative Programs
10:45-11:35
Invited Talk
10:45-13:00
Program Transformation
10:45-13:00
Technical Session
10:45-12:45
Technical Session
10:45-12:45
Technical Session
10:45-12:30
Automated Debugging
10:45-13:00
Analysis: Understanding and Explanation
10:45-13:00
Invited Talk, Contributed Talks, and Poster Announcements
10:45-12:45
Contributed talks to NLCS
10:45-12:45
Invited Talk (Miller) and Tutorial (Marra)
10:45-13:00
Program Analysis and Sets
10:45-12:15
Contributed Talks: Completeness and Computation
10:45-13:00
Invited Talk by Orna Grumberg and Regular Talks
10:45-11:00
Opening
10:45-13:00
Algorithms & Semantics
10:45-13:00
Session 66AY
10:45-13:00
Opening and Contributed talks
10:45-12:15
Contributed Talks: Declarative Programming 1
10:50-12:10
Propositional Satisfiability
11:00-13:00
Tutorial and invited talk
11:00-12:00
Invited talk
11:15-12:45
Analysis
11:45-13:00
Technical Session
12:00-13:00
Contributed talks
12:10-13:00
Answer Set Programming
12:15-13:00
Contributed Talks: Systems 1
14:00-16:00
Session 74
14:30-16:00
Models and Games
14:30-16:00
Programming Language Semantics
14:30-16:00
Session 75AC
14:30-16:00
RTA/TLCA business meeting
14:30-16:00
Summer School on Computational Logic: Horn Clauses and Verification I
14:30-16:00
Report on Competitions
14:30-16:00
NSV Contributed Talks: Certified Numerical Computation
14:30-15:30
UITP Invited Talk 2 (Enrico Tassi: "Asynchronous Processing in Coq")
14:30-16:00
Ranking Functions and Complexity
14:30-15:20
Invited Talk
14:30-16:00
Prolog Extensions
14:30-15:30
Invited Talk
14:30-15:30
Invited Talk
14:30-16:00
Invited Talk by Bruno Buchberger
14:30-16:00
Verification Frameworks and Applications
14:30-16:00
Contributed Talks and Poster Announcements
14:30-16:00
Invited talk: Anne Abeille, then a talk contributed to NLCS
14:30-16:00
Contributed Talks
14:30-16:00
Contributed Talks
14:30-16:00
Technical session
14:30-16:00
Arrays and Polymorphism
14:30-16:00
Contributed Talks: Calculus and Termination
14:30-16:00
Invited Talk by Pavel Pudlak, Discussions
14:30-15:00
Contributed talk
14:30-16:00
Applications & Implementation
14:30-16:00
Session 75AZ
14:30-16:00
Planning & Scheduling
14:30-15:30
Invited Talk
15:00-16:00
Invited talk
15:00-16:00
Open problems
15:20-15:45
Technical Session
15:30-16:00
UITP Contributed Talks - (Coq)
15:30-16:00
Contributed Talk: Declarative Programming 2
15:30-16:00
Technical Session
16:00-16:50
Poster Session (with coffee break)
16:30-18:00
NSV Invited Talk: Sumit Kumar Jha
16:30-18:00
UITP Contributed Talks - (Isabelle, IDE, Equational Reasoning)
16:30-18:00
New Frontiers
16:30-17:20
Invited Talk
16:30-18:00
Technical Session + Discussion
16:30-18:00
Session 80F
16:30-18:30
Program Analysis
16:30-18:00
Contributed talks to NLCS
16:30-18:00
Contributed Talks
16:30-18:00
Contributed Talks
16:30-17:30
Invited talk
16:30-18:00
Contributed Talks: Observation and Justification
16:30-18:00
Discussions on demand
16:30-18:00
iPrA Regular talks
16:30-19:00
Perspectives - Invited Perspectives
16:30-19:00
Perspectives - Invited Perspectives
16:30-17:45
Session 80Q
16:30-18:30
Contributed Talks: Belief Change
16:30-18:30
Summer School on Computational Logic: Horn Clauses and Verification II
16:50-18:30
Contributed Talks
17:20-18:10
Technical Session
17:45-18:30
Poster and demo session
19:00-20:00
LICS Business Meeting
19:00-21:00
DL/NMR Welcome Reception
19:00-21:00
DL/NMR Welcome Reception
19:30-21:00
ITP Steering and Program Committee Dinner
10:15-10:45 Coffee Break
13:00-14:30 Lunch Break
16:00-16:30 Coffee Break
16:30-19:00
VSL Joint Award Ceremony 1
21:00-23:59
VSL Student Reception 1
Disclaimer | Powered by EasyChair Smart Program