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. Bristol Algorithms Days - Feb 2-3 2016 (Raphael C)
2. ETAPS 2016 satellite workshops joint call for papers
(Tarmo Uustalu)
3. MINO/COST PhD school on Mixed Integer Nonlinear Optimization
(Claudia D'Ambrosio)
4. CFP -- Revised Dates: Diagrams 2016 (Stephanie Schwartz)
----------------------------------------------------------------------
Message: 1
Date: Tue, 5 Jan 2016 18:45:47 +0000
From: Raphael C <drraph@gmail.com>
To: dmanet <dmanet@zpr.uni-koeln.de>
Subject: [DMANET] Bristol Algorithms Days - Feb 2-3 2016
Message-ID:
<CAFHc1QZvs2PxPgwmcA5NM3O9qJds5S+cYUK-WNPueG-roDEYCA@mail.gmail.com>
Content-Type: text/plain; charset=UTF-8
Bristol Algorithms Days - 2nd and 3rd Feb 2016
Speakers:
Karl Bringmann, ETH Zürich, Switzerland
Colin Cooper, King's College London, UK
Alina Ene, University of Warwick, UK
Leszek Gąsieniec, University of Liverpool, UK
Paul Goldberg, University of Oxford, UK
Iordanis Kerenidis, LIAFA, University of Paris Diderot, France
Allan Grønlund, University of Aarhus, Denmark
Kurt Mehlhorn, Max-Planck-Institut, Germany
Will Perkins, University of Birmingham, UK
Thomas Sauerwald, University of Cambridge, UK
Iain Stewart, University of Durham, UK
Details are available at
https://www.cs.bris.ac.uk/Research/Algorithms/events/BAD16/index.jsp .
Registration is free.
Deadline 15 January 2016.
All are welcome to attend.
------------------------------
Message: 2
Date: Tue, 5 Jan 2016 22:03:33 +0200
From: Tarmo Uustalu <tarmo@cs.ioc.ee>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] ETAPS 2016 satellite workshops joint call for papers
Message-ID: <20160105220333.6a0f4a5d@duality>
Content-Type: text/plain; charset=UTF-8
Joint Call for Papers
ETAPS 2016 Satellite Workshops
Eindhoven, The Netherlands, 2-3 and 8 April 2016
http://www.etaps.org/2016/workshops
ETAPS, the European Joint Conferences on Theory and Practice of
Software, is the primary European forum for academic and industrial
researchers working on topics relating to Software Science. The
nineteenth edition, ETAPS 2016, will take place in Eindhoven, The
Netherlands, 2-8 April 2016, and covers besides the main conferences
ESOP, FASE, FOSSACS, POST and TACAS, a large number of satellite
workshops and other events in the fields of Software Engineering,
Formal Methods, Logics of Programs and the Theory of Computation.
This is the joint call for papers for ETAPS 2016 for 21 satellite
workshops with open calls.
ETAPS satellite workshops will take place in the weekend of
Saturday-Sunday, 2-3 April, before the ETAPS main conferences, and on
Friday, 8 April, after them. For more information on ETAPS 2016, see
http://www.etaps.org/2016/.
Bx 2016: 5th International Workshop on Bidirectional Transformations,
8 April, organized by Anthony Anjorin, Jeremy Gibbons, and Perdita
Stevens. Submission deadlines: abstracts 13 January / papers 20
January. See http://bx-community.wikidot.com/bx2016:home.
CASSTING 2016: Workshop on Games for the Synthesis of Complex Systems,
2-3 April, organized by Thomas Brihaye and Nicolas Markey. Submission
deadlines: papers 15 January; presentation extended abstracts 8
February. See http://www.cassting-project.eu/workshop2016/.
CMCS 2016: 13th International Workshop on Coalgebraic Methods in
Computer Science, 2-3 April, organized by Ichiro Hasuo. Submission
deadlines: abstracts 4 January / papers 13 January; short
contributions 22 February. See http://www.coalg.org/cmcs16/.
CREST 2016: 1st Workshop on Causal Reasoning for Embedded and
safety-critical Systems Technologies, 8 April, organized by Gregor
Gößler, Oleg Sokolsky. Submission deadlines: abstracts 10 January /
papers 17 January. See http://crest2016.inria.fr/.
DICE 2016: 7th International Workshop on Developments in Implicit
Computational complExity, 2-3 April, organized by Damiano
Mazza. Submission deadline: extended abstracts 31 January. See
https://lipn.univ-paris13.fr/DICE2016/.
FESCA 2016: 13th International Workshop on Formal Engineering
approaches to Software Components and Architectures, 3 April,
organized by Jan Kofroň, Jana Tumova, Barbora Buhnova. Submission
deadlines: abstracts 4 January / papers 14 January. See
http://d3s.mff.cuni.cz/conferences/fesca/.
FMSPLE 2016: 7th International Workshop on Formal Methods and Analysis
in Software Product Line Engineering, 3 April, organized by Julia
Rubin, Thomas Thüm. Submission deadlines: abstracts 18 January /
papers 25 January. See
https://www.tu-braunschweig.de/isf/events/fmsple16.
GaLoP 2016: Games for Logic and Programming Languages XI, 2-3 April,
organized by Paul Levy. Submission deadline: 1-page abstracts 25
January. See http://www.gamesemantics.org/.
GaM 2016: 2nd Graphs as Models Workshop, 2-3 April, organized by Anton
Wijs, Aleks Kissinger, and Alexander Heußner. Submission deadline:
papers, informal presentation and tool demos abstracts 15 January. See
http://gam2016.swt-bamberg.de/.
HCVS 2016: 3rd Workshop on Horn Clauses for Verification and
Synthesis, 3 April, organized by John Gallagher and Philipp
Rümmer. Submission deadlines: abstracts 25 January / papers,
presentation extended abstracts 1 February. See
http://hcvs2016.it.uu.se/.
HotSpot 2016: 4th Workshop on Hot Issues in Security Principles and
Trust, 3 April, organized Veronique Cortier. Submission deadline:
papers 8 January. See
http://www.loria.fr/~cortier/HotSpot2016/.
MBT 2016: 11th Workshop on Model-Based Testing, 3 April, organized by
Alexander K. Petrenko, Holger Schlingloff, and Nikolay Pakulin.
MSFP 2016: 6th Workshop on Mathematically Structured Functional
Programming, 8 April, organized by Robert Atkey and Neelakantan
Krishnaswami. Submission deadlines: abstracts 10 January / papers 17
January. See http://msfp2016.bentnib.org/.
PLACES 2016: 9th Workshop on Programming Language Approaches for
Concurrency and Communication-cEntric Software, 8 April, organized by
Dominic Orchard and Nobuko Yoshida. Submission deadlines: abstracts 8
January / extended abstracts 15 January. See
http://places16.by.di.fc.ul.pt.
QAPL 2016: 14th International Workshop on Quantitative Aspects of
Programming Languages and Systems, 2-3 April, organized by Mirco
Tribastone and Herbert Wiklicky. Submission deadline: papers 18
January. See http://qapl16.doc.ic.ac.uk/.
RAC 2016: First international workshop on Resource Aware Computing, 2
April, organized by Kerstin Eder and Marko van Eekelen. Submission
deadline: papers 11 January. See
http://resourceanalysis.cs.ru.nl/rac2016/.
SynCop 2016: 3rd International Workshop on Synthesis of Complex
Parameters, 3 April, organized by Étienne André and Benoît
Delahaye. Submission deadlines: abstracts 10 January / papers 17
January. See http://lipn.univ-paris13.fr/SynCoP2016/.
TermGraph 2016: 9th International Workshop on Computing with Terms and
Graphs, 8 April, organized by Andrea Corradini and Hans
Zantema. Submission deadline: extended abstracts 8 February. See
http://www.win.tue.nl/~hzantema/tg.html.
VerifyThis 2016: 5th Verification Competition, 2 April, organized by
Marieke Huisman, Vladimir Klebanov, Rosemary Monahan, and Peter
Müller. See http://etaps2016.verifythis.org/.
VPT 2016: 4th International Workshop on Verification and Program
Transformation, 2 April, organized by Geoff Hamilton, Andrei Nemytykh,
and Alexei Lisitsa. Submission deadlines: abstracts 11 January / papers
18 January. See http://refal.botik.ru/vpt/vpt2016/.
WRLA 2016: 11th International Workshop on Rewriting Logic, 2-3 April,
organized by Dorel Lucanu. Submission deadlines: abstracts 6 January /
papers 10 January. See
http://fmse.info.uaic.ro/events/WRLA2016/.
ETAPS 2016 workshops chair: Erik de Vink, TU Eindhoven
------------------------------
Message: 3
Date: Wed, 6 Jan 2016 00:55:47 +0100
From: "Claudia D'Ambrosio" <dambrosio@lix.polytechnique.fr>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] MINO/COST PhD school on Mixed Integer Nonlinear
Optimization
Message-ID:
<DDDBA632-3239-4F2A-9B2E-50B1B86ABB1D@lix.polytechnique.fr>
Content-Type: text/plain; charset=utf-8
Dear colleagues,
this is the first announcement of the third MINO/COST PhD school on Mixed In=
teger Nonlinear Optimization. The school will be held at CNAM (Paris, France=
) on April 5th to 8th 2016. Some travel grants for students will be sponsore=
d by COST Action TD1270 (http://cost-td1207.zib.de).
2-hour minicourses will be given by:
- Paula Amaral (Universidade Nova de Lisboa, Portugal)
- Pierre Bonami (IBM Spain)
- Jean-Bernard Lasserre (LAAS-CNRS, France)
- Ruth Misener (Imperial College, UK)
- Frederic Roupin (Univ. Paris 13, France)
Research talks or tutorials will be given by:
- Sourour Elloumi ( ENSIIE, France)
- Fabio Furini (Univ. Paris Dauphine, France)
- Amelie Lambert (CNAM, France)
- Emiliano Traversi (Univ. Paris 13, France)
Looking forward to seeing you there!
The organizing committee:
Claudia D=E2=80=99Ambrosio
Sourour Elloumi
Amelie Lambert
Leo Liberti=
------------------------------
Message: 4
Date: Wed, 6 Jan 2016 02:19:21 +0000
From: Stephanie Schwartz <Stephanie.Schwartz@millersville.edu>
To: "dmanet@zpr.uni-koeln.de" <dmanet@zpr.uni-koeln.de>
Subject: [DMANET] CFP -- Revised Dates: Diagrams 2016
Message-ID:
<E2745232464C1E41979557B4330D9B50A4D43516@FSMB2.muad.local>
Content-Type: text/plain; charset="iso-8859-1"
** EXTENSION -- REVISED DATES DUE TO AUTHOR REQUESTS**
Abstract submissions: 18 January 2016 ** REVISED**
Paper and poster submissions: 25 January 2016 ** REVISED**
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
* CALL FOR PAPERS *
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:
- long research papers (15 pages)
- short research papers (7 pages)
- posters (3 pages)
- tutorial proposals (2 pages; see the conference web page for full details)
- workshop proposals (2 pages; see the conference web page for full details)
- graduate symposium submissions (3 pages; see the conference web page for full details)
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:
- applications of diagrams
- computational models of reasoning with, and interpretation of, diagrams
- design of diagrammatic notations
- diagram understanding by humans or machines
- diagram aesthetics and layout
- educational uses of diagrams
- evaluation of diagrammatic notations
- graphical communication and literacy
- heterogeneous notations involving diagrams
- history of diagrammatic notations
- information visualization using diagrams
- nature of diagrams and diagramming
- novel technologies for diagram use
- psychological issues pertaining to perception, comprehension or production of diagrams
- software to support the use of diagrams
- usability and human-computer interaction issues concerning diagrams
* Submission Dates *
Abstract submissions: 18 January 2016 ** REVISED**
Paper and poster submissions: 25 January 2016 ** REVISED**
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
* Organising Committee *
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)
------------------------------
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 95, Issue 4
*************************************
No comments:
Post a Comment