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

Website http://www2.iiia.csic.es/conferences/ismvl2010/ | Edit Freely

Category ISMVL 2010

Deadline: November 01, 2009 | Date: May 26, 2010

Venue/Country: Barcelona, Spain

Updated: 2010-06-04 19:32:22 (GMT+9)

Call For Papers - CFP

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)