Boolean Functions: Theory, Algorithms and Applications

 

 

 

 

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