ISMVL 2010 - ISMVL 2010 40th International Symposium on Multiple-Valued Logic

ISMVL 2010

40th International Symposium on Multiple-Valued Logic

May 26-28, 2010, Casa Convalescència, Barcelona, Spain



The Multiple-Valued Logic Technical Committee of the IEEE Computer Society will hold its 40th annual symposium on May 26-28, 2010 in Casa Convalescència, Barcelona, Spain. The event is sponsored by the IEEE Computer Society, and is organized by the Artificial Intelligence Research Institute of the Spanish National Research Council (IIIA-CSIC), the University of Barcelona, the Autonomous University of Barcelona, and the University of Lleida.

You are invited to submit an original paper, survey or tutorial paper on any subject in the area of multiple-valued logic, including but not limited to:



Algebra and Formal Aspects
ATPG and SAT
Automatic Reasoning
Circuit/Device Implementation
Communication Systems
Computer Arithmetic
Data Mining
Fuzzy Systems and Soft Computing
Image Processing
Logic Design and SwitchingTheory
Logic Programming
Machine Learning and Robotics
Mathematical Fuzzy Logic
Nano Technology
Philosophical Aspects
Quantum Computing
Signal Processing
Spectral Techniques
Verification



Authors should submit papers by November 1, 2009 using the software that will be available on the conference web site. Each manuscript should include a 50?100 word abstract, and should not exceed 6 pages in the proceedings format.

Invited speakers:

Joao Marques-Silva
University College Dublin, Ireland

Claudio Moraga
European Centre for Soft Computing, Spain

Daniele Mundici
University of Florence, Italy


The symposium will be co-located with the Post Binary ULSI Workshop.



Important Dates:

November 1, 2009
Paper submission
February 1, 2010
Author notification
March 1, 2010
Final version
April 1, 2010
Early registration deadline
May 26?28, 2010
Conference





Program Chairs:

Francesc Esteva
Artificial Intelligence Research Institute (IIIA)
Spanish National Research Council (CSIC)

Joan Gispert
University of Barcelona (UB)


Program Committee:

Teresa Alsinet
(University of Lleida, Spain)
Jaakko Astola
(Tampere University of Technology, Finland)
Rolf Drechsler
(University of Bremen, Germany)
Gerhard Dueck
(University of New Brunswick, Canada)
Lluis Godo
(IIIA-CSIC, Spain)
Takahiro Hanyu
(Tohoku University, Japan)
Chu-Min Li
(University of Picardie, France)
Ines Lynce
(INESC-ID/IST, Technical University of Lisbon, Portugal)
Hajime Machida
(Hitotsubashi University, Japan)
D. Michael Miller
(University of Victoria, Canada)
Franco Montagna
(University of Siena, Italy)
Carles Noguera
(IIIA-CSIC,Spain)
Jovanka Pantovic
(University of Novi Sad, Serbia)
Marek Perkowski
(Portland State University, USA)
Gernot Salzer
(Vienna University of Technology, Austria)
Tsutomu Sasao
(Kyushu Institute of Technology, Japan)
Radomir Stankovic
(University of Nis, Serbia)
Mitch Thornton
(Southern Methodist University, USA)
Ventura Verdu
(University of Barcelona, Spain)
Svetlana Yanushkevich
(University of Calgary, Canada)
Yasushi Yuminaka
(Gunma University, Japan)


Symposium Chair:

Felip Manyà
Artificial Intelligence Research Institute (IIIA)
Spanish National Research Council (CSIC)


Symposium Co-Chair:

Henning Gundersen
Telenor Group Norway


Local Arrangements Chair:

Cèsar Fernàndez
University of Lleida (UdL)


Finance Chair:

Pere Garcia
Artificial Intelligence Research Institute (IIIA)
Spanish National Research Council (CSIC)


Publicity Chair:

Jordi Levy
Artificial Intelligence Research Institute (IIIA)
Spanish National Research Council (CSIC)