Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] CFP: Extended Deadline for 11th International ...


view this post on Zulip Email Gateway (Aug 19 2022 at 14:30):

From: Miroslav Velev <mvelev@gmail.com>
CFP: Extended Deadline for 11th International Workshop on Boolean Problems
(IWSBP’14)

Freiberg (Sachs.), Germany, September 17 - 19, 2014

http://www.informatik.tu-freiberg.de/prof2/ws_bp11/index.html

Important Dates:

Submission deadline: May 10, 2014 (EXTENDED DEADLINE)

Notification of acceptance: June 6, 2014

Final version due: July 6, 2014

The workshop on Boolean problems has an emphasis on the problems related to
the solution of all kinds of high-dimension Boolean and discrete problems,
and provides a forum for researchers and engineers from different
disciplines to exchange ideas. The workshop is devoted to theoretical
discoveries, as well as practical applications. An aim of the workshop is
to initiate possible collaborative research, and to find new areas of
application. It is intended to publish the papers in proceedings.

The invited speakers will be:

Topics of interest include, but are not limited to:

Submissions:

To submit a paper, please send an extended abstract, as a PDF file no
longer than 6 pages using the workshop web page:
http://www.informatik.tu-freiberg.de/prof2/ws_bp11/

or send a PDF file to: iwsbp2014@informatik.tu-freiberg.de

by April 30, 2014.

General Chair: Prof. Dr.-Ing. B. Steinbach, TU Bergakademie Freiberg

Conference Coordinator: Dr.-Ing. G. Rudolf, TU Bergakademie Freiberg

Publicity Chair: M. Velev, Aries Design Automation, USA

Program Committee:

Conference Language: English


Last updated: Nov 21 2024 at 12:39 UTC