|
Monday, January 28 Nir Etzion Guest Hotel
|
|
|
9:30
|
Martin Charles Golumbic (CRI)
Read-Once Functions
|
|
10:30
|
Ondrej Cepek (Charles University in Prague, Czech Republic)
Interval Boolean Functions
|
|
11:30
|
David Kronus (Charles University in Prague, Czech Republic)
Interval Extensions of Partially Defined Boolean Functions
|
|
12:30
|
Lunch
|
|
14:00
|
Martin Anthony (University of London )
Using a Boolean Similarity Measure in Machine Learning
|
|
15:00
|
Joel Ratsaby (Ariel University Center of Samaria )
A Distance Measure for Properties of Boolean Functions
|
|
16:00
|
Ferdinando Cicalese (University of Salerno, Italy) and
Eduardo S. Laber (Rio de Janeiro National University, Brazil)
Function Evaluation via Linear Programming in the Priced Information Model
|
|
Dinner
|
|
Tuesday, January 29
Peter L. Hammer Memorial Session
University of Haifa
Sammy and Aviva Ofer Observatory
30th floor, Eshkol Tower - free and open to the public
|
|
14:00
|
Welcome:
Martin Charles Golumbic (CRI),
Uri Rothblum Greetings
Maxim Hammer – Response to the Greetings
|
|
14:15
|
Endre Boros (Rutgers University)
Peter L. Hammer and Pseudo-Boolean Optimization
|
|
14:45
|
Yves Crama (University of Liège, Belgium)
Peter L. Hammer and Boolean Methods: Selected Topics
|
|
15:15
|
Bruno Simeone (University of Rome La Sapienza )
Reminiscences of Peter Hammer
|
|
15:50
|
Lisa Hellerstein (Polytechnic University, New York )
Learning Boolean Functions
|
|
17:00
|
Jehoshua (Shuki) Bruck (California Institute of Technology )
Fourier and Boole
|
|
Wednesday, January 30
Nir Etzion Guest Hotel
|
|
|
9:30
|
Jehoshua (Shuki) Bruck (California Institute of Technology)
The Logic of Biological Networks
|
|
10:30
|
Petr Kucera (Charles University in Prague )
Analysing DNA Microarray Data Using Techniques of Partially Defined Functions with Missing Bits
|
|
11:30
|
Vadim (David) E. Levit (Ariel University Center of Samaria)
Vertices Belonging To All Maximum Stable Sets Of A Tree
|
|
12:30
|
Tiziano Villa Logic Minimization and Testability of 2-SPP Networks
|
|
14:00
|
Ron Holzman (Technion - Israel Institute of Technology)
Approximations of Pseudo-Boolean Function: Theory and Applications
|
|
15:00
|
Bruno Simeone (University of Rome La Sapienza )
Pseudo-Boolean Consensus Algorithms for Nonlinear 0-1 Minimization
|
|
DINNER
|
|
Thursday, January 31
Nir Etzion Guest Hotel
|
|
|
9:30
|
Endre Boros (Rutgers University )
A New Parallel Dualization Algorithm
|
|
10:30
|
Kazuhisa Makino (University of Tokyo )
Berge Multiplication for Monotone Boolean Dualization
|
|
11:30
|
Nachum Dershowitz (Tel Aviv University )
On Canonical Implicational Systems Enumeration Problems Related to Ground Horn Theories
|
|
12:30
|
LUNCH
|
|
14:00
|
Gyorgy Turan (University of Illinois at Chicago )
Horn Formulas: New Problems and Applications
|
|
15:00
|
Miguel Couceiro (University of Tampere, Finland )
The Arity Gap and The Simple Minor Relation Between Boolean Functions
|
|
16:00
|
Open Discussion
|
|
Dinner
|