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. Call-for-Nominations: The 2014 Dan David Prize in Artificial
Intelligence (Prof. Martin Charles Golumbic)
2. [CPAIOR 2014] 2nd Call for Papers (Yuri Malitsky)
3. CFP-Int. Conf. on Distributed Computing Systems (ICDCS-2014)
(Ernesto Jimenez Merino)
4. First CFP -- International Workshop on Graphical Models for
Security (GraMSec'14) (Barbara KORDY)
5. CfP: Diagrams 2014 (James Burton)
----------------------------------------------------------------------
Message: 1
Date: Tue, 8 Oct 2013 12:34:54 +0300 (IDT)
From: "Prof. Martin Charles Golumbic" <golumbic@cs.haifa.ac.il>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] Call-for-Nominations: The 2014 Dan David Prize in
Artificial Intelligence
Message-ID: <alpine.LNX.2.00.1310081234200.15577@cs.haifa.ac.il>
Content-Type: TEXT/PLAIN; charset=US-ASCII; format=flowed
Call for Nominations and Scholarships
The 2014 Dan David Prize
Artificial Intelligence, the Digital Mind
Three prizes are awarded annually in fields chosen within the three time
dimensions -- Past, Present, and Future. The selected field for 2014 in the
Future dimension is Artificial Intelligence, the Digital Mind.
The Dan David Prize is awarded to individuals and institutions with
proven, exceptional excellence and contribution to humanity in the sciences,
arts, humanities, public service and business.
*Nominations deadline: *November 30, 2013
For information regarding the Dan David Prize and nomination submission
please consult the website: http://www.dandavidprize.org/prize-nominations
Contact information:
Ms. Smadar Fisher, Director
Prof. Isaac P. Witz, Scientific Adviser
Dan David Prize, Eitan Berglas Bldg./ l 19, Tel Aviv University,
Tel Aviv 69978, Israel
Email: ddprize@post.tau.ac.il Tel: +972-3-6406614/5, Fax: +972-3-6406613
Each year the Dan David Prize awards 20 scholarships of US$ 15,000 each to
outstanding doctoral students and postdoctoral researchers; 10 scholarships are
awarded to students from universities all over the world and 10 scholarships to
students from Tel Aviv University. Advanced doctoral and postdoctoral students
of excellent achievement and promise studying topics related to the fields
chosen for this year are invited to apply for the Dan David Prize Scholarships
2014. Applications deadline: February 28, 2014 For details regarding
scholarships, please consult the
website: http://www.dandavidprize.org
------------------------------
Message: 2
Date: Tue, 8 Oct 2013 10:53:51 +0100
From: Yuri Malitsky <yuri.malitsky@gmail.com>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] [CPAIOR 2014] 2nd Call for Papers
Message-ID:
<CAPYyYhO8jDnhAJ=26eUhp5QqRYXSd2JR7G=8Y4HVjVK55hEzag@mail.gmail.com>
Content-Type: text/plain; charset=ISO-8859-1
2nd Call for Papers
CPAIOR 2014
Eleventh International Conference on Integration of Artificial
Intelligence and Operations Research Techniques in Constraint
Programming
web: http://4c.ucc.ie/cpaior2014/
cpaior series: http://www.andrew.cmu.edu/user/vanhoeve/cpaior/
Cork, Ireland
MAY 19 - 23, 2014
=============================================================================
DEADLINES (note ***CHANGED*** DEADLINE)
=============================================================================
PAPER SUBMISSION (identical for long and short papers):
Abstract due: NOV 20, 2013 11.59 P.M. PST
Paper due: NOV 24, 2013 11.59 P.M. PST
Rebuttal Phase: DEC 20-23, 2013
Final Notification: JAN 10, 2014
Final version due: FEB 10, 2014
=============================================================================
The Eleventh International Conference on Integration of Artificial
Intelligence and Operations Research Techniques in Constraint
Programming will be held in Cork, Ireland, May 19-23, 2014 with
Workshops on May 19th, a Master Class on Data Mining, Machine Learning
and Constraint Programming on May 20, and the Main Conference on May
21-23, 2014.
The aim of the conference is to bring together interested researchers
from Constraint Programming (CP), Artificial Intelligence (AI), and
Operations Research (OR) to present new techniques or new applications
in combinatorial optimization and to provide an opportunity for
researchers in one area to learn about techniques in the others. A
main objective of this conference series is also to give these
researchers the opportunity to show how the integration of techniques
from different fields can lead to interesting results on large and
complex problems. Therefore papers that actively combine, integrate,
or contrast approaches from more than one of the areas are especially
solicited. High quality papers from a single area are also welcome,
provided that they are of interest to other communities involved.
Finally, application papers showcasing CP/AI/OR techniques on
innovative and challenging applications or experience reports on such
applications are strongly encouraged.
The program committee invites submissions that include but are not
limited to the following topics:
* Inference and relaxation methods: constraint propagation, cutting
planes, global constraints, graph algorithms, dynamic programming,
Lagrangean and convex relaxations, heuristic functions based on
constraint relaxation.
* Search methods: branch and bound, intelligent backtracking,
incomplete search, randomized search, column generation and other
decomposition methods, local search, meta-heuristics.
* Integration methods: static/dynamic problem decomposition, solver
communication, transformations between models and solvers,
collaboration between concurrent methods, models, and solvers.
* Modeling methods: comparison of models, symmetry breaking,
uncertainty, dominance relationships.
* Innovative Applications of CP/AI/OR techniques.
* Implementation of CP/AI/OR techniques and optimization systems.
PAPER SUBMISSION
Paper submissions are of two types: Long papers and short papers.
INSTRUCTION FOR LONG PAPERS:
Long papers should present original unpublished work and be at most 15
pages plus references in length, and should be prepared in the format
used for the Springer Lecture Notes in Computer Science series
(http://www.springer.de/comp/lncs/authors.html). These papers will
undergo rigorous review. The proceedings will be published in the
Springer Lecture Notes in Computer Science series.
NOTE: Unlike previous CPAIOR conferences the page limit for long
papers is 15 LNCS pages *plus references*.
INSTRUCTION FOR SHORT PAPERS: Short papers are also encouraged,
limited to 8 LNCS pages plus references and should be prepared with
the same format as long papers
(http://www.springer.de/comp/lncs/authors.html). Although containing
less material, short papers should describe original unpublished work
and will be reviewed to the same criteria of quality as long papers.
It is also encouraged to submit short papers about work in progress on
ideas that are interesting but for which the practical or theoretical
relevance is not yet fully identified. Short papers will be presented
at the conference and published in the conference proceedings.
SUBMISSION NOTES:
All papers are to be submitted electronically in PDF format by
following the instructions at the URL
http://www.easychair.org/conferences/?conf=cpaior2014
For any queries on the submission process, please contact the Program
Chairs using the email cpaior2014@gmail.com .
PROGRAM CHAIR:
Helmut Simonis
------------------------------
Message: 3
Date: Wed, 9 Oct 2013 01:29:38 +0200
From: "Ernesto Jimenez Merino" <ernes@eui.upm.es>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] CFP-Int. Conf. on Distributed Computing Systems
(ICDCS-2014)
Message-ID:
<5b9a839f34e17bf60474f5abd957f20d.squirrel@correo.eui.upm.es>
Content-Type: text/plain;charset=iso-8859-1
********************************************************************
We apologize in advance if you receive multiple copies of this CFP.
Please disseminate CFP to your colleagues that might be interested.
********************************************************************
---------------------------------------------------------
Call for Papers
ICDCS 2014
34th Int. Conf. on Distributed Computing Systems
30th June-3rd July 2014
Madrid, Spain
http://lsd.ls.fi.upm.es/icdcs2014
---------------------------------------------------------
SCOPE
The conference provides a forum for engineers and scientists in academia,
industry and government to present their latest research findings
in any aspects of distributed computing.
Topics of particular interest include, but are not limited to:
- Big Data, Data Management and Analytics
- Cloud Computing and Data Center Systems
- Distributed OS and Middleware
- Algorithms and Theory
- Fault Tolerance and Dependability
- Security and Privacy
- Social Networks, Crowdsourcing, and P2P systems
- Energy Management and Green Computing
- Sensor Networks and Systems
- Mobile and Wireless Computing
- File and Storage Systems
NOTE: To build a broad program and to encourage a diverse set of submissions,
a limited number of papers will be accepted within each topic area,
and every topic area will accept a minimum quota of papers.
WORKSHOPS
Workshops will be held in conjunction with the conference.
Workshop proposals should be submitted to Workshops Co-Chairs Prof.
Roberto Baldoni (baldoni@dis.uniroma1.it)
and Prof. Jason Gu (jasongu@sutd.edu.sg) by September 30th, 2013.
Notification of acceptance will be made by October 10th, 2013. Please see
the conference web page for details.
PAPER SUBMISSION
Form of Manuscript: All paper submissions should follow the IEEE 8.5? x
11? Two-Column Format.
Each submission can have 10 pages. If the paper is accepted for
publication, up to 2 overlength pages
may be purchased for the final camera-ready version. Submitted papers
should NOT be blinded for review.
Electronic Submission: Submissions will be handled via the conference web
page.
IMPORTANT DEADLINES
Abstract registration 22nd November 2013
Paper Submission 29th November 2013
Author Notification 17th March 2014
Final Manuscript Due 7th April 2014
For further information, please contact General Chair, Prof. Marta
Pati?o-Mart?nez (mpatino@fi.upm.es) or
Program Co-Chair, Prof. Ricardo Jimenez-Peris (rjimenez@fi.upm.es).
ORGANIZING & PROGRAM COMMITTEES
General Chair
Marta Pati?o-Mart?nez (Univ. Polit?cnica de Madrid, Spain)
Program Co-Chairs
Ricardo Jimenez-Peris (Univ. Polit?cnica de Madrid, Spain)
Hui Lei (IBM Watson, US)
Program Vice Chairs
Big Data, Data Management and Analytics
Phillip Gibbons (Intel Labs, US)
Cloud Computing and Data Center Systems
Flavio Junqueira (MSR-Cambridge, UK)
Distributed OS and Middleware
Gustavo Alonso (ETH Zurich, Switzerland)
Algorithms and Theory
Antonio Fernandez-Anta (IMDEA, Spain)
Fault Tolerance and Dependability
Bettina Kemme (McGill Univ., Canada)
Security and Privacy
Elisa Bertino (Purdue, US)
Social Networks, Crowdsourcing, and P2P systems
Alberto Montresor (Trento Univ., Italy)
Energy Management and Green Computing
Tarek F. Abdelzaher (UIUC, US)
Sensor Networks and Systems
Tian He (University of Minnesota, US)
Mobile and Wireless Computing
Guohong Cao ( Pennsylvania State Univ, US)
File and Storage Systems
Andr? Brinkmann (Meinz Univ., Germany)
Program Committee Members
http://lsd.ls.fi.upm.es/icdcs2014/pc-members
Workshops Co-Chairs
Roberto Baldoni (Univ. Sapienza, Italy)
Jason Gu (Singapore Univ., Singapore)
Publicity Chair
Ernesto Jimenez (Univ. Politecnica Madrid, Spain)
Publication Chair
Mikel Larra (Univ. Pais Vasco, Spain)
TCDP Chair
Jiannong Cao,(Hong Kong Polyt. Univ., HK)
Steering Committee Chair
Xiaodong Zhang (Ohio State Univ., USA)
Sponsors
Microsoft Research Cambridge
------------------------------
Message: 4
Date: Wed, 9 Oct 2013 08:37:54 +0000
From: Barbara KORDY <barbara.kordy@uni.lu>
To: "dmanet@zpr.uni-koeln.de" <dmanet@zpr.uni-koeln.de>
Subject: [DMANET] First CFP -- International Workshop on Graphical
Models for Security (GraMSec'14)
Message-ID: <51604CA7384E4C4A97AD9EE83BC440C11DB03B0B@hoshi.uni.lux>
Content-Type: text/plain; charset="iso-8859-1"
CALL FOR PAPERS - GraMSec'14
The First International Workshop on Graphical Models for Security
April 12, 2014, Grenoble, France
http://www.gramsec.uni.lu/
(Co-located with ETAPS 2014)
SCOPE
Graphical security models provide an intuitive but systematic
methodology to analyze security weaknesses of systems and to evaluate
potential protection measures. Such models have been subject of
academic research and they have also been widely accepted by the
industrial sector, as a means to support and facilitate threat
analysis and risk management processes. The objective of GraMSec is to
contribute to the development of well-founded graphical security
models, efficient algorithms for their analysis, as well as
methodologies for their practical usage.
TOPICS
The workshop seeks submissions from academia, industry, and government
presenting novel research on all theoretical and practical aspects of
graphical models for security. The topics of the workshop include, but
are not limited to:
- attack trees, attack graphs, Petri nets for security, Bayesian
networks for security, UML-based models for security,
- security in system models, organizational models, business models,
and methods for (semi-)automatic derivation of attack models from
these,
- methods for quantitative analysis of graphical security models,
- analysis of digital, physical and social (socio-technical) security
aspects using graphical models,
- risk assessment and risk management using graphical security models,
- software tools supporting security analysis using graphical models,
- case studies and experience reports on the use of graphical
methodologies for analysis and evaluation of security of systems.
PAPER SUBMISSION
We solicit two types of submissions:
- Regular papers (up to 15 pages) describing original and unpublished
work within the scope of the workshop.
- Short papers (up to 5 pages) describing work in progress or less
mature results.
Case studies and tool papers are welcome as well. All submissions must
be prepared in LaTeX using the EPTCS macro package available at
http://style.eptcs.org/. Each paper will undergo a thorough review
process. Submissions should be made using the GraMSec'14 easychair web
site: https://www.easychair.org/conferences/?conf=gramsec14
The final versions of accepted regular and short papers will be
published as a volume of Electronic Proceedings in Theoretical
Computer Science (EPTCS). Furthermore, authors of a selection of the
accepted papers will be invited to submit an extended version of their
articles to a special issue of a high-quality journal, after the
workshop.
Participants are also encouraged to submit position statements on
linking industrial needs to academic research questions. The
statements should not exceed one page and they will not undergo the
review process. Based on the statements, a special session will be
organized.
IMPORTANT DATES
Submission deadline: December 6, 2013
Acceptance notification: January 24, 2014
Camera ready version: February 6, 2014
Workshop: April 12, 2014
GENERAL CHAIR
Sjouke Mauw, University of Luxembourg, LU
PC CO-CHAIRS
Barbara Kordy, University of Luxembourg, LU
Wolter Pieters, Delft University of Technology and University of Twente, NL
PC MEMBERS
Giampaolo Bella, University of Catania, Italy
Matt Bishop, University of California at Davis, USA
Stefano Bistarelli, University of Perugia, Italy
Mathias Ekstedt, KTH Royal Institute of Technology, Sweden
Donald Firesmith, Software Engineering Institute, USA
Virginia N. L. Franqueira, University of Central Lancashire, UK
Paolo Giorgini, University of Trento, Italy
Siv Hilde Houmb, Secure-NOK AS and Gj?vik University College, Norway
Sushil Jajodia, George Mason University, USA
Jan J?rjens, Technical University Dortmund, Germany
Peter Karpati, Institute for Energy Technology, Norway
Dong Seong Kim, University of Canterbury, New Zealand
Gabriele Lenzini, University of Luxembourg, Luxembourg
Per H?kon Meland, SINTEF, Norway
Svetla Nikova, KU Leuven, Belgium
Andreas L. Opdahl, University of Bergen, Norway
St?phane Paul, Thales Research and Technology, France
Milan Petkovic, Philips and Eindhoven University of Technology, The Netherlands
Ludovic Pi?tre-Cambac?d?s, EDF, France
Christian W. Probst, Technical University of Denmark, Denmark
William H. Sanders, University of Illinois, USA
Simone Sillem, Delft University of Technology, The Netherlands
Guttorm Sindre, Norwegian University of Science and Technology, Norway
Mari?lle Stoelinga, University of Twente, The Netherlands
Kishor S. Trivedi, Duke University, USA
Luca Vigan?, King's College London, UK
Lingyu Wang, Concordia University, Canada
Jan Willemson, Cybernetica, Estonia
CONTACT
For inquiries please send an e-mail to gramsec@uni.lu
---------------------------
Dr. Barbara Kordy
Research Associate
University of Luxembourg, SnT
6, rue Richard Coudenhove-Kalergi
L-1359 Luxembourg
Phone: +352 466 644 5506
------------------------------
Message: 5
Date: Wed, 09 Oct 2013 10:01:35 +0100
From: James Burton <J.Burton@brighton.ac.uk>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] CfP: Diagrams 2014
Message-ID: <52551B6F.5090803@brighton.ac.uk>
Content-Type: text/plain; charset=ISO-8859-1; format=flowed
Dear colleague, apologies if you receive multiple copies.
---------------------------------
Call for Papers: Diagrams 2014
Eighth International Conference on the Theory and Application of Diagrams
http://www.diagrams-conference.org/2014
diagrams2014@diagrams-conference.org
28th July to 1st August
Swinburne University, Melbourne, Australia
* CALL FOR PAPERS *
Diagrams is an international interdisciplinary conference series,
covering all aspects of research on the theory and application of
diagrams. In 2014 it will be held at Swinburne University, Melbourne,
Australia, from the 28th of July 2014 to the 1st of August 2014.
Diagrams 2014 will be co-located with the IEEE Symposium on Visual
Languages and Human-Centric Computing.
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 2014 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.
Full details on the preparation of submissions can be found on the
conference
web site http://www.diagrams-conference.org/2014/submission-instructions
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: 13th December 2013
Paper submissions: 20th December 2013
Workshop proposal submissions: 22nd November 2013
Poster submission: 20th December 2013
Tutorial proposal submissions: 10th January 2014
Graduate symposium submissions: 18th April 2014
Conference dates: 28th of July 2014 to the 1st of August 2014
* Organising Committee *
General Chair: Tim Dwyer (Monash University)
Program Chairs: Aidan Delaney (University of Brighton),
Helen Purchase (University of Glasgow)
Workshops Chair: Karsten Klein (University of Sydney)
Tutorials Chair: Michael Wybrow (Monash University)
Graduate Symposium Chair: Stephanie Schwartz (Millersville University)
Treasurer: Cagatay Goncu (Monash University)
Publicity Chair: Jim Burton (University of Brighton)
* Program Committee *
Lisa Best, University of New Brunswick
Peter Rodgers, University of Kent
Sandra Carberry, University of Delaware
Sun-Joo Shin, Yale University
Ashok Goel, Georgia Institute of Technology
Emmanuel Manalo, Waseda University
Barbara Tversky, Columbia and Stanford
Beryl Plimmer, University of Auckland
Gem Stapleton, University of Brighton
Jacques Fleuriot, University of Edinburgh
Mark Minas, Universit??t der Bundeswehr M??nchen
Paolo Bottoni, University of Rome
Max Egenhofer, University of Maine
Ian Oliver, Nokia Research Center
Ryo Takemura, Nihon University
Hari Narayanan, Auburn University
Kim Marriott, Monash University
Richard Cox, University of Edinburgh
Yuri Uesaka, University of Tokyo
Lopamudra Choudhury, Jadavpur University
John Howse, University of Brighton
Gerard Allwein, US Navy Research Lab
Nik Swoboda, Universidad Polit??cnica de Madrid
Jim Davies, Carleton University
James Corter, Columbia University
Frank Ruskey, University of Victoria
Jean Flower, Autodesk
Alan Blackwell, Cambridge University
Michael Wybrow, Monash University
Nathaniel Miller, University of Northern Colorado
Luis Pineda Cortes, Universidad Nacional Aut??noma de M??xico
Mateja Jamnik, University of Cambridge
Frithjof Dau, SAP
Peter Cheng, University of Sussex
Mary Hegarty, University of California, Santa Barbara
Stephanie Elzer-Schwartz, Millersville University
Dave Barker-Plummer, Stanford University
Phil Cox, Dalhousie University
John Lee, University of Edinburgh
Atsushi Shimojima, Doshisha University
B. Chandrasekaran, Ohio State University
Apart from submissions to the main Diagrams 2014 conference we are also
soliciting proposals for:
- half-day or full-day workshops
http://www.diagrams-conference.org/2014/workshops
- one or two hour tutorials
http://www.diagrams-conference.org/2014/tutorials
- the graduate student symposium
http://www.diagrams-conference.org/2014/graduate-symposium
--
Dr Jim Burton
Senior Lecturer in Computing
School of Computing, Engineering and Mathematics
University of Brighton
___________________________________________________________
This email has been scanned by MessageLabs' Email Security
System on behalf of the University of Brighton.
For more information see http://www.brighton.ac.uk/is/spam/
___________________________________________________________
------------------------------
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 68, Issue 7
*************************************
No comments:
Post a Comment