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 Participation: SWAT 2014 in Copenhagen! (S?ren Juhl Vind)
2. MeCBIC 2014 : 1st Call for Papers (Bogdan Aman)
3. polymake 2.13 (Michael Joswig)
4. DEBS 2014: Final Call for Participation (Boris Koldehofe)
5. PCCR 2014: 2nd Workshop on the Parameterized Complexity of
Computational Reasoning (sergeg@cse.unsw.edu.au)
6. 10 Fellowships for a PhD in Computer Science at GSSI in
L'Aquila (Michele Flammini)
----------------------------------------------------------------------
Message: 1
Date: Tue, 6 May 2014 08:00:25 +0000
From: S?ren Juhl Vind <sovi@dtu.dk>
To: "dmanet@zpr.uni-koeln.de" <dmanet@zpr.uni-koeln.de>
Subject: [DMANET] Call For Participation: SWAT 2014 in Copenhagen!
Message-ID: <E88784A0-EBD1-4DFE-89E7-A9D9CD7854CC@dtu.dk>
Content-Type: text/plain; charset="iso-8859-1"
CALL FOR PARTICIPATION: SWAT 2014
-------------------------------------------
14th Scandinavian Symposium and Workshops on Algorithm Theory
http://algolog.compute.dtu.dk/swat2014/
July 2-4 2014
Copenhagen, Denmark
-------------------------------------------
This year in July, SWAT will be hosted in Copenhagen, Denmark. The symposium,
which alternates with the Algorithms and Data Structures Symposium (WADS),
is a forum for researchers in the area of design and analysis of algorithms
and data structures. We hope to see as many as possible of our wonderful colleagues!
SWAT 2014 is held in Copenhagen, where several other interesting events that
might be of interest take place in the same period (details on the website):
- SEA 2014 takes place immediately before SWAT 2014
- ICALP 2014 takes place just after SWAT 2014
- Copenhagen Jazz Festival (with free music all over the city)
begins on the final day of SWAT 2014.
REGISTRATION
Registration is open on the website: http://algolog.compute.dtu.dk/swat2014/
Early registration: *** Until May 18, 2014 ***
Regular: 340 Euro, Student: 280 Euro
Late registration: *** From May 19, 2014 ***
Regular: 440 Euro, Student: 380 Euro
ACCEPTED PAPERS
http://algolog.compute.dtu.dk/swat2014/accepted.html
KEYNOTE SPEAKERS
Carsten Thomassen, Technical University of Denmark
Nikhil Bansal, Eindhoven University of Technology
Mikkel Thorup, University of Copenhagen
FURTHER INFORMATION AND CONTACTS
W: http://algolog.compute.dtu.dk/swat2014/
E: inge@dtu.dk, sovi@dtu.dk
------------------------------
Message: 2
Date: Tue, 6 May 2014 13:23:45 +0300
From: "Bogdan Aman" <baman@iit.tuiasi.ro>
To: DMANET@zpr.uni-koeln.de
Subject: [DMANET] MeCBIC 2014 : 1st Call for Papers
Message-ID:
<a92c5ac30aa8d5a9f9f53b167e520267.squirrel@iit.iit.tuiasi.ro>
Content-Type: text/plain;charset=utf-8
----------------------------------------------------------------
Call for Papers
MeCBIC 2014
7th Workshop on Membrane Computing
and Biologically Inspired Process Calculi
16th September 2014, Bucharest, Romania
http://profs.info.uaic.ro/~mecbic/mecbic2014/
================================================================
IMPORTANT DATES:
*** Abstract Submission: 22 June, 2014
*** Paper Submission: 29 June, 2014
*** Notification: 9 August, 2014
*** Meeting: 16 September, 2014
================================================================
The 7th Workshop on Membrane Computing and Biologically Inspired Process
Calculi (MeCBIC 2014) will take place in Bucharest on 16th September 2014
as a related event of ICTAC 2014, the 11th International Colloquium on
Theoretical Aspects of Computing.
If your work is related to MeCBIC topics, it is now a good opportunity to
submit a paper (of about 16 pages), using the web page
http://www.easychair.org/conferences/?conf=mecbic2014.
================================================================
AIMS AND SCOPE
The modeling and the analysis of biological systems has attracted the
interest of several research communities. The main aim of the workshop is
to bring together researchers in concurrency theory, formal methods, and
related fields that are interested to present recent results and to
discuss new ideas concerning such formalisms, their properties and
relationships. We welcome contributions that address both theoretical and
applied contributions related to the relevance and potential of formal
methods in biology. Topics of interest include (but not limited to):
- Biologically inspired models and calculi (rewrite systems, process
calculi, Petri nets, etc.);
- Theoretical links and comparison of different biological inspired formal
models;
- Qualitative biological modeling;
- Quantitative formal methods;
- Modelling, analysis and simulation tools for biologically inspired systems.
The workshop proceedings will be published in the Electronic Proceedings
in Theoretical Computer Science. After the event, papers presented at the
workshop will be invited to be furtherly extended and submitted to a
special issue of a visible journal (indexed by DBLP, SCOPUS, Web of
Science, etc)
================================================================
PAST EVENTS
The first edition of MeCBIC was held in Venice in 2006 (co-located with
ICALP 2006). The second MeCBIC was held in Iasi in 2008, the third one
took place in Bologna (as a satellite event of CONCUR 2009), the forth one
in Jena, the fifth in Paris and the sixth in Newcastle. The previous
proceedings of the MeCBIC workshops have been published as ENTCS volumes
171(2) and 227 (2006 and 2008), EPTCS volumes 11, 40 and 100 (2009, 2010
and 2012), in arXiv.org in 2011. A selection of revised papers from 2008,
2009 and 2009 appeared in Theoretical Computer Science volume 431 in 2012.
================================================================
PROGRAM COMMITTEE
Bogdan Aman (co-chair) - Romanian Academy, Iasi, RO
Roberto Barbuti - University of Pisa, Italy
Luca Cardelli - Microsoft, Cambridge, UK
jane Hillston - University of Edinburgh, UK
Florentin Ipate (co-chair) - University of Bucharest, RO
Jean-Louis Giavitto - IRCAM CNRS, Paris, France
Jetty Kleijn - Leiden University, NL
Jean Krivine - University Paris 7, France
Emanuela Merelli - University of Camerino, Italy
Gethin Norman - University of Glasgow, UK
Jun Pang - University of Luxembourg, LU
Anna Philippou - University of Cyprus, Cyprus
G. Michele Pinna - University of Cagliari, Italy
Franck Pommereau - University of Evry, France
Jason Steggles - Newcastle University, UK
Gy?rgy Vaszil - University of Debrecen, Hungary
Angelo Troina - University of Torino, Italy
**********************************************************************
Additional information about the workshop can be found on the MeCBIC 2014
web page http://profs.info.uaic.ro/~mecbic/mecbic2014/.
For information regarding the workshop and other queries, you can use
the chairs email addresses: bogdan.aman@iit.academiaromana-is.ro or
baman@iit.tuiasi.ro (Bogdan Aman) or florentin.ipate@ifsoft.ro (Florentin
Ipate)
**********************************************************************
--
This message has been scanned for viruses and
dangerous content by MailScanner, and is
believed to be clean.
------------------------------
Message: 3
Date: Tue, 06 May 2014 15:32:11 +0200
From: Michael Joswig <joswig@math.tu-berlin.de>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] polymake 2.13
Message-ID: <5368E45B.6050900@math.tu-berlin.de>
Content-Type: text/plain; charset=ISO-8859-1
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
We are happy to announce polymake 2.13, which already appeared in April. The
tar ball can be downloaded from
http://wiki.polymake.org/lib/exe/fetch.php/download/polymake-2.13-1.tar.bz2
The most important new features include:
* new application "ideal" with interface to Singular, version 4
* new application "fulton" for normal toric varieties
* quadratic field extensions, e.g., to represent the Platonic solids exactly
* updated and modularized iterface to libnormaliz
* new interface to ppl (Parma Polyhedra Library)
* improved computation of convex hulls up to symmetry (via interface to
sympol)
* TikZ output
For details see
http://wiki.polymake.org/doku.php/news/release_2_13
polymake 2.13 also comes as a bundle for MacOS 10.8 and 10.9.
Happy polymaking! On behalf of the entire polymake team,
Michael Joswig
- --
Prof. Dr. Michael Joswig <joswig@math.tu-berlin.de>
Technische Universitaet Institut fuer Mathematik, MA 6-2
Str. des 17. Juni 136 D-10623 Berlin, Germany
phone +49 (30) 314-75904 fax +49 (30) 314-25047
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v2.0.22 (GNU/Linux)
Comment: Using GnuPG with Thunderbird - http://www.enigmail.net/
iQEcBAEBAgAGBQJTaORbAAoJEFvVrjjpdzmcZvgH/jVIr/dtl1exNuFAKM/j4cRM
k24bH5Lp6SfT1PNvaYarc0imH7PL6ZvDpt4hdzK9JFvmCa8M8sl023bLFgrkHTKQ
3Vu7zlThgHOMltFR+U2tQMQdKgjgEdbiW5KIjBZYV5iRq9cvvss7XTTuoz3yl/MD
uMwVz+e13IiA5GxA36wfG8fOwFJZSYxkEiyxphrd3MainpatVAqes5ovqDYuVLjE
XFB9aw4TACrKEXyYLAt0XQoUXSYQifQ7UdlNEKw36IeHcQ38LZQEybqnMEkDO3VY
LfoUONdyNkrpgGLfFUpseN2NEiXx5Z00EZKJk5dbGHzglHzbQKMr14tV9+B0RTE=
=KZom
-----END PGP SIGNATURE-----
------------------------------
Message: 4
Date: Tue, 06 May 2014 19:21:51 +0200
From: Boris Koldehofe <boris.koldehofe@ipvs.uni-stuttgart.de>
To: DMANET@zpr.uni-koeln.de
Subject: [DMANET] DEBS 2014: Final Call for Participation
Message-ID: <53691A2F.3080007@ipvs.uni-stuttgart.de>
Content-Type: text/plain; charset=UTF-8
DEBS 2014: 8th ACM International Conference on Distributed Event Based
Systems
May 26th-29th 2014, IIT Bombay, Mumbai, India,
Co-sponsored by ACM SIGMOD and ACM SIGSOFT
http://www.cse.iitb.ac.in/debs2014/
DEBS 2014 Conference Schedule
=============================
May 26, 2014 4 tutorials (all day, 9 to 5pm)
May 26, 2014 PhD workshop (1 pm to 5pm)
May 27-29, 2014 Conference (ALL day, 9 to 5pm), res papers,
industry track papers, grand challenge papers,
experience sessions
Keynote Speakers
================
Querying Distributed Data Streams.
Minos Garofalakis; Technical University of Crete
Smart Energy: the Role of Timely Data Dissemination
Krithi Ramamritham; IIT Bombay
Challenges in personalization of services at Massive scale
Dr. Manish Gupta; Director of Xerox Research Center India (XRCI)
Tutorials
=========
Cloud-based Data Stream Processing
Thomas Heinze Zbigniew Jerzak; Leonardo Querzoni
Internet of Everything (IoE)
Opher Etzion; Fabiana Fournier; Sarit Arcushin
Policy enforcement in emerging distributed event-based systems
Presenters: Jatinder Singh; David Eyers
Mobile CEP in Real-time Big Data Processing: Challenges and Opportunities
Nenad Stojanovic; Ljiljana Stojanovic; Yongchun Xu
Research Track
==============
Complex Event Service Provision and Composition based on Event Pattern
Matchmaking.
Feng Gao; Edward Curry; Sami Bhiri.
An event processing approach to text stream analysis - Basic principles
of event based information filtering
Andreas Bauer; Christian Wolff
Learning From the Past: Automated Rule Generation for Complex Event
Processing
Alessandro Margara; Gianpaolo Cugola; Giordano Tamburrelli.
We have a DREAM: Distributed Reactive Programming with Consistency
Guarantees
Alessandro Margara; Guido Salvaneschi
The Process-oriented Event Model (PoEM) ? A Conceptual Model
for Industrial Events
Om Prasad Patri; Vikrambhai Sorathia; Anand Panangadan; Viktor
Prasanna
Quality Matters: Supporting Quality-aware Pervasive Applications by
Probabilistic Data Stream Management
Christian Kuka; Daniela Nicklas
Automated Quality-of-Service-aware Configuration of Publish-Subscribe
Systems at Design-Time
Thomas Fischer; Andreas M. Wahl; Richard Lenz
Latency-aware Elastic Scaling for Distributed Data Stream Processing Systems
Thomas Heinze; Zbigniew Jerzak; Gregor Hackenbroich; Christof Fetzer
The Overlay Scan Attack: Inferring Topologies of Distributed Pub/Sub
Systems through Broker Saturation
Leonardo Aniello; Roberto Baldoni; Claudio Ciccotelli; Giuseppe Antonio
Di Luna; Francesco Frontali; Leonardo Querzoni
DS-EPL: Domain-Specific Event Processing Language
Ralf Bruns; J?rgen Dunkel; Stefan Lier; Henrik Masbruch.
RECEP: Selection-based Reuse for Distributed Complex Event Processing
Beate Ottenw?lder; Boris Koldehofe; Kurt Rothermel; Kirak Hong; Kishore
Ramachandran
JetStream: Enabling High Performance Event Streaming across Cloud
Data-Centers
Radu Tudoran; Olivier Nano; Ivo Santos; Alexandru Costan; Hakan Soncu;
Luc Boug?; Gabriel Antoniu
Energy-efficient context-aware routing in heterogeneous WSN
Mumraiz K. Kasi; Annika Hinze.
Content-based Filtering Discovery Protocol (CFDP): Scalable and
Efficient OMG DDS Discovery Protocol
Kyoungho An; Sumant Tambe; Paul Pazandak; Gerardo Pardo-Castellote;
Aniruddha Gokhale; Douglas Schmidt
Effective Switch Memory Management in OpenFlow Networks
Anil Vishnoi; Rishabh Poddar; Vijay Mann; Suparna Bhattacharya
Distributed Event Aggregation for Content-based Publish/Subscribe Systems
Navneet Kumar Pandey; Kaiwen Zhang; St?phane Weiss; Hans-Arno Jacobsen;
Roman Vitenberg
Industry and Experience Track
=============================
P2S: A Fault-Tolerant Publish/Subscribe Infrastructure
Tiancheng Chang; Sisi Duan; Hein Meling; Sean Peisert; Haibin Zhang
Handling Location Uncertainty in Event Driven Experimentation
Kartik Muralidharan; Rajesh Krishna Balan; Srinivasan Seshan; Narayan
Ramasubbu
Scalable and Elastic Realtime Click Stream Analysis Using AnonymESP
Andr? Martin; Andrey Brito; Christof Fetzer
An Event Processing Architecture for Operational Risk Management in an
Industrial Environment
Sergio Saad; Reginaldo Arakaki
Using Mobile-based Complex Event Processing to realize Collaborative
Remote Person Monitoring
Nenad Stojanovic; Yongchun Xu; Aleksandar Stojadinovic; Ljiljana
Stojanovic.
Grand Challenge
===============
Predicting Energy Consumption with StreamMine3G
Andrey Brito; Andr? Martin; Rodolfo Marinho; Christof Fetzer
Grand Challenge: Scalable Stateful Stream Processing for Smart Grids
Raul Castro Fernandez; Matthias Weidlich; Peter Pietzuch; Avigdor Gal
Grand Challenge: Predictive Load Management in Smart Grid Environments
Christopher Mutschler; Christoffer L?ffler; Nicolas Witt; Thorsten
Edelh?u?er; Michael Philippsen
Solving the Grand Challenge Using an Opensource CEP engine
Srinath Perera; Sriskandarajah Suhothayan; Sanjiva Sanjiva Weerawarana;
Mohanadarshan Vivekanandalingam; Paul Paul Fremantle
------------------------------
Message: 5
Date: Wed, 7 May 2014 12:09:38 +1000
From: sergeg@cse.unsw.edu.au
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] PCCR 2014: 2nd Workshop on the Parameterized
Complexity of Computational Reasoning
Message-ID:
<e7b54b3a3c33431fe4f817783069e52f.squirrel@webmail.cse.unsw.edu.au>
Content-Type: text/plain;charset=iso-8859-1
Call for papers and participation
PCCR 2014
2nd Workshop on the Parameterized Complexity of Computational Reasoning
17-18 July 2014, Vienna, Austria
http://vsl2014.at/pccr/
PCCR 2014 will be held during the Vienna Summer of Logic 2014, the largest
logic event in history with an expected 2500 participants.
Abstracts for contributed talks are due by 9 May 2014.
Registration is now open and the early registration deadline is 8 June 2014.
*Important Dates*
Submission deadline: 9 May 2014
Notification: 16 May 2014
Camera-ready deadline: 23 May 2014
Early registration: 8 June 2014
*Aims and Scope*
PCCR 2014 aims to support a fruitful exchange of ideas between the
research on parameterized complexity on one side and the research on
various forms of computational reasoning (such as nonmonotonic,
probabilistic, and constraint-based reasoning) on the other.
Topics of interest include but are not limited to: multivariate analysis
of reasoning problems, kernelization and preprocessing, fixed-parameter
tractability and hardness, backdoors and decompositions.
The workshop will feature invited and contributed talks with surveys and
new technical results, an open problem session, and a panel discussion on
future research directions. Apart from talks on parameterized complexity
we are also interested in presentations that highlight structural
parameters that have not been studied within the framework of
parameterized complexity so far.
*Invited speakers*
- Georg Gottlob (University of Oxford, UK),
- D?niel Marx (Hungarian Academy of Sciences (MTA SZTAKI), Hungary), and
- Stefan Szeider (Vienna University of Technology, Austria).
*Submission Instructions*
If you would like to give a talk at the workshop, please submit a 1-2 page
PDF abstract of your talk via Easychair
https://www.easychair.org/conferences/?conf=pccr2014
by the submission deadline. This abstract will be included in the
non-archival FLoC/VSL 2014 proceedings which will be distributed to all
FLoc/VSL 2014 participants on a USB drive. The abstract and talk can be
based on published and unpublished results, and we welcome overview and
survey talks, besides regular technical talks. Contributed talks are
expected to be around 30 minutes each.
See you at PCCR 2014,
Michael R. Fellows, Serge Gaspers, and Toby Walsh (organisers)
------------------------------
Message: 6
Date: Wed, 7 May 2014 10:33:46 +0200 (CEST)
From: Michele Flammini <michele.flammini@univaq.it>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] 10 Fellowships for a PhD in Computer Science at GSSI
in L'Aquila
Message-ID:
<110675874.1941983.1399451626955.JavaMail.zimbra@di.univaq.it>
Content-Type: text/plain; charset=utf-8
PLEASE DIFFUSE AMONG INTERESTED PEOPLE
--- APOLOGIES FOR MULTIPLE COPIES ---
10 fellowships at GSSI L'AQUILA Italy, for the PhD program in
Computer Science
In collaboration with IMT - Institute for Advanced Studies - Lucca
http://www.imtlucca.it
Core Topics:
- Foundations of (Modern) Networks,
- Specification and Analysis of Concurrent Reactive Systems,
- Software Systems and Services.
Download the call for applications at
http://www.gssi.infn.it/phd/docs/call_english_14-15.pdf
Online applications
http://www.gssi.infn.it/phd/
Deadline June 22, 2014
Scholarships
GSSI awards scholarships for 3 years.
The yearly amount of the scholarship is of ? 16.159,91 gross
Facilities and benefits
All PhD students will receive free accommodation, tuition fees waived, free luncheon vouchers.
Further Informations
http://www.gssi.infn.it/
For additional informations please contact: info@gssi.infn.it
-----------
Michele Flammini
Department of Information Engineering, Computer Science, and Mathematics
University of L'Aquila
Italy
email michele.flammini@univaq.it
------------------------------
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 75, Issue 4
*************************************
Wednesday, May 7, 2014
dmanet Digest, Vol 75, Issue 3
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. Final call for submissions LaSh 2014 (Oikarinen Emilia)
2. CFP: The 17th Korea-Japan Joint Workshop on Algorithms and
Computation (Yoshio Okamoto)
3. Deadline Approaching (May 30), 9th DATA PRIVACY MANAGEMENT
workshop, co-located with ESORICS 2014, LNCS proceedings,
Wroclaw, Poland (Joaquin Garcia-Alfaro)
4. DISC 2014: Final CFP, extended deadlines (Sebastian Daum)
----------------------------------------------------------------------
Message: 1
Date: Sun, 4 May 2014 09:11:41 +0000
From: Oikarinen Emilia <emilia.oikarinen@aalto.fi>
To: "dmanet@zpr.uni-koeln.de" <dmanet@zpr.uni-koeln.de>
Subject: [DMANET] Final call for submissions LaSh 2014
Message-ID:
<274585DE7BDBEB47A4AF18BAEEC7F114EC10218C@EXMDB07.org.aalto.fi>
Content-Type: text/plain; charset="iso-8859-1"
[apologies for any cross-posting]
================================================================
WORKSHOP ON LOGIC AND SEARCH - LaSh 2014
Representing and Solving Computational Search Problems
Final Call For Submissions
With Revised Submission Deadline (May 15), Final PC, Confirmed Speakers
Vienna, Austria, July 18, 2014
http://vsl2014.at/lash/
A FLoC 2014 Workshop, Associated with SAT and ICLP
OVERVIEW
The purpose of the LaSh workshops is to foster scientific exchange on
subjects related to languages for representing, and methods for solving,
computationally challenging search problems. The scope includes study of
relevant logics, algorithms, and logic-based systems, and also study of
other languages and systems from the viewpoint of logic, broadly construed.
Hard combinatorial search and optimization problems abound in science,
engineering, and other areas. Examples include planning, scheduling and
configuration problems. Several communities have developed general purpose
solving technologies for such problems, supported by declarative modelling
or specification languages. These include answer set programming (ASP)
from knowledge representation (KR), constraint solvers and modelling languages
from constraint programming (CP), and integer linear programming (ILP) solvers
and algebraic modelling languages from mathematical programming. Other
relevant areas include propositional satisfiability (SAT), satisfiability
modulo theories (SMT), and representation languages based on classical
logic and FO(ID).
Differences in emphasis notwithstanding, these share the same purpose.
Indeed, there are many similarities in solving technologies, and increasing
exchange between the areas both in solving and representational issues.
>From a logical point of view, whether a given language or system is
described in logical terms or not, we have languages which define some
class of structures, and systems whose purpose is to compute structures
in the class. Logic may be seen as an explicit basis for building systems,
as an analytic tool, or as a formal approach to viewing the diversity of
systems more uniformly.
Topics of interest include, but are not limited to:
- Logics relevant to the study of search and optimization problems
- Languages for specifying or modelling search or optimization problems
- Reasoning about or with specifications of search problems
- Grounding and related language transformation methods
- Expressiveness and complexity of logics and languages
- Ground Solvers and their languages: SAT, ASP, SMT, FlatZinc, etc.
- New or extended ground solver languages: SAT+Cardinality, SAT+TC, etc.
- Design of systems, solvers, and related tools
- Approximation, tractable problem classes, etc.
- Proof systems and inference methods underlying solvers.
- Comparisons of different languages or methods
- Interesting applications, either as case studies or challenges
- Benchmark problems and instance collections
CONFIRMED SPEAKERS
Plenary: Konstantin Korovin, University of Manchester
Tomi Janhunen, Aalto University
Stefan Woltran, TU Wien
IMPORTANT DATES
Submission: May 15 (Extended)
Notification: May 21 (Revised)
Final Versions: May 27 (Revised)
Workshop: July 18
ORGANIZERS
Marc Denecker, KU Leuven
David Mitchell, Simon Fraser University
Emilia Oikarinen, Aalto University
PROGRAM COMMITTEE
David Bergman (University of Connecticut)
Marc Denecker (K.U.Leuven) - chair
Alan Frisch (University of York)
Wolfgang Faber (University of Huddersfield)
Marijn Heule (The University of Texas at Austin)
Tomi Janhunen (Aalto University)
Matti J?rvisalo (University of Helsinki)
Ian Miguel (University of St Andrews)
David Mitchell (Simon Fraser University) - chair
Emilia Oikarinen (Aalto University) - chair
Shahab Tasharrofi (Simon Fraser University)
Eugenia Ternovska (Simon Fraser University)
Mirek Truszczynski (University of Kentucky)
SUBMISSION INFORMATION
To encourage communication across areas, LaSh is a non-archival meeting.
In addition to new technical work, we welcome presentation of relevant material
which has appeared at conferences area-specific meetings or general conferences,
and also position papers, challenges, system descriptions and speculative work.
------------------------------
Message: 2
Date: Sun, 04 May 2014 20:57:51 +0900
From: Yoshio Okamoto <okamotoy@uec.ac.jp>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] CFP: The 17th Korea-Japan Joint Workshop on
Algorithms and Computation
Message-ID: <53662B3F.8050105@uec.ac.jp>
Content-Type: text/plain; charset=ISO-2022-JP
****************************************************************************
Call for Papers
The 17th Korea-Japan Joint Workshop on Algorithms and Computation
(WAAC 2014)
July 13-15, 2014
Okinawa Convention Center
http://dopal.cs.uec.ac.jp/waac14/
****************************************************************************
The aim of this workshop is to provide a forum for researchers working
on algorithms and the theory of computation, to promote the exchange
of recent results, to foster new collaborations among
researchers. Historically, the workshop has established for the
purpose of collaboration of researchers of Japan and Korea; however,
participation from any country is welcome.
The workshop is organized by the Special Interest Group on Algorithms
(SIGAL) of the Information Processing Society of Japan and the Special
Interest Group on Theoretical Computer Science (SIGTCS) of the Korean
Institute of Information Scientists and Engineers (KIISE).
Topics
- Automata, languages and computability
- Algorithms (combinatorial/graph/geometric/randomized)
- VLSI and parallel algorithms
- Networks and distributed algorithms
- Learning theory and data mining
- Number theory and cryptography
- Graph drawing and visualization
- Computational logic
- Combinatorics and optimization
Important Dates
- Paper submission deadline: May 25, 2014
- Notification of acceptance: June 7, 2014
- Final version submission: June 20, 2014
- Conference: July 13-15, 2014
Submission
Authors are invited to submit papers up to 8 pages in English via the
EasyChair submission system no later than May 25, 2014. Follow the URL
https://www.easychair.org/conferences/?conf=waac2014
Page Style and Limit
The paper must be written in English. The camera-ready version must be
printed to fit A4 size sheet. It cannot exceed 8 pages including the
title page. The first page should contain the title, authors,
affiliations, addresses (including authors' e-mail addresses), and
abstract.
Proceedings
The proceedings will be available at the conference site. Since the
proceeding is only distributed at the workshop, the submission of
preliminary material that is to be submitted to or extended material
to appear in other international conferences or journals is allowed
and encouraged.
PC Chairs
Sung-Ryul Kim (Konkuk University, Korea)
Ryuhei Uehara (JAIST, Japan)
Program Committee
Jinhee Chun (Tohoku Univ., Japan)
Sung-Ryul Kim (Konkuk University, Korea; Chair)
Yoshio Okamoto (Univ. Electro-Comm., Japan)
Kei Uchizawa (Yamagata Univ., Japan)
Ryuhei Uehara (JAIST, Japan; Chair)
Yukiko Yamauchi (Kyusyu Univ., Japan)
TBA
Local organizers
Takashi Horiyama (Saitama Univ., Japan)
Yoshio Okamoto (Univ. Electro-Comm., Japan)
Yota Otachi (JAIST, Japan)
Yukiko Yamauchi (Kyusyu Univ., Japan)
Kei Uchizawa (Yamagata Univ., Japan)
Ryuhei Uehara (JAIST, Japan)
Invited Speakers
Takeshi Tokuyama (Tohoku Univ., Japan)
TBA
More Information
Web page: http://dopal.cs.uec.ac.jp/waac14/
Contact email address: waac14@jaist.ac.jp
Okinawa Convention Center: http://www.oki-conven.jp/
------------------------------
Message: 3
Date: Sun, 04 May 2014 18:30:53 +0200
From: Joaquin Garcia-Alfaro
<joaquin.garcia_alfaro@telecom-sudparis.eu>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] Deadline Approaching (May 30), 9th DATA PRIVACY
MANAGEMENT workshop, co-located with ESORICS 2014, LNCS proceedings,
Wroclaw, Poland
Message-ID: <53666B3D.2040902@telecom-sudparis.eu>
Content-Type: text/plain; charset=ISO-8859-1; format=flowed
[Apologies if you receive multiple copies of this message]
========================================================================
Call for Papers
DPM 2014, 9th International Workshop on
DATA PRIVACY MANAGEMENT,
http://deic.uab.cat/conferences/dpm/dpm2014/
Wroclaw, Poland, September 10-11, 2014
(co-located with ESORICS'2014)
Springer LNCS Proceedings
========================================================================
========================================================================
Important Dates
* Paper Submission Deadline: May 30, 2014
* Acceptance Notification: July 11, 2014
* Camera Ready Version: August 14, 2014
========================================================================
Scope: Organizations are increasingly concerned about the privacy of
information that they manage (several people have filed lawsuits
against organizations violating the privacy of customer's data). Thus,
the management of privacy-sensitive information is very critical and
important for every organization. This poses several challenging
problems, such as how to translate the high-level business goals into
system-level privacy policies, administration of privacy-sensitive
data, privacy data integration and engineering, privacy access control
mechanisms, information-oriented security, and query execution on
privacy-sensitive data for partial answers.
Topics: The aim of this workshop is to discuss and exchange the ideas
related to privacy data management. We invite papers from researchers
and practitioners working in privacy, security, trustworthy data
systems and related areas to submit their original papers in this
workshop. The main topics, but not limited to, include:
* Privacy Information Management
* Privacy Policy-based Infrastructures and Architectures
* Privacy-oriented Access Control Languages and Models
* Privacy in Trust Management
* Privacy in Digital Currencies
* Privacy Data Integration
* Privacy Risk Assessment and Assurance
* Privacy Services
* Cryptography and Cryptanalysis
* Privacy Policy Analysis
* Query Execution over Privacy Sensitive Data
* Privacy Preserving Data Mining
* Hippocratic and Water-marking Databases
* Privacy for Integrity-based Computing
* Privacy Monitoring and Auditing
* Privacy in Social Networks
* Privacy in Ambient Intelligence (AmI) Applications
* Individual Privacy vs. Corporate/National Security
* Privacy in computer networks
* Privacy and RFIDs
* Privacy and Big Data
* Privacy in sensor networks
========================================================================
Submission guidelines: Papers should be at most 15 pages (using
11-point font), excluding the bibliography and well-marked appendices.
Committee members are not required to read the appendices, so the
paper should be intelligible without them. All submissions must be
written in English.
Authors must submit their papers by the deadline indicated below,
using the EasyChair web site (at easychair.org/conferences/?conf=dpm2014)
and following the requirements stated there.
The submitted paper (in PDF format) should follow the template
indicated by Springer (see http://springer.de/comp/lncs/authors.html).
It must start with a title, a short abstract, names and affiliations
of the authors, and a list of keywords.
All papers will be refereed. Accepted papers should be presented at
the Workshop. At least one author of each accepted paper must register
to the workshop, by the early date indicated by the organizers, and
present the paper.
The proceedings will be published in a volume of Lecture Notes in
Computer Science (Springer-Verlag).
Submissions by PhD students as well as controversial ideas are
encouraged. Case studies (successful or not) are also encouraged.
It is expected that extended and revised version of the best papers
from the workshop will be considered for international journal special
========================================================================
General Chairs:
* Jordi Castella-Roca (Universitat Rovira i Virgili)
Program Committee Chairs:
* Joaquin Garcia-Alfaro (Telecom SudParis)
* Jordi Herrera-Joancomarti (Universitat Autonoma de Barcelona)
Program Committee:
* Rainer Bohme (University of Munster, Germany)
* Ana Cavalli (Telecom SudParis, France)
* Frederic Cuppens (Telecom Bretagne, France)
* Nora Cuppens (Telecom Bretagne, France)
* Josep Domingo-Ferrer (Universitat Rovira i Virgili, Catalonia)
* Christian Duncan (Quinnipiac University, USA)
* Nicola Dragoni (Technical University of Denmark, Denmark)
* David Evans (University of Derby, UK)
* Sara Foresti (University of Milan, Italy)
* Sebastien Gambs (University of Rennes 1, France)
* Flavio D. Garcia (Radboud University Nijmegen, The Netherlands)
* Paolo Gasti (New York Institute of Technology, USA)
* Stefanos Gritzalis (University of the Aegean, Greece)
* Marit Hansen (Unabhangiges Landeszentrum fur Datenschutz, Germany)
* Artur Hecker (Telecom ParisTech, France)
* Sokratis Katsikas (University of Piraeus, Greece)
* Evangelos Kranakis (Carleton University, Canada)
* Pascal Lafourcade (Joseph Fourier University, France)
* Maryline Laurent (Telecom SudParis, France)
* Georgios Lioudakis (National Technical University of Athens, Greece)
* Giovanni Livraga (University of Milan, Italy)
* Javier Lopez (University of Malaga, Spain)
* Sotirios Maniatis (Hellenic Authority for Communications Privacy, Greece)
* Refik Molva (EURECOM, France)
* Guillermo Navarro-Arribas (Universitat Autonoma de Barcelona, Catalonia)
* Melek Onen (EURECOM, France)
* Cristina Perez-Sola (Autonomous University of Barcelona, Catalonia)
* Silvio Ranise (FBK, Security and Trust Unit, Trento)
* Yves Roudier (EURECOM, France)
* Mark Ryan (University of Birmingham, UK)
* Pierangela Samarati (University of Milan, Italy)
* David Sanchez (Universitat Rovira i Virgili, Catalonia)
* Claudio Soriente (ETH Zurich, Switzerland)
* Alessandro Sorniotti (IBM Research, Switzerland)
* Vicenc Torra (Artificial Intelligence Research Institute, Catalonia)
* Alexandre Viejo (Universitat Rovira i Virgili, Catalonia)
* Jens Weber (University of Victoria, Canada)
* Lena Wiese (University of Gottingen, Germany)
* Nicola Zannone (Eindhoven University of Technology, The Netherlands)
=======================================
FURTHER INFORMATION
=======================================
Additional information about paper submission and conference topics and
events can be found at the DPM'2014 web site:
http://deic.uab.cat/conferences/dpm/dpm2014/
------------------------------
Message: 4
Date: Mon, 05 May 2014 17:44:31 +0200
From: Sebastian Daum <sdaum@cs.uni-freiburg.de>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] DISC 2014: Final CFP, extended deadlines
Message-ID: <5367B1DF.6080501@cs.uni-freiburg.de>
Content-Type: text/plain; charset=windows-1252; format=flowed
(Apologies for crosspostings)
The DISC deadlines have been extended by a few days (see below). This
gives all authors an additional week-end to polish their submissions,
and it adds a few days between the PODC camera-ready deadline and the
DISC submission deadline. Note that there will not be an additional
deadline extension and all deadlines are firm (abstract registration
by May 14 is mandatory in order to be able to submit a paper).
------------------------------------------------------------------------
CALL FOR PAPERS
- DISC 2014 -
The 28th International Symposium on Distributed Computing
October 12-15, 2014
Austin TX, USA
http://www.disc-conference.org/wp/disc2014
------------------------------------------------------------------------
------------------------------------------------------------------------
DISC is the International Symposium on Distributed Computing, organized
in cooperation with the European Association for Theoretical Computer
Science (EATCS).
Important Dates
---------------
Abstract Registration: May 14, 2014 (extended)
Paper Submission: May 18, 2014 (extended)
Notification: July 12, 2014 (extended)
Camera-Ready Submission: August 5, 2014
Conference: October 12-15, 2014
Submission Link
---------------
http://www.easychair.org/conferences/?conf=disc2014
Scope
-----
Original contributions to theory, design, implementation, modeling,
analysis, or application of distributed systems and networks are
solicited. Topics of interest include, but are not limited to:
- Distributed algorithms; correctness and complexity
- Concurrency, synchronization, and transactional memory
- Distributed operating systems, middleware, database systems
- Self-stabilizing, self-organizing, and autonomic systems
- Wireless, mobile, sensor and ad-hoc networks
- Fault tolerance, reliability, availability
- Game-theoretic approaches to distributed computing
- Specification, verification, and testing: tools, methodologies
- Networks: protocols, architectures, services, applications
- Multiprocessor and multicore architectures and algorithms
- Security in distributed computing, cryptographic protocols
- Distributed computing issues in the Internet and the Web
- Cloud and peer-to-peer computing
- Mobile agents and autonomous robots
------------------------------------------------------------------------
Program Committee
-----------------
James Aspnes, Yale University, USA
Hagit Attiya, Technion, Israel
Chen Avin, Ben Gurion University, Israel
Shiri Chechik, Microsoft Research SVC, USA
Faith Ellen, University of Toronto, Canada
Vijay Garg, University of Texas, Austin, USA
George Giakkoupis, INRIA Rennes, France
Seth Gilbert, National University of Singapore
Rachid Guerraoui, EPFL, Switzerland
Bernhard Haeupler, Microsoft Research SVC, USA
Danny Hendler, Ben Gurion University, Israel
Majid Khabbazian, University of Alberta, Canada
Fabian Kuhn (chair), University of Freiburg, Germany
Christoph Lenzen, MIT, USA
Victor Luchangco, Oracle Labs, USA
Dahlia Malkhi, Microsoft Research SVC, USA
Thomas Moscibroda, Microsoft Research Asia, China
Yoram Moses, Technion, Israel
Danupon Nanongkai, Brown University, USA
Boaz Patt-Shamir, Tel Aviv University, Israel
Andrzej Pelc, University of Quebec, Canada
Jared Saia, University of New Mexico, USA
Thomas Sauerwald, Max Planck Institute, Germany
Christian Schindelhauer, University of Freiburg, Germany
Jukka Suomela, Aalto University, Finland
Sebastien Tixeuil, UPMC Sorbonne University, France
Organization Committee
----------------------
Chen Avin (publicity), Ben Gurion University, Israel
Sebastian Daum (publicity), University of Freiburg, Germany
Mohamed Gouda (general chair), University of Texas, Austin
Alessia Milani (workshops/tutorials), LaBRI, France
Corentin Travers (workshops/tutorials), LaBRI, France
Steering Committee
------------------
Marcos Aguilera, Microsoft Research SVC, USA
Yehuda Afek, Tel Aviv University, Israel
Keren Censor-Hillel, Technion, Israel
Shlomi Dolev, Ben Gurion University, Israel
Antonio Fernandez Anta (chair), IMDEA Netw., Spain
Fabian Kuhn, University Freiburg, Germany
Achour Mostefaoui, University Nantes, France
------------------------------------------------------------------------
Submission
----------
Papers are to be submitted electronically, following the guidelines on
the conference web page. Submissions must be in English, in .ps or .pdf
format, and begin with a cover page (not a cover letter) including:
(1) title,
(2) authors? names and affiliations,
(3) contact author?s postal and email address,
(4) a short abstract of the paper,
(5) indication of whether this is a regular paper or a brief
announcement, and
(6) indication of whether the paper is eligible for best student paper
award.
A submission for a regular presentation must report on original research
that has not previously appeared, and has not been concurrently
submitted to a journal or conference with published proceedings. Any
overlap with a published or concurrently submitted paper must be clearly
indicated. A regular submission must not exceed 10 single-column pages
using at least 11 point font on letter paper (excluding cover page and
references). Authors are expected to include all the ideas necessary for
an expert to verify the central claims in the paper. If necessary, the
details may appear in a clearly marked appendix, which will be read at
the discretion of the program committee.
A brief announcement submission must not exceed 3 pages in the same
format. It is permissible for the material in brief announcements to be
published in other conferences. Submissions not conforming to these
rules and papers outside of the scope of the conference will be rejected
without consideration. If requested by the authors on the cover page, a
regular submission that is not selected for a regular presentation can
be considered for the brief announcement format. Such a request will not
affect consideration of the paper for a regular presentation.
Publication
-----------
The proceedings will be published as a volume in the ARCoSS Springer
Lecture Notes in Computer Science series. Camera-ready versions of
accepted papers must be submitted in the LNCS format.
Awards
------
Awards will be given to the best paper and the best student paper. To be
eligible for the best student paper award at least one of the paper
authors must be a full-time student at the time of submission, and the
student(s) must have made a significant contribution to the paper.
------------------------------
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 75, Issue 3
*************************************
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. Final call for submissions LaSh 2014 (Oikarinen Emilia)
2. CFP: The 17th Korea-Japan Joint Workshop on Algorithms and
Computation (Yoshio Okamoto)
3. Deadline Approaching (May 30), 9th DATA PRIVACY MANAGEMENT
workshop, co-located with ESORICS 2014, LNCS proceedings,
Wroclaw, Poland (Joaquin Garcia-Alfaro)
4. DISC 2014: Final CFP, extended deadlines (Sebastian Daum)
----------------------------------------------------------------------
Message: 1
Date: Sun, 4 May 2014 09:11:41 +0000
From: Oikarinen Emilia <emilia.oikarinen@aalto.fi>
To: "dmanet@zpr.uni-koeln.de" <dmanet@zpr.uni-koeln.de>
Subject: [DMANET] Final call for submissions LaSh 2014
Message-ID:
<274585DE7BDBEB47A4AF18BAEEC7F114EC10218C@EXMDB07.org.aalto.fi>
Content-Type: text/plain; charset="iso-8859-1"
[apologies for any cross-posting]
================================================================
WORKSHOP ON LOGIC AND SEARCH - LaSh 2014
Representing and Solving Computational Search Problems
Final Call For Submissions
With Revised Submission Deadline (May 15), Final PC, Confirmed Speakers
Vienna, Austria, July 18, 2014
http://vsl2014.at/lash/
A FLoC 2014 Workshop, Associated with SAT and ICLP
OVERVIEW
The purpose of the LaSh workshops is to foster scientific exchange on
subjects related to languages for representing, and methods for solving,
computationally challenging search problems. The scope includes study of
relevant logics, algorithms, and logic-based systems, and also study of
other languages and systems from the viewpoint of logic, broadly construed.
Hard combinatorial search and optimization problems abound in science,
engineering, and other areas. Examples include planning, scheduling and
configuration problems. Several communities have developed general purpose
solving technologies for such problems, supported by declarative modelling
or specification languages. These include answer set programming (ASP)
from knowledge representation (KR), constraint solvers and modelling languages
from constraint programming (CP), and integer linear programming (ILP) solvers
and algebraic modelling languages from mathematical programming. Other
relevant areas include propositional satisfiability (SAT), satisfiability
modulo theories (SMT), and representation languages based on classical
logic and FO(ID).
Differences in emphasis notwithstanding, these share the same purpose.
Indeed, there are many similarities in solving technologies, and increasing
exchange between the areas both in solving and representational issues.
>From a logical point of view, whether a given language or system is
described in logical terms or not, we have languages which define some
class of structures, and systems whose purpose is to compute structures
in the class. Logic may be seen as an explicit basis for building systems,
as an analytic tool, or as a formal approach to viewing the diversity of
systems more uniformly.
Topics of interest include, but are not limited to:
- Logics relevant to the study of search and optimization problems
- Languages for specifying or modelling search or optimization problems
- Reasoning about or with specifications of search problems
- Grounding and related language transformation methods
- Expressiveness and complexity of logics and languages
- Ground Solvers and their languages: SAT, ASP, SMT, FlatZinc, etc.
- New or extended ground solver languages: SAT+Cardinality, SAT+TC, etc.
- Design of systems, solvers, and related tools
- Approximation, tractable problem classes, etc.
- Proof systems and inference methods underlying solvers.
- Comparisons of different languages or methods
- Interesting applications, either as case studies or challenges
- Benchmark problems and instance collections
CONFIRMED SPEAKERS
Plenary: Konstantin Korovin, University of Manchester
Tomi Janhunen, Aalto University
Stefan Woltran, TU Wien
IMPORTANT DATES
Submission: May 15 (Extended)
Notification: May 21 (Revised)
Final Versions: May 27 (Revised)
Workshop: July 18
ORGANIZERS
Marc Denecker, KU Leuven
David Mitchell, Simon Fraser University
Emilia Oikarinen, Aalto University
PROGRAM COMMITTEE
David Bergman (University of Connecticut)
Marc Denecker (K.U.Leuven) - chair
Alan Frisch (University of York)
Wolfgang Faber (University of Huddersfield)
Marijn Heule (The University of Texas at Austin)
Tomi Janhunen (Aalto University)
Matti J?rvisalo (University of Helsinki)
Ian Miguel (University of St Andrews)
David Mitchell (Simon Fraser University) - chair
Emilia Oikarinen (Aalto University) - chair
Shahab Tasharrofi (Simon Fraser University)
Eugenia Ternovska (Simon Fraser University)
Mirek Truszczynski (University of Kentucky)
SUBMISSION INFORMATION
To encourage communication across areas, LaSh is a non-archival meeting.
In addition to new technical work, we welcome presentation of relevant material
which has appeared at conferences area-specific meetings or general conferences,
and also position papers, challenges, system descriptions and speculative work.
------------------------------
Message: 2
Date: Sun, 04 May 2014 20:57:51 +0900
From: Yoshio Okamoto <okamotoy@uec.ac.jp>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] CFP: The 17th Korea-Japan Joint Workshop on
Algorithms and Computation
Message-ID: <53662B3F.8050105@uec.ac.jp>
Content-Type: text/plain; charset=ISO-2022-JP
****************************************************************************
Call for Papers
The 17th Korea-Japan Joint Workshop on Algorithms and Computation
(WAAC 2014)
July 13-15, 2014
Okinawa Convention Center
http://dopal.cs.uec.ac.jp/waac14/
****************************************************************************
The aim of this workshop is to provide a forum for researchers working
on algorithms and the theory of computation, to promote the exchange
of recent results, to foster new collaborations among
researchers. Historically, the workshop has established for the
purpose of collaboration of researchers of Japan and Korea; however,
participation from any country is welcome.
The workshop is organized by the Special Interest Group on Algorithms
(SIGAL) of the Information Processing Society of Japan and the Special
Interest Group on Theoretical Computer Science (SIGTCS) of the Korean
Institute of Information Scientists and Engineers (KIISE).
Topics
- Automata, languages and computability
- Algorithms (combinatorial/graph/geometric/randomized)
- VLSI and parallel algorithms
- Networks and distributed algorithms
- Learning theory and data mining
- Number theory and cryptography
- Graph drawing and visualization
- Computational logic
- Combinatorics and optimization
Important Dates
- Paper submission deadline: May 25, 2014
- Notification of acceptance: June 7, 2014
- Final version submission: June 20, 2014
- Conference: July 13-15, 2014
Submission
Authors are invited to submit papers up to 8 pages in English via the
EasyChair submission system no later than May 25, 2014. Follow the URL
https://www.easychair.org/conferences/?conf=waac2014
Page Style and Limit
The paper must be written in English. The camera-ready version must be
printed to fit A4 size sheet. It cannot exceed 8 pages including the
title page. The first page should contain the title, authors,
affiliations, addresses (including authors' e-mail addresses), and
abstract.
Proceedings
The proceedings will be available at the conference site. Since the
proceeding is only distributed at the workshop, the submission of
preliminary material that is to be submitted to or extended material
to appear in other international conferences or journals is allowed
and encouraged.
PC Chairs
Sung-Ryul Kim (Konkuk University, Korea)
Ryuhei Uehara (JAIST, Japan)
Program Committee
Jinhee Chun (Tohoku Univ., Japan)
Sung-Ryul Kim (Konkuk University, Korea; Chair)
Yoshio Okamoto (Univ. Electro-Comm., Japan)
Kei Uchizawa (Yamagata Univ., Japan)
Ryuhei Uehara (JAIST, Japan; Chair)
Yukiko Yamauchi (Kyusyu Univ., Japan)
TBA
Local organizers
Takashi Horiyama (Saitama Univ., Japan)
Yoshio Okamoto (Univ. Electro-Comm., Japan)
Yota Otachi (JAIST, Japan)
Yukiko Yamauchi (Kyusyu Univ., Japan)
Kei Uchizawa (Yamagata Univ., Japan)
Ryuhei Uehara (JAIST, Japan)
Invited Speakers
Takeshi Tokuyama (Tohoku Univ., Japan)
TBA
More Information
Web page: http://dopal.cs.uec.ac.jp/waac14/
Contact email address: waac14@jaist.ac.jp
Okinawa Convention Center: http://www.oki-conven.jp/
------------------------------
Message: 3
Date: Sun, 04 May 2014 18:30:53 +0200
From: Joaquin Garcia-Alfaro
<joaquin.garcia_alfaro@telecom-sudparis.eu>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] Deadline Approaching (May 30), 9th DATA PRIVACY
MANAGEMENT workshop, co-located with ESORICS 2014, LNCS proceedings,
Wroclaw, Poland
Message-ID: <53666B3D.2040902@telecom-sudparis.eu>
Content-Type: text/plain; charset=ISO-8859-1; format=flowed
[Apologies if you receive multiple copies of this message]
========================================================================
Call for Papers
DPM 2014, 9th International Workshop on
DATA PRIVACY MANAGEMENT,
http://deic.uab.cat/conferences/dpm/dpm2014/
Wroclaw, Poland, September 10-11, 2014
(co-located with ESORICS'2014)
Springer LNCS Proceedings
========================================================================
========================================================================
Important Dates
* Paper Submission Deadline: May 30, 2014
* Acceptance Notification: July 11, 2014
* Camera Ready Version: August 14, 2014
========================================================================
Scope: Organizations are increasingly concerned about the privacy of
information that they manage (several people have filed lawsuits
against organizations violating the privacy of customer's data). Thus,
the management of privacy-sensitive information is very critical and
important for every organization. This poses several challenging
problems, such as how to translate the high-level business goals into
system-level privacy policies, administration of privacy-sensitive
data, privacy data integration and engineering, privacy access control
mechanisms, information-oriented security, and query execution on
privacy-sensitive data for partial answers.
Topics: The aim of this workshop is to discuss and exchange the ideas
related to privacy data management. We invite papers from researchers
and practitioners working in privacy, security, trustworthy data
systems and related areas to submit their original papers in this
workshop. The main topics, but not limited to, include:
* Privacy Information Management
* Privacy Policy-based Infrastructures and Architectures
* Privacy-oriented Access Control Languages and Models
* Privacy in Trust Management
* Privacy in Digital Currencies
* Privacy Data Integration
* Privacy Risk Assessment and Assurance
* Privacy Services
* Cryptography and Cryptanalysis
* Privacy Policy Analysis
* Query Execution over Privacy Sensitive Data
* Privacy Preserving Data Mining
* Hippocratic and Water-marking Databases
* Privacy for Integrity-based Computing
* Privacy Monitoring and Auditing
* Privacy in Social Networks
* Privacy in Ambient Intelligence (AmI) Applications
* Individual Privacy vs. Corporate/National Security
* Privacy in computer networks
* Privacy and RFIDs
* Privacy and Big Data
* Privacy in sensor networks
========================================================================
Submission guidelines: Papers should be at most 15 pages (using
11-point font), excluding the bibliography and well-marked appendices.
Committee members are not required to read the appendices, so the
paper should be intelligible without them. All submissions must be
written in English.
Authors must submit their papers by the deadline indicated below,
using the EasyChair web site (at easychair.org/conferences/?conf=dpm2014)
and following the requirements stated there.
The submitted paper (in PDF format) should follow the template
indicated by Springer (see http://springer.de/comp/lncs/authors.html).
It must start with a title, a short abstract, names and affiliations
of the authors, and a list of keywords.
All papers will be refereed. Accepted papers should be presented at
the Workshop. At least one author of each accepted paper must register
to the workshop, by the early date indicated by the organizers, and
present the paper.
The proceedings will be published in a volume of Lecture Notes in
Computer Science (Springer-Verlag).
Submissions by PhD students as well as controversial ideas are
encouraged. Case studies (successful or not) are also encouraged.
It is expected that extended and revised version of the best papers
from the workshop will be considered for international journal special
========================================================================
General Chairs:
* Jordi Castella-Roca (Universitat Rovira i Virgili)
Program Committee Chairs:
* Joaquin Garcia-Alfaro (Telecom SudParis)
* Jordi Herrera-Joancomarti (Universitat Autonoma de Barcelona)
Program Committee:
* Rainer Bohme (University of Munster, Germany)
* Ana Cavalli (Telecom SudParis, France)
* Frederic Cuppens (Telecom Bretagne, France)
* Nora Cuppens (Telecom Bretagne, France)
* Josep Domingo-Ferrer (Universitat Rovira i Virgili, Catalonia)
* Christian Duncan (Quinnipiac University, USA)
* Nicola Dragoni (Technical University of Denmark, Denmark)
* David Evans (University of Derby, UK)
* Sara Foresti (University of Milan, Italy)
* Sebastien Gambs (University of Rennes 1, France)
* Flavio D. Garcia (Radboud University Nijmegen, The Netherlands)
* Paolo Gasti (New York Institute of Technology, USA)
* Stefanos Gritzalis (University of the Aegean, Greece)
* Marit Hansen (Unabhangiges Landeszentrum fur Datenschutz, Germany)
* Artur Hecker (Telecom ParisTech, France)
* Sokratis Katsikas (University of Piraeus, Greece)
* Evangelos Kranakis (Carleton University, Canada)
* Pascal Lafourcade (Joseph Fourier University, France)
* Maryline Laurent (Telecom SudParis, France)
* Georgios Lioudakis (National Technical University of Athens, Greece)
* Giovanni Livraga (University of Milan, Italy)
* Javier Lopez (University of Malaga, Spain)
* Sotirios Maniatis (Hellenic Authority for Communications Privacy, Greece)
* Refik Molva (EURECOM, France)
* Guillermo Navarro-Arribas (Universitat Autonoma de Barcelona, Catalonia)
* Melek Onen (EURECOM, France)
* Cristina Perez-Sola (Autonomous University of Barcelona, Catalonia)
* Silvio Ranise (FBK, Security and Trust Unit, Trento)
* Yves Roudier (EURECOM, France)
* Mark Ryan (University of Birmingham, UK)
* Pierangela Samarati (University of Milan, Italy)
* David Sanchez (Universitat Rovira i Virgili, Catalonia)
* Claudio Soriente (ETH Zurich, Switzerland)
* Alessandro Sorniotti (IBM Research, Switzerland)
* Vicenc Torra (Artificial Intelligence Research Institute, Catalonia)
* Alexandre Viejo (Universitat Rovira i Virgili, Catalonia)
* Jens Weber (University of Victoria, Canada)
* Lena Wiese (University of Gottingen, Germany)
* Nicola Zannone (Eindhoven University of Technology, The Netherlands)
=======================================
FURTHER INFORMATION
=======================================
Additional information about paper submission and conference topics and
events can be found at the DPM'2014 web site:
http://deic.uab.cat/conferences/dpm/dpm2014/
------------------------------
Message: 4
Date: Mon, 05 May 2014 17:44:31 +0200
From: Sebastian Daum <sdaum@cs.uni-freiburg.de>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] DISC 2014: Final CFP, extended deadlines
Message-ID: <5367B1DF.6080501@cs.uni-freiburg.de>
Content-Type: text/plain; charset=windows-1252; format=flowed
(Apologies for crosspostings)
The DISC deadlines have been extended by a few days (see below). This
gives all authors an additional week-end to polish their submissions,
and it adds a few days between the PODC camera-ready deadline and the
DISC submission deadline. Note that there will not be an additional
deadline extension and all deadlines are firm (abstract registration
by May 14 is mandatory in order to be able to submit a paper).
------------------------------------------------------------------------
CALL FOR PAPERS
- DISC 2014 -
The 28th International Symposium on Distributed Computing
October 12-15, 2014
Austin TX, USA
http://www.disc-conference.org/wp/disc2014
------------------------------------------------------------------------
------------------------------------------------------------------------
DISC is the International Symposium on Distributed Computing, organized
in cooperation with the European Association for Theoretical Computer
Science (EATCS).
Important Dates
---------------
Abstract Registration: May 14, 2014 (extended)
Paper Submission: May 18, 2014 (extended)
Notification: July 12, 2014 (extended)
Camera-Ready Submission: August 5, 2014
Conference: October 12-15, 2014
Submission Link
---------------
http://www.easychair.org/conferences/?conf=disc2014
Scope
-----
Original contributions to theory, design, implementation, modeling,
analysis, or application of distributed systems and networks are
solicited. Topics of interest include, but are not limited to:
- Distributed algorithms; correctness and complexity
- Concurrency, synchronization, and transactional memory
- Distributed operating systems, middleware, database systems
- Self-stabilizing, self-organizing, and autonomic systems
- Wireless, mobile, sensor and ad-hoc networks
- Fault tolerance, reliability, availability
- Game-theoretic approaches to distributed computing
- Specification, verification, and testing: tools, methodologies
- Networks: protocols, architectures, services, applications
- Multiprocessor and multicore architectures and algorithms
- Security in distributed computing, cryptographic protocols
- Distributed computing issues in the Internet and the Web
- Cloud and peer-to-peer computing
- Mobile agents and autonomous robots
------------------------------------------------------------------------
Program Committee
-----------------
James Aspnes, Yale University, USA
Hagit Attiya, Technion, Israel
Chen Avin, Ben Gurion University, Israel
Shiri Chechik, Microsoft Research SVC, USA
Faith Ellen, University of Toronto, Canada
Vijay Garg, University of Texas, Austin, USA
George Giakkoupis, INRIA Rennes, France
Seth Gilbert, National University of Singapore
Rachid Guerraoui, EPFL, Switzerland
Bernhard Haeupler, Microsoft Research SVC, USA
Danny Hendler, Ben Gurion University, Israel
Majid Khabbazian, University of Alberta, Canada
Fabian Kuhn (chair), University of Freiburg, Germany
Christoph Lenzen, MIT, USA
Victor Luchangco, Oracle Labs, USA
Dahlia Malkhi, Microsoft Research SVC, USA
Thomas Moscibroda, Microsoft Research Asia, China
Yoram Moses, Technion, Israel
Danupon Nanongkai, Brown University, USA
Boaz Patt-Shamir, Tel Aviv University, Israel
Andrzej Pelc, University of Quebec, Canada
Jared Saia, University of New Mexico, USA
Thomas Sauerwald, Max Planck Institute, Germany
Christian Schindelhauer, University of Freiburg, Germany
Jukka Suomela, Aalto University, Finland
Sebastien Tixeuil, UPMC Sorbonne University, France
Organization Committee
----------------------
Chen Avin (publicity), Ben Gurion University, Israel
Sebastian Daum (publicity), University of Freiburg, Germany
Mohamed Gouda (general chair), University of Texas, Austin
Alessia Milani (workshops/tutorials), LaBRI, France
Corentin Travers (workshops/tutorials), LaBRI, France
Steering Committee
------------------
Marcos Aguilera, Microsoft Research SVC, USA
Yehuda Afek, Tel Aviv University, Israel
Keren Censor-Hillel, Technion, Israel
Shlomi Dolev, Ben Gurion University, Israel
Antonio Fernandez Anta (chair), IMDEA Netw., Spain
Fabian Kuhn, University Freiburg, Germany
Achour Mostefaoui, University Nantes, France
------------------------------------------------------------------------
Submission
----------
Papers are to be submitted electronically, following the guidelines on
the conference web page. Submissions must be in English, in .ps or .pdf
format, and begin with a cover page (not a cover letter) including:
(1) title,
(2) authors? names and affiliations,
(3) contact author?s postal and email address,
(4) a short abstract of the paper,
(5) indication of whether this is a regular paper or a brief
announcement, and
(6) indication of whether the paper is eligible for best student paper
award.
A submission for a regular presentation must report on original research
that has not previously appeared, and has not been concurrently
submitted to a journal or conference with published proceedings. Any
overlap with a published or concurrently submitted paper must be clearly
indicated. A regular submission must not exceed 10 single-column pages
using at least 11 point font on letter paper (excluding cover page and
references). Authors are expected to include all the ideas necessary for
an expert to verify the central claims in the paper. If necessary, the
details may appear in a clearly marked appendix, which will be read at
the discretion of the program committee.
A brief announcement submission must not exceed 3 pages in the same
format. It is permissible for the material in brief announcements to be
published in other conferences. Submissions not conforming to these
rules and papers outside of the scope of the conference will be rejected
without consideration. If requested by the authors on the cover page, a
regular submission that is not selected for a regular presentation can
be considered for the brief announcement format. Such a request will not
affect consideration of the paper for a regular presentation.
Publication
-----------
The proceedings will be published as a volume in the ARCoSS Springer
Lecture Notes in Computer Science series. Camera-ready versions of
accepted papers must be submitted in the LNCS format.
Awards
------
Awards will be given to the best paper and the best student paper. To be
eligible for the best student paper award at least one of the paper
authors must be a full-time student at the time of submission, and the
student(s) must have made a significant contribution to the paper.
------------------------------
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 75, Issue 3
*************************************
dmanet Digest, Vol 75, Issue 2
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. BPCAS 2014: Business Processes in Collective Adaptive Systems
(Deadline: June 1) (Lavygina, Anna)
2. DINWC2014:: Czech Republic
(The International Conference on Digital Information, Networking, and Wireless Communications (DINWC2014))
3. PPDP 2014: 2nd Call for Papers (Jacob Johannsen)
4. Special Issue of Springer CASM on Interdependent Networks:
Deadline June, 14 (Muaz Niazi)
5. 1st CFP : Operational Research Practice in Africa Conference
2015 (Serigne Gueye)
----------------------------------------------------------------------
Message: 1
Date: Fri, 2 May 2014 10:58:16 +0000
From: "Lavygina, Anna" <a.lavygina@imperial.ac.uk>
To: "dmanet@zpr.uni-koeln.de" <dmanet@zpr.uni-koeln.de>
Subject: [DMANET] BPCAS 2014: Business Processes in Collective
Adaptive Systems (Deadline: June 1)
Message-ID: <C1A1DDE6-A3AD-4489-9A34-AD5C3BA6270B@imperial.ac.uk>
Content-Type: text/plain; charset="Windows-1252"
[ Apologies for multiple copies. Please forward to interested colleagues. ]
CALL FOR PAPERS
Business Processes in Collective Adaptive Systems
(BPCAS 2014)
September 8, 2014, Haifa, Israel
In conjunction with the 12th International Conference on Business Process Management (BPM 2014)
Submission deadline: 1 June 2014
http://www.bpcas.org
ABOUT THE WORKSHOP
BPCAS is a new workshop focusing on all topics related to Collective Adaptive Systems (CAS). It aims to provide a high-quality forum for the presentation of developments in CASs and for bringing together researchers and practitioners from diverse disciplines interested in CASs both within the business process community and outside. The latter are particularly welcome to submit to the workshop.
Topics of interest include:
* business process modeling for CAS
* collective configuration of business processes in CAS
* context/knowledge-aware business processes in CAS
* adaptation and evolution in CAS
* formal methods for CAS
* distribution and mobility in CAS
* big data in CAS
* process similarity and emergent properties of CAS
* security and privacy in CAS
* machine learning and data mining techniques for CAS
* optimization of CAS
* frameworks, tools and programming paradigms for CAS
* usability aspects of CAS
* case studies and scenarios
Accepted papers will be published by Springer as a post-workshop proceedings volume in the series Lecture Notes in Business Information Processing (LNBIP). In addition authors of the best papers will be invited to submit a revised and extended version of their paper to a special issue of the IET Software journal. The workshop is sponsored by the EU?s Fundamentals of Collective Adaptive Systems programme initiative (http://focas.eu/about-focas/).
IMPORTANT DATES
Submission deadline: June 1, 2014
Author notification: July 1, 2014
Camera-ready submission: July 23, 2014
Workshop date: September 8, 2014
KEYNOTE SPEAKER
Manfred Reichert, Universit?t Ulm, Germany
WORKSHOP ORGANISATION
Organisers
Antonio Bucchiarone, Fondazione Bruno Kessler, Italy
Naranker Dulay, Imperial College London, UK
Dimka Karastoyanova, University of Stuttgart, Germany
Anna Lavygina, Imperial College London, UK
Adnan Tariq, University of Stuttgart, Germany
Program Committee
Vasilios Andrikopoulos, University of Stuttgart, Germany
Salima Benbernou, Universit? Paris Descartes, France
Marina Bitsaki, University of Crete, Greece
Alexei Lapouchnian, University of Toronto, Canada
Kim Larsen, Aalborg University, Denmark
Lior Limonad, IBM Haifa, Israel
Christos Nikolaou, University of Crete, Greece
Francisco Pereira, SMART-MIT, Singapore
Marco Pistore, Fondazione Bruno Kessler, Italy
Manfred Reichert, Universit?t Ulm, Germany
Kurt Rothermel, University of Stuttgart, Germany
Alessandra Russo, Imperial College, UK
Nikola Serbedija, Fraunhofer FIRST, Germany
Pnino Soffer, University of Haifa, Israel
Arnon Sturm, Ben-Gurion University of the Negev, Israel
Yury Tsoy, Institut Pasteur Korea, South Korea
Ingo Weber, NICTA, Australia
PAPER SUBMISSION DETAILS
We invite submissions in two forms: full papers and position papers. Submitted papers must be written in English, should not have been submitted for review or published elsewhere, and should not exceed 12 pages for full papers, and 6 pages for position papers (including figures, bibliography and appendices).
Submissions are only accepted in PDF format via the EasyChair system (https://www.easychair.org/conferences/?conf=bpcas2014). Submissions should be formatted according to the LNBIP format specified by Springer.
At least one author of each accepted paper is required to present the paper at the workshop.
CONTACT
For further information contact Anna Lavygina (a.lavygina@imperial.ac.uk)
------------------------------
Message: 2
Date: Fri, 2 May 2014 19:04:35 +0400
From: "The International Conference on Digital Information,
Networking, and Wireless Communications (DINWC2014)" <din@sdiwc.net>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] DINWC2014:: Czech Republic
Message-ID: <13b980506418ab4d5f45367f094c96a5.squirrel@sdiwc.net>
Content-Type: text/plain;charset=iso-8859-1
CALL FOR PAPERS SUBMISSION
+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+
The International Conference on Digital Information, Networking and
Wireless Communications (DINWC2014)
VSB-Technical University of Ostrava, Czech Republic
June 24-26, 2014
http://sdiwc.net/conferences/2014/dinwc2014
+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+
Important Dates:
+-+-+-+-+-+-+-+-+
Submission Deadline : May 25, 2014
Notification of Acceptance: June 05, 2014
Camera Ready Submission : June 14, 2014
Registration : June 14, 2014, however, it is recommended to
do it few days before
Conference Dates : June 24-26, 2014
------------------------------
Message: 3
Date: Fri, 2 May 2014 22:02:48 +0200
From: Jacob Johannsen <cnn@cs.au.dk>
To: <dmanet@zpr.uni-koeln.de>
Subject: [DMANET] PPDP 2014: 2nd Call for Papers
Message-ID: <5363F9E8.8090207@cs.au.dk>
Content-Type: text/plain; charset="ISO-8859-1"; format=flowed
======================================================================
2nd Call for papers
16th International Symposium on
Principles and Practice of Declarative Programming
PPDP 2014
Canterbury, Kent, September 8-10, 2014
(co-located with LOPSTR 2014)
http://users-cs.au.dk/danvy/ppdp14/
======================================================================
SUBMISSION DEADLINE: 15 MAY, 2014
PPDP 2014 is a forum that brings together researchers from the
declaratrive programming communities, including those working in the
logic, constraint and functional programming paradigms, but also
embracing languages, database languages, and knowledge representation
languages. The goal is to stimulate research in the use of logical
formalisms and methods for specifying, performing, and analyzing
computations, including mechanisms for mobility, modularity,
concurrency, object-orientation, security, verification and static
analysis. Papers related to the use of declarative paradigms and tools
in industry and education are especially solicited. Topics of interest
include, but are not limited to
* Functional programming
* Logic programming
* Answer-set programming
* Functional-logic programming
* Declarative visual languages
* Constraint Handling Rules
* Parallel implementation and concurrency
* Monads, type classes and dependent type systems
* Declarative domain-specific languages
* Termination, resource analysis and the verification of declarative
programs
* Transformation and partial evaluation of declarative languages
* Language extensions for security and tabulation
* Probabilistic modeling in a declarative language and modeling reactivity
* Memory management and the implementation of declarative systems
* Practical experiences and industrial application
This year the conference will be co-located with the 24th
International Symposium on Logic-Based Program Synthesis and
Transformation (LOPSTR 2014).
The conference will be held in Canterbury, UK. Previous symposia were
held at Madrid (Spain), Leuven (Belgium), Odense (Denmark), Hagenberg
(Austria), Coimbra (Portugal), Valencia (Spain), Wroclaw (Poland),
Venice (Italy), Lisboa (Portugal), Verona (Italy), Uppsala (Sweden),
Pittsburgh (USA), Florence (Italy), Montreal (Canada), and Paris
(France). You might have a look at the contents of past PPDP symposia.
Papers must describe original work, be written and presented in
English, and must not substantially overlap with papers that have been
published or that are simultaneously submitted to a journal,
conference, or workshop with refereed proceedings. Work that already
appeared in unpublished or informally published workshop proceedings
may be submitted (please contact the PC chair in case of
questions). The proceedings will be published in the ACM Digital
Library.
After the symposium, a selection of the best papers will be invited to
extend their submissions in the light of the feedback solicited at the
symposium. The papers are expected to include at least 30% extra
material over and above the PPDP version. Then, after another round of
reviewing, these revised papers will be published in a journal.
Important Dates
Abstract Submission: 12 May, 2014
Paper submission: 15 May, 2014
Notification: 30 June, 2014
Camera-ready: To be announced
Symposium: 8-10 September, 2014
Invites for journal publication: To be announced
Submission of journal version: To be announced
Notification: To be announced
Camera-ready version: To be announced
Authors should submit an electronic copy of the full paper in
PDF. Papers should be submitted to the submission website for PPDP
2014. Each submission must include on its first page the paper title;
authors and their affiliations; abstract; and three to four
keywords. The keywords will be used to assist the program committee in
selecting appropriate reviewers for the paper. Papers should consist
of the equivalent of 12 pages under the ACM formatting
guidelines. These guidelines are available online, along with
formatting templates or style files. Submitted papers will be judged
on the basis of significance, relevance, correctness, originality, and
clarity. They should include a clear identification of what has been
accomplished and why it is significant. Authors who wish to provide
additional material to the reviewers beyond the 12-page limit can do
so in clearly marked appendices: reviewers are not required to read
such appendices.
Program Committee
Michael Adams University of Illinois at Urbana-Champaign, USA
Elvira Albert Complutense University of Madrid, Spain
Dariusz Biernacki University of Wroclaw, Poland
Bernd Brassel Recordbay, Germany
Mike Codish Ben-Gurion University of the Negev, Israel
Olivier Danvy (chair) Aarhus University, Denmark
Marc Denecker KU Leuven, Belgium
Joshua Dunfield Max Planck Institute for Software Systems, Germany
Zoe Drey ENSTA Bretagne/Lab-STICC, France
Thibaut Feydy NICTA, Australia
Danko Ilik Inria, France
Yukiyoshi Kameyama University of Tsukuba, Japan
Chantal Keller Microsoft Research -- Inria Joint Centre
Temur Kutsia RISC, Johannes Kepler University Linz, Austria
Dan Licata Wesleyan University, USA
Akimasa Morihata University of Tokyo, Japan
Matthias Puech McGill University, Canada
Tiark Rompf Oracle Labs and EPFL, Switzerland
Kristoffer H. Rose Two Sigma Labs, New York, USA
Ilya Sergey IMDEA Software Institute, Spain
Ralf Treinen University Paris-Diderot, France
Frank D. Valencia CNRS and LIX, Ecole Polytechnique, France
Program Chair
Olivier Danvy
Department of Computer Science
Aarhus University
Aabogade 34
DK-8200 Aarhus N, Denmark
Email: danvy@cs.au.dk
Symposium Chairs:
Andy King
School of Computing
University of Kent
Canterbury, Kent, CT2 7NF
United Kingdom
Email: A.M.King@kent.ac.uk
Olaf Chitil
School of Computing
University of Kent
Canterbury, Kent, CT2 7NF
United Kingdom
Email: O.Chitil@kent.ac.uk
Publicity Chair:
Jacob Johannsen
Department of Computer Science
Aarhus University
Aabogade 34
DK-8200 Aarhus N, Denmark
Email: cnn@cs.au.dk
------------------------------
Message: 4
Date: Sat, 3 May 2014 11:00:10 +0500
From: "Muaz Niazi" <thhgttg@gmail.com>
To: <dmanet@zpr.uni-koeln.de>
Subject: [DMANET] Special Issue of Springer CASM on Interdependent
Networks: Deadline June, 14
Message-ID: <015201cf6694$f3aa7020$daff5060$@gmail.com>
Content-Type: text/plain; charset="us-ascii"
<Apologies if you receive multiple postings>
Topic:
Interdependent Networks: Structure, Dynamics and Evolution
Not only are our interactions limited and thus best described not by
well-mixed models but rather by models entailing networks, it is also a fact
that these networks are often interconnected and indeed very much
interdependent. From the World economy to Google Circles, it is clear that
processes taking place in one network might affect what is happening in many
other networks. Within an interdependent system, each type of interaction
has certain relevance or meaning, so that treating all the links identically
inevitably leads to information loss. Interdependent or multiplex networks
are therefore a much better description of such systems, and this Special
Issue is devoted to their structure, dynamics and evolution, as well as to
the study of emergent properties in multi-layered systems in general. Topics
of interest include but are not limited to the spread of epidemics and
information, synchronization, diffusion, random walks, collective behavior
and evolutionary games on interdependent networks.
Deadline for submissions: June 30, 2014
http://www.casmodeling.com/sites/10349/pdf/A01900_DF_SO_CFP_CASModelling_web
.pdf
Springer Complex Adaptive Systems Modeling
http://www.casmodeling.com/
Waiver of Article Charges
If you have no funds to cover the Article Processing Charge (APC) and would
like to apply for a waiver of the APC, you may contact the Editor-in-Chief.
Lead guest editor:
Matjaz Perc, University of Maribor
matjaz.perc@gmail.com
Kind regards,
Muaz Niazi
Email: muaz.niazi@ieee.org, niazi@alum.bu.edu
Alternate: muaz.niazi@gmail.com
------------------------------
Message: 5
Date: Sun, 04 May 2014 00:29:31 +0200
From: Serigne Gueye <serigne.gueye@univ-avignon.fr>
To: DMANET@zpr.uni-koeln.de
Subject: [DMANET] 1st CFP : Operational Research Practice in Africa
Conference 2015
Message-ID: <53656DCB.7080008@univ-avignon.fr>
Content-Type: text/plain; charset=ISO-8859-1; format=flowed
First Call For Papers
*ORPA'2015 : Operational Research Practice in Africa Conference 2015*
*University of Sciences and Technology Houari Boumedienne (USTHB), in
Algiers (Algeria), April 20-22, 2015*
We are pleased to give a notice of the above OR conference scheduled for
Algiers in April 2015, at the University of Sciences and Technology
Houari Boumedienne. ORPA'2015 follows on from a series of meetings
started in 2005. The conference is intended to bring academics to
discuss and present recent developments in our field, and OR
applications. A non-exhaustive list of Applied topics are : OR in
Transport and Logistic, Urban Transport Network Design, Public
Transportation Studies, Traffic Control, Multimodal Freight Network
Design, OR in Water Resources Management, Management and Control of
Delivery Water Resource, OR in Energy and Environment Management,
Renewable Energy System, Optimization in Sustainable Development, OR in
Natural Resources Management, Operational Research Models in the
Management of Agricultural Resources, Operational Research Models in the
Management of Forestry Resources, etc. These applications are
fundamentally based on theoretical OR and Optimization topics also in
the scope of the conference. A non-exhasutive list of such topics are :
Integer Programming (linear, quadratic, non-linear), Multicriteria
Optimization, Global Optimization, Stochastic Programming, Scheduling,
Facility Location Problems, etc. We also invite submissions covering
other topics related to OR for development as well as OR applications in
government and industry.
All details of the meeting are available on the conference web site :
http://orpa2015.sciencesconf.org/
*Key dates* :
October 5, 2014 : Deadline for submission of extended abstracts
January 20, 2015 : Deadline for early registration
February 20, 2015 : Deadline for conference registration
*Organizing Committee (USTHB)* :
Mohamed El-Amine CHERGUI : President
Hac?ne BELBACHIR
Mourad BOUDHAR
Fay?al HAMDI
Abdelkrim A?T ZA?
Amina HANED
Wafaa LABBI
Karim AMROUCHE
Brahim BENMEDJDOUB
Nawel KAHOUL
Abdelhak MEZGHICHE
Mohamed Amine BOUTICHE
Mohamed YAGOUNI
*Program Committee* :
Hac?ne BELBACHIR, Professeur, RECITS, USTHB
Mourad BOUDHAR, Professeur, RECITS, USTHB
Jean-Charles BILLAUT, Professeur, LI, Universit? de Tours
James COCHRAN, Research Professor, Louisiana Tech University
Mohamed el-Amine CHERGUI, Assistant Professor, RECITS, USTHB
Serigne GUEYE, Assistant Professor, LIA, UAPV
Fay?al HAMDI, Assistant Professor, RECITS, USTHB
Hans ITTMAN, HWI Consulting, South Africa
Miloud MIHOUBI, Assistant Professor, RECITS, USTHB
Djenat SEDDIKI-MERAD, Assistant Professor, RECITS, USTHB
Ourida SADKI, Assistant Professor, RECITS, USTHB
Ridha MAHJOUB, Professor, LAMSADE, University of Paris-Dauphine
Celso RIBEIRO, Professor, Universidade Federal Fluminense
Th?o STEWART, Professor, University of Capetown
Mozart MENEZES, Associate Professor, University of Calgary
Philippe MICHELON, Professor, LIA, University of Avignon
Babacar M. NDIAYE, Assistant Professor, University Cheikh Anta Diop of
Dakar
Jacques TEGHEM, Professor, Mons University
Claude YUGMA, Assistant Professor, Ecole des Mines de Saint-Etienne
*Contacts* :
orpa2015@sciencesconf.org
mchergui@usthb.dz
------------------------------
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 75, Issue 2
*************************************
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. BPCAS 2014: Business Processes in Collective Adaptive Systems
(Deadline: June 1) (Lavygina, Anna)
2. DINWC2014:: Czech Republic
(The International Conference on Digital Information, Networking, and Wireless Communications (DINWC2014))
3. PPDP 2014: 2nd Call for Papers (Jacob Johannsen)
4. Special Issue of Springer CASM on Interdependent Networks:
Deadline June, 14 (Muaz Niazi)
5. 1st CFP : Operational Research Practice in Africa Conference
2015 (Serigne Gueye)
----------------------------------------------------------------------
Message: 1
Date: Fri, 2 May 2014 10:58:16 +0000
From: "Lavygina, Anna" <a.lavygina@imperial.ac.uk>
To: "dmanet@zpr.uni-koeln.de" <dmanet@zpr.uni-koeln.de>
Subject: [DMANET] BPCAS 2014: Business Processes in Collective
Adaptive Systems (Deadline: June 1)
Message-ID: <C1A1DDE6-A3AD-4489-9A34-AD5C3BA6270B@imperial.ac.uk>
Content-Type: text/plain; charset="Windows-1252"
[ Apologies for multiple copies. Please forward to interested colleagues. ]
CALL FOR PAPERS
Business Processes in Collective Adaptive Systems
(BPCAS 2014)
September 8, 2014, Haifa, Israel
In conjunction with the 12th International Conference on Business Process Management (BPM 2014)
Submission deadline: 1 June 2014
http://www.bpcas.org
ABOUT THE WORKSHOP
BPCAS is a new workshop focusing on all topics related to Collective Adaptive Systems (CAS). It aims to provide a high-quality forum for the presentation of developments in CASs and for bringing together researchers and practitioners from diverse disciplines interested in CASs both within the business process community and outside. The latter are particularly welcome to submit to the workshop.
Topics of interest include:
* business process modeling for CAS
* collective configuration of business processes in CAS
* context/knowledge-aware business processes in CAS
* adaptation and evolution in CAS
* formal methods for CAS
* distribution and mobility in CAS
* big data in CAS
* process similarity and emergent properties of CAS
* security and privacy in CAS
* machine learning and data mining techniques for CAS
* optimization of CAS
* frameworks, tools and programming paradigms for CAS
* usability aspects of CAS
* case studies and scenarios
Accepted papers will be published by Springer as a post-workshop proceedings volume in the series Lecture Notes in Business Information Processing (LNBIP). In addition authors of the best papers will be invited to submit a revised and extended version of their paper to a special issue of the IET Software journal. The workshop is sponsored by the EU?s Fundamentals of Collective Adaptive Systems programme initiative (http://focas.eu/about-focas/).
IMPORTANT DATES
Submission deadline: June 1, 2014
Author notification: July 1, 2014
Camera-ready submission: July 23, 2014
Workshop date: September 8, 2014
KEYNOTE SPEAKER
Manfred Reichert, Universit?t Ulm, Germany
WORKSHOP ORGANISATION
Organisers
Antonio Bucchiarone, Fondazione Bruno Kessler, Italy
Naranker Dulay, Imperial College London, UK
Dimka Karastoyanova, University of Stuttgart, Germany
Anna Lavygina, Imperial College London, UK
Adnan Tariq, University of Stuttgart, Germany
Program Committee
Vasilios Andrikopoulos, University of Stuttgart, Germany
Salima Benbernou, Universit? Paris Descartes, France
Marina Bitsaki, University of Crete, Greece
Alexei Lapouchnian, University of Toronto, Canada
Kim Larsen, Aalborg University, Denmark
Lior Limonad, IBM Haifa, Israel
Christos Nikolaou, University of Crete, Greece
Francisco Pereira, SMART-MIT, Singapore
Marco Pistore, Fondazione Bruno Kessler, Italy
Manfred Reichert, Universit?t Ulm, Germany
Kurt Rothermel, University of Stuttgart, Germany
Alessandra Russo, Imperial College, UK
Nikola Serbedija, Fraunhofer FIRST, Germany
Pnino Soffer, University of Haifa, Israel
Arnon Sturm, Ben-Gurion University of the Negev, Israel
Yury Tsoy, Institut Pasteur Korea, South Korea
Ingo Weber, NICTA, Australia
PAPER SUBMISSION DETAILS
We invite submissions in two forms: full papers and position papers. Submitted papers must be written in English, should not have been submitted for review or published elsewhere, and should not exceed 12 pages for full papers, and 6 pages for position papers (including figures, bibliography and appendices).
Submissions are only accepted in PDF format via the EasyChair system (https://www.easychair.org/conferences/?conf=bpcas2014). Submissions should be formatted according to the LNBIP format specified by Springer.
At least one author of each accepted paper is required to present the paper at the workshop.
CONTACT
For further information contact Anna Lavygina (a.lavygina@imperial.ac.uk)
------------------------------
Message: 2
Date: Fri, 2 May 2014 19:04:35 +0400
From: "The International Conference on Digital Information,
Networking, and Wireless Communications (DINWC2014)" <din@sdiwc.net>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] DINWC2014:: Czech Republic
Message-ID: <13b980506418ab4d5f45367f094c96a5.squirrel@sdiwc.net>
Content-Type: text/plain;charset=iso-8859-1
CALL FOR PAPERS SUBMISSION
+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+
The International Conference on Digital Information, Networking and
Wireless Communications (DINWC2014)
VSB-Technical University of Ostrava, Czech Republic
June 24-26, 2014
http://sdiwc.net/conferences/2014/dinwc2014
+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+
Important Dates:
+-+-+-+-+-+-+-+-+
Submission Deadline : May 25, 2014
Notification of Acceptance: June 05, 2014
Camera Ready Submission : June 14, 2014
Registration : June 14, 2014, however, it is recommended to
do it few days before
Conference Dates : June 24-26, 2014
------------------------------
Message: 3
Date: Fri, 2 May 2014 22:02:48 +0200
From: Jacob Johannsen <cnn@cs.au.dk>
To: <dmanet@zpr.uni-koeln.de>
Subject: [DMANET] PPDP 2014: 2nd Call for Papers
Message-ID: <5363F9E8.8090207@cs.au.dk>
Content-Type: text/plain; charset="ISO-8859-1"; format=flowed
======================================================================
2nd Call for papers
16th International Symposium on
Principles and Practice of Declarative Programming
PPDP 2014
Canterbury, Kent, September 8-10, 2014
(co-located with LOPSTR 2014)
http://users-cs.au.dk/danvy/ppdp14/
======================================================================
SUBMISSION DEADLINE: 15 MAY, 2014
PPDP 2014 is a forum that brings together researchers from the
declaratrive programming communities, including those working in the
logic, constraint and functional programming paradigms, but also
embracing languages, database languages, and knowledge representation
languages. The goal is to stimulate research in the use of logical
formalisms and methods for specifying, performing, and analyzing
computations, including mechanisms for mobility, modularity,
concurrency, object-orientation, security, verification and static
analysis. Papers related to the use of declarative paradigms and tools
in industry and education are especially solicited. Topics of interest
include, but are not limited to
* Functional programming
* Logic programming
* Answer-set programming
* Functional-logic programming
* Declarative visual languages
* Constraint Handling Rules
* Parallel implementation and concurrency
* Monads, type classes and dependent type systems
* Declarative domain-specific languages
* Termination, resource analysis and the verification of declarative
programs
* Transformation and partial evaluation of declarative languages
* Language extensions for security and tabulation
* Probabilistic modeling in a declarative language and modeling reactivity
* Memory management and the implementation of declarative systems
* Practical experiences and industrial application
This year the conference will be co-located with the 24th
International Symposium on Logic-Based Program Synthesis and
Transformation (LOPSTR 2014).
The conference will be held in Canterbury, UK. Previous symposia were
held at Madrid (Spain), Leuven (Belgium), Odense (Denmark), Hagenberg
(Austria), Coimbra (Portugal), Valencia (Spain), Wroclaw (Poland),
Venice (Italy), Lisboa (Portugal), Verona (Italy), Uppsala (Sweden),
Pittsburgh (USA), Florence (Italy), Montreal (Canada), and Paris
(France). You might have a look at the contents of past PPDP symposia.
Papers must describe original work, be written and presented in
English, and must not substantially overlap with papers that have been
published or that are simultaneously submitted to a journal,
conference, or workshop with refereed proceedings. Work that already
appeared in unpublished or informally published workshop proceedings
may be submitted (please contact the PC chair in case of
questions). The proceedings will be published in the ACM Digital
Library.
After the symposium, a selection of the best papers will be invited to
extend their submissions in the light of the feedback solicited at the
symposium. The papers are expected to include at least 30% extra
material over and above the PPDP version. Then, after another round of
reviewing, these revised papers will be published in a journal.
Important Dates
Abstract Submission: 12 May, 2014
Paper submission: 15 May, 2014
Notification: 30 June, 2014
Camera-ready: To be announced
Symposium: 8-10 September, 2014
Invites for journal publication: To be announced
Submission of journal version: To be announced
Notification: To be announced
Camera-ready version: To be announced
Authors should submit an electronic copy of the full paper in
PDF. Papers should be submitted to the submission website for PPDP
2014. Each submission must include on its first page the paper title;
authors and their affiliations; abstract; and three to four
keywords. The keywords will be used to assist the program committee in
selecting appropriate reviewers for the paper. Papers should consist
of the equivalent of 12 pages under the ACM formatting
guidelines. These guidelines are available online, along with
formatting templates or style files. Submitted papers will be judged
on the basis of significance, relevance, correctness, originality, and
clarity. They should include a clear identification of what has been
accomplished and why it is significant. Authors who wish to provide
additional material to the reviewers beyond the 12-page limit can do
so in clearly marked appendices: reviewers are not required to read
such appendices.
Program Committee
Michael Adams University of Illinois at Urbana-Champaign, USA
Elvira Albert Complutense University of Madrid, Spain
Dariusz Biernacki University of Wroclaw, Poland
Bernd Brassel Recordbay, Germany
Mike Codish Ben-Gurion University of the Negev, Israel
Olivier Danvy (chair) Aarhus University, Denmark
Marc Denecker KU Leuven, Belgium
Joshua Dunfield Max Planck Institute for Software Systems, Germany
Zoe Drey ENSTA Bretagne/Lab-STICC, France
Thibaut Feydy NICTA, Australia
Danko Ilik Inria, France
Yukiyoshi Kameyama University of Tsukuba, Japan
Chantal Keller Microsoft Research -- Inria Joint Centre
Temur Kutsia RISC, Johannes Kepler University Linz, Austria
Dan Licata Wesleyan University, USA
Akimasa Morihata University of Tokyo, Japan
Matthias Puech McGill University, Canada
Tiark Rompf Oracle Labs and EPFL, Switzerland
Kristoffer H. Rose Two Sigma Labs, New York, USA
Ilya Sergey IMDEA Software Institute, Spain
Ralf Treinen University Paris-Diderot, France
Frank D. Valencia CNRS and LIX, Ecole Polytechnique, France
Program Chair
Olivier Danvy
Department of Computer Science
Aarhus University
Aabogade 34
DK-8200 Aarhus N, Denmark
Email: danvy@cs.au.dk
Symposium Chairs:
Andy King
School of Computing
University of Kent
Canterbury, Kent, CT2 7NF
United Kingdom
Email: A.M.King@kent.ac.uk
Olaf Chitil
School of Computing
University of Kent
Canterbury, Kent, CT2 7NF
United Kingdom
Email: O.Chitil@kent.ac.uk
Publicity Chair:
Jacob Johannsen
Department of Computer Science
Aarhus University
Aabogade 34
DK-8200 Aarhus N, Denmark
Email: cnn@cs.au.dk
------------------------------
Message: 4
Date: Sat, 3 May 2014 11:00:10 +0500
From: "Muaz Niazi" <thhgttg@gmail.com>
To: <dmanet@zpr.uni-koeln.de>
Subject: [DMANET] Special Issue of Springer CASM on Interdependent
Networks: Deadline June, 14
Message-ID: <015201cf6694$f3aa7020$daff5060$@gmail.com>
Content-Type: text/plain; charset="us-ascii"
<Apologies if you receive multiple postings>
Topic:
Interdependent Networks: Structure, Dynamics and Evolution
Not only are our interactions limited and thus best described not by
well-mixed models but rather by models entailing networks, it is also a fact
that these networks are often interconnected and indeed very much
interdependent. From the World economy to Google Circles, it is clear that
processes taking place in one network might affect what is happening in many
other networks. Within an interdependent system, each type of interaction
has certain relevance or meaning, so that treating all the links identically
inevitably leads to information loss. Interdependent or multiplex networks
are therefore a much better description of such systems, and this Special
Issue is devoted to their structure, dynamics and evolution, as well as to
the study of emergent properties in multi-layered systems in general. Topics
of interest include but are not limited to the spread of epidemics and
information, synchronization, diffusion, random walks, collective behavior
and evolutionary games on interdependent networks.
Deadline for submissions: June 30, 2014
http://www.casmodeling.com/sites/10349/pdf/A01900_DF_SO_CFP_CASModelling_web
Springer Complex Adaptive Systems Modeling
http://www.casmodeling.com/
Waiver of Article Charges
If you have no funds to cover the Article Processing Charge (APC) and would
like to apply for a waiver of the APC, you may contact the Editor-in-Chief.
Lead guest editor:
Matjaz Perc, University of Maribor
matjaz.perc@gmail.com
Kind regards,
Muaz Niazi
Email: muaz.niazi@ieee.org, niazi@alum.bu.edu
Alternate: muaz.niazi@gmail.com
------------------------------
Message: 5
Date: Sun, 04 May 2014 00:29:31 +0200
From: Serigne Gueye <serigne.gueye@univ-avignon.fr>
To: DMANET@zpr.uni-koeln.de
Subject: [DMANET] 1st CFP : Operational Research Practice in Africa
Conference 2015
Message-ID: <53656DCB.7080008@univ-avignon.fr>
Content-Type: text/plain; charset=ISO-8859-1; format=flowed
First Call For Papers
*ORPA'2015 : Operational Research Practice in Africa Conference 2015*
*University of Sciences and Technology Houari Boumedienne (USTHB), in
Algiers (Algeria), April 20-22, 2015*
We are pleased to give a notice of the above OR conference scheduled for
Algiers in April 2015, at the University of Sciences and Technology
Houari Boumedienne. ORPA'2015 follows on from a series of meetings
started in 2005. The conference is intended to bring academics to
discuss and present recent developments in our field, and OR
applications. A non-exhaustive list of Applied topics are : OR in
Transport and Logistic, Urban Transport Network Design, Public
Transportation Studies, Traffic Control, Multimodal Freight Network
Design, OR in Water Resources Management, Management and Control of
Delivery Water Resource, OR in Energy and Environment Management,
Renewable Energy System, Optimization in Sustainable Development, OR in
Natural Resources Management, Operational Research Models in the
Management of Agricultural Resources, Operational Research Models in the
Management of Forestry Resources, etc. These applications are
fundamentally based on theoretical OR and Optimization topics also in
the scope of the conference. A non-exhasutive list of such topics are :
Integer Programming (linear, quadratic, non-linear), Multicriteria
Optimization, Global Optimization, Stochastic Programming, Scheduling,
Facility Location Problems, etc. We also invite submissions covering
other topics related to OR for development as well as OR applications in
government and industry.
All details of the meeting are available on the conference web site :
http://orpa2015.sciencesconf.org/
*Key dates* :
October 5, 2014 : Deadline for submission of extended abstracts
January 20, 2015 : Deadline for early registration
February 20, 2015 : Deadline for conference registration
*Organizing Committee (USTHB)* :
Mohamed El-Amine CHERGUI : President
Hac?ne BELBACHIR
Mourad BOUDHAR
Fay?al HAMDI
Abdelkrim A?T ZA?
Amina HANED
Wafaa LABBI
Karim AMROUCHE
Brahim BENMEDJDOUB
Nawel KAHOUL
Abdelhak MEZGHICHE
Mohamed Amine BOUTICHE
Mohamed YAGOUNI
*Program Committee* :
Hac?ne BELBACHIR, Professeur, RECITS, USTHB
Mourad BOUDHAR, Professeur, RECITS, USTHB
Jean-Charles BILLAUT, Professeur, LI, Universit? de Tours
James COCHRAN, Research Professor, Louisiana Tech University
Mohamed el-Amine CHERGUI, Assistant Professor, RECITS, USTHB
Serigne GUEYE, Assistant Professor, LIA, UAPV
Fay?al HAMDI, Assistant Professor, RECITS, USTHB
Hans ITTMAN, HWI Consulting, South Africa
Miloud MIHOUBI, Assistant Professor, RECITS, USTHB
Djenat SEDDIKI-MERAD, Assistant Professor, RECITS, USTHB
Ourida SADKI, Assistant Professor, RECITS, USTHB
Ridha MAHJOUB, Professor, LAMSADE, University of Paris-Dauphine
Celso RIBEIRO, Professor, Universidade Federal Fluminense
Th?o STEWART, Professor, University of Capetown
Mozart MENEZES, Associate Professor, University of Calgary
Philippe MICHELON, Professor, LIA, University of Avignon
Babacar M. NDIAYE, Assistant Professor, University Cheikh Anta Diop of
Dakar
Jacques TEGHEM, Professor, Mons University
Claude YUGMA, Assistant Professor, Ecole des Mines de Saint-Etienne
*Contacts* :
orpa2015@sciencesconf.org
mchergui@usthb.dz
------------------------------
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 75, Issue 2
*************************************
Friday, May 2, 2014
dmanet Digest, Vol 75, Issue 1
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. Don't miss the ACM PODC Workshop on Software-Defined
Networking (Stefan Schmid)
2. Post doctoral researcher in network analysis and modelling,
University of Reading, UK (Danica Vukadinovic Greetham)
3. 1st Greifswald Phylogenetics Meeting (Mareike Fischer)
4. Engineering, Doctoral and Post-Doctoral positions in Bordeaux
(Francois Vanderbeck)
5. Full professor opening at Warwick (Dan Kral)
6. CLAIO Monterrey 2014: Abstract extended deadline (Roger Z Rios)
7. Post-Doctorate position in Operations Research / Discrete
Optimization (Igor Averbakh)
----------------------------------------------------------------------
Message: 1
Date: Wed, 30 Apr 2014 05:54:13 -0400
From: "Stefan Schmid" <stefan@net.t-labs.tu-berlin.de>
To: <dmanet@zpr.uni-koeln.de>
Subject: [DMANET] Don't miss the ACM PODC Workshop on Software-Defined
Networking
Message-ID: <068a01cf645a$254225c0$6fc67140$@net.t-labs.tu-berlin.de>
Content-Type: text/plain; charset="iso-8859-1"
CALL FOR CONTRIBUTIONS:
PODC Workshop on Distributed Software-Defined Networks (DSDN)
http://www.podc.org/podc2014/dsdn14/
July 15, 2014
Paris, France
NEWS
-????????? Confirmed Invited Speakers: Nate Foster (Cornell University,
USA), Marco Canini (UC Louvain, Belgium), Yehuda Afek (TAU, Israel)
OVERVIEW
The Workshop on Distributed Software-Defined Networks (DSDN) is a forum to
discuss new algorithmic and distributed computing challenges offered by the
emerging field of
Software Defined Networking (SDN). SDN abstracts the cumbersome task of
computer network management to a distinct control plane with a standard
programming interface.
Distributed implementations of the control plane give rise to new and
interesting concurrency scenarios to be addressed by the distributed
computing community.
DETAILS
The workshop is going to take place on 15 July in Paris, France, co-located
with PODC 2014.
The program will combine peer-reviewed presentations (around 30min) with
invited talks (between 30 and 60 min), both from researchers in the field of
distributed
computing as well as from researchers in the field of networking. As such,
the goal of the DSDN workshop is to provide a forum where the distributed
computing and
networking communities can meet and learn from their respective fields.
SUBMISSIONS
Submissions (in PDF) are done by email to
petr.kuznetsov@telecom-paristech.fr and stefan.schmid@tu-berlin.de, and
should briefly (in 1-2 pages)? describe the content of
the presentation. The abstracts will appear on the DSDN website, but will
not be included in the PODC proceedings.
The presentations can report on and summarize previous work, present early
new results or put forward new and outrageous ideas.
SCHEDULE
? Submission deadline: May 30, 2014
? Notification: June 10, 2014
------------------------------
Message: 2
Date: Wed, 30 Apr 2014 13:47:08 +0100
From: Danica Vukadinovic Greetham <vukadin@gmail.com>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] Post doctoral researcher in network analysis and
modelling, University of Reading, UK
Message-ID:
<CABQaw=ZbDkRDv7DU9o2G2nbA-CfDAbBAdvB6Lzb6oBoJZJjVDg@mail.gmail.com>
Content-Type: text/plain; charset=ISO-8859-1
As a part of EPSRC funded Horizon Hub, we have a 9 months fixed term
position for a post-doctoral researcher in social network analysis and
modelling. The position is based in the Centre for the mathematics of
human behaviour (CMoHB, https://www.reading.ac.uk/cmohb/ ), Department
of Mathematics and Statistics, University of Reading and will be
focused on analysis and modelling of dynamics and mood on social
networks, based on two small human studies and a large online social
network dataset.
Deadline for applications: May 22, 2014.
Contact information
-----------------------
For further inquiries please contact:
Dr. Danica Greetham (d.v.greetham@reading.ac.uk)
For more information about this vacancy please check
http://www.jobs.ac.uk/job/AIQ564/post-doctoral-research-assistant-in-social-network-analysis-and-modelling/
------------------------------
Message: 3
Date: Wed, 30 Apr 2014 14:40:01 +0200
From: Mareike Fischer <email@mareikefischer.de>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] 1st Greifswald Phylogenetics Meeting
Message-ID: <69F28A1E-33E0-43F5-A8BD-4EE8C39B8C20@mareikefischer.de>
Content-Type: text/plain; charset=iso-8859-1
Attention! Only few slots still available! Due to various requests, even though the deadline for registration and abstract submission has already passed, we will fill additional slots on a first-come, first-serve basis. So if you are interested to attend our meeting or if you know someone who might be, please spread the word!!!
I herewith want to announce the 1st Greifswald Phylogenetics Meeting,
which will be held in Greifswald (north eastern Germany) from the 14th
till the 16th of July 2014.
Registration is now open and the deadline (both for registration as well as for abstract submission) has been postponed due to various requests. There are still a few free slots, so please register asap!
Our conference poster can be found here: http://stubber.math-inf.uni-greifswald.de/~spillner/gpm-2014/poster-gpm-2014.pdf Feel free to print it and forward it to anybody who might be interested! For more details, please visit the conference website:
http://stubber.math-inf.uni-greifswald.de/~spillner/gpm-2014/gpm-2014.html
This meeting will have a particular focus on mathematical (e.g. graph
theoretical, combinatorial, probabilistic and algebraic) aspects of
evolutionary tree or network reconstruction, but it will also bring
together scientists from different disciplines in order to provide the
opportunity of close collaboration.
Scope:
Phylogenetics is an interdisciplinary research area that aims at
reconstructing the evolutionary history of biological systems such
as, for example, collections of species, populations or groups of
bio-molecules. To achieve this, biologists work closely together with
mathematicians and computer scientists. The conference will provide
researchers from all three involved disciplines an opportunity to present
their recent work and exchange ideas.
Location: Greifswald is a beautiful little town located directly at
the Baltic Sea in close proximity to the famous islands R?gen and
Usedom. Greifswald university was founded in 1496 and has therefore a
long tradition and history. Being a former Hanse town, Greifswald is
famous for its historic market square, its cathedral and the museum
harbor. Other famous towns like Stralsund with the Oceaneum or the
world cultural heritage city of Wismar are nearby, as well as the
city of Rostock with its newly established Darwineum. The region is a
holiday region but not too crowded by tourists. In July the weather is
most likely to be great and we hope that if you can come to our meeting,
you will find the time to stay longer and enjoy this unique area. There
is a direct and regular train connection to and from Berlin, and the
nearest international airports are Hamburg and Berlin.
Please note that the meeting starts early on the 14th with one of our
highlight talks and ends in the evening of the 16th with another highlight
talk - so if possible, please plan your stay from the 13th till the 17th
of July.
The registration fee is 150 Euros (100 Euros for students).
Organizers: Mareike Fischer, Andreas Spillner, Martin Haase
Invited speakers: Olaf Bininda-Emonds, Mike Steel, Vince Moulton, Allen Rodrigo
For more details, visit our website
http://stubber.math-inf.uni-greifswald.de/~spillner/gpm-2014/gpm-2014.html
or contact Mareike Fischer: email@mareikefischer.de
Mareike Fischer <email@mareikefischer.de>
------------------------------
Message: 4
Date: Wed, 30 Apr 2014 16:26:00 +0200
From: Francois Vanderbeck <fv@math.u-bordeaux1.fr>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] Engineering, Doctoral and Post-Doctoral positions in
Bordeaux
Message-ID: <1999B154-D3E4-41D9-8592-4818761343A9@math.u-bordeaux1.fr>
Content-Type: text/plain; charset=us-ascii
RealOpt is a joint team between INRIA and the University of Bordeaux, doing research in mathematical optimization with a focus on decomposition and extended formulation approaches. Current academic and industrial projects concern large scale planning problems, accounting for stochastic events, and online re-optimization. Partners include both large groups (EDF, Saint-Gobain, Thales) and local firms (Exeo, Ertus). To contribute to these projects, the team is recruiting on Engineering, Doctoral and Post-Doctoral positions.
Please forward this announcement to any potential candidates (French or English speaking), with a strong background in mathematical programming methods and numerical validation, inviting them to contact us for further details.
Francois Vanderbeck
fv@math.u-bordeaux1.fr
Institut of Mathematics (IMB), University of Bordeaux
Team ReAlOpt, INRIA-Bordeaux-Sud-Ouest
https://realopt.bordeaux.inria.fr
------------------------------
Message: 5
Date: Wed, 30 Apr 2014 17:48:32 +0100
From: Dan Kral <D.Kral@warwick.ac.uk>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] Full professor opening at Warwick
Message-ID:
<CAO6OfREKHAJXaoM=E4cKAktGuMtN_WO3xwerrmQD89BeSzjcTw@mail.gmail.com>
Content-Type: text/plain; charset=UTF-8
Dear colleagues,
I would like to draw your attention to a full professor opening at the
Department of Computer Science of the University of Warwick. The call
is open for candidates from all areas of computer science including
those related to theoretical computer science and discrete
mathematics, which fall in the research areas of the university
interdisciplinary Centre for Discrete Mathematics and its Applications
(DIMAP). Further details can be found via the following link:
http://www2.warwick.ac.uk/fac/sci/dcs/news/?newsItem=094d434545460b4f0145711f55fa5d18
Best regards,
Dan Kral
------------------------------
Message: 6
Date: Thu, 1 May 2014 06:53:02 -0500 (CDT)
From: Roger Z Rios <rzrm@yalma.fime.uanl.mx>
To: DMANET <DMANET@zpr.uni-koeln.de>
Subject: [DMANET] CLAIO Monterrey 2014: Abstract extended deadline
Message-ID: <Pine.GSO.4.60.1405010652270.20282@yalma.fime.uanl.mx>
Content-Type: TEXT/PLAIN; charset=US-ASCII; format=flowed
***
*** The only-abstract submission deadline is extended to 15 May 2014
***
=================================================
CLAIO XVII / CSMIO III
Joint ALIO/SMIO Conference
Monterrey, Mexico
6-10 October 2014
http://pisis.fime.uanl.mx/claio2014/
=================================================
CALL FOR PAPERS
We invite members of the Latin-Iberian-American Association of
Operations Research (ALIO) and the worldwide Operational
Research (OR) community to take part in the
XVII Latin-Iberian-American Conference on Operations Research
held jointly with the III Conference of the Mexican Society of
Operations Research (CLAIO/CSMIO 2014) in Monterrey, Mexico,
October 6-10, 2014. The academic program will consist of parallel,
technical, plenary talks, tutorials, and short courses,
covering several aspects of OR.
ABSTRACT SUBMISSION
To participate, an abstract of 1000 characters must be submitted.
Abstracts may be written in Spanish, English, or
Portuguese, the three official languages of CLAIO.
All accepted abstracts will be published in
the conference book of abstracts.
A post-conference special issue of "Annals of Operations Research"
devoted to the best works of the conference will be published.
See details in the conference web site.
IMPORTANT DATES
15/Mar/2014 (Optional) Paper submission deadline (CLOSED).
15/May/2014 Abstract-only submission deadline (extended).
01/Jun/2014 Paper acceptance/rejection notification.
15/Jun/2014 Abstract acceptance/rejection notification.
15/Jun/2014 Camera-ready paper deadline.
31/Jul/2014 Early registration deadline
CONFIRMED PLENARY SPEAKERS
Carlos Coello Coello, CINVESTAV-IPN, Mexico
Elena Fernandez, Universitat Politecnica de Catalunya, Spain
Hector Cancela, Universidad de La Republica, Uruguay
Jonathan F. Bard, U. of Texas at Austin, USA
Sheldon M. Ross, U. of Southern California, USA
CONFIRMED TUTORIAL SPEAKERS
Andres Weintraub, Universidad de Chile, Chile
Ignacio Grossmann, Carnegie-Mellon University, USA
Jose Holguin-Veras, Rensselaer Polytechnic Institute, USA
Paolo Toth, University of Bologna, Italy
Ruben Ruiz, Universitat Politecnica de Valencia, Spain
CONFIRMED MINI COURSE SPEAKERS
Angelica Lozano, UNAM
Cristina Gigola, ITAM
Eduardo Fernandez, UAS
Idalia Flores, UNAM
Juan A. Diaz, UDLA
COMMITTEES
Conference Chairs:
Jose Luis Gonzalez-Velarde (Tecnologico de Monterrey)
and Roger Z. Rios (UANL)
Program Committee:
Chair - Manuel Laguna (U. of Colorado, USA)
Adenso Diaz (Universidad de Oviedo, Spain)
Andres Medaglia (Universidad de los Andes, Colombia)
Andres Weintraub (Universidad de Chile, Chile)
Belen Melian (Universidad de La Laguna, Spain)
Carlos Andres Romano (Universitat Politecnica de Valencia, Spain)
Carlos Paternina (Universidad del Norte, Colombia)
Debora Ronconi (Universidade de Sao Paulo, Brazil)
Francisco R. Angel-Bello (Tecnologico de Monterrey, Mexico)
Francisco Saldanha-da-Gama (Universidad de Lisboa, Portugal)
Geraldo Robson Mateus (Universidade Federal de Minas Gerais, Brazil) Gladys
Maquera (Universidad Peruana Unin, Peru)
Gregorio Tirado (Universidad Complutense de Madrid, Spain)
Gulnara Baldoqun (Pontificia Universidad Javeriana, Colombia)
Irene Loiseau (Universidad de Buenos Aires, Argentina)
Joaquin Pacheco (Universidad de Burgos, Spain)
Jose Hernandez (Universidad Metropolitana de Caracas, Venezuela)
Lorena Pradenas (Universidad de Concepcion, Chile)
Luis Miguel Torres (Escuela Politecnica Nacional, Ecuador)
Maria Alvarez Rivas (Universidad Nacional Mayor de San Marcos, Peru)
Marita Urquhart (Universidad de La Republica, Uruguay)
Nelson Maculan (Universidad Federal de Rio de Janeiro, Brazil)
Onesimo Hernandez (CINVESTAV-IPN, Mexico)
Pablo Miranda (Pontificia Universidad Catolica de Valparaso, Chile)
Regina Berretta (University of Newcastle, Australia)
Vincent Boyer (UANL, Mexico)
Organizing Committee: Ada Alvarez (UANL), Angelica Salazar (UANL),
Fernando Camacho (UANL), Iris Martinez (UANL), Maricarmen Temblador
(Tecnologico de Monterrey), Romeo Sanchez (UANL), Tomas Sanchez
(Tecnologico de Monterrey), Yajaira Cardona (Tecnologico de Monterrey),
Yasmin Rios (UANL)
See you in Monterrey!!!!
------------------------------
Message: 7
Date: Thu, 1 May 2014 18:16:59 -0700 (PDT)
From: Igor Averbakh <averbakh@utsc.utoronto.ca>
To: "DMANET@zpr.uni-koeln.de" <DMANET@zpr.uni-koeln.de>
Subject: [DMANET] Post-Doctorate position in Operations Research /
Discrete Optimization
Message-ID:
<1398993419.77543.YahooMailNeo@web160603.mail.bf1.yahoo.com>
Content-Type: text/plain; charset=iso-8859-1
POST-DOCTORAL FELLOWSHIP
IN OPERATIONS RESEARCH / DISCRETE OPTIMIZATION
Applications are invited for a Post-Doctoral position at the University of Toronto. The broad area of research is Operations Research with possible focus areas in Discrete Optimization, Scheduling, Network Optimization, Facility Location, or Stochastic Modeling. However, strong applicants in all areas of Operations Research will be considered. The applicants should be within 5 years (or close to completion) of their Ph.D. in Operations Research / Management, Computer Science, Applied Mathematics, or a related field.
??? The initial contract will be for 6-12 months, with a possibility of extensions for up to 2 years. To apply, send a C.V. and a sample of recent research (papers, preprints, etc.) electronically to professor Igor Averbakh at averbakh@utsc.utoronto.ca
------------------------------
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 75, Issue 1
*************************************
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. Don't miss the ACM PODC Workshop on Software-Defined
Networking (Stefan Schmid)
2. Post doctoral researcher in network analysis and modelling,
University of Reading, UK (Danica Vukadinovic Greetham)
3. 1st Greifswald Phylogenetics Meeting (Mareike Fischer)
4. Engineering, Doctoral and Post-Doctoral positions in Bordeaux
(Francois Vanderbeck)
5. Full professor opening at Warwick (Dan Kral)
6. CLAIO Monterrey 2014: Abstract extended deadline (Roger Z Rios)
7. Post-Doctorate position in Operations Research / Discrete
Optimization (Igor Averbakh)
----------------------------------------------------------------------
Message: 1
Date: Wed, 30 Apr 2014 05:54:13 -0400
From: "Stefan Schmid" <stefan@net.t-labs.tu-berlin.de>
To: <dmanet@zpr.uni-koeln.de>
Subject: [DMANET] Don't miss the ACM PODC Workshop on Software-Defined
Networking
Message-ID: <068a01cf645a$254225c0$6fc67140$@net.t-labs.tu-berlin.de>
Content-Type: text/plain; charset="iso-8859-1"
CALL FOR CONTRIBUTIONS:
PODC Workshop on Distributed Software-Defined Networks (DSDN)
http://www.podc.org/podc2014/dsdn14/
July 15, 2014
Paris, France
NEWS
-????????? Confirmed Invited Speakers: Nate Foster (Cornell University,
USA), Marco Canini (UC Louvain, Belgium), Yehuda Afek (TAU, Israel)
OVERVIEW
The Workshop on Distributed Software-Defined Networks (DSDN) is a forum to
discuss new algorithmic and distributed computing challenges offered by the
emerging field of
Software Defined Networking (SDN). SDN abstracts the cumbersome task of
computer network management to a distinct control plane with a standard
programming interface.
Distributed implementations of the control plane give rise to new and
interesting concurrency scenarios to be addressed by the distributed
computing community.
DETAILS
The workshop is going to take place on 15 July in Paris, France, co-located
with PODC 2014.
The program will combine peer-reviewed presentations (around 30min) with
invited talks (between 30 and 60 min), both from researchers in the field of
distributed
computing as well as from researchers in the field of networking. As such,
the goal of the DSDN workshop is to provide a forum where the distributed
computing and
networking communities can meet and learn from their respective fields.
SUBMISSIONS
Submissions (in PDF) are done by email to
petr.kuznetsov@telecom-paristech.fr and stefan.schmid@tu-berlin.de, and
should briefly (in 1-2 pages)? describe the content of
the presentation. The abstracts will appear on the DSDN website, but will
not be included in the PODC proceedings.
The presentations can report on and summarize previous work, present early
new results or put forward new and outrageous ideas.
SCHEDULE
? Submission deadline: May 30, 2014
? Notification: June 10, 2014
------------------------------
Message: 2
Date: Wed, 30 Apr 2014 13:47:08 +0100
From: Danica Vukadinovic Greetham <vukadin@gmail.com>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] Post doctoral researcher in network analysis and
modelling, University of Reading, UK
Message-ID:
<CABQaw=ZbDkRDv7DU9o2G2nbA-CfDAbBAdvB6Lzb6oBoJZJjVDg@mail.gmail.com>
Content-Type: text/plain; charset=ISO-8859-1
As a part of EPSRC funded Horizon Hub, we have a 9 months fixed term
position for a post-doctoral researcher in social network analysis and
modelling. The position is based in the Centre for the mathematics of
human behaviour (CMoHB, https://www.reading.ac.uk/cmohb/ ), Department
of Mathematics and Statistics, University of Reading and will be
focused on analysis and modelling of dynamics and mood on social
networks, based on two small human studies and a large online social
network dataset.
Deadline for applications: May 22, 2014.
Contact information
-----------------------
For further inquiries please contact:
Dr. Danica Greetham (d.v.greetham@reading.ac.uk)
For more information about this vacancy please check
http://www.jobs.ac.uk/job/AIQ564/post-doctoral-research-assistant-in-social-network-analysis-and-modelling/
------------------------------
Message: 3
Date: Wed, 30 Apr 2014 14:40:01 +0200
From: Mareike Fischer <email@mareikefischer.de>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] 1st Greifswald Phylogenetics Meeting
Message-ID: <69F28A1E-33E0-43F5-A8BD-4EE8C39B8C20@mareikefischer.de>
Content-Type: text/plain; charset=iso-8859-1
Attention! Only few slots still available! Due to various requests, even though the deadline for registration and abstract submission has already passed, we will fill additional slots on a first-come, first-serve basis. So if you are interested to attend our meeting or if you know someone who might be, please spread the word!!!
I herewith want to announce the 1st Greifswald Phylogenetics Meeting,
which will be held in Greifswald (north eastern Germany) from the 14th
till the 16th of July 2014.
Registration is now open and the deadline (both for registration as well as for abstract submission) has been postponed due to various requests. There are still a few free slots, so please register asap!
Our conference poster can be found here: http://stubber.math-inf.uni-greifswald.de/~spillner/gpm-2014/poster-gpm-2014.pdf Feel free to print it and forward it to anybody who might be interested! For more details, please visit the conference website:
http://stubber.math-inf.uni-greifswald.de/~spillner/gpm-2014/gpm-2014.html
This meeting will have a particular focus on mathematical (e.g. graph
theoretical, combinatorial, probabilistic and algebraic) aspects of
evolutionary tree or network reconstruction, but it will also bring
together scientists from different disciplines in order to provide the
opportunity of close collaboration.
Scope:
Phylogenetics is an interdisciplinary research area that aims at
reconstructing the evolutionary history of biological systems such
as, for example, collections of species, populations or groups of
bio-molecules. To achieve this, biologists work closely together with
mathematicians and computer scientists. The conference will provide
researchers from all three involved disciplines an opportunity to present
their recent work and exchange ideas.
Location: Greifswald is a beautiful little town located directly at
the Baltic Sea in close proximity to the famous islands R?gen and
Usedom. Greifswald university was founded in 1496 and has therefore a
long tradition and history. Being a former Hanse town, Greifswald is
famous for its historic market square, its cathedral and the museum
harbor. Other famous towns like Stralsund with the Oceaneum or the
world cultural heritage city of Wismar are nearby, as well as the
city of Rostock with its newly established Darwineum. The region is a
holiday region but not too crowded by tourists. In July the weather is
most likely to be great and we hope that if you can come to our meeting,
you will find the time to stay longer and enjoy this unique area. There
is a direct and regular train connection to and from Berlin, and the
nearest international airports are Hamburg and Berlin.
Please note that the meeting starts early on the 14th with one of our
highlight talks and ends in the evening of the 16th with another highlight
talk - so if possible, please plan your stay from the 13th till the 17th
of July.
The registration fee is 150 Euros (100 Euros for students).
Organizers: Mareike Fischer, Andreas Spillner, Martin Haase
Invited speakers: Olaf Bininda-Emonds, Mike Steel, Vince Moulton, Allen Rodrigo
For more details, visit our website
http://stubber.math-inf.uni-greifswald.de/~spillner/gpm-2014/gpm-2014.html
or contact Mareike Fischer: email@mareikefischer.de
Mareike Fischer <email@mareikefischer.de>
------------------------------
Message: 4
Date: Wed, 30 Apr 2014 16:26:00 +0200
From: Francois Vanderbeck <fv@math.u-bordeaux1.fr>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] Engineering, Doctoral and Post-Doctoral positions in
Bordeaux
Message-ID: <1999B154-D3E4-41D9-8592-4818761343A9@math.u-bordeaux1.fr>
Content-Type: text/plain; charset=us-ascii
RealOpt is a joint team between INRIA and the University of Bordeaux, doing research in mathematical optimization with a focus on decomposition and extended formulation approaches. Current academic and industrial projects concern large scale planning problems, accounting for stochastic events, and online re-optimization. Partners include both large groups (EDF, Saint-Gobain, Thales) and local firms (Exeo, Ertus). To contribute to these projects, the team is recruiting on Engineering, Doctoral and Post-Doctoral positions.
Please forward this announcement to any potential candidates (French or English speaking), with a strong background in mathematical programming methods and numerical validation, inviting them to contact us for further details.
Francois Vanderbeck
fv@math.u-bordeaux1.fr
Institut of Mathematics (IMB), University of Bordeaux
Team ReAlOpt, INRIA-Bordeaux-Sud-Ouest
https://realopt.bordeaux.inria.fr
------------------------------
Message: 5
Date: Wed, 30 Apr 2014 17:48:32 +0100
From: Dan Kral <D.Kral@warwick.ac.uk>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] Full professor opening at Warwick
Message-ID:
<CAO6OfREKHAJXaoM=E4cKAktGuMtN_WO3xwerrmQD89BeSzjcTw@mail.gmail.com>
Content-Type: text/plain; charset=UTF-8
Dear colleagues,
I would like to draw your attention to a full professor opening at the
Department of Computer Science of the University of Warwick. The call
is open for candidates from all areas of computer science including
those related to theoretical computer science and discrete
mathematics, which fall in the research areas of the university
interdisciplinary Centre for Discrete Mathematics and its Applications
(DIMAP). Further details can be found via the following link:
http://www2.warwick.ac.uk/fac/sci/dcs/news/?newsItem=094d434545460b4f0145711f55fa5d18
Best regards,
Dan Kral
------------------------------
Message: 6
Date: Thu, 1 May 2014 06:53:02 -0500 (CDT)
From: Roger Z Rios <rzrm@yalma.fime.uanl.mx>
To: DMANET <DMANET@zpr.uni-koeln.de>
Subject: [DMANET] CLAIO Monterrey 2014: Abstract extended deadline
Message-ID: <Pine.GSO.4.60.1405010652270.20282@yalma.fime.uanl.mx>
Content-Type: TEXT/PLAIN; charset=US-ASCII; format=flowed
***
*** The only-abstract submission deadline is extended to 15 May 2014
***
=================================================
CLAIO XVII / CSMIO III
Joint ALIO/SMIO Conference
Monterrey, Mexico
6-10 October 2014
http://pisis.fime.uanl.mx/claio2014/
=================================================
CALL FOR PAPERS
We invite members of the Latin-Iberian-American Association of
Operations Research (ALIO) and the worldwide Operational
Research (OR) community to take part in the
XVII Latin-Iberian-American Conference on Operations Research
held jointly with the III Conference of the Mexican Society of
Operations Research (CLAIO/CSMIO 2014) in Monterrey, Mexico,
October 6-10, 2014. The academic program will consist of parallel,
technical, plenary talks, tutorials, and short courses,
covering several aspects of OR.
ABSTRACT SUBMISSION
To participate, an abstract of 1000 characters must be submitted.
Abstracts may be written in Spanish, English, or
Portuguese, the three official languages of CLAIO.
All accepted abstracts will be published in
the conference book of abstracts.
A post-conference special issue of "Annals of Operations Research"
devoted to the best works of the conference will be published.
See details in the conference web site.
IMPORTANT DATES
15/Mar/2014 (Optional) Paper submission deadline (CLOSED).
15/May/2014 Abstract-only submission deadline (extended).
01/Jun/2014 Paper acceptance/rejection notification.
15/Jun/2014 Abstract acceptance/rejection notification.
15/Jun/2014 Camera-ready paper deadline.
31/Jul/2014 Early registration deadline
CONFIRMED PLENARY SPEAKERS
Carlos Coello Coello, CINVESTAV-IPN, Mexico
Elena Fernandez, Universitat Politecnica de Catalunya, Spain
Hector Cancela, Universidad de La Republica, Uruguay
Jonathan F. Bard, U. of Texas at Austin, USA
Sheldon M. Ross, U. of Southern California, USA
CONFIRMED TUTORIAL SPEAKERS
Andres Weintraub, Universidad de Chile, Chile
Ignacio Grossmann, Carnegie-Mellon University, USA
Jose Holguin-Veras, Rensselaer Polytechnic Institute, USA
Paolo Toth, University of Bologna, Italy
Ruben Ruiz, Universitat Politecnica de Valencia, Spain
CONFIRMED MINI COURSE SPEAKERS
Angelica Lozano, UNAM
Cristina Gigola, ITAM
Eduardo Fernandez, UAS
Idalia Flores, UNAM
Juan A. Diaz, UDLA
COMMITTEES
Conference Chairs:
Jose Luis Gonzalez-Velarde (Tecnologico de Monterrey)
and Roger Z. Rios (UANL)
Program Committee:
Chair - Manuel Laguna (U. of Colorado, USA)
Adenso Diaz (Universidad de Oviedo, Spain)
Andres Medaglia (Universidad de los Andes, Colombia)
Andres Weintraub (Universidad de Chile, Chile)
Belen Melian (Universidad de La Laguna, Spain)
Carlos Andres Romano (Universitat Politecnica de Valencia, Spain)
Carlos Paternina (Universidad del Norte, Colombia)
Debora Ronconi (Universidade de Sao Paulo, Brazil)
Francisco R. Angel-Bello (Tecnologico de Monterrey, Mexico)
Francisco Saldanha-da-Gama (Universidad de Lisboa, Portugal)
Geraldo Robson Mateus (Universidade Federal de Minas Gerais, Brazil) Gladys
Maquera (Universidad Peruana Unin, Peru)
Gregorio Tirado (Universidad Complutense de Madrid, Spain)
Gulnara Baldoqun (Pontificia Universidad Javeriana, Colombia)
Irene Loiseau (Universidad de Buenos Aires, Argentina)
Joaquin Pacheco (Universidad de Burgos, Spain)
Jose Hernandez (Universidad Metropolitana de Caracas, Venezuela)
Lorena Pradenas (Universidad de Concepcion, Chile)
Luis Miguel Torres (Escuela Politecnica Nacional, Ecuador)
Maria Alvarez Rivas (Universidad Nacional Mayor de San Marcos, Peru)
Marita Urquhart (Universidad de La Republica, Uruguay)
Nelson Maculan (Universidad Federal de Rio de Janeiro, Brazil)
Onesimo Hernandez (CINVESTAV-IPN, Mexico)
Pablo Miranda (Pontificia Universidad Catolica de Valparaso, Chile)
Regina Berretta (University of Newcastle, Australia)
Vincent Boyer (UANL, Mexico)
Organizing Committee: Ada Alvarez (UANL), Angelica Salazar (UANL),
Fernando Camacho (UANL), Iris Martinez (UANL), Maricarmen Temblador
(Tecnologico de Monterrey), Romeo Sanchez (UANL), Tomas Sanchez
(Tecnologico de Monterrey), Yajaira Cardona (Tecnologico de Monterrey),
Yasmin Rios (UANL)
See you in Monterrey!!!!
------------------------------
Message: 7
Date: Thu, 1 May 2014 18:16:59 -0700 (PDT)
From: Igor Averbakh <averbakh@utsc.utoronto.ca>
To: "DMANET@zpr.uni-koeln.de" <DMANET@zpr.uni-koeln.de>
Subject: [DMANET] Post-Doctorate position in Operations Research /
Discrete Optimization
Message-ID:
<1398993419.77543.YahooMailNeo@web160603.mail.bf1.yahoo.com>
Content-Type: text/plain; charset=iso-8859-1
POST-DOCTORAL FELLOWSHIP
IN OPERATIONS RESEARCH / DISCRETE OPTIMIZATION
Applications are invited for a Post-Doctoral position at the University of Toronto. The broad area of research is Operations Research with possible focus areas in Discrete Optimization, Scheduling, Network Optimization, Facility Location, or Stochastic Modeling. However, strong applicants in all areas of Operations Research will be considered. The applicants should be within 5 years (or close to completion) of their Ph.D. in Operations Research / Management, Computer Science, Applied Mathematics, or a related field.
??? The initial contract will be for 6-12 months, with a possibility of extensions for up to 2 years. To apply, send a C.V. and a sample of recent research (papers, preprints, etc.) electronically to professor Igor Averbakh at averbakh@utsc.utoronto.ca
------------------------------
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 75, Issue 1
*************************************
Wednesday, April 30, 2014
dmanet Digest, Vol 74, Issue 30
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. CFP: ALGOSENSORS 2014 - 10th Int. Symposium on Algorithms and
Experiments for Sensor Systems, Wireless Networks and Distributed
Robotics (Constantinos Marios Angelopoulos)
2. PhD position (E13 TV-G-U) at Goethe University Frankfurt
(Amin Coja-Oghlan)
----------------------------------------------------------------------
Message: 1
Date: Tue, 29 Apr 2014 22:34:26 +0200
From: Constantinos Marios Angelopoulos <aggeloko@ceid.upatras.gr>
To: Dmanet <dmanet@zpr.uni-koeln.de>
Subject: [DMANET] CFP: ALGOSENSORS 2014 - 10th Int. Symposium on
Algorithms and Experiments for Sensor Systems, Wireless Networks and
Distributed Robotics
Message-ID: <9dd226d90e4662f7821bceccd37d777f@ceid.upatras.gr>
Content-Type: text/plain; charset=UTF-8; format=flowed
--Apologies for cross-postings--
CALL FOR PAPERS
ALGOSENSORS 2014
10th International Symposium on Algorithms and Experiments for Sensor
Systems, Wireless Networks and Distributed Robotics
September 11-12, 2014, Wroc?aw, Poland; to be held in conjunction with
ALGO/ESA 2014
https://sites.google.com/site/algosensors2014/
SCOPE AND TOPICS: The ALGOSENSORS symposium aims to bring together
research contributions related to diverse algorithmic aspects of sensor
networks, wireless networks as well as distributed robotics, both from a
theoretical and an experimental perspective. Starting from 2013 we have
a new track on wireless networks and distributed robotics.
This year ALGOSENSORS has three tracks:
- Sensor Network Algorithms
- Wireless Networks and Distributed Robotics
- Experiments
Each paper will be initially submitted to a single track. But all papers
will be handled by the the same program committee. The program committee
will make sure that papers are reviewed by the PC members in the
expertise area.
Topics include, but are not limited to:
Computational Models
Complexity and Computability
Approximation/Randomized Algorithms
Communication Protocols
Deployment, Topology Control
Infrastructure Discovery
Routing, Data Propagation
Data Aggregation, Data Fusion
Localization
Tracking
Energy Management
Power Saving Schemes
Resource Efficiency
Game Theoretic Aspects
Fault Tolerance, Dependability
Self-stabilization, Self-* Properties
Error/Erasure Correcting Codes
Cryptography, Security and Trust
Mobile Sensor Networks
Autonomous Mobile Robots
Sensor-Actuator Networks
Dynamic Networks
Swarm Computing
Pattern Formation
Obstacle Avoidance
Algorithms for RFID
Performance Evaluation
Systems and Testbeds
Experimental Analysis
Medium Access Control
Time Synchronization
Virtual Infrastructures
Cyber Physical Systems
PROGRAM COMMITTEE
Jie Gao, Stony Brook University, USA (General chair)
Alon Efrat, University of Arizona, USA (Track co-chair, Sensor Networks
Algorithms)
Sandor Fekete, University of Technology, Braunschweig, Germany (Track
co-chair, Wireless Networks and Distributed Robotics)
Yanyong Zhang, Rutgers University, USA (Track co-chair, Experiments)
Algorithms Track
Chris Gniady, University of Arizona, USA
Guy Grebla, Columbia University, USA
Loukas Lazos, University of Arizona, USA
Miao Jin, University of Louisiana, USA
Thienne Johnson, University of Arizona, USA
Valentin Polishchuk, Link?ping University, Sweden
Andrea Richa, Arizona State University, USA
Rik Sarkar, University of Edinburgh, UK
Michael Segal, Ben-Gurion University of the Negev, Israel
Guoliang Xue, Arizona State University, USA
Robotics Track
Aaron Becker, Harvard University, USA
Thomas Erlebach, University of Leicester, UK
Michael Hemmer, TU Braunschweig, Germany
Alejandro L?pez-Ortiz, University of Waterloo, Canada
James McLurkin, Rice University, USA
Friedhelm Meyer auf der Heide, University of Paderborn, Germany
Joe Mitchell, Stony Brook University, USA
Nicola Santoro, Carleton University, Canada
Christiane Schmidt, TU Braunschweig, Germany
Jukka Suomela, Aalto University, Finland
Systems Track
James Gross, KTH, Sweden
Yuan He, Tsinghua University, P.R.China
Tommaso Melodia, University of Buffalo, USA
Hui Pan, Hong Kong University of Science and Technology, Hong Kong
Dario Pompili, Rutgers University, USA
Aaron Striegel, University of Notre Dame, USA
Niki Trigoni, Univ. of Oxford, UK
Guiling Wang, New Jersey Institute of Technology, USA
Kai Xing, University of Science and Technology of China, P.R. China
Rong Zheng, McMaster University, Canada
Marco Zuniga, TU Delft, Netherlands
STEERING COMMITTEE
Josep Diaz, U.P. Catalunya
Magnus M. Halldorsson, Reykjavik U., Iceland
Bhaskar Krishnamachari, U. of Southern California, USA
P.R. Kumar, Texas A&M U., USA
Sotiris Nikoletseas, U. of Patras and CTI, Greece (Chair)
Jose Rolim, U. of Geneva
Paul Spirakis, U. of Patras and CTI, Greece
Adam Wolisz, T.U. Berlin, Germany
IMPORTANT DATES:
Paper submission: June 14, 2014
Notification: July 14, 2014
Camera-ready for pre-proceedings: August 10, 2014
Symposium: September 11-12, 2014
PROCEEDINGS:
Accepted papers will be published in full text in hardcopy
post-proceedings, in the Lecture Notes in Computer Science (LNCS) Series
of Springer Verlag.
TCS JOURNAL SPECIAL ISSUE: As in previous years, selected high-quality
papers will be considered for publication in a Special Issue of the
Theoretical Computer Science (TCS) Journal.
HOW TO SUBMIT: Full papers are to be submitted electronically using the
EasyChair server.
Original research papers must contain results that have not previously
appeared and have not been concurrently submitted to a journal or
conference with published proceedings. Each paper should select a track
to submit to. Since there can be a lot of overlap of the three tracks,
the selection of a track is a suggestion and all papers will be handled
by the single PC to ensure that each paper is handled by PC members of
the expertise area. Authors need to ensure that for each accepted paper
at least one author will register and attend the symposium. Submissions
are limited to twelve (12) single-column pages on letter/A4-size paper
(using at least 11 point font, 1 inch margins, standard line spacing,
preferably formatted in the LNCS style). This includes figures, but
excludes references and an optional appendix (to be read at the program
committee's discretion).
--
Constantinos Marios Angelopoulos, Ph.D.
University of Geneva
Centre Universitaire d'Informatique
Battelle Bat. A, 7 rte de Drize
CH-1227 Carouge - Switzerland
Phone: (+41)0223790121
Skype: aggeloko
WEB: http://tcs.unige.ch/doku.php/user/angelopo
------------------------------
Message: 2
Date: Wed, 30 Apr 2014 09:08:21 +0200
From: Amin Coja-Oghlan <coja-oghlan@mathematik.uni-frankfurt.de>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] PhD position (E13 TV-G-U) at Goethe University
Frankfurt
Message-ID:
<A4FE9C95-E259-46B6-B724-0F837E42BF59@mathematik.uni-frankfurt.de>
Content-Type: text/plain; charset=windows-1252
Applications are invited for a PHD position in discrete mathemathics (3 years). Starting date is 01.10.2014 at the Institute of Mathematics of Goethe University Frankfurt, Germany.
The applicant (m/w) will be based in the group of Amin Coja-Oghlan / Yury Person. The research will be conducted in some of the following areas:
? extremal and probabilistic combinatorics
? Ramsey theory
? random graphs
The position comes with a teaching load of 4 hours/week. Applicants are required to have very good German language skills. The applicant will help advising bachelor/master theses and might be involved in some administrative tasks (such as workshop organization, writing scientific reports/proposals).
Applicants should have an excellent degree in mathematics, computer science or in a related discipline (diploma or master's degree), with advanced knowledge of discrete mathematics and/or probabiltity theory. Applications should include a detailed CV, a list of courses and grades and a copy of master thesis.
Prospective candidates should send their applications by 27.05.2014 to Prof. Dr. Amin Coja-Oghlan, acoghlan@math.uni-frankfurt.de.
For futher details and the official announcement see https://www2.uni-frankfurt.de/48794916/fb12
------------------------------
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 74, Issue 30
**************************************
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. CFP: ALGOSENSORS 2014 - 10th Int. Symposium on Algorithms and
Experiments for Sensor Systems, Wireless Networks and Distributed
Robotics (Constantinos Marios Angelopoulos)
2. PhD position (E13 TV-G-U) at Goethe University Frankfurt
(Amin Coja-Oghlan)
----------------------------------------------------------------------
Message: 1
Date: Tue, 29 Apr 2014 22:34:26 +0200
From: Constantinos Marios Angelopoulos <aggeloko@ceid.upatras.gr>
To: Dmanet <dmanet@zpr.uni-koeln.de>
Subject: [DMANET] CFP: ALGOSENSORS 2014 - 10th Int. Symposium on
Algorithms and Experiments for Sensor Systems, Wireless Networks and
Distributed Robotics
Message-ID: <9dd226d90e4662f7821bceccd37d777f@ceid.upatras.gr>
Content-Type: text/plain; charset=UTF-8; format=flowed
--Apologies for cross-postings--
CALL FOR PAPERS
ALGOSENSORS 2014
10th International Symposium on Algorithms and Experiments for Sensor
Systems, Wireless Networks and Distributed Robotics
September 11-12, 2014, Wroc?aw, Poland; to be held in conjunction with
ALGO/ESA 2014
https://sites.google.com/site/algosensors2014/
SCOPE AND TOPICS: The ALGOSENSORS symposium aims to bring together
research contributions related to diverse algorithmic aspects of sensor
networks, wireless networks as well as distributed robotics, both from a
theoretical and an experimental perspective. Starting from 2013 we have
a new track on wireless networks and distributed robotics.
This year ALGOSENSORS has three tracks:
- Sensor Network Algorithms
- Wireless Networks and Distributed Robotics
- Experiments
Each paper will be initially submitted to a single track. But all papers
will be handled by the the same program committee. The program committee
will make sure that papers are reviewed by the PC members in the
expertise area.
Topics include, but are not limited to:
Computational Models
Complexity and Computability
Approximation/Randomized Algorithms
Communication Protocols
Deployment, Topology Control
Infrastructure Discovery
Routing, Data Propagation
Data Aggregation, Data Fusion
Localization
Tracking
Energy Management
Power Saving Schemes
Resource Efficiency
Game Theoretic Aspects
Fault Tolerance, Dependability
Self-stabilization, Self-* Properties
Error/Erasure Correcting Codes
Cryptography, Security and Trust
Mobile Sensor Networks
Autonomous Mobile Robots
Sensor-Actuator Networks
Dynamic Networks
Swarm Computing
Pattern Formation
Obstacle Avoidance
Algorithms for RFID
Performance Evaluation
Systems and Testbeds
Experimental Analysis
Medium Access Control
Time Synchronization
Virtual Infrastructures
Cyber Physical Systems
PROGRAM COMMITTEE
Jie Gao, Stony Brook University, USA (General chair)
Alon Efrat, University of Arizona, USA (Track co-chair, Sensor Networks
Algorithms)
Sandor Fekete, University of Technology, Braunschweig, Germany (Track
co-chair, Wireless Networks and Distributed Robotics)
Yanyong Zhang, Rutgers University, USA (Track co-chair, Experiments)
Algorithms Track
Chris Gniady, University of Arizona, USA
Guy Grebla, Columbia University, USA
Loukas Lazos, University of Arizona, USA
Miao Jin, University of Louisiana, USA
Thienne Johnson, University of Arizona, USA
Valentin Polishchuk, Link?ping University, Sweden
Andrea Richa, Arizona State University, USA
Rik Sarkar, University of Edinburgh, UK
Michael Segal, Ben-Gurion University of the Negev, Israel
Guoliang Xue, Arizona State University, USA
Robotics Track
Aaron Becker, Harvard University, USA
Thomas Erlebach, University of Leicester, UK
Michael Hemmer, TU Braunschweig, Germany
Alejandro L?pez-Ortiz, University of Waterloo, Canada
James McLurkin, Rice University, USA
Friedhelm Meyer auf der Heide, University of Paderborn, Germany
Joe Mitchell, Stony Brook University, USA
Nicola Santoro, Carleton University, Canada
Christiane Schmidt, TU Braunschweig, Germany
Jukka Suomela, Aalto University, Finland
Systems Track
James Gross, KTH, Sweden
Yuan He, Tsinghua University, P.R.China
Tommaso Melodia, University of Buffalo, USA
Hui Pan, Hong Kong University of Science and Technology, Hong Kong
Dario Pompili, Rutgers University, USA
Aaron Striegel, University of Notre Dame, USA
Niki Trigoni, Univ. of Oxford, UK
Guiling Wang, New Jersey Institute of Technology, USA
Kai Xing, University of Science and Technology of China, P.R. China
Rong Zheng, McMaster University, Canada
Marco Zuniga, TU Delft, Netherlands
STEERING COMMITTEE
Josep Diaz, U.P. Catalunya
Magnus M. Halldorsson, Reykjavik U., Iceland
Bhaskar Krishnamachari, U. of Southern California, USA
P.R. Kumar, Texas A&M U., USA
Sotiris Nikoletseas, U. of Patras and CTI, Greece (Chair)
Jose Rolim, U. of Geneva
Paul Spirakis, U. of Patras and CTI, Greece
Adam Wolisz, T.U. Berlin, Germany
IMPORTANT DATES:
Paper submission: June 14, 2014
Notification: July 14, 2014
Camera-ready for pre-proceedings: August 10, 2014
Symposium: September 11-12, 2014
PROCEEDINGS:
Accepted papers will be published in full text in hardcopy
post-proceedings, in the Lecture Notes in Computer Science (LNCS) Series
of Springer Verlag.
TCS JOURNAL SPECIAL ISSUE: As in previous years, selected high-quality
papers will be considered for publication in a Special Issue of the
Theoretical Computer Science (TCS) Journal.
HOW TO SUBMIT: Full papers are to be submitted electronically using the
EasyChair server.
Original research papers must contain results that have not previously
appeared and have not been concurrently submitted to a journal or
conference with published proceedings. Each paper should select a track
to submit to. Since there can be a lot of overlap of the three tracks,
the selection of a track is a suggestion and all papers will be handled
by the single PC to ensure that each paper is handled by PC members of
the expertise area. Authors need to ensure that for each accepted paper
at least one author will register and attend the symposium. Submissions
are limited to twelve (12) single-column pages on letter/A4-size paper
(using at least 11 point font, 1 inch margins, standard line spacing,
preferably formatted in the LNCS style). This includes figures, but
excludes references and an optional appendix (to be read at the program
committee's discretion).
--
Constantinos Marios Angelopoulos, Ph.D.
University of Geneva
Centre Universitaire d'Informatique
Battelle Bat. A, 7 rte de Drize
CH-1227 Carouge - Switzerland
Phone: (+41)0223790121
Skype: aggeloko
WEB: http://tcs.unige.ch/doku.php/user/angelopo
------------------------------
Message: 2
Date: Wed, 30 Apr 2014 09:08:21 +0200
From: Amin Coja-Oghlan <coja-oghlan@mathematik.uni-frankfurt.de>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] PhD position (E13 TV-G-U) at Goethe University
Frankfurt
Message-ID:
<A4FE9C95-E259-46B6-B724-0F837E42BF59@mathematik.uni-frankfurt.de>
Content-Type: text/plain; charset=windows-1252
Applications are invited for a PHD position in discrete mathemathics (3 years). Starting date is 01.10.2014 at the Institute of Mathematics of Goethe University Frankfurt, Germany.
The applicant (m/w) will be based in the group of Amin Coja-Oghlan / Yury Person. The research will be conducted in some of the following areas:
? extremal and probabilistic combinatorics
? Ramsey theory
? random graphs
The position comes with a teaching load of 4 hours/week. Applicants are required to have very good German language skills. The applicant will help advising bachelor/master theses and might be involved in some administrative tasks (such as workshop organization, writing scientific reports/proposals).
Applicants should have an excellent degree in mathematics, computer science or in a related discipline (diploma or master's degree), with advanced knowledge of discrete mathematics and/or probabiltity theory. Applications should include a detailed CV, a list of courses and grades and a copy of master thesis.
Prospective candidates should send their applications by 27.05.2014 to Prof. Dr. Amin Coja-Oghlan, acoghlan@math.uni-frankfurt.de.
For futher details and the official announcement see https://www2.uni-frankfurt.de/48794916/fb12
------------------------------
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 74, Issue 30
**************************************
Subscribe to:
Posts (Atom)