Logic List Mailing Archive
Workshop on Boolean Functions in memory of Peter Hammer, Haifa (Israel), 28-31 Jan 2008
-------------------------------------------------------------------
Workshop on BOOLEAN FUNCTIONS: Theory, Algorithms and Applications
In Memory of Peter L. Hammer
General Session Tuesday January 29, 2008 (14:00-18:00)
University of Haifa, Eshkol Tower, 30th floor
Expert Workshop Jan 28, 30 31, 2008 -- Kibbutz Nir Etzion Guest Hotel
Further information and registration at <http://www.cri.haifa.ac.il>
---------------------------------------------------------------------
The mathematics and operations research community is invited to attend
and pay tribute to memory of our colleague Prof. Peter L. Hammer,
marking one year since his death in a tragic traffic accident.
General Memorial Session -- Tuesday January 29, 2008 (14:00-18:00)
Eshkol Tower, 30th floor, University of Haifa
Greetings: Martin Golumbic, Uri Rothblum, Maxim Hammer
Lectures: Endre Boros (Rutgers University)
"Peter L. Hammer and Pseudo-Boolean Optimization"
Yves Crama (University of Liege)
"Peter L. Hammer and Boolean Methods: Selected Topics"
Bruno Simeone (University of Rome)
"Reminiscences of Peter L. Hammer"
Lisa Hellerstein (Polytechnic University, New York)
"Characterizations of Boolean Function Classes"
Jehoshua (Shuki) Bruck (California Institute of Technology)
"Fourier and Boole"
This half-day General Session and one week Expert Workshop are organized and
sponsored by CRI the Caesarea Edmond Benjamin de Rothschild Foundation
Institute for Interdisciplinary Application of Computer Science at the
University of Haifa.
The Expert Workshop will take place Jan 28,30,31, 2008 at the guest hotel of
Kibbutz Nir Etzion. Please register at <http://www.cri.haifa.ac.il>.
Additional speakers for the Expert Workshop:
Gyorgy Turan (Chicago) Kazuhisa Makino (Tokyo)
Martin Anthony (UK) Oya Ekin-Karasan (Turkey)
Ron Holzman (Technion) Gabriela Alexe (MIT)
Ondrej Cepek, Petr Kucera & David Kronus (Czech Republic)
Miguel Couceiro (Luxembourg) Joel Ratsaby & Vadim Levit (Ariel)
Nachum Dershowitz (Tel Aviv) Ferdinando Cicalese (Salerno, Italy)
Eduardo Laber (PUC-Rio, Brazil) Martin Golumbic (Haifa)
Student Participation Subsidies:
Graduate student subsidies for the expert workshop are available for
registration and for overnight accommodation. To apply, send a CV, short
research statement on how your thesis work relates to the topic of the
workshop, and a letter of recommendation from your thesis advisor, to Prof.
Martin Charles Golumbic, Director, The Caesarea Rothschild Institute,
University of Haifa, email: <golumbic@cs.haifa.ac.il>.
=========================================================================
Schedule of Lectures
CRI Workshop on Boolean Functions: Theory, Algorithms and Applications
in Memory of Peter L. Hammer
January 27-31, 2008
Nir Ezion Guest Hotel and University of Haifa
Monday, January 28 (Nir Ezion Guest Hotel)
9:30-12:30
Martin Golumbic
Read-once functions
Ondrej Cepek
Interval Boolean functions
David Kronos
Interval extensions of partially defined Boolean functions
Lunch
14:30-18:00
Martin Anthony
Using a similarity measure in machine learning Joel Ratsaby
A distance measure for properties of Boolean functions
Ferdinando Cicalese and Eduardo Laber
Function evaluation via linear programming in the priced information
model
Dinner
-------------------------------------------------------
Tuesday, January 29 (University of Haifa, Eshkol Tower 30 floor)
14:00-18:00
Martin Golumbic, Welcome
Uri Rothblum, Greetings
Maxim Hammer, Response to the Greetings
Endre Boros
Peter L. Hammer and Pseudo-Boolean Optimization
Yves Crama
Peter L. Hammer and Boolean methods: selected topics Bruno Simeone
Reminiscences of Peter Hammer Lisa Hellerstein
Learning Boolean functions
Jehoshua (Shuki) Bruck
Fourier and Boole
-------------------------------------------------------
Wednesday, January 30 (Nir Ezion Guest Hotel)
9:30-12:30
Jehoshua (Shuki) Bruck
The logic of biological networks
Petr Kucera
Analysing DNA microarray data using techniques
of partially defined functions with missing bits
Vadim Levit
Vertices belonging to all maximum stable sets of a tree
Lunch
14:00-16:00
Ron Holzman
Approximations of pseudo-Boolean function: Theory and applications
Bruno Simeone
Pseudo-Boolean Consensus Algorithms for Nonlinear 0-1 Minimization
Dinner in Caesarea
-------------------------------------------------------
Thursday, January 31 (Nir Ezion Guest Hotel)
9:30-12:30
Endre Boros
A new parallel dualization algorithm
Kazuhisa Makino
Berge multiplication for monotone Boolean dualization
Nachum Dershowitz
Propositional Horn Theories:
Enumeration and Canonical Represenation
Lunch
14:00-16:30
Gyorgy Turan
Horn formulas: new problems and applications
Miguel Couceiro
The arity gap and the simple minor relation between Boolean functions
Open Discussion
Dinner in Jerusalem