Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] [Deadline extension] MACIS 2008


view this post on Zulip Email Gateway (Aug 18 2022 at 12:35):

From: Lee Wen-Shin <wen-shin.lee@ua.ac.be>
[Apologies for multiple copies]

The Deadline for extended abstract/paper submission has been extended to November 3 2008

============================================================================
MACIS 2008 - Third International Conference on
Mathematical Aspects of Computer and Information Sciences
Buenos Aires, Argentina, December 10-12, 2008
http://www.cc4cm.org/macis2008/ <https://webmail.ua.ac.be/exchweb/bin/redir.asp?URL=https://webmail.ua.ac.be/exchweb/bin/redir.asp?URL=https://webmail.ua.ac.be/exchweb/bin/redir.asp?URL=http://www.cc4cm.org/macis2008/>

collocated with VI ALIO/EURO Workshop on Applied Combinatorial Oprimization,
December 15-17, 2008, Buenos Aires, Argentina http://alioeuro2008.dc.uba.ar/ <https://webmail.ua.ac.be/exchweb/bin/redir.asp?URL=https://webmail.ua.ac.be/exchweb/bin/redir.asp?URL=https://webmail.ua.ac.be/exchweb/bin/redir.asp?URL=https://webmail.ua.ac.be/exchweb/bin/redir.asp?URL=http://alioeuro2008.dc.uba.ar/>

CALL FOR PAPERS

Mathematical Aspects of Computer and Information Sciences (MACIS)
is a new series of conferences where foundational research on
theoretical and practical problems of mathematics for computing
and information processing may be presented and discussed.
MACIS also addresses experimental and case studies, scientific
and engineering computation, design and implementation of algorithms
and software systems, and applications of mathematical methods
and tools to outstanding and emerging problems in applied computer
and information sciences. Each conference focuses on two or three themes.

MACIS 2008 themes:

(1) Complex Systems and Networks

(2) Certified and Reliable Computation

(3) Computational Algebraic Geometry

The first MACIS conference took place in Beijing, China,
July 24-26, 2006 (see http://www.cc4cm.org/macis2006/ <https://webmail.ua.ac.be/exchweb/bin/redir.asp?URL=https://webmail.ua.ac.be/exchweb/bin/redir.asp?URL=https://webmail.ua.ac.be/exchweb/bin/redir.asp?URL=https://webmail.ua.ac.be/exchweb/bin/redir.asp?URL=http://www.cc4cm.org/macis2006/> )

The second MACIS conference took place in Paris, France,
December 5-7, 2007 (see http://www-spiral.lip6.fr/MACIS2007 <https://webmail.ua.ac.be/exchweb/bin/redir.asp?URL=https://webmail.ua.ac.be/exchweb/bin/redir.asp?URL=https://webmail.ua.ac.be/exchweb/bin/redir.asp?URL=https://webmail.ua.ac.be/exchweb/bin/redir.asp?URL=http://www-spiral.lip6.fr/MACIS2007> )

SUBMISSION

Potential participants of MACIS 2008 are invited to submit
extended abstracts (3-4 pages) or full papers describing
their work to be presented at the conference.
The submitted extended abstracts and full papers will
be reviewed by members of the Program Committee (PC)
for soundness and relevance to the conference.
Submission of original research papers is encouraged,
while published material and work in progress will
also be considered for presentation at the conference.
Electronic submissions are strongly preferred by
using the web page http://www.easychair.org/conferences/?conf=macis2008 <https://webmail.ua.ac.be/exchweb/bin/redir.asp?URL=http://www.easychair.org/conferences/?conf=macis2008>
or should be sent by e-mail as .pdf attachments to the PC chair:

Dr. Ilias S. Kotsireas
Wilfrid Laurier University
Waterloo ON, CANADA
e-mail: ikotsire@wlu.ca

Accepted extended abstracts and full papers will be printed
for distribution at the conference.
Authors of the extended abstracts and full papers accepted
for presentation at the conference will be invited to
submit their full and/or revised papers for publication
in special issues of Mathematics in Computer Science
(MCS - http://www.cc4cm.org/mcs <https://webmail.ua.ac.be/exchweb/bin/redir.asp?URL=https://webmail.ua.ac.be/exchweb/bin/redir.asp?URL=https://webmail.ua.ac.be/exchweb/bin/redir.asp?URL=https://webmail.ua.ac.be/exchweb/bin/redir.asp?URL=http://www.cc4cm.org/mcs> ) by Birkhauser/Springer
after the meeting. The submitted papers will be formally
reviewed by PC members and external referees
according to the refereeing procedure of MCS.

IMPORTANT DATES

* New Deadline for extended abstract submission: November 3, 2008 **
Notification of acceptance or rejection: November 20, 2008
Conference taking place: December 10-12, 2008

GENERAL CHAIRS
Gabriela Jeronimo (Buenos Aires)
Fabrice Rouillier (Paris)

PROGRAM COMMITTEE CHAIR
Ilias Kotsireas (Waterloo)

PUBLICITY CHAIR
Wen-shin Lee (Antwerp)

WEBMASTER
Asem Kasem (Tsukuba)
==========================================================


Last updated: Nov 21 2024 at 12:39 UTC