Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] Final CFP: Diagrams 2016 (9th Int'l Conference...


view this post on Zulip Email Gateway (Aug 22 2022 at 12:32):

From: Stephanie Schwartz <Stephanie.Schwartz@millersville.edu>
Call for Papers: Diagrams 2016

Ninth International Conference on the Theory and Application of Diagrams
http://www.diagrams-conference.org/2016
diagrams2016@diagrams-conference.org<mailto:diagrams2016@diagrams-conference.org>

7th to 10th August, 2016
Philadelphia, Pennsylvania, USA

Diagrams is an international interdisciplinary conference series, covering all aspects of research on the theory and application of diagrams. In 2016 it will be held near Philadelphia at the ACE Conference Center in Lafayette Hill, Pennsylvania, USA. Diagrams 2016 will run from 7th of August 2016 to the 10th of August 2016. It will be co-located with Spatial Cognition 2016<http://sites.temple.edu/sc16/> (2-5 August) and Cognitive Science 2016<http://cognitivesciencesociety.org/conference_future.html> (10-13 August).

Diagrams is the only conference series that provides a united forum for all areas that are concerned with the study of diagrams, including architecture, artificial intelligence, biology, cartography, cognitive science, computer science, education, graphic design, history of science, human-computer interaction, linguistics, logic, mathematics, philosophy, psychology, and software modelling. The conference attracts a large number of researchers from almost all these related fields, positioning Diagrams as the major international event in the area. Diagrams 2016 is the ninth conference in the bi-annual series that started in 2000.

Diagrams 2016 will include presentations of refereed papers, posters, tutorials, workshop sessions, and a graduate symposium. We invite submissions that focus on any aspect of diagrams research, as follows:

All submissions will be fully peer reviewed. The proceedings, which will include accepted long and short papers and posters, will be published by Springer in their Lecture Notes in Computer Science series, http://www.springer.com/lncs. Submissions will be administered via Easychair with details following on the conference web site. Full details on the preparation of submissions can be found on the conference web site.

Conference topics include, but are not limited to:

Abstract submissions: 4 January 2016
Paper and poster submissions: 11 January 2016
Workshop proposal submissions: 18 January 2016
Tutorial proposal submissions: 18 January 2016

Initial Paper Notification (for rebuttal): 19 February 2016
Final Paper Notification: 14 March 2016

Graduate symposium submissions: 21 March 2016

Conference dates: 7 to 10 August 2016

General Chair: Stephanie Schwartz (Millersville University, USA)
Program Chairs: Mateja Jamnik (The University of Cambridge, UK),
Yuri Uesaka (The University of Tokyo, Japan)
Local Chair: Richard Burns (West Chester University, USA)
Workshops and Tutorials Chair: Aidan Delaney (The University of Brighton, UK)
Graduate Symposium Chair: Luana Micallef (Helsinki Institute for Information Technology, Finland)


Last updated: Mar 28 2024 at 20:16 UTC