Tuesday, October 27, 2015

dmanet Digest, Vol 92, Issue 21

Send dmanet mailing list submissions to
dmanet@zpr.uni-koeln.de

To subscribe or unsubscribe via the World Wide Web, visit
http://www.zaik.uni-koeln.de/mailman/listinfo/dmanet
or, via email, send a message with subject or body 'help' to
dmanet-request@zpr.uni-koeln.de

You can reach the person managing the list at
dmanet-owner@zpr.uni-koeln.de

When replying, please edit your Subject line so it is more specific
than "Re: Contents of dmanet digest..."


Today's Topics:

1. ISAIM 2016: Submission Deadline Extended (Dimitris Diochnos)
2. Call for workshop proposals - 2nd IEEE International
Conference on Smart Computing (SMARTCOMP 2016) (Marco Tiloca)


----------------------------------------------------------------------

Message: 1
Date: Fri, 23 Oct 2015 12:40:57 -0400
From: Dimitris Diochnos <dd7rq@eservices.virginia.edu>
To: <dmanet@zpr.uni-koeln.de>
Subject: [DMANET] ISAIM 2016: Submission Deadline Extended
Message-ID:
<22CE0267-D842-4C4C-8390-E78558A2AEAE@eservices.virginia.edu>
Content-Type: text/plain; charset="us-ascii"

SUBMISSION DEADLINE EXTENDED

Fourteenth International Symposium on
ARTIFICIAL INTELLIGENCE and MATHEMATICS
ISAIM 2016
http://isaim2016.cs.virginia.edu
January 4-6, 2016
Fort Lauderdale, Florida

NEW PAPER SUBMISSION DEADLINE: October 30, 2015

The International Symposium on Artificial Intelligence and Mathematics (ISAIM) is a biennial meeting that fosters interactions between mathematics, theoretical computer science, and artificial intelligence. ISAIM 2016 is the fourteenth Symposium in the series, which is sponsored by the journal Annals of Mathematics and Artificial Intelligence and by Florida Atlantic University.

We seek submissions of recent results, with a particular emphasis on the foundations of AI and mathematical methods used in AI. Papers describing applications are also encouraged, but the focus should be on principled lessons learned from the development of the application. Traditionally, the Symposium attracts participants from a variety of disciplines, thereby providing a unique forum for scientific exchange. The three-day Symposium includes invited speakers, presentations of technical papers, and special topic sessions.

Work that has already been published as of the ISAIM submission deadline should not be submitted to ISAIM unless it introduces a significant addition to the previously published work. However, the ISAIM web site proceedings are not archival, so papers submitted to ISAIM can be under review at the time of submission and can be submitted elsewhere after ISAIM.

Authors of a selected set of papers from the Symposium will be invited to submit full versions of their papers for inclusion in a special volume of the Annals of Mathematics and Artificial Intelligence, published by Springer. Those invited submissions will be subject to refereeing at the usual standards of the journal, and authors will receive more details with the acceptance notice. Papers must of course be new and unpublished to be considered for the special volume.


PAPER FORMATTING:

Papers should be submitted in PDF and formatted in AAAI format, removing the AAAI copyright note.

To remove the AAAI copyright note, put the line \nocopyright in your .tex file anywhere in the preamble after the line \usepackage{aaai}.

The AAAI LaTeX files aaai.sty and aaai.bst are available from the AAAI Author's Instructions page http://www.aaai.org/Publications/Author/author.php

For other AAAI style files please refer to the sections on "Templates" and "LaTeX Macros and Instructions" of AAAI's Author's Instructions page (do not forget to change the copyright restriction to your own name).


AUTHORSHIP:

Authors should list their names on their papers: the review process is not double blind.


LENGTH:

Papers submitted to review must not exceed six (6) pages, not counting bibliography. Final versions of accepted papers must not exceed eight (8) pages, not counting the bibliography.


HOW TO SUBMIT A PAPER:

To submit a paper, please go to https://easychair.org/conferences/?conf=isaim2016

Any questions regarding paper submission should be sent to the program committee chairs (Francesca Rossi and Kristen Brent Venable) at the email address isaim2016@wave.tulane.edu


IMPORTANT DATES:

Paper submission: October 30, 2015
Notification: November 25, 2015
Final version due: December 14, 2015
Symposium dates: January 4-6, 2016


PROGRAM COMMITTEE:

Endre Boros Rutgers University
Berthe Choueiry University of Nebraska-Lincoln
Dimitrios I. Diochnos University of Virginia
Juergen Dix Clausthal University of Technology
Agostino Dovier Universita degli Studi di Udine
Sean Fulop Fresno State University
Vijay Ganesh University of Waterloo
Martin Charles Golumbic University of Haifa
John Hooker Carnegie Mellon University
Peter Jeavons University of Oxford
Maurice Pagnucco University of New South Wales
Francesca Rossi University of Padova and Harvard University
Arkadii Slinko University of Auckland
Miroslaw (Mirek) Truszczynski University of Kentucky
K. Brent Venable Tulane University and IHMC
Toby Walsh NICTA and University of New South Wales
Neil Yorke-Smith American University of Beirut


Visit http://isaim2016.cs.virginia.edu/.
Join isaim@googlegroups.com to receive announcements related to ISAIM.


------------------------------

Message: 2
Date: Fri, 23 Oct 2015 19:19:01 +0200
From: Marco Tiloca <marco@sics.se>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] Call for workshop proposals - 2nd IEEE International
Conference on Smart Computing (SMARTCOMP 2016)
Message-ID: <562A6C05.7060604@sics.se>
Content-Type: text/plain; charset=utf-8


SMARTCOMP 2016: CALL FOR WORKSHOP PROPOSALS

The 2nd IEEE International Conference on Smart Computing (SMARTCOMP
2016) advances multidisciplinary research on the use of technology and
the design of smart computing systems that improve the human experience
and promote resource sustainability. The SMARTCOMP organizing committee
invites proposals for one-day or half-day workshops. SMARTCOMP workshops
provide a venue for presenting novel ideas related to smart computing in
an interactive format that encourages lively and extended discussions.

Workshop proposals are solicited on all areas and topics related to
smart computing research and applications.


Proposal Submission Guidelines

Each workshop proposal must include:
- The workshop title and acronym.
- The name, address, and a short bio of up to 200 words for each of the
workshops' organizers.
- A brief description (up to 1 page) of the technical issues related to
smart computing that the workshop will address.
- The names of potential program committee members.
- The planned format of the workshop, including a strategy to facilitate
lively and interactive discussions.
- If applicable, a description of past version(s) of the workshop,
including: number of submitted and accepted papers and number of attendees.
- A preliminary call for papers.
- The workshop website address.

Workshop proposals should be submitted (in PDF format) no later than
November 15, 2015 by e-mail to the SMARTCOMP 2016 Workshop Co-chairs
(smartcomp.workshops@gmail.com), with "SMARTCOMP 2016 Workshop Proposal"
in the subject.


Important Dates

Workshop proposal submission deadline: November 15, 2015
Notification: December 14, 2015

The following dates for workshop schedules are strongly recommended:
Workshop paper submissions: February 15, 2016
Workshop paper notifications: March 28, 2016
Camera ready: April 15, 2016


Jamie Payton, University of North Carolina at Charlotte, USA
Zhiwen Yu, Northwestern Polytechnic University, China
SMARTCOMP Workshop Co-Chairs

------------------------------

Subject: Digest Footer

_______________________________________________
dmanet mailing list
dmanet@zpr.uni-koeln.de
http://www.zaik.uni-koeln.de/mailman/listinfo/dmanet


------------------------------

End of dmanet Digest, Vol 92, Issue 21
**************************************

No comments:

Post a Comment