Program for Friday, October 16th, 2015: Talk View

PROGRAM FOR FRIDAY, OCTOBER 16TH, 2015: TALK VIEW

Days:

previous day

next day

all days

View: with abstracts session overview

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

09:00-10:00

SAT-based techniques for integer linear constraints

Robert Nieuwenhuis

10:30-10:55

Trust, Belief and Honesty

David Pearce, Levan Uridia

10:55-11:20

Metis-based Paramodulation Tactic for HOL Light

Michael Färber, Cezary Kaliszyk

11:20-11:45

A Resolution Method for Modal Logic S5

Yakoub Salhi, Michael Sioutis

11:45-12:10

Application of adaptive neural networks for the filtration of the spam

Gela Besiashvili, Tamar Bliadze, Zurab Kochladze

13:40-14:05

Simulated Annealing Application to Maximum Lifetime Coverage Problem in Wireless Sensor Networks

Antonina Tretyakova, Franciszek Seredynski

14:05-14:30

Modeling Organic Chemistry and Planning Organic Synthesis

Arman Masoumi, Megan Antoniazzi, Mikhail Soutchanski

14:30-14:55

A Genetic Algorithm based Control Strategy for the Energy Management Problem in PHEVs

Johanna Nellen, Benedikt Wolters, Lukas Netz, Sascha Geulen, Erika Abraham

14:55-15:20

Breeding Theorem Proving Heuristics with Genetic Algorithms

Simon Schäfer, Stephan Schulz

15:50-16:15

(The Final) Countdown

Jean-Marc Alliot

16:15-16:40

EPR-based k-induction with counterexample guided abstraction refinement

Zurab Khasidashvili, Konstantin Korovin, Dmitry Tsarkov

16:40-17:05

A Uniform Approach to Incremental Automated Reasoning on Strongly Distributed Structures

Elena Ravve, Zeev Volkovich, Gerhard Weber

10:00-10:30 Coffee Break

12:10-13:40 Lunch Break

15:20-15:50 Coffee Break