* [Caml-list] CADE-26 - Call for Participation
@ 2017-07-03 12:14 Geoff Sutcliffe
0 siblings, 0 replies; 2+ messages in thread
From: Geoff Sutcliffe @ 2017-07-03 12:14 UTC (permalink / raw)
To: caml-list
CADE-26 CALL FOR PARTICIPATION
==============================
The 26th International Conference on Automated Deduction
Gothenburg, Sweden
6-11 August 2017
www.cade-26.info
*** KEYNOTE SPEAKERS ***
June Andronick - Data61
Philippa Gardner - Imperial College London
Grant Passmore - Aesthetic Integration
*** RESEARCH PROGRAM ***
see www.cade-26.info
*** SOCIAL EVENT ***
Boat trip to the picturesque island of Marstrand (www.marstrand.se/en/)
Dinner in the dramatic Marstrand castle
*** WORKSHOPS ***
ARCADE: Automated Reasoning:
Challenges, Applications, Directions, Exemplary Achievements
HCVS: Horn Clauses for Verification and Synthesis
PCR'17: Parallel Constraint Reasoning
ThEdu'17: Theorem Prover Components for Educational Software
Vampire 2017: The 4th Vampire Workshop
*** TUTORIAL ***
Certified Functional (Co)programming with Isabelle/HOL
*** SYSTEM COMPETITION ***
CASC (CADE System Competition)
www.tptp.org/CASC/26/
*** REGISTRATION ***
Early registration until 6 July 2017
Late registration until 2 August 2017
see www.cade-26.info
*** VENUE ***
Lindholmen Conference Centre, Gothenburg
and
Chalmers University of Technology, Lindholmen Campus, Gothenburg
*** CADE-26 ORGANIZERS ***
Conference Chairs:
Wolfgang Ahrendt Chalmers University of Technology
Moa Johansson Chalmers University of Technology
Program Committee Chair:
Leonardo de Moura Microsoft Research
Publicity Chair:
Magnus Myreen Chalmers University of Technology
Workshop and Tutorial Chair:
Philipp Ruemmer Uppsala University
^ permalink raw reply [flat|nested] 2+ messages in thread
* [Caml-list] CADE-26 - Call for Participation
@ 2017-05-30 11:32 Geoff Sutcliffe
0 siblings, 0 replies; 2+ messages in thread
From: Geoff Sutcliffe @ 2017-05-30 11:32 UTC (permalink / raw)
To: caml-list
CADE-26 CALL FOR PARTICIPATION
==============================
The 26th International Conference on Automated Deduction
Gothenburg, Sweden
6-11 August 2017
www.cade-26.info
*** KEYNOTE SPEAKERS ***
June Andronick - Data61
Philippa Gardner - Imperial College London
Grant Passmore - Aesthetic Integration
*** RESEARCH PROGRAM ***
see www.cade-26.info
*** SOCIAL EVENT ***
Boat trip to the picturesque island of Marstrand (www.marstrand.se/en/)
Dinner in the dramatic Marstrand castle
*** WORKSHOPS ***
ARCADE: Automated Reasoning:
Challenges, Applications, Directions, Exemplary Achievements
HCVS: Horn Clauses for Verification and Synthesis
PCR'17: Parallel Constraint Reasoning
ThEdu'17: Theorem Prover Components for Educational Software
Vampire 2017: The 4th Vampire Workshop
*** TUTORIAL ***
Certified Functional (Co)programming with Isabelle/HOL
*** SYSTEM COMPETITION ***
CASC (CADE System Competition)
www.tptp.org/CASC/26/
*** REGISTRATION ***
Early registration until 6 July 2017
Late registration until 2 August 2017
see www.cade-26.info
*** VENUE ***
Lindholmen Conference Centre, Gothenburg
and
Chalmers University of Technology, Lindholmen Campus, Gothenburg
*** CADE-26 ORGANIZERS ***
Conference Chairs:
Wolfgang Ahrendt Chalmers University of Technology
Moa Johansson Chalmers University of Technology
Program Committee Chair:
Leonardo de Moura Microsoft Research
Publicity Chair:
Magnus Myreen Chalmers University of Technology
Workshop and Tutorial Chair:
Philipp Ruemmer Uppsala University
^ permalink raw reply [flat|nested] 2+ messages in thread
end of thread, other threads:[~2017-07-03 12:14 UTC | newest]
Thread overview: 2+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2017-07-03 12:14 [Caml-list] CADE-26 - Call for Participation Geoff Sutcliffe
-- strict thread matches above, loose matches on Subject: below --
2017-05-30 11:32 Geoff Sutcliffe
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).