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
**************************************
Wednesday, April 30, 2014
dmanet Digest, Vol 74, Issue 29
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: PSD 2014 (PRIVACY IN STATISTICAL DATABASES),
DEADLINE APPROACHING (May 11), LNCS proceedings, Eivissa,
Balearic Islands, September 2014 (Joaquin Garcia-Alfaro)
2. CFP: 9th International Conference on Risks and Security of
Internet and Systems (CRiSIS 2014), DEADLINE: June 2nd, 2014,
LNCS series (Joaquin Garcia-Alfaro)
3. CfP: PPSN workshop on Semantic Methods in Genetic
Programming: Deadline May 31st (Krzysztof Krawiec)
4. ATMOS 2014 - Call for papers (Matus Mihalak)
----------------------------------------------------------------------
Message: 1
Date: Tue, 29 Apr 2014 14:54:18 +0200
From: Joaquin Garcia-Alfaro
<joaquin.garcia_alfaro@telecom-sudparis.eu>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] Final Call: PSD 2014 (PRIVACY IN STATISTICAL
DATABASES), DEADLINE APPROACHING (May 11), LNCS proceedings, Eivissa,
Balearic Islands, September 2014
Message-ID: <535FA0FA.6020603@telecom-sudparis.eu>
Content-Type: text/plain; charset=ISO-8859-1; format=flowed
[Apologies if you receive multiple copies of this message]
PRIVACY IN STATISTICAL DATABASES 2014 (PSD 2014)
================================================
***FINAL CALL FOR PAPERS: HARD SUBMISSION DEADLINE MAY 11, 2014***
Eivissa, Balearic Islands, Sep. 17-19, 2014
http://unescoprivacychair.urv.cat/psd2014
1. AIMS AND GOALS
-----------------
Privacy in statistical databases is about finding tradeoffs to the
tension between the increasing societal and economical demand for
accurate information and the legal and ethical obligation to protect
the privacy of individuals and enterprises which are the respondents
providing the statistical data. In the case of statistical databases,
the motivation for respondent privacy is one of survival: statistical
agencies or survey institutes cannot expect to collect accurate
information from individual or corporate respondents unless these feel
the privacy of their responses is guaranteed.
Beyond respondent privacy, there are two additional privacy dimensions
to be considered: privacy for the data owners (organizations owning or
gathering the data, who would not like to share the data they have
collected at great expense) and privacy for the users (those who
submit queries to the database and would like their analyses to stay
private).
"Privacy in Statistical Databases 2014" (PSD 2014) is a conference
sponsored and organized by the UNESCO Chair in Data Privacy
(http://unescoprivacychair.urv.cat) with proceedings published by
Springer-Verlag in Lecture Notes in Computer Science. It purpose is to
attract world-wide, high-level research in statistical database
privacy.
PSD 2014 is a successor to PSD 2012 (Palermo, Sep. 26-28, 2012,
http://unescoprivacychair.urv.cat/psd2012), PSD 2010 (Corfu, Sep.
22-24, 2010, http://unescoprivacychair.urv.cat/psd2010), PSD 2008
(Istanbul, Sep. 24-26, 2008,
http://unescoprivacychair.urv.cat/psd2008), PSD 2006 (Rome, Dec.
13-15, 2006, http://crises-deim.urv.cat/psd2006) and PSD 2004
(Barcelona, June 9-11, 2004, http://crises-deim.urv.cat/psd2004), all
with proceedings published by Springer in LNCS 7556, LNCS 6344, LNCS
5262, LNCS 4302 and LNCS 3050, respectively. Those six PSD conferences
follow a tradition of high-quality technical conferences on SDC which
started with "Statistical Data Protection-SDP'98", held in Lisbon in
1998 and with proceedings published by OPOCE, and continued with the
AMRADS project SDC Workshop, held in Luxemburg in 2001 and with
proceedings published in Springer LNCS 2316.
Like the aforementioned preceding conferences, PSD 2014 originates in
Europe, but wishes to stay a worldwide event in database privacy and
SDC. Thus, contributions and attendees from overseas are welcome.
2. ORGANIZATION
---------------
PROGRAM COMMITTEE
John Abowd (Cornell University, USA)
Elisa Bertino (CERIAS, Purdue University, USA)
Aleksandra Bujnowska (EUROSTAT, European Union)
Jordi Castro (Polytechnical University of Catalonia)
Lawrence Cox (NISS, USA)
Josep Domingo-Ferrer (Universitat Rovira i Virgili, Catalonia)
Joerg Drechsler (IAB, Germany)
Khaled El Emam (University of Ottawa, Canada)
Mark Elliot (Manchester University, UK)
Stephen Fienberg (Carnegie Mellon University, USA)
Luisa Franconi (ISTAT, Italy)
Sarah Giessing (Destatis, Germany)
Julia Hoeninger (Statistik Berlin, Germany)
Lloren? Huguet (Universitat de les Illes Balears, Balearic Islands)
Anco Hundepool (The Netherlands)
Alan Karr (NISS, USA)
Julia Lane (American Institutes for Research, USA)
Bradley Malin (Vanderbilt University, USA)
Josep M. Mateo-Sanz (Universitat Rovira i Virgili, Catalonia)
Gerome Miklau (University of Massachusetts-Amherst, USA)
Krish Muralidhar (University of Kentucky, USA)
Christine O'Keefe (CSIRO, Australia)
Yosef Rinott (Hebrew University, Israel)
Gerd Ronning (University of Tuebingen, Germany)
Juan Jos? Salazar (University of La Laguna, Spain)
Pierangela Samarati (University of Milan, Italy)
David S?nchez (Universitat Rovira i Virgili, Catalonia)
Eric Schulte-Nordholt (Statistics Netherlands)
Natalie Shlomo (University of Southampton, UK)
Michelle Simard (Statistics Canada)
Aleksandra Slavkovic (Penn State University, USA)
Jordi Soria-Comas (TSS, Catalonia)
Tamir Tassa (The Open University, Israel)
Vicenc Torra (IIIA-CSIC, Catalonia)
Vassilios Verykios (Hellenic Open University, Greece)
William E. Winkler (Census Bureau, USA)
Peter-Paul de Wolf (Statistics Netherlands)
Laura Zayatz (Census Bureau, USA)
PROGRAM AND GENERAL CHAIR
Josep Domingo-Ferrer (UNESCO Chair in Data Privacy,
Universitat Rovira i Virgili, Catalonia)
ORGANIZATION COMMITTEE
Joaquin Garcia-Alfaro (Telecom SudParis, France)
Sara Hajian (Universitat Rovira i Virgili, Catalonia)
Jesus Manjon (Universitat Rovira i Virgili, Catalonia)
Tamar Molina (Universitat Rovira i Virgili, Catalonia)
Marilina Tur (Universitat de les Illes Balears, Balearic Islands)
3. TOPICS OF INTEREST
---------------------
Topics of interest include but are not limited to:
- New SDC methods for tabular data
- New SDC methods for microdata (including non-conventional microdata
types such as trajectories, graphics, etc.)
- Best SDC practices for tabular data
- Best SDC practices for microdata
- Balancing data quality and data confidentiality in SDC
- Differential privacy
- SDC transparency issues
- Onsite access centers - Remote access facilities - SDC software
- Estimating disclosure risk in SDC
- Record linkage methods
- Real-life disclosure scenarios in EU-member states and abroad
- Privacy preserving data mining (both cryptographic and non-cryptographic)
- Private information retrieval
- Privacy in web-based e-commerce
- Privacy in healthcare
- Privacy in official and corporate statistics
- Other data anonymization issues
4. SUBMISSIONS
--------------
Full papers containing either original technical contributions or
high-quality surveys on the above topics or on related topics are
sought.
A submission should be clearly marked either as an original paper or a
survey. Submissions should contain a cover letter indicating:
1) whether the submission is a survey or an original
contribution;
2) the title of the submission;
3) keywords classifying the paper topic;
4) the names and affiliations of authors;
5) the e-mail, telephone and facsimile numbers of the
contact author.
The submission itself should be sent as an attached PDF file.
Submission and their cover letters should be sent to psd2014@urv.cat
Camera-ready versions of accepted papers should be prepared using the
LaTeX2e style or the Word template of Springer Verlag Lecture Notes in
Computer Science. For LaTeX2e, a macro package llncs.zip and an
example file typeinst.zip can be downloaded from
http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0
For Microsoft Word, a template word.zip can be downloaded from the
same page above.
We encourage authors to use the above formats already for their
submissions.
LENGTH OF SUBMISSIONS.
Using the above format with 11 point font, the paper should be at most
12 pages excluding bibliography and appendices, and at most 16 pages
total.
Committee members are not required to read appendices; the paper
should be intelligible without them.
Submissions not meeting these guidelines risk rejection without
consideration of their merits.
5. PROCEEDINGS
--------------
Among PSD 2014 accepted papers, a selection will be made based on
quality and coverage and the selected papers will be published in the
Lecture Notes in Computer Science (LNCS) series by Springer. This
follows the tradition of PSD 2012 (LNCS 7556), PSD 2010 (LNCS 6344),
PSD 2008 (LNCS 5262), PSD 2006 (LNCS 4302), PSD 2004 (LNCS 3050) and
the AMRADS Workshop on SDC (LNCS 2316).
The remaining accepted papers will be published in a CD with an ISBN.
It is possible to submit a paper directly for the CD, which benefits
from a later submission deadline (see CD-only dates below).
The form of publication of an accepted paper will be clearly specified
in the acceptance message. Both the LNCS volume and the CD will be
*available at the conference*.
5. IMPORTANT DATES
------------------
Submission deadline: **MAY 11, 2014**
Acceptance notification: June 20, 2014
Proceedings version due: July 3, 2014
Conference: Sep. 17-19, 2014
CD-only submission deadline: July 5, 2014
CD-only acceptance notification: July 24, 2014
CD-only proceedings version due: Aug. 3, 2014
6. VENUE AND TRAVEL
-------------------
The conference will take place in downtown Eivissa-city,
in the Balearic island of Eivissa. The venue will be the building
owned by the Universitat de les Illes Balears in Eivissa-city.
Address:
Antic edifici de la Comandancia Militar
Carrer del Calvari, 1
E-07800 Eivissa
http://www.uib.cat/lauib/localitzacio/Seu-dEivissa-i-Formentera/
http://www.uib.cat/lauib/Estructura/Seus-universitaries/saee/instal/
Further venue, travel and accommodation information will be posted in
due course at http://unescoprivacychair.urv.cat/psd2014
A number of travel grants are made available by the UNESCO Chair in
Data Privacy, especially for authors and delegates from transition
countries. Information on grants is posted in the conference web site.
7. REGISTRATION
---------------
Registration information will be posted no later than June 2014
at http://unescoprivacychair.urv.cat/psd2014
------------------------------
Message: 2
Date: Tue, 29 Apr 2014 15:15:46 +0200
From: Joaquin Garcia-Alfaro
<joaquin.garcia_alfaro@telecom-sudparis.eu>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] CFP: 9th International Conference on Risks and
Security of Internet and Systems (CRiSIS 2014), DEADLINE: June 2nd,
2014, LNCS series
Message-ID: <535FA602.2060702@telecom-sudparis.eu>
Content-Type: text/plain; charset=UTF-8; format=flowed
[Apologies if you receive multiple copies of this message]
=================================================================
Call for Papers
9th International Conference on Risks and Security of Internet
and Systems (CRiSIS 2014)
Trento, Italy, August 27-29, 2014
http://titan.disi.unitn.it/crisis2014/
******* SUBMISSION DEADLINE: June 2nd, 2014 *******
=================================================================
The topics addressed by CRiSIS range from the analysis of risks,
attacks to networks and system survivability, passing through
security models, security mechanisms and privacy enhancing
technologies. Prospective authors are invited to submit research
results as well as practical experiment or deployment reports.
Industrial papers about applications and case studies, such as
telemedicine, banking, e-government and critical infrastructure,
are also welcome. The list of topics includes but is not limited
to:
- Analysis and management of risk
- Attacks and defences
- Attack data acquisition and network monitoring
- Cryptography, Biometrics, Watermarking
- Dependability and fault tolerance of Internet applications
- Distributed systems security
- Embedded system security
- Empirical methods for security and risk evaluation
- Hardware-based security and Physical security
- Intrusion detection and Prevention systems
- Organizational, ethical and legal issues
- Privacy protection and anonymization
- Risk-aware access and usage control
- Security and risk assessment
- Security and risks metrics
- Security and dependability of operating systems
- Security and safety of critical infrastructures
- Security and privacy of peer-to-peer system
- Security and privacy of wireless networks
- Security models and security policies
- Security of new generation networks, security of VoIP and multimedia
- Security of e-commerce, electronic voting and database systems
- Security of social networks
- Smartphone security and privacy
- Traceability, metrology and forensics
- Trust management
- Use of smartcards and personal devices for Internet applications
- Web and cloud security
---------------------------
Paper Submission
---------------------------
Submitted papers must not substantially overlap with papers that
have been published or that are simultaneously submitted to a
journal or a conference with proceedings. Papers must be written
in English and must be submitted electronically in PDF format.
Maximum paper length will be 16 printed pages for full papers or
6 pages for short papers, in LNCS style.
Authors of accepted papers must guarantee that their papers will be
presented at the conference. All papers selected for presentation at the
conference will be included in the proceedings published by Springer.
All paper submissions will be handled through the Easy Chair conference
management system. Follow the instructions given here:
https://www.easychair.org/conferences/?conf=crisis2014
---------------------------
Important Dates
---------------------------
- Submission deadline: June 2nd '14
- Notification to Authors: July 1st '14
- Camera Ready: July 21st '14
- Conference: August 27-29th '14
---------------------------
Committee
---------------------------
General Chair
---------------------------
Bruno Crispo, University of Trento, Italy
PC Chairs
---------------------------
Javier Lopez, University of Malaga, Spain
Indrajit Ray, Colorado State University, USA
Publicity Chairs
---------------------------
Joaquin Garcia-Alfaro, TELECOM SudParis, France
Muhammad Rizwan Asghar, CREATE-NET, Italy
TPC Members
---------------------------
Marco Carvalho, Florida Institute of Technology, USA
Yu Chen, Binghamton University, SUNY, USA
Jason Crampton, Royal Holloway, University of London
Jorge Cuellar, SIEMENS AG, Germany
Rinku Dewri, University of Denver, USA
Frederic Cuppens, TELECOM Bretagne, France
Nora Cuppens-Boulahia, TELECOM Bretagne, France
Sabrina De Capitani Di Vimercati, Universita degli Studi di Milano
Juan Estevez-Tapiador, University Carlos III of Madrid, Spain
Roberto Di Pietro, Universita di Roma Tre, Italy
Rose Gamble, University of Tulsa, USA
Dimitris Gritzalis, AUEB, Greece
Stefanos Gritzalis, University of the Aegean, Greece
Mina Guirguis, Texas State University, USA
Igor Kotenko, SPIIRAS, Russia
Sokratis Katsikas, University of Piraeus, Greece
Jorge Lopez, INDRA, Spain
Fabio Martinelli, CNR, Italy
Refik Molva, EURECOM, France
Martin Olivier, University of Pretoria, South Africa
Xinming Ou, Kansas State University, USA
Brajendra Panda, University of Arkansas, USA
Guenther Pernul, Regensburg University, Germany
Joachim Posegga, University of Passau, Germany
Kai Rannenberg, Goethe University Frankfurt, Germany
Craig Rieger, Idaho National Laboratory, USA
Michael Rusinowitch, INRIA, France
Pierangela Samarati, Universita? degli Studi di Milano, Italy
Sejun Song, University of Missouri-Kansas City, USA
Miguel Soriano, UPC, Spain
Alex Sprintson, Texas A&M University, USA
Ketil Stoelen, SINTEF, Norway
Jianying Zhou, I2R, Singapore
Jose M. Fernandez, ?cole Polytechnique de Montr?al, Canada
------------------------------
Message: 3
Date: Tue, 29 Apr 2014 16:50:40 +0200
From: Krzysztof Krawiec <krzysztof.krawiec@cs.put.poznan.pl>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] CfP: PPSN workshop on Semantic Methods in Genetic
Programming: Deadline May 31st
Message-ID: <535FBC40.9060303@cs.put.poznan.pl>
Content-Type: text/plain; charset=UTF-8; format=flowed
------------------------------------------------------------------
Semantic Methods in Genetic Programming
A workshop at 13th International Conference on
Parallel Problem Solving from Nature
September 13-17, 2014, Ljubljana, Slovenia, Jo?ef Stefan Institute
http://www.cs.put.poznan.pl/kkrawiec/smgp2014/
------------------------------------------------------------------
Call for Papers
There's *just over one month left* (31 May 2014) to get your extended
abstracts (max 2 pages) ready for the Semantic Methods in Genetic
Programming Workshop to be held at PPSN in September.
In the last few years a rising topic in GP has been the use of semantic
methods. The aim of this is to provide a way of exploring the
input-output behaviour of programs, which is ultimately what matters for
problem solving. This contrasts with much previous work in GP, where
operators transform the program code and the effect on program behaviour
is indirect. This new approach has produced substantially better results
on a number of problems, both benchmark problems and real-world
applications in areas such as pharmacy; and, has been grounded in a body
of theory, which also informs algorithm design.
The main goal of the workshop is to foster discussions rather than
present finished work. In tradition with the PPSN workshops, the
extended abstracts are not published in the conference proceedings.
However, the organisers will make both abstracts and slides available
online on the workshop webpage. The workshop is associated with a
Special Issue of Genetic Programming and Evolvable Machines Journal by
Springer, and provides an opportunity to have an open discussion and
receive feedback in preparation for submission to that special issue.
Scope: All aspects of research related to semantic aspects in GP will be
considered, including:
- analysis and design of GP algorithms involving phenotypes/behaviours
of programs,
- design of problem-specific semantic-aware representations and operators,
- the use of formal semantic-related methods in GP.
This is an ideal opportunity to get some feedback on work in progress,
which you might be considering to submit to the Special Issue of Genetic
Programming & Evolvable Machines on Semantic Methods in GP. Please note
the submission deadline of 19 December 2014 for journal articles.
More details at:
http://www.cs.put.poznan.pl/kkrawiec/smgp2014/
http://ppsn2014.ijs.si/?show=workshops
http://ncra.ucd.ie/GENP_SemanticMethodsinGP.pdf
------------------------------
Message: 4
Date: Tue, 29 Apr 2014 17:02:02 +0200
From: Matus Mihalak <matus.mihalak@inf.ethz.ch>
To: <dmanet@zpr.uni-koeln.de>
Subject: [DMANET] ATMOS 2014 - Call for papers
Message-ID: <535FBEEA.4090509@inf.ethz.ch>
Content-Type: text/plain; charset="windows-1252"
FIRST CALL FOR PAPERS
14th WORKSHOP ON ALGORITHMIC APPROACHES FOR TRANSPORTATION MODELLING,
OPTIMIZATION, AND SYSTEMS (ATMOS 2014)
(Part of ALGO 2014, a collection of conferences and workshops, a major
European meeting of researchers in algorithms and related fields)
September 11, 2014, Wroclaw, Poland
http://algo2014.ii.uni.wroc.pl/atmos/
----------------------------------------------------------------------
SCOPE
-----
ATMOS is an annual workshop bringing together researchers and
practitioners who are interested in all aspects of algorithmic methods
and models for transportation optimization.
The workshop provides a forum for the exchange and dissemination of
new ideas and techniques from mathematical optimization, theoretical
computer science, and operations research. Applicable tools and
concepts include those from graph and network algorithms,
combinatorial optimization, approximation and online algorithms,
stochastic and robust optimization.
The scope of the workshop comprises all modes of transportation.
----------------------------------------------------------------------
INVITED SPEAKER
---------------
* Renato Werneck, Microsoft Research Silicon Valley, USA
----------------------------------------------------------------------
IMPORTANT DATES
---------------
Submission deadline: June 22, 2014
Notification to authors: July 22, 2014
Camera ready submission: August 3, 2014
Workshop date: September 11, 2014
----------------------------------------------------------------------
TOPICS
------
We invite authors to present work that advances optimization methods
and algorithms to facilitate planning and operational management of
freight and passenger transportation and traffic. The workshop
welcomes but is not limited to papers addressing the following
challenges:
* Demand Forecasting
* Models for User Behavior
* Design of Pricing Systems
* Infrastructure Planning
* Multi-modal Transport Optimization
* Mobile Applications for Transport
* Congestion Modeling and Reduction
* Line Planning
* Timetable Generation
* Routing and Platform Assignment
* Vehicle Scheduling
* Route Planning
* Crew and Duty Scheduling
* Rostering
* Delay Management
* Routing in Road Networks
* Traffic Guidance
The workshop welcomes but is not limited to papers applying and
advancing the following techniques: Graph and Network Algorithms,
Combinatorial Optimization, Mathematical Programming, Approximation
Algorithms, Methods for the Integration of Planning Stages, Stochastic
and Robust Optimization, Online and Real-time Algorithms, Algorithmic
Game Theory, Heuristics for Real-world Instances, Simulation Tools.
----------------------------------------------------------------------
SUBMISSIONS
-----------
Authors are invited to submit an extended abstract or full paper of at
most 12 pages. Submissions must be formatted in LaTeX, using the OASIcs
style (http://drops.dagstuhl.de/styles/oasics/oasics-authors.tgz). The
paper should contain a succinct statement of the issues and of their
motivation, a summary of the main results, and a brief explanation of
their significance, accessible to non-specialist readers. Proofs
omitted due to space constraints can be put into an appendix to be
read by the program committee members at their discretion. Papers must
be submitted electronically at
https://www.easychair.org/conferences/?conf=atmos2014
The submission must be received by June 22, 2014. Each accepted paper
must be presented at the workshop by one of the authors.
----------------------------------------------------------------------
PROCEEDINGS
-----------
The proceedings will be published online and as open-access in the
Dagstuhl Open Access Series in Informatics (OASIcs).
----------------------------------------------------------------------
PROGRAM COMMITTEE
-----------------
Alberto Ceselli, University of Milano, Italy
Stefan Funke (co-chair), University of Stuttgart, Germany
Marco L?bbecke, RWTH Aachen, Germany
Juan Antonio Mesa, University of Sevilla, Spain
Mat?? Mihal?k (co-chair), ETH Zurich, Switzerland
Matthias M?ller-Hannemann, University of Halle, Germany
Christian Reitwiessner, TomTom NV, Germany
Marie Schmidt, University G?ttingen, Germany
Gabriele Di Stefano, University of L'Aquila, Italy
Sabine Storandt, University of Freiburg, Germany
Renato Werneck, Microsoft Research, USA
Peter Widmayer, ETH Zurich, Switzerland
----------------------------------------------------------------------
STEERING COMMITTEE
------------------
* Alberto Marchetti-Spaccamela, Sapienza University of Rome, Italy
* Rolf M?hring, TU Berlin, Germany
* Dorothea Wagner, Karlsruhe Institute of Technology (KIT), Germany
* Christos Zaroliagis, University of Patras, Greece
------------------------------
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 29
**************************************
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: PSD 2014 (PRIVACY IN STATISTICAL DATABASES),
DEADLINE APPROACHING (May 11), LNCS proceedings, Eivissa,
Balearic Islands, September 2014 (Joaquin Garcia-Alfaro)
2. CFP: 9th International Conference on Risks and Security of
Internet and Systems (CRiSIS 2014), DEADLINE: June 2nd, 2014,
LNCS series (Joaquin Garcia-Alfaro)
3. CfP: PPSN workshop on Semantic Methods in Genetic
Programming: Deadline May 31st (Krzysztof Krawiec)
4. ATMOS 2014 - Call for papers (Matus Mihalak)
----------------------------------------------------------------------
Message: 1
Date: Tue, 29 Apr 2014 14:54:18 +0200
From: Joaquin Garcia-Alfaro
<joaquin.garcia_alfaro@telecom-sudparis.eu>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] Final Call: PSD 2014 (PRIVACY IN STATISTICAL
DATABASES), DEADLINE APPROACHING (May 11), LNCS proceedings, Eivissa,
Balearic Islands, September 2014
Message-ID: <535FA0FA.6020603@telecom-sudparis.eu>
Content-Type: text/plain; charset=ISO-8859-1; format=flowed
[Apologies if you receive multiple copies of this message]
PRIVACY IN STATISTICAL DATABASES 2014 (PSD 2014)
================================================
***FINAL CALL FOR PAPERS: HARD SUBMISSION DEADLINE MAY 11, 2014***
Eivissa, Balearic Islands, Sep. 17-19, 2014
http://unescoprivacychair.urv.cat/psd2014
1. AIMS AND GOALS
-----------------
Privacy in statistical databases is about finding tradeoffs to the
tension between the increasing societal and economical demand for
accurate information and the legal and ethical obligation to protect
the privacy of individuals and enterprises which are the respondents
providing the statistical data. In the case of statistical databases,
the motivation for respondent privacy is one of survival: statistical
agencies or survey institutes cannot expect to collect accurate
information from individual or corporate respondents unless these feel
the privacy of their responses is guaranteed.
Beyond respondent privacy, there are two additional privacy dimensions
to be considered: privacy for the data owners (organizations owning or
gathering the data, who would not like to share the data they have
collected at great expense) and privacy for the users (those who
submit queries to the database and would like their analyses to stay
private).
"Privacy in Statistical Databases 2014" (PSD 2014) is a conference
sponsored and organized by the UNESCO Chair in Data Privacy
(http://unescoprivacychair.urv.cat) with proceedings published by
Springer-Verlag in Lecture Notes in Computer Science. It purpose is to
attract world-wide, high-level research in statistical database
privacy.
PSD 2014 is a successor to PSD 2012 (Palermo, Sep. 26-28, 2012,
http://unescoprivacychair.urv.cat/psd2012), PSD 2010 (Corfu, Sep.
22-24, 2010, http://unescoprivacychair.urv.cat/psd2010), PSD 2008
(Istanbul, Sep. 24-26, 2008,
http://unescoprivacychair.urv.cat/psd2008), PSD 2006 (Rome, Dec.
13-15, 2006, http://crises-deim.urv.cat/psd2006) and PSD 2004
(Barcelona, June 9-11, 2004, http://crises-deim.urv.cat/psd2004), all
with proceedings published by Springer in LNCS 7556, LNCS 6344, LNCS
5262, LNCS 4302 and LNCS 3050, respectively. Those six PSD conferences
follow a tradition of high-quality technical conferences on SDC which
started with "Statistical Data Protection-SDP'98", held in Lisbon in
1998 and with proceedings published by OPOCE, and continued with the
AMRADS project SDC Workshop, held in Luxemburg in 2001 and with
proceedings published in Springer LNCS 2316.
Like the aforementioned preceding conferences, PSD 2014 originates in
Europe, but wishes to stay a worldwide event in database privacy and
SDC. Thus, contributions and attendees from overseas are welcome.
2. ORGANIZATION
---------------
PROGRAM COMMITTEE
John Abowd (Cornell University, USA)
Elisa Bertino (CERIAS, Purdue University, USA)
Aleksandra Bujnowska (EUROSTAT, European Union)
Jordi Castro (Polytechnical University of Catalonia)
Lawrence Cox (NISS, USA)
Josep Domingo-Ferrer (Universitat Rovira i Virgili, Catalonia)
Joerg Drechsler (IAB, Germany)
Khaled El Emam (University of Ottawa, Canada)
Mark Elliot (Manchester University, UK)
Stephen Fienberg (Carnegie Mellon University, USA)
Luisa Franconi (ISTAT, Italy)
Sarah Giessing (Destatis, Germany)
Julia Hoeninger (Statistik Berlin, Germany)
Lloren? Huguet (Universitat de les Illes Balears, Balearic Islands)
Anco Hundepool (The Netherlands)
Alan Karr (NISS, USA)
Julia Lane (American Institutes for Research, USA)
Bradley Malin (Vanderbilt University, USA)
Josep M. Mateo-Sanz (Universitat Rovira i Virgili, Catalonia)
Gerome Miklau (University of Massachusetts-Amherst, USA)
Krish Muralidhar (University of Kentucky, USA)
Christine O'Keefe (CSIRO, Australia)
Yosef Rinott (Hebrew University, Israel)
Gerd Ronning (University of Tuebingen, Germany)
Juan Jos? Salazar (University of La Laguna, Spain)
Pierangela Samarati (University of Milan, Italy)
David S?nchez (Universitat Rovira i Virgili, Catalonia)
Eric Schulte-Nordholt (Statistics Netherlands)
Natalie Shlomo (University of Southampton, UK)
Michelle Simard (Statistics Canada)
Aleksandra Slavkovic (Penn State University, USA)
Jordi Soria-Comas (TSS, Catalonia)
Tamir Tassa (The Open University, Israel)
Vicenc Torra (IIIA-CSIC, Catalonia)
Vassilios Verykios (Hellenic Open University, Greece)
William E. Winkler (Census Bureau, USA)
Peter-Paul de Wolf (Statistics Netherlands)
Laura Zayatz (Census Bureau, USA)
PROGRAM AND GENERAL CHAIR
Josep Domingo-Ferrer (UNESCO Chair in Data Privacy,
Universitat Rovira i Virgili, Catalonia)
ORGANIZATION COMMITTEE
Joaquin Garcia-Alfaro (Telecom SudParis, France)
Sara Hajian (Universitat Rovira i Virgili, Catalonia)
Jesus Manjon (Universitat Rovira i Virgili, Catalonia)
Tamar Molina (Universitat Rovira i Virgili, Catalonia)
Marilina Tur (Universitat de les Illes Balears, Balearic Islands)
3. TOPICS OF INTEREST
---------------------
Topics of interest include but are not limited to:
- New SDC methods for tabular data
- New SDC methods for microdata (including non-conventional microdata
types such as trajectories, graphics, etc.)
- Best SDC practices for tabular data
- Best SDC practices for microdata
- Balancing data quality and data confidentiality in SDC
- Differential privacy
- SDC transparency issues
- Onsite access centers - Remote access facilities - SDC software
- Estimating disclosure risk in SDC
- Record linkage methods
- Real-life disclosure scenarios in EU-member states and abroad
- Privacy preserving data mining (both cryptographic and non-cryptographic)
- Private information retrieval
- Privacy in web-based e-commerce
- Privacy in healthcare
- Privacy in official and corporate statistics
- Other data anonymization issues
4. SUBMISSIONS
--------------
Full papers containing either original technical contributions or
high-quality surveys on the above topics or on related topics are
sought.
A submission should be clearly marked either as an original paper or a
survey. Submissions should contain a cover letter indicating:
1) whether the submission is a survey or an original
contribution;
2) the title of the submission;
3) keywords classifying the paper topic;
4) the names and affiliations of authors;
5) the e-mail, telephone and facsimile numbers of the
contact author.
The submission itself should be sent as an attached PDF file.
Submission and their cover letters should be sent to psd2014@urv.cat
Camera-ready versions of accepted papers should be prepared using the
LaTeX2e style or the Word template of Springer Verlag Lecture Notes in
Computer Science. For LaTeX2e, a macro package llncs.zip and an
example file typeinst.zip can be downloaded from
http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0
For Microsoft Word, a template word.zip can be downloaded from the
same page above.
We encourage authors to use the above formats already for their
submissions.
LENGTH OF SUBMISSIONS.
Using the above format with 11 point font, the paper should be at most
12 pages excluding bibliography and appendices, and at most 16 pages
total.
Committee members are not required to read appendices; the paper
should be intelligible without them.
Submissions not meeting these guidelines risk rejection without
consideration of their merits.
5. PROCEEDINGS
--------------
Among PSD 2014 accepted papers, a selection will be made based on
quality and coverage and the selected papers will be published in the
Lecture Notes in Computer Science (LNCS) series by Springer. This
follows the tradition of PSD 2012 (LNCS 7556), PSD 2010 (LNCS 6344),
PSD 2008 (LNCS 5262), PSD 2006 (LNCS 4302), PSD 2004 (LNCS 3050) and
the AMRADS Workshop on SDC (LNCS 2316).
The remaining accepted papers will be published in a CD with an ISBN.
It is possible to submit a paper directly for the CD, which benefits
from a later submission deadline (see CD-only dates below).
The form of publication of an accepted paper will be clearly specified
in the acceptance message. Both the LNCS volume and the CD will be
*available at the conference*.
5. IMPORTANT DATES
------------------
Submission deadline: **MAY 11, 2014**
Acceptance notification: June 20, 2014
Proceedings version due: July 3, 2014
Conference: Sep. 17-19, 2014
CD-only submission deadline: July 5, 2014
CD-only acceptance notification: July 24, 2014
CD-only proceedings version due: Aug. 3, 2014
6. VENUE AND TRAVEL
-------------------
The conference will take place in downtown Eivissa-city,
in the Balearic island of Eivissa. The venue will be the building
owned by the Universitat de les Illes Balears in Eivissa-city.
Address:
Antic edifici de la Comandancia Militar
Carrer del Calvari, 1
E-07800 Eivissa
http://www.uib.cat/lauib/localitzacio/Seu-dEivissa-i-Formentera/
http://www.uib.cat/lauib/Estructura/Seus-universitaries/saee/instal/
Further venue, travel and accommodation information will be posted in
due course at http://unescoprivacychair.urv.cat/psd2014
A number of travel grants are made available by the UNESCO Chair in
Data Privacy, especially for authors and delegates from transition
countries. Information on grants is posted in the conference web site.
7. REGISTRATION
---------------
Registration information will be posted no later than June 2014
at http://unescoprivacychair.urv.cat/psd2014
------------------------------
Message: 2
Date: Tue, 29 Apr 2014 15:15:46 +0200
From: Joaquin Garcia-Alfaro
<joaquin.garcia_alfaro@telecom-sudparis.eu>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] CFP: 9th International Conference on Risks and
Security of Internet and Systems (CRiSIS 2014), DEADLINE: June 2nd,
2014, LNCS series
Message-ID: <535FA602.2060702@telecom-sudparis.eu>
Content-Type: text/plain; charset=UTF-8; format=flowed
[Apologies if you receive multiple copies of this message]
=================================================================
Call for Papers
9th International Conference on Risks and Security of Internet
and Systems (CRiSIS 2014)
Trento, Italy, August 27-29, 2014
http://titan.disi.unitn.it/crisis2014/
******* SUBMISSION DEADLINE: June 2nd, 2014 *******
=================================================================
The topics addressed by CRiSIS range from the analysis of risks,
attacks to networks and system survivability, passing through
security models, security mechanisms and privacy enhancing
technologies. Prospective authors are invited to submit research
results as well as practical experiment or deployment reports.
Industrial papers about applications and case studies, such as
telemedicine, banking, e-government and critical infrastructure,
are also welcome. The list of topics includes but is not limited
to:
- Analysis and management of risk
- Attacks and defences
- Attack data acquisition and network monitoring
- Cryptography, Biometrics, Watermarking
- Dependability and fault tolerance of Internet applications
- Distributed systems security
- Embedded system security
- Empirical methods for security and risk evaluation
- Hardware-based security and Physical security
- Intrusion detection and Prevention systems
- Organizational, ethical and legal issues
- Privacy protection and anonymization
- Risk-aware access and usage control
- Security and risk assessment
- Security and risks metrics
- Security and dependability of operating systems
- Security and safety of critical infrastructures
- Security and privacy of peer-to-peer system
- Security and privacy of wireless networks
- Security models and security policies
- Security of new generation networks, security of VoIP and multimedia
- Security of e-commerce, electronic voting and database systems
- Security of social networks
- Smartphone security and privacy
- Traceability, metrology and forensics
- Trust management
- Use of smartcards and personal devices for Internet applications
- Web and cloud security
---------------------------
Paper Submission
---------------------------
Submitted papers must not substantially overlap with papers that
have been published or that are simultaneously submitted to a
journal or a conference with proceedings. Papers must be written
in English and must be submitted electronically in PDF format.
Maximum paper length will be 16 printed pages for full papers or
6 pages for short papers, in LNCS style.
Authors of accepted papers must guarantee that their papers will be
presented at the conference. All papers selected for presentation at the
conference will be included in the proceedings published by Springer.
All paper submissions will be handled through the Easy Chair conference
management system. Follow the instructions given here:
https://www.easychair.org/conferences/?conf=crisis2014
---------------------------
Important Dates
---------------------------
- Submission deadline: June 2nd '14
- Notification to Authors: July 1st '14
- Camera Ready: July 21st '14
- Conference: August 27-29th '14
---------------------------
Committee
---------------------------
General Chair
---------------------------
Bruno Crispo, University of Trento, Italy
PC Chairs
---------------------------
Javier Lopez, University of Malaga, Spain
Indrajit Ray, Colorado State University, USA
Publicity Chairs
---------------------------
Joaquin Garcia-Alfaro, TELECOM SudParis, France
Muhammad Rizwan Asghar, CREATE-NET, Italy
TPC Members
---------------------------
Marco Carvalho, Florida Institute of Technology, USA
Yu Chen, Binghamton University, SUNY, USA
Jason Crampton, Royal Holloway, University of London
Jorge Cuellar, SIEMENS AG, Germany
Rinku Dewri, University of Denver, USA
Frederic Cuppens, TELECOM Bretagne, France
Nora Cuppens-Boulahia, TELECOM Bretagne, France
Sabrina De Capitani Di Vimercati, Universita degli Studi di Milano
Juan Estevez-Tapiador, University Carlos III of Madrid, Spain
Roberto Di Pietro, Universita di Roma Tre, Italy
Rose Gamble, University of Tulsa, USA
Dimitris Gritzalis, AUEB, Greece
Stefanos Gritzalis, University of the Aegean, Greece
Mina Guirguis, Texas State University, USA
Igor Kotenko, SPIIRAS, Russia
Sokratis Katsikas, University of Piraeus, Greece
Jorge Lopez, INDRA, Spain
Fabio Martinelli, CNR, Italy
Refik Molva, EURECOM, France
Martin Olivier, University of Pretoria, South Africa
Xinming Ou, Kansas State University, USA
Brajendra Panda, University of Arkansas, USA
Guenther Pernul, Regensburg University, Germany
Joachim Posegga, University of Passau, Germany
Kai Rannenberg, Goethe University Frankfurt, Germany
Craig Rieger, Idaho National Laboratory, USA
Michael Rusinowitch, INRIA, France
Pierangela Samarati, Universita? degli Studi di Milano, Italy
Sejun Song, University of Missouri-Kansas City, USA
Miguel Soriano, UPC, Spain
Alex Sprintson, Texas A&M University, USA
Ketil Stoelen, SINTEF, Norway
Jianying Zhou, I2R, Singapore
Jose M. Fernandez, ?cole Polytechnique de Montr?al, Canada
------------------------------
Message: 3
Date: Tue, 29 Apr 2014 16:50:40 +0200
From: Krzysztof Krawiec <krzysztof.krawiec@cs.put.poznan.pl>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] CfP: PPSN workshop on Semantic Methods in Genetic
Programming: Deadline May 31st
Message-ID: <535FBC40.9060303@cs.put.poznan.pl>
Content-Type: text/plain; charset=UTF-8; format=flowed
------------------------------------------------------------------
Semantic Methods in Genetic Programming
A workshop at 13th International Conference on
Parallel Problem Solving from Nature
September 13-17, 2014, Ljubljana, Slovenia, Jo?ef Stefan Institute
http://www.cs.put.poznan.pl/kkrawiec/smgp2014/
------------------------------------------------------------------
Call for Papers
There's *just over one month left* (31 May 2014) to get your extended
abstracts (max 2 pages) ready for the Semantic Methods in Genetic
Programming Workshop to be held at PPSN in September.
In the last few years a rising topic in GP has been the use of semantic
methods. The aim of this is to provide a way of exploring the
input-output behaviour of programs, which is ultimately what matters for
problem solving. This contrasts with much previous work in GP, where
operators transform the program code and the effect on program behaviour
is indirect. This new approach has produced substantially better results
on a number of problems, both benchmark problems and real-world
applications in areas such as pharmacy; and, has been grounded in a body
of theory, which also informs algorithm design.
The main goal of the workshop is to foster discussions rather than
present finished work. In tradition with the PPSN workshops, the
extended abstracts are not published in the conference proceedings.
However, the organisers will make both abstracts and slides available
online on the workshop webpage. The workshop is associated with a
Special Issue of Genetic Programming and Evolvable Machines Journal by
Springer, and provides an opportunity to have an open discussion and
receive feedback in preparation for submission to that special issue.
Scope: All aspects of research related to semantic aspects in GP will be
considered, including:
- analysis and design of GP algorithms involving phenotypes/behaviours
of programs,
- design of problem-specific semantic-aware representations and operators,
- the use of formal semantic-related methods in GP.
This is an ideal opportunity to get some feedback on work in progress,
which you might be considering to submit to the Special Issue of Genetic
Programming & Evolvable Machines on Semantic Methods in GP. Please note
the submission deadline of 19 December 2014 for journal articles.
More details at:
http://www.cs.put.poznan.pl/kkrawiec/smgp2014/
http://ppsn2014.ijs.si/?show=workshops
http://ncra.ucd.ie/GENP_SemanticMethodsinGP.pdf
------------------------------
Message: 4
Date: Tue, 29 Apr 2014 17:02:02 +0200
From: Matus Mihalak <matus.mihalak@inf.ethz.ch>
To: <dmanet@zpr.uni-koeln.de>
Subject: [DMANET] ATMOS 2014 - Call for papers
Message-ID: <535FBEEA.4090509@inf.ethz.ch>
Content-Type: text/plain; charset="windows-1252"
FIRST CALL FOR PAPERS
14th WORKSHOP ON ALGORITHMIC APPROACHES FOR TRANSPORTATION MODELLING,
OPTIMIZATION, AND SYSTEMS (ATMOS 2014)
(Part of ALGO 2014, a collection of conferences and workshops, a major
European meeting of researchers in algorithms and related fields)
September 11, 2014, Wroclaw, Poland
http://algo2014.ii.uni.wroc.pl/atmos/
----------------------------------------------------------------------
SCOPE
-----
ATMOS is an annual workshop bringing together researchers and
practitioners who are interested in all aspects of algorithmic methods
and models for transportation optimization.
The workshop provides a forum for the exchange and dissemination of
new ideas and techniques from mathematical optimization, theoretical
computer science, and operations research. Applicable tools and
concepts include those from graph and network algorithms,
combinatorial optimization, approximation and online algorithms,
stochastic and robust optimization.
The scope of the workshop comprises all modes of transportation.
----------------------------------------------------------------------
INVITED SPEAKER
---------------
* Renato Werneck, Microsoft Research Silicon Valley, USA
----------------------------------------------------------------------
IMPORTANT DATES
---------------
Submission deadline: June 22, 2014
Notification to authors: July 22, 2014
Camera ready submission: August 3, 2014
Workshop date: September 11, 2014
----------------------------------------------------------------------
TOPICS
------
We invite authors to present work that advances optimization methods
and algorithms to facilitate planning and operational management of
freight and passenger transportation and traffic. The workshop
welcomes but is not limited to papers addressing the following
challenges:
* Demand Forecasting
* Models for User Behavior
* Design of Pricing Systems
* Infrastructure Planning
* Multi-modal Transport Optimization
* Mobile Applications for Transport
* Congestion Modeling and Reduction
* Line Planning
* Timetable Generation
* Routing and Platform Assignment
* Vehicle Scheduling
* Route Planning
* Crew and Duty Scheduling
* Rostering
* Delay Management
* Routing in Road Networks
* Traffic Guidance
The workshop welcomes but is not limited to papers applying and
advancing the following techniques: Graph and Network Algorithms,
Combinatorial Optimization, Mathematical Programming, Approximation
Algorithms, Methods for the Integration of Planning Stages, Stochastic
and Robust Optimization, Online and Real-time Algorithms, Algorithmic
Game Theory, Heuristics for Real-world Instances, Simulation Tools.
----------------------------------------------------------------------
SUBMISSIONS
-----------
Authors are invited to submit an extended abstract or full paper of at
most 12 pages. Submissions must be formatted in LaTeX, using the OASIcs
style (http://drops.dagstuhl.de/styles/oasics/oasics-authors.tgz). The
paper should contain a succinct statement of the issues and of their
motivation, a summary of the main results, and a brief explanation of
their significance, accessible to non-specialist readers. Proofs
omitted due to space constraints can be put into an appendix to be
read by the program committee members at their discretion. Papers must
be submitted electronically at
https://www.easychair.org/conferences/?conf=atmos2014
The submission must be received by June 22, 2014. Each accepted paper
must be presented at the workshop by one of the authors.
----------------------------------------------------------------------
PROCEEDINGS
-----------
The proceedings will be published online and as open-access in the
Dagstuhl Open Access Series in Informatics (OASIcs).
----------------------------------------------------------------------
PROGRAM COMMITTEE
-----------------
Alberto Ceselli, University of Milano, Italy
Stefan Funke (co-chair), University of Stuttgart, Germany
Marco L?bbecke, RWTH Aachen, Germany
Juan Antonio Mesa, University of Sevilla, Spain
Mat?? Mihal?k (co-chair), ETH Zurich, Switzerland
Matthias M?ller-Hannemann, University of Halle, Germany
Christian Reitwiessner, TomTom NV, Germany
Marie Schmidt, University G?ttingen, Germany
Gabriele Di Stefano, University of L'Aquila, Italy
Sabine Storandt, University of Freiburg, Germany
Renato Werneck, Microsoft Research, USA
Peter Widmayer, ETH Zurich, Switzerland
----------------------------------------------------------------------
STEERING COMMITTEE
------------------
* Alberto Marchetti-Spaccamela, Sapienza University of Rome, Italy
* Rolf M?hring, TU Berlin, Germany
* Dorothea Wagner, Karlsruhe Institute of Technology (KIT), Germany
* Christos Zaroliagis, University of Patras, Greece
------------------------------
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 29
**************************************
Tuesday, April 29, 2014
dmanet Digest, Vol 74, Issue 28
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. WG 2014 first call for participation (Ioan Todinca)
2. IEEE SSCI Special Session on Optimization Methods in
Bioinformatics and Bioengineering (OMBB) (Lavygina, Anna)
3. International Conference on Computational and Experimental
Science and Engineering (ICCESEN 2014), Antalya, October 25-29,
2014 (Gerhard-Wilhelm Weber)
----------------------------------------------------------------------
Message: 1
Date: Mon, 28 Apr 2014 18:01:41 +0200
From: Ioan Todinca <ioan.todinca@univ-orleans.fr>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] WG 2014 first call for participation
Message-ID: <D3872C92-3424-4053-83E1-3046B22510C5@univ-orleans.fr>
Content-Type: text/plain; charset=iso-8859-1
**********************************************
WG 2014 CALL FOR PARTICIPATION
40th International Workshop on Graph-Theoretic Concepts in Computer Science
June 25-27, Domaine de Chal?s near Orl?ans, France
http://www.univ-orleans.fr/lifo/evenements/WG2014/
**********************************************
The WG 2014 conference is the 40th edition of the WG series. It will take place in the region of the wonderful castles at the Loire, near Orl?ans. The conference will be from the 25th to the 27th of June 2014, with participants expected to arrive in Orl?ans on the 24th of June.
SCIENTIFIC PROGRAM
**************************
The program, composed of 32 contributed and two invited talks is available at
http://www.univ-orleans.fr/lifo/evenements/WG2014/?rub=program
INVITED SPEAKERS
***************
- Reinhard Diestel (Universit?t Hamburg)
- Pierre Fraigniaud, (CNRS/Universit? Paris Diderot)
REGISTRATION
******************
Registration is now open:
http://www.univ-orleans.fr/lifo/evenements/WG2014/?rub=registration
The deadline for early registration is the 25th of May.
Looking forward to meeting you in Orl?ans,
The organizers
------------------------------
Message: 2
Date: Mon, 28 Apr 2014 22:58:41 +0000
From: "Lavygina, Anna" <a.lavygina@imperial.ac.uk>
To: "dmanet@zpr.uni-koeln.de" <dmanet@zpr.uni-koeln.de>
Subject: [DMANET] IEEE SSCI Special Session on Optimization Methods in
Bioinformatics and Bioengineering (OMBB)
Message-ID: <D8D7656E-443D-46ED-BED4-49D2DCD361B9@imperial.ac.uk>
Content-Type: text/plain; charset="iso-8859-1"
Special Session on Optimization Methods in Bioinformatics and Bioengineering (OMBB)
2014 IEEE Symposium Series on Computational Intelligence (IEEE SSCI 2014)
December 9-12, 2014, Orlando, Florida, USA
http://www.ucl.ac.uk/~ucberal/SS-OMBB-IEEE_SSCI_2014.html
Submission deadline: 15 June 2014
Submission site: http://ieee-cis.org/conferences/ssci2014/upload.php
Aim and Scope
Bioinformatics and Bioengineering (BB) are interdisciplinary scientific fields involving many branches of computer science, engineering, mathematics, and statistics. Bioinformatics is concerned with the development and application of computational methods for the modelling, retrieving and analysis of biological data, whilst Bioengineering is the application of engineering techniques to biology so as to create usable and economically viable products.
Bioinformatics and Bioengineering are relatively new fields in which challenges and issues can often be formulated as optimization problems subject to multiple conflicting objectives. Such multiobjective optimization problems span from traditional problems, such as the optimization of biochemical processes, protein structure alignment and prediction, to more modern problems, such as directed evolution, drug design, experimental design, and optimization of manufacturing processes, material and equipment.
The main aim of this special session, which is organized within the SSCI-MCDM'14 Symposium, is to bring together both experts and new-comers working on Optimization Methods in Bioinformatics and Bioengineering (OMBB) to discuss new and exciting issues in this area.
Topics of Interest
We encourage submission of papers describing new concepts, strategies and challenges in the area of Bioinformatics and Bioengineering (BB). In addition, we are interested in application papers discussing the power and applicability of these novel methods to real-world problems in BB. You are invited to submit papers that are unpublished original work for this special session at SSCI-MCDM'14.
The topics are, but not limited to, the following
* Optimization methods for BB problems
* Novel optimization problems in BB
* Emerging non-standard problem challenges in BB problems (e.g. missing objective values, resourcing issues, dynamic changes, many objectives, large-scale, mixed-typed variables, etc.)
* Closed-loop optimization in BB
* Interactive multiobjective optimization in BB
* Predictive fitness landscape design for BB problems
* Integrating user preferences into multiobjective optimization of BB problems
* Handling practicalities in BB problems, such as uncertainty, noise, constraints, fixed budget of evaluations, high computational costs, etc.
* Robustness in the optimization of BB problems
* Visualization techniques for complex BB problems
* Adaptation, learning, and anticipation in BB problems
Submission Instructions
We welcome original contributions describing ongoing projects or completed work.
The instructions for authors, and LaTeX and Word templates can be found at http://www.ieee-ssci.org/submission.html
Key Dates
Paper Submissions due: 15 June 2014
Notification of Acceptance: 5 September 2014
Camera-Ready Papers due: 5 October 2014
Organizers
Richard Allmendinger, University College London, UK
Anna Lavygina, Imperial College London, UK
Sanaz Mostaghim, Otto von Guericke University of Magdeburg, Germany
Program Committee
Allmendinger Richard, University College London, UK
Ashlock Daniel, University of Guelph, Canada
Blum Christian, University of the Basque Country, Spain
Branke J?rgen, University of Warwick, UK
Chandra Arjun, University of Oslo, Norway
Deb Kalyanmoy, Michigan State University, USA
Emmerich Michael, Leiden University, Netherlands
Handl Julia, University of Manchester, UK
Knowles Joshua, University of Manchester, UK
Langdon Bill, University College London, UK
Lavygina Anna, Imperial College London, UK
Li Xiaodong, RMIT University, Australia
Mostaghim Sanaz,Otto von Guericke University of Magdeburg, Germany
Rombo Simona, University of Palermo, Italy
Shukla Pradyumn Kumar, Karlsruhe Institute of Technology, Germany
Contact
For further information please contact Richard Allmendinger (r.allmendinger@ucl.ac.uk)
------------------------------
Message: 3
Date: Tue, 29 Apr 2014 08:56:00 +0300
From: Gerhard-Wilhelm Weber <gweber@metu.edu.tr>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] International Conference on Computational and
Experimental Science and Engineering (ICCESEN 2014), Antalya, October
25-29, 2014
Message-ID: <20140429085600.79635ui0xta9ykts@horde.metu.edu.tr>
Content-Type: text/plain; charset=ISO-8859-1; DelSp="Yes";
format="flowed"
International Conference on Computational and Experimental Science and
Engineering (ICCESEN 2014)".
Kemer-Antalya-TURKEY, October 25-29, 2014
http://www.iccesen.org/
Dear Colleagues,
I am pleased to invite you to participate to the "International
Conference on Computational and Experimental Science and Engineering
(ICCESEN 2014)" which will take place at hotel Queen Elizabeth Elite
Suite Hotel & Spa (http://www.queenelizabeth.com.tr/) in the period of
25-29 October, 2014 in Kemer-Antalya (Turkey). The conference will
provide excellent international forum for sharing knowledge and
expertise of the student, researchers and also industry.
The topic of the conference are:
Stream 1. Physical Science and Technology
Stream 2. Mathematical science and applications
Stream 3. Energy and applications
Stream 4. Earth Science and Application
Stream 5. Engineering Science and application
Stream 6. Material Science and application
The publication of the papers:
Some selected papers will be submitted for publication in a variety of
different SCI indexed journal covers different topics:
> Annals of Nuclear Energy (ANE)
> Optimization Methods and Software (OMS)
> Indian Journal of Engineering & Materials Sciences
> Acta Physica Polonica A,
> Computer Modeling in Engineering & Sciences
> Bosnian Journal of Basic Medical Sciences
>European Journal of Science and Technology
Important Dates are):
Abstract Submission : June 15, 2014
Early Registration : June 15, 2014
Late Normal Registration : August 31, 2014
Notification of Accepted papers : August 15, 2014
Conference Date : October 25-29, 2014
Full text submission : November 15,
2014 (for presented papers)
Prof.Dr. Iskender AKKURT
Conference Chair
iskenderakkurt@iccesen.org
www.iccesen.org
------------------------------
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 28
**************************************
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. WG 2014 first call for participation (Ioan Todinca)
2. IEEE SSCI Special Session on Optimization Methods in
Bioinformatics and Bioengineering (OMBB) (Lavygina, Anna)
3. International Conference on Computational and Experimental
Science and Engineering (ICCESEN 2014), Antalya, October 25-29,
2014 (Gerhard-Wilhelm Weber)
----------------------------------------------------------------------
Message: 1
Date: Mon, 28 Apr 2014 18:01:41 +0200
From: Ioan Todinca <ioan.todinca@univ-orleans.fr>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] WG 2014 first call for participation
Message-ID: <D3872C92-3424-4053-83E1-3046B22510C5@univ-orleans.fr>
Content-Type: text/plain; charset=iso-8859-1
**********************************************
WG 2014 CALL FOR PARTICIPATION
40th International Workshop on Graph-Theoretic Concepts in Computer Science
June 25-27, Domaine de Chal?s near Orl?ans, France
http://www.univ-orleans.fr/lifo/evenements/WG2014/
**********************************************
The WG 2014 conference is the 40th edition of the WG series. It will take place in the region of the wonderful castles at the Loire, near Orl?ans. The conference will be from the 25th to the 27th of June 2014, with participants expected to arrive in Orl?ans on the 24th of June.
SCIENTIFIC PROGRAM
**************************
The program, composed of 32 contributed and two invited talks is available at
http://www.univ-orleans.fr/lifo/evenements/WG2014/?rub=program
INVITED SPEAKERS
***************
- Reinhard Diestel (Universit?t Hamburg)
- Pierre Fraigniaud, (CNRS/Universit? Paris Diderot)
REGISTRATION
******************
Registration is now open:
http://www.univ-orleans.fr/lifo/evenements/WG2014/?rub=registration
The deadline for early registration is the 25th of May.
Looking forward to meeting you in Orl?ans,
The organizers
------------------------------
Message: 2
Date: Mon, 28 Apr 2014 22:58:41 +0000
From: "Lavygina, Anna" <a.lavygina@imperial.ac.uk>
To: "dmanet@zpr.uni-koeln.de" <dmanet@zpr.uni-koeln.de>
Subject: [DMANET] IEEE SSCI Special Session on Optimization Methods in
Bioinformatics and Bioengineering (OMBB)
Message-ID: <D8D7656E-443D-46ED-BED4-49D2DCD361B9@imperial.ac.uk>
Content-Type: text/plain; charset="iso-8859-1"
Special Session on Optimization Methods in Bioinformatics and Bioengineering (OMBB)
2014 IEEE Symposium Series on Computational Intelligence (IEEE SSCI 2014)
December 9-12, 2014, Orlando, Florida, USA
http://www.ucl.ac.uk/~ucberal/SS-OMBB-IEEE_SSCI_2014.html
Submission deadline: 15 June 2014
Submission site: http://ieee-cis.org/conferences/ssci2014/upload.php
Aim and Scope
Bioinformatics and Bioengineering (BB) are interdisciplinary scientific fields involving many branches of computer science, engineering, mathematics, and statistics. Bioinformatics is concerned with the development and application of computational methods for the modelling, retrieving and analysis of biological data, whilst Bioengineering is the application of engineering techniques to biology so as to create usable and economically viable products.
Bioinformatics and Bioengineering are relatively new fields in which challenges and issues can often be formulated as optimization problems subject to multiple conflicting objectives. Such multiobjective optimization problems span from traditional problems, such as the optimization of biochemical processes, protein structure alignment and prediction, to more modern problems, such as directed evolution, drug design, experimental design, and optimization of manufacturing processes, material and equipment.
The main aim of this special session, which is organized within the SSCI-MCDM'14 Symposium, is to bring together both experts and new-comers working on Optimization Methods in Bioinformatics and Bioengineering (OMBB) to discuss new and exciting issues in this area.
Topics of Interest
We encourage submission of papers describing new concepts, strategies and challenges in the area of Bioinformatics and Bioengineering (BB). In addition, we are interested in application papers discussing the power and applicability of these novel methods to real-world problems in BB. You are invited to submit papers that are unpublished original work for this special session at SSCI-MCDM'14.
The topics are, but not limited to, the following
* Optimization methods for BB problems
* Novel optimization problems in BB
* Emerging non-standard problem challenges in BB problems (e.g. missing objective values, resourcing issues, dynamic changes, many objectives, large-scale, mixed-typed variables, etc.)
* Closed-loop optimization in BB
* Interactive multiobjective optimization in BB
* Predictive fitness landscape design for BB problems
* Integrating user preferences into multiobjective optimization of BB problems
* Handling practicalities in BB problems, such as uncertainty, noise, constraints, fixed budget of evaluations, high computational costs, etc.
* Robustness in the optimization of BB problems
* Visualization techniques for complex BB problems
* Adaptation, learning, and anticipation in BB problems
Submission Instructions
We welcome original contributions describing ongoing projects or completed work.
The instructions for authors, and LaTeX and Word templates can be found at http://www.ieee-ssci.org/submission.html
Key Dates
Paper Submissions due: 15 June 2014
Notification of Acceptance: 5 September 2014
Camera-Ready Papers due: 5 October 2014
Organizers
Richard Allmendinger, University College London, UK
Anna Lavygina, Imperial College London, UK
Sanaz Mostaghim, Otto von Guericke University of Magdeburg, Germany
Program Committee
Allmendinger Richard, University College London, UK
Ashlock Daniel, University of Guelph, Canada
Blum Christian, University of the Basque Country, Spain
Branke J?rgen, University of Warwick, UK
Chandra Arjun, University of Oslo, Norway
Deb Kalyanmoy, Michigan State University, USA
Emmerich Michael, Leiden University, Netherlands
Handl Julia, University of Manchester, UK
Knowles Joshua, University of Manchester, UK
Langdon Bill, University College London, UK
Lavygina Anna, Imperial College London, UK
Li Xiaodong, RMIT University, Australia
Mostaghim Sanaz,Otto von Guericke University of Magdeburg, Germany
Rombo Simona, University of Palermo, Italy
Shukla Pradyumn Kumar, Karlsruhe Institute of Technology, Germany
Contact
For further information please contact Richard Allmendinger (r.allmendinger@ucl.ac.uk)
------------------------------
Message: 3
Date: Tue, 29 Apr 2014 08:56:00 +0300
From: Gerhard-Wilhelm Weber <gweber@metu.edu.tr>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] International Conference on Computational and
Experimental Science and Engineering (ICCESEN 2014), Antalya, October
25-29, 2014
Message-ID: <20140429085600.79635ui0xta9ykts@horde.metu.edu.tr>
Content-Type: text/plain; charset=ISO-8859-1; DelSp="Yes";
format="flowed"
International Conference on Computational and Experimental Science and
Engineering (ICCESEN 2014)".
Kemer-Antalya-TURKEY, October 25-29, 2014
http://www.iccesen.org/
Dear Colleagues,
I am pleased to invite you to participate to the "International
Conference on Computational and Experimental Science and Engineering
(ICCESEN 2014)" which will take place at hotel Queen Elizabeth Elite
Suite Hotel & Spa (http://www.queenelizabeth.com.tr/) in the period of
25-29 October, 2014 in Kemer-Antalya (Turkey). The conference will
provide excellent international forum for sharing knowledge and
expertise of the student, researchers and also industry.
The topic of the conference are:
Stream 1. Physical Science and Technology
Stream 2. Mathematical science and applications
Stream 3. Energy and applications
Stream 4. Earth Science and Application
Stream 5. Engineering Science and application
Stream 6. Material Science and application
The publication of the papers:
Some selected papers will be submitted for publication in a variety of
different SCI indexed journal covers different topics:
> Annals of Nuclear Energy (ANE)
> Optimization Methods and Software (OMS)
> Indian Journal of Engineering & Materials Sciences
> Acta Physica Polonica A,
> Computer Modeling in Engineering & Sciences
> Bosnian Journal of Basic Medical Sciences
>European Journal of Science and Technology
Important Dates are):
Abstract Submission : June 15, 2014
Early Registration : June 15, 2014
Late Normal Registration : August 31, 2014
Notification of Accepted papers : August 15, 2014
Conference Date : October 25-29, 2014
Full text submission : November 15,
2014 (for presented papers)
Prof.Dr. Iskender AKKURT
Conference Chair
iskenderakkurt@iccesen.org
www.iccesen.org
------------------------------
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 28
**************************************
dmanet Digest, Vol 74, Issue 27
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. SSTiC 2014: May 10, 6th registration deadline (GRLMC)
2. Associate professorship in algorithms at ITU Copenhagen
(Rasmus Pagh)
3. School on Parameterized Algorithms and Complexity
(application deadline approaching) (Marcin Pilipczuk)
4. YR-ICALP 2014: Deadline extended to May 4th
(Troels Bjerre S?rensen)
5. Ph.D. Position in Information Security at the University of
Luxembourg (Barbara KORDY)
6. SPAA 2014 - Call for Participation (Jeremy Fineman)
7. ECAI-14 Workshop and Tutorial on Metalearning & Algorithm
Selection (Pavel Brazdil)
----------------------------------------------------------------------
Message: 1
Date: Mon, 28 Apr 2014 11:55:02 +0200
From: "GRLMC" <grlmc@urv.cat>
To: <dmanet@zpr.uni-koeln.de>
Subject: [DMANET] SSTiC 2014: May 10, 6th registration deadline
Message-ID: <EB0FC10A0F65414C963686F8FCD7AAD6@Carlos1>
Content-Type: text/plain; charset="iso-8859-1"
*********************************************************************
2014 TARRAGONA INTERNATIONAL SUMMER SCHOOL ON TRENDS IN COMPUTING
SSTiC 2014
Tarragona, Spain
July 7-11, 2014
Organized by
Rovira i Virgili University
http://grammars.grlmc.com/sstic2014/
*********************************************************************
--- May 10, 6th registration deadline ---
*********************************************************************
AIM:
SSTiC 2014 is the second edition in a series started in 2013. For the
previous event, see http://grammars.grlmc.com/SSTiC2013/
SSTiC 2014 will be a research training event mainly addressed to PhD
students and PhD holders in the first steps of their academic career. It
intends to update them about the most recent developments in the diverse
branches of computer science and its neighbouring areas. To that purpose,
renowned scholars will lecture and will be available for interaction with
the audience.
SSTiC 2014 will cover the whole spectrum of computer science through 6
keynote lectures and 23 six-hour courses dealing with some of the most
lively topics in the field. The organizers share the idea that outstanding
speakers will really attract the brightest students.
ADDRESSED TO:
Graduate students from around the world. There are no formal pre-requisites
in terms of the academic degree the attendee must hold. However, since there
will be several levels among the courses, reference may be made to specific
knowledge background in the description of some of them.
SSTiC 2014 is also appropriate for more senior people who want to keep
themselves updated on developments in their own field or in other branches
of computer science. They will surely find it fruitful to listen and discuss
with scholars who are main references in computing nowadays.
REGIME:
In addition to keynotes, 3 parallel sessions will be held during the whole
event. Participants will be able to freely choose the courses they will be
willing to attend as well as to move from one to another.
VENUE:
SSTiC 2014 will take place in Tarragona, located 90 kms. to the south of
Barcelona. The venue will be:
Campus Catalunya
Universitat Rovira i Virgili
Av. Catalunya, 35
43002 Tarragona
KEYNOTE SPEAKERS:
Larry S. Davis (U Maryland, College Park), A Historical Perspective of
Computer Vision Models for Object Recognition and Scene Analysis
David S. Johnson (Columbia U, New York), Open and Closed Problems in
NP-Completeness
George Karypis (U Minnesota, Twin Cities), Top-N Recommender Systems:
Revisiting Item Neighborhood Methods
Steffen Staab (U Koblenz), Explicit and Implicit Semantics: Two Sides of One
Coin
Philip Wadler (U Edinburgh), You and Your Research and The Elements of Style
Ronald R. Yager (Iona C, New Rochelle), Social Modeling
COURSES AND PROFESSORS:
Divyakant Agrawal (U California, Santa Barbara), [intermediate] Scalable
Data Management in Enterprise and Cloud Computing Infrastructures
Pierre Baldi (U California, Irvine), [intermediate] Big Data Informatics
Challenges and Opportunities in the Life Sciences
Rajkumar Buyya (U Melbourne), [intermediate] Cloud Computing
John M. Carroll (Pennsylvania State U, University Park), [introductory]
Usability Engineering and Scenario-based Design
Kwang-Ting (Tim) Cheng (U California, Santa Barbara),
[introductory/intermediate] Smartphones: Hardware Platform, Software
Development, and Emerging Apps
Amr El Abbadi (U California, Santa Barbara), [introductory] The Distributed
Foundations of Data Management in the Cloud
Richard M. Fujimoto (Georgia Tech, Atlanta), [introductory] Parallel and
Distributed Simulation
Mark Guzdial (Georgia Tech, Atlanta), [introductory] Computing Education
Research: What We Know about Learning and Teaching Computer Science
David S. Johnson (Columbia U, New York), [introductory] The Traveling
Salesman Problem in Theory and Practice
George Karypis (U Minnesota, Twin Cities), [intermediate] Programming
Models/Frameworks for Parallel & Distributed Computing
Aggelos K. Katsaggelos (Northwestern U, Evanston), [intermediate]
Optimization Techniques for Sparse/Low-rank Recovery Problems in Image
Processing and Machine Learning
Arie E. Kaufman (U Stony Brook), [intermediate/advanced] Visualization
Carl Lagoze (U Michigan, Ann Arbor), [introductory] Curation of Big Data
Dinesh Manocha (U North Carolina, Chapel Hill), [introductory/intermediate]
Robot Motion Planning
Bijan Parsia (U Manchester), [introductory] The Empirical Mindset in
Computer Science
Charles E. Perkins (FutureWei Technologies, Santa Clara), [intermediate]
Beyond LTE: the Evolution of 4G Networks and the Need for Higher Performance
Handover System Designs
Robert Sargent (Syracuse U), [introductory] Validation of Models
Mubarak Shah (U Central Florida, Orlando), [intermediate] Visual Crowd
Analysis
Steffen Staab (U Koblenz), [intermediate] Programming the Semantic Web
Mike Thelwall (U Wolverhampton), [introductory] Sentiment Strength Detection
for Twitter and the Social Web
Jeffrey D. Ullman (Stanford U), [introductory] MapReduce Algorithms
Nitin Vaidya (U Illinois, Urbana-Champaign), [introductory/intermediate]
Distributed Consensus: Theory and Applications
Philip Wadler (U Edinburgh), [intermediate] Topics in Lambda Calculus and
Life
ORGANIZING COMMITTEE:
Adrian Horia Dediu (Tarragona)
Carlos Mart?n-Vide (Tarragona, chair)
Florentina Lilica Voicu (Tarragona)
REGISTRATION:
It has to be done at
http://grammars.grlmc.com/sstic2014/registration.php
The selection of up to 8 courses requested in the registration template is
only tentative and non-binding. For the sake of organization, it will be
helpful to have an approximation of the respective demand for each course.
Since the capacity of the venue is limited, registration requests will be
processed on a first come first served basis. The registration period will
be closed when the capacity of the venue will be complete. It is very
convenient to register prior to the event.
FEES:
As far as possible, participants are expected to attend for the whole (or
most of the) week (full-time). Fees are a flat rate allowing one to
participate to all courses. They vary depending on the registration
deadline.
ACCOMMODATION:
Information about accommodation is available on the website of the School.
CERTIFICATE:
Participants will be delivered a certificate of attendance.
QUESTIONS AND FURTHER INFORMATION:
florentinalilica.voicu@urv.cat
POSTAL ADDRESS:
SSTiC 2014
Lilica Voicu
Rovira i Virgili University
Av. Catalunya, 35
43002 Tarragona, Spain
Phone: +34 977 559 543
Fax: +34 977 558 386
ACKNOWLEDGEMENTS:
Departament d?Economia i Coneixement, Generalitat de Catalunya
Universitat Rovira i Virgili
------------------------------
Message: 2
Date: Mon, 28 Apr 2014 10:28:16 +0000
From: Rasmus Pagh <pagh@itu.dk>
To: "dmanet@zpr.uni-koeln.de" <dmanet@zpr.uni-koeln.de>
Subject: [DMANET] Associate professorship in algorithms at ITU
Copenhagen
Message-ID: <EF352957-895E-4F90-9B03-F6437496FD4D@itu.dk>
Content-Type: text/plain; charset="us-ascii"
The IT University of Copenhagen invites applicants for an associate professorship in algorithms (tenured) with special emphasis on algorithm engineering.
The proposed starting date is January 1, 2015.
Candidates are expected to have expertise in design and analysis of algorithms, with focus on bridging the gap between theory and practice. A history of industry collaboration, dissemination activities, and of making developed algorithms available to software developers is an advantage.
Candidates should complement ITU's existing expertise within algorithms theory and big data algorithms, and be motivated by an interplay of theory and practice (motivated by problems of practical interest, while seeking to make use of theoretical insight). Possible areas of expertise include, but are not limited to: Algorithms for modern computer architectures, algorithms for data management, space-efficiency, scalable algorithms for analyzing string and graph data, experimental algorithms, and engineering of randomized algorithms.
More info: https://delta.hr-manager.net/ApplicationInit.aspx?cid=119&ProjectId=173037&departmentId=3439&MediaId=5
------------------------------
Message: 3
Date: Mon, 28 Apr 2014 12:52:43 +0200 (CEST)
From: Marcin Pilipczuk <malcin@mimuw.edu.pl>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] School on Parameterized Algorithms and Complexity
(application deadline approaching)
Message-ID: <alpine.LNX.2.00.1404281249260.29008@duch.mimuw.edu.pl>
Content-Type: TEXT/PLAIN; format=flowed; charset=US-ASCII
School on Parameterized Algorithms and Complexity
We would like to remind about the approaching deadline for application
(30 April 2014).
Application form: http://fptschool.mimuw.edu.pl/index.php/application
More info: http://fptschool.mimuw.edu.pl
------------------------------
Message: 4
Date: Mon, 28 Apr 2014 12:21:29 +0000
From: Troels Bjerre S?rensen <trbj@itu.dk>
To: "dmanet@zpr.uni-koeln.de" <dmanet@zpr.uni-koeln.de>
Subject: [DMANET] YR-ICALP 2014: Deadline extended to May 4th
Message-ID: <1398687680763.96046@itu.dk>
Content-Type: text/plain; charset="utf-8"
YR-ICALP 2014: 1st Young Researcher Workshop on Automata, Languages and Programming
(http://www.itu.dk/people/maca/YR-ICALP2014/)
Scope:
YR-ICALP 2014 is a satellite workshop of ICALP 2014 and will be held on Monday July 7, 2014, at the ICALP venue at the IT-University of Copenhagen. This workshop aims at providing a forum for PhD students to exchange their preliminary or established results within the scope of the ICALP conference, in order to receive feedback. Excellent master students are also encouraged to contribute.
Format:?
YR-ICALP 2014 will offer a blend of presentations and posters:
* Presentations are selected on the basis of an abstract of up to 3 pages (incl. references).
* Posters are selected on the basis of an abstract of 500 words.
No particular format is required for either kind of abstract. Submissions must state whether they are presentations or posters. The accepted abstracts for presentations will be made available at the workshop, but no formal proceedings are planned. It is thus also allowed (and encouraged) to send results that have already been published. Rejected submissions for presentations may be invited for the poster session.
Submission must be done through the following link:
https://www.easychair.org/conferences/?conf=yricalp2014
Important Dates:
Submission:?4 May?2014 (extended)
Notification: 13 May 2014
Workshop Day: 7 July 2014
Program Committee:
Troels S?rensen
Marco Carbone
Pierluigi Crescenzi??
------------------------------
Message: 5
Date: Mon, 28 Apr 2014 14:38:29 +0000
From: Barbara KORDY <barbara.kordy@uni.lu>
To: "dmanet@zpr.uni-koeln.de" <dmanet@zpr.uni-koeln.de>
Subject: [DMANET] Ph.D. Position in Information Security at the
University of Luxembourg
Message-ID: <51604CA7384E4C4A97AD9EE83BC440C11DB4C590@hoshi.uni.lux>
Content-Type: text/plain; charset="us-ascii"
The University of Luxembourg seeks to hire an outstanding doctoral
researcher at its Interdisciplinary Centre for Security, Reliability
and Trust (http://wwwen.uni.lu/snt) (SnT).
The successful candidate will participate in the activities of the
SaToSS (http://satoss.uni.lu) research group led by Prof. Dr. Sjouke
Mauw. The SaToSS group is working on formalizing and applying formal
reasoning to real-world security problems and trust issues. The research
topics of the group include: security protocols, security modeling,
formal methods for security, socio-technical aspects of security, risk
management, privacy, verification, etc.
Your role
--------------
The position is within the national project Attack-Defense Trees:
Theory Meets Practice (ADT2P). ADT2P is a follow-up project of a
recently finalized project Attack
Trees (http://satoss.uni.lu/projects/atrees/). The main tasks of the
Ph.D. student will be to
- Develop techniques for efficient representation of large-scale
security models,
- Introduce algorithms for quantitative analysis of such models,
- Integrate the developed techniques with existing risk assessment
methods and tools,
- Implement the obtained results in a computer tool,
- Conduct case studies together with the project partners from
industry,
- Co-supervise master students.
Your Profile
----------------
The candidate is expected to have:
- A Master degree in computer science or mathematics,
- A proven interest in security,
- Background in formal methods,
- Excellent written and oral English skills.
We offer
-----------
The University offers a three year appointment (extension up to 4 years
in total is possible). The University offers highly competitive salaries
and is an equal opportunity employer. You will work in an exciting
international environment and will have the opportunity to participate
in the development of a newly created research center.
Application
---------------
Applications should be written in English and include the following
documents:
- Cover letter indicating the research area of interest and your
motivation,
- Curriculum Vitae (including your contact address, work experience,
list of publications),
- A research statement addressing the topic of the position (max 1
page),
- A short description of your Master work (max 1 page),
- Transcript of grades from all university-level courses taken,
- Contact information for 3 referees.
Applications should be submitted electronically via the on-line
recruitment portal of the University of Luxembourg at
http://emea3.mrted.ly/dehl
Deadline for applications: June 22, 2014.
Contact information
-----------------------
For further inquiries please contact:
Prof. Dr. Sjouke Mauw (sjouke.mauw@uni.lu) or
Dr. Rolando Trujillo Rasua (rolando.trujillo@uni.lu)
For more information about this vacancy please check
http://satoss.uni.lu/vacancies/phd2014.php
------------------------------
Message: 6
Date: Mon, 28 Apr 2014 10:50:15 -0400
From: Jeremy Fineman <jfineman@cs.georgetown.edu>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] SPAA 2014 - Call for Participation
Message-ID: <3EADBFBA-E876-4CEB-ACA9-E30A2F6C3C90@cs.georgetown.edu>
Content-Type: text/plain; charset=us-ascii
======================================================
SPAA 2014 Call for Participation
======================================================
26th ACM Symposium on
Parallelism in Algorithms and Architectures (SPAA 2014)
June 23-25, 2014 Charles University, Prague, Czech Republic
http://www.spaa-conference.org
Highlight: The two keynote speakers will be Bruce Maggs and Fabian Kuhn.
======================================================
Registration is now open. The early registration deadline is May 23.
We are accepting applications for travel grants for students. These applications are due May 2.
Please visit the conference webpage for:
- list of accepted papers
- registration
- information on student travel grants
- information on local arrangements
------------------------------
Message: 7
Date: Mon, 28 Apr 2014 16:20:25 +0100
From: Pavel Brazdil <pbrazdil@inescporto.pt>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] ECAI-14 Workshop and Tutorial on Metalearning &
Algorithm Selection
Message-ID:
<CAKvmzC2ooQTh3R2JG6-DcAAa-_bbBs2Zv6H+dPX42PgMgOuRyw@mail.gmail.com>
Content-Type: text/plain; charset=UTF-8
MetaSel - Meta-learning & Algorithm Selection
*********************************************
ECAI-2014 Workshop, Prague,
19 August 2014
http://metasel2014.inescporto.pt/
2nd Announcement & Call for Papers
Objectives
This ECAI-2014 workshop will provide a platform for discussing the
nature of algorithm selection which arises in many diverse domains,
such as machine learning, data mining, optimization and satisfiability
solving, among many others.
Algorithm Selection and configuration are increasingly relevant today.
Researchers and practitioners from all branches of science and
technology face a large choice of parameterized machine learning
algorithms, with little guidance as to which techniques to use.
Moreover, data mining challenges frequently remind us that algorithm
selection and configuration are crucial in order to achieve the best
performance, and drive industrial applications.
Meta-learning leverages knowledge of past algorithm applications to
select the best techniques for future applications, and offers
effective techniques that are superior to humans both in terms of the
end result and especially in the time required to achieve it. In this
workshop we will discuss different ways of exploiting meta-learning
techniques to identify the potentially best algorithm(s) for a new
task, based on meta-level information and prior experiments. We also
discuss the prerequisites for effective meta-learning systems such as
recent infrastructure such as OpenML.org.
Many problems of today require that solutions be elaborated in the
form of complex systems or workflows which include many different
processes or operations. Constructing such complex systems or
workflows requires extensive expertise, and could be greatly
facilitated by leveraging planning, meta-learning and intelligent
system design. This task is inherently interdisciplinary, as it builds
on expertise in various areas of AI.
The workshop will include invited talks, presentations of
peer-reviewed papers and panels. The invited talks will be by Lars
Kotthoff and Frank Hutter (to be confirmed).
The target audience of this workshop includes researchers (Ph.D.'s)
and research students interested to exchange their knowledge about:
- problems and solutions of algorithm selection and algorithm configuration
- how to use software and platforms to select algorithms in practice
- how to provide advice to end users about which algorithms to
select in diverse domains, including optimization, SAT etc. and
incorporate this knowledge in new platforms.
We specifically aim to attract researchers in diverse areas that have
encountered the problem of algorithm selection and thus promote
exchange of ideas and possible collaborations.
Topics
Algorithm Selection & Configuration
Planning to learn and construct workflows
Applications of workflow planning
Meta-learning and exploitation of meta-knowledge
Exploitation of ontologies of tasks and methods
Exploitation of benchmarks and experimentation
Representation of learning goals and states in learning
Control and coordination of learning processes
Meta-reasoning
Experimentation and evaluation of learning processes
Layered learning
Multi-task and transfer learning
Learning to learn
Intelligent design
Performance modeling
Process mining
Submissions and Review Process
Important dates:
Submission deadline: 25 May 2014
Notification: 23 June 2014
Full papers can consist of a maximum of 8 pages, extended abstracts up
to 2 pages, in the ECAI format. Each submission must be submitted
online via the Easychair submission interface.
Submissions can be updated at will before the submission deadline.
Electronic versions of accepted submissions will also be made publicly
available on the conference web site. The only accepted format for
submitted papers is PDF.
Submissions are possible either as a full paper or as an extended
abstract. Full papers should present more advanced work, covering
research or a case application. Extended abstracts may present
current, recently published or future research, and can cover a wider
scope. For instance, they may be position statements, offer a specific
scientific or business problem to be solved by machine learning (ML) /
data mining (DM) or describe ML / DM demo or
installation.
Each paper submission will be evaluated on the basis of relevance,
significance of contribution, technical quality, scholarship, and
quality of presentation, by at least two members of the program
committee. All accepted submissions will be included in the conference
proceedings. At least one author of each accepted full paper or
extended abstract is required to attend the workshop to present the
contribution.
A selection will be made of the best paper and runner ups, and these
will be presented in the plenary session. The remainder of accepted
submissions will be presented in the form of short talks and a poster
session. All accepted papers, including those presented as a poster,
will be published in the workshop proceedings (possibly as CEUR
Workshop Proceedings). The papers selected for plenary presentation
will be identified in the proceedings.
Organizers:
Pavel Brazdil, FEP, Univ. of Porto / Inesc Tec, Portugal, pbrazdil
at inescporto.pt
Carlos Soares, FEUP, Univ. of Porto / Inesc Tec, Portugal, csoares
at fe.up.pt
Joaquin Vanschoren, Eindhoven University of Technology (TU/e), Eindhoven,
The Netherlands, j.vanschoren at tue.nl
Lars Kotthoff, University College Cork, Cork, Ireland, larsko at 4c.ucc.ie
Program Committee:
Pavel Brazdil, LIAAD-INESC Porto L.A. / FEP, University of Porto, Portugal
Andr? C. P. Carvalho, USP, Brasil
Claudia Diamantini, Universit? Politecnica delle Marche, Italy
Johannes Fuernkranz, TU Darmstadt, Germany
Christophe Giraud-Carrier, Brigham Young Univ., USA
Krzysztof Grabczewski, Nicolaus Copernicus University, Poland
Melanie Hilario, Switzerland
Frank Hutter, University of Freiburg, Germany
Christopher Jefferson, University of St Andrews, UK
Alexandros Kalousis, U Geneva, Switzerland
J?rg-Uwe Kietz, U.Zurich, Switzerland
Lars Kotthoff, University College Cork, Ireland
Yuri Malitsky, University College Cork, Ireland
Bernhard Pfahringer, U Waikato, New Zealand
Vid Podpecan, Jozef Stefan Institute, Slovenia
Ricardo Prud?ncio, Univ. Federal de Pernambuco Recife (PE), Brasil
Carlos Soares, FEP, University of Porto, Portugal
Guido Tack, Monash University, Australia
Joaquin Vanschoren, U. Leiden / KU Leuven
Ricardo Vilalta, University of Houston, USA
Filip Zelezn?, CVUT, Prague, R.Checa
Previous events
This workshop is closely related to the PlanLearn-2012, which took
place at ECAI-2012 and other predecessor workshops in this series.
Tutorial on Metalearning and Algorithm Selection at ECAI-2014
*************************************************************
18 August 2014
http://metasel.inescporto.pt/
Algorithm Selection and configuration are increasingly relevant today.
Researchers and practitioners from all branches of science and
technology face a large choice of parameterized algorithms, with
little
guidance as to which techniques to use. Moreover, data mining
challenges frequently remind us that algorithm selection and
configuration are crucial in order to achieve the best performance and
drive industrial applications.
Meta-learning leverages knowledge of past algorithm applications to
select the best techniques for future applications, and offers
effective techniques that are superior to humans both in terms of the
end result and especially in a limited time.
In this tutorial, we elucidate the nature of algorithm selection and
how it arises in many diverse domains, such as machine learning, data
mining, optimization and SAT solving. We show that it is possible to
use meta-learning techniques to identify the potentially best
algorithm(s) for a new task, based on meta-level information and prior
experiments. We also discuss the prerequisites for effective
meta-learning systems, and how recent infrastructures, such as
OpenML.org, allow us to build systems that effectively advice users on
which algorithms to apply.
The intended audience includes researchers (Ph.D.'s), research
students and practitioners interested to learn about, or consolidate
their knowledge about the state-of-the-art in algorithm selection and
algorithm configuration, how to use Data Mining software and platforms
to select algorithms in practice, how to provide advice to end users
about which algorithms to select in diverse domains, including
optimization, SAT etc. and incorporate this knowledge in new
platforms. The participants should bring their own laptops
------------------------------
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 27
**************************************
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. SSTiC 2014: May 10, 6th registration deadline (GRLMC)
2. Associate professorship in algorithms at ITU Copenhagen
(Rasmus Pagh)
3. School on Parameterized Algorithms and Complexity
(application deadline approaching) (Marcin Pilipczuk)
4. YR-ICALP 2014: Deadline extended to May 4th
(Troels Bjerre S?rensen)
5. Ph.D. Position in Information Security at the University of
Luxembourg (Barbara KORDY)
6. SPAA 2014 - Call for Participation (Jeremy Fineman)
7. ECAI-14 Workshop and Tutorial on Metalearning & Algorithm
Selection (Pavel Brazdil)
----------------------------------------------------------------------
Message: 1
Date: Mon, 28 Apr 2014 11:55:02 +0200
From: "GRLMC" <grlmc@urv.cat>
To: <dmanet@zpr.uni-koeln.de>
Subject: [DMANET] SSTiC 2014: May 10, 6th registration deadline
Message-ID: <EB0FC10A0F65414C963686F8FCD7AAD6@Carlos1>
Content-Type: text/plain; charset="iso-8859-1"
*********************************************************************
2014 TARRAGONA INTERNATIONAL SUMMER SCHOOL ON TRENDS IN COMPUTING
SSTiC 2014
Tarragona, Spain
July 7-11, 2014
Organized by
Rovira i Virgili University
http://grammars.grlmc.com/sstic2014/
*********************************************************************
--- May 10, 6th registration deadline ---
*********************************************************************
AIM:
SSTiC 2014 is the second edition in a series started in 2013. For the
previous event, see http://grammars.grlmc.com/SSTiC2013/
SSTiC 2014 will be a research training event mainly addressed to PhD
students and PhD holders in the first steps of their academic career. It
intends to update them about the most recent developments in the diverse
branches of computer science and its neighbouring areas. To that purpose,
renowned scholars will lecture and will be available for interaction with
the audience.
SSTiC 2014 will cover the whole spectrum of computer science through 6
keynote lectures and 23 six-hour courses dealing with some of the most
lively topics in the field. The organizers share the idea that outstanding
speakers will really attract the brightest students.
ADDRESSED TO:
Graduate students from around the world. There are no formal pre-requisites
in terms of the academic degree the attendee must hold. However, since there
will be several levels among the courses, reference may be made to specific
knowledge background in the description of some of them.
SSTiC 2014 is also appropriate for more senior people who want to keep
themselves updated on developments in their own field or in other branches
of computer science. They will surely find it fruitful to listen and discuss
with scholars who are main references in computing nowadays.
REGIME:
In addition to keynotes, 3 parallel sessions will be held during the whole
event. Participants will be able to freely choose the courses they will be
willing to attend as well as to move from one to another.
VENUE:
SSTiC 2014 will take place in Tarragona, located 90 kms. to the south of
Barcelona. The venue will be:
Campus Catalunya
Universitat Rovira i Virgili
Av. Catalunya, 35
43002 Tarragona
KEYNOTE SPEAKERS:
Larry S. Davis (U Maryland, College Park), A Historical Perspective of
Computer Vision Models for Object Recognition and Scene Analysis
David S. Johnson (Columbia U, New York), Open and Closed Problems in
NP-Completeness
George Karypis (U Minnesota, Twin Cities), Top-N Recommender Systems:
Revisiting Item Neighborhood Methods
Steffen Staab (U Koblenz), Explicit and Implicit Semantics: Two Sides of One
Coin
Philip Wadler (U Edinburgh), You and Your Research and The Elements of Style
Ronald R. Yager (Iona C, New Rochelle), Social Modeling
COURSES AND PROFESSORS:
Divyakant Agrawal (U California, Santa Barbara), [intermediate] Scalable
Data Management in Enterprise and Cloud Computing Infrastructures
Pierre Baldi (U California, Irvine), [intermediate] Big Data Informatics
Challenges and Opportunities in the Life Sciences
Rajkumar Buyya (U Melbourne), [intermediate] Cloud Computing
John M. Carroll (Pennsylvania State U, University Park), [introductory]
Usability Engineering and Scenario-based Design
Kwang-Ting (Tim) Cheng (U California, Santa Barbara),
[introductory/intermediate] Smartphones: Hardware Platform, Software
Development, and Emerging Apps
Amr El Abbadi (U California, Santa Barbara), [introductory] The Distributed
Foundations of Data Management in the Cloud
Richard M. Fujimoto (Georgia Tech, Atlanta), [introductory] Parallel and
Distributed Simulation
Mark Guzdial (Georgia Tech, Atlanta), [introductory] Computing Education
Research: What We Know about Learning and Teaching Computer Science
David S. Johnson (Columbia U, New York), [introductory] The Traveling
Salesman Problem in Theory and Practice
George Karypis (U Minnesota, Twin Cities), [intermediate] Programming
Models/Frameworks for Parallel & Distributed Computing
Aggelos K. Katsaggelos (Northwestern U, Evanston), [intermediate]
Optimization Techniques for Sparse/Low-rank Recovery Problems in Image
Processing and Machine Learning
Arie E. Kaufman (U Stony Brook), [intermediate/advanced] Visualization
Carl Lagoze (U Michigan, Ann Arbor), [introductory] Curation of Big Data
Dinesh Manocha (U North Carolina, Chapel Hill), [introductory/intermediate]
Robot Motion Planning
Bijan Parsia (U Manchester), [introductory] The Empirical Mindset in
Computer Science
Charles E. Perkins (FutureWei Technologies, Santa Clara), [intermediate]
Beyond LTE: the Evolution of 4G Networks and the Need for Higher Performance
Handover System Designs
Robert Sargent (Syracuse U), [introductory] Validation of Models
Mubarak Shah (U Central Florida, Orlando), [intermediate] Visual Crowd
Analysis
Steffen Staab (U Koblenz), [intermediate] Programming the Semantic Web
Mike Thelwall (U Wolverhampton), [introductory] Sentiment Strength Detection
for Twitter and the Social Web
Jeffrey D. Ullman (Stanford U), [introductory] MapReduce Algorithms
Nitin Vaidya (U Illinois, Urbana-Champaign), [introductory/intermediate]
Distributed Consensus: Theory and Applications
Philip Wadler (U Edinburgh), [intermediate] Topics in Lambda Calculus and
Life
ORGANIZING COMMITTEE:
Adrian Horia Dediu (Tarragona)
Carlos Mart?n-Vide (Tarragona, chair)
Florentina Lilica Voicu (Tarragona)
REGISTRATION:
It has to be done at
http://grammars.grlmc.com/sstic2014/registration.php
The selection of up to 8 courses requested in the registration template is
only tentative and non-binding. For the sake of organization, it will be
helpful to have an approximation of the respective demand for each course.
Since the capacity of the venue is limited, registration requests will be
processed on a first come first served basis. The registration period will
be closed when the capacity of the venue will be complete. It is very
convenient to register prior to the event.
FEES:
As far as possible, participants are expected to attend for the whole (or
most of the) week (full-time). Fees are a flat rate allowing one to
participate to all courses. They vary depending on the registration
deadline.
ACCOMMODATION:
Information about accommodation is available on the website of the School.
CERTIFICATE:
Participants will be delivered a certificate of attendance.
QUESTIONS AND FURTHER INFORMATION:
florentinalilica.voicu@urv.cat
POSTAL ADDRESS:
SSTiC 2014
Lilica Voicu
Rovira i Virgili University
Av. Catalunya, 35
43002 Tarragona, Spain
Phone: +34 977 559 543
Fax: +34 977 558 386
ACKNOWLEDGEMENTS:
Departament d?Economia i Coneixement, Generalitat de Catalunya
Universitat Rovira i Virgili
------------------------------
Message: 2
Date: Mon, 28 Apr 2014 10:28:16 +0000
From: Rasmus Pagh <pagh@itu.dk>
To: "dmanet@zpr.uni-koeln.de" <dmanet@zpr.uni-koeln.de>
Subject: [DMANET] Associate professorship in algorithms at ITU
Copenhagen
Message-ID: <EF352957-895E-4F90-9B03-F6437496FD4D@itu.dk>
Content-Type: text/plain; charset="us-ascii"
The IT University of Copenhagen invites applicants for an associate professorship in algorithms (tenured) with special emphasis on algorithm engineering.
The proposed starting date is January 1, 2015.
Candidates are expected to have expertise in design and analysis of algorithms, with focus on bridging the gap between theory and practice. A history of industry collaboration, dissemination activities, and of making developed algorithms available to software developers is an advantage.
Candidates should complement ITU's existing expertise within algorithms theory and big data algorithms, and be motivated by an interplay of theory and practice (motivated by problems of practical interest, while seeking to make use of theoretical insight). Possible areas of expertise include, but are not limited to: Algorithms for modern computer architectures, algorithms for data management, space-efficiency, scalable algorithms for analyzing string and graph data, experimental algorithms, and engineering of randomized algorithms.
More info: https://delta.hr-manager.net/ApplicationInit.aspx?cid=119&ProjectId=173037&departmentId=3439&MediaId=5
------------------------------
Message: 3
Date: Mon, 28 Apr 2014 12:52:43 +0200 (CEST)
From: Marcin Pilipczuk <malcin@mimuw.edu.pl>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] School on Parameterized Algorithms and Complexity
(application deadline approaching)
Message-ID: <alpine.LNX.2.00.1404281249260.29008@duch.mimuw.edu.pl>
Content-Type: TEXT/PLAIN; format=flowed; charset=US-ASCII
School on Parameterized Algorithms and Complexity
We would like to remind about the approaching deadline for application
(30 April 2014).
Application form: http://fptschool.mimuw.edu.pl/index.php/application
More info: http://fptschool.mimuw.edu.pl
------------------------------
Message: 4
Date: Mon, 28 Apr 2014 12:21:29 +0000
From: Troels Bjerre S?rensen <trbj@itu.dk>
To: "dmanet@zpr.uni-koeln.de" <dmanet@zpr.uni-koeln.de>
Subject: [DMANET] YR-ICALP 2014: Deadline extended to May 4th
Message-ID: <1398687680763.96046@itu.dk>
Content-Type: text/plain; charset="utf-8"
YR-ICALP 2014: 1st Young Researcher Workshop on Automata, Languages and Programming
(http://www.itu.dk/people/maca/YR-ICALP2014/)
Scope:
YR-ICALP 2014 is a satellite workshop of ICALP 2014 and will be held on Monday July 7, 2014, at the ICALP venue at the IT-University of Copenhagen. This workshop aims at providing a forum for PhD students to exchange their preliminary or established results within the scope of the ICALP conference, in order to receive feedback. Excellent master students are also encouraged to contribute.
Format:?
YR-ICALP 2014 will offer a blend of presentations and posters:
* Presentations are selected on the basis of an abstract of up to 3 pages (incl. references).
* Posters are selected on the basis of an abstract of 500 words.
No particular format is required for either kind of abstract. Submissions must state whether they are presentations or posters. The accepted abstracts for presentations will be made available at the workshop, but no formal proceedings are planned. It is thus also allowed (and encouraged) to send results that have already been published. Rejected submissions for presentations may be invited for the poster session.
Submission must be done through the following link:
https://www.easychair.org/conferences/?conf=yricalp2014
Important Dates:
Submission:?4 May?2014 (extended)
Notification: 13 May 2014
Workshop Day: 7 July 2014
Program Committee:
Troels S?rensen
Marco Carbone
Pierluigi Crescenzi??
------------------------------
Message: 5
Date: Mon, 28 Apr 2014 14:38:29 +0000
From: Barbara KORDY <barbara.kordy@uni.lu>
To: "dmanet@zpr.uni-koeln.de" <dmanet@zpr.uni-koeln.de>
Subject: [DMANET] Ph.D. Position in Information Security at the
University of Luxembourg
Message-ID: <51604CA7384E4C4A97AD9EE83BC440C11DB4C590@hoshi.uni.lux>
Content-Type: text/plain; charset="us-ascii"
The University of Luxembourg seeks to hire an outstanding doctoral
researcher at its Interdisciplinary Centre for Security, Reliability
and Trust (http://wwwen.uni.lu/snt) (SnT).
The successful candidate will participate in the activities of the
SaToSS (http://satoss.uni.lu) research group led by Prof. Dr. Sjouke
Mauw. The SaToSS group is working on formalizing and applying formal
reasoning to real-world security problems and trust issues. The research
topics of the group include: security protocols, security modeling,
formal methods for security, socio-technical aspects of security, risk
management, privacy, verification, etc.
Your role
--------------
The position is within the national project Attack-Defense Trees:
Theory Meets Practice (ADT2P). ADT2P is a follow-up project of a
recently finalized project Attack
Trees (http://satoss.uni.lu/projects/atrees/). The main tasks of the
Ph.D. student will be to
- Develop techniques for efficient representation of large-scale
security models,
- Introduce algorithms for quantitative analysis of such models,
- Integrate the developed techniques with existing risk assessment
methods and tools,
- Implement the obtained results in a computer tool,
- Conduct case studies together with the project partners from
industry,
- Co-supervise master students.
Your Profile
----------------
The candidate is expected to have:
- A Master degree in computer science or mathematics,
- A proven interest in security,
- Background in formal methods,
- Excellent written and oral English skills.
We offer
-----------
The University offers a three year appointment (extension up to 4 years
in total is possible). The University offers highly competitive salaries
and is an equal opportunity employer. You will work in an exciting
international environment and will have the opportunity to participate
in the development of a newly created research center.
Application
---------------
Applications should be written in English and include the following
documents:
- Cover letter indicating the research area of interest and your
motivation,
- Curriculum Vitae (including your contact address, work experience,
list of publications),
- A research statement addressing the topic of the position (max 1
page),
- A short description of your Master work (max 1 page),
- Transcript of grades from all university-level courses taken,
- Contact information for 3 referees.
Applications should be submitted electronically via the on-line
recruitment portal of the University of Luxembourg at
http://emea3.mrted.ly/dehl
Deadline for applications: June 22, 2014.
Contact information
-----------------------
For further inquiries please contact:
Prof. Dr. Sjouke Mauw (sjouke.mauw@uni.lu) or
Dr. Rolando Trujillo Rasua (rolando.trujillo@uni.lu)
For more information about this vacancy please check
http://satoss.uni.lu/vacancies/phd2014.php
------------------------------
Message: 6
Date: Mon, 28 Apr 2014 10:50:15 -0400
From: Jeremy Fineman <jfineman@cs.georgetown.edu>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] SPAA 2014 - Call for Participation
Message-ID: <3EADBFBA-E876-4CEB-ACA9-E30A2F6C3C90@cs.georgetown.edu>
Content-Type: text/plain; charset=us-ascii
======================================================
SPAA 2014 Call for Participation
======================================================
26th ACM Symposium on
Parallelism in Algorithms and Architectures (SPAA 2014)
June 23-25, 2014 Charles University, Prague, Czech Republic
http://www.spaa-conference.org
Highlight: The two keynote speakers will be Bruce Maggs and Fabian Kuhn.
======================================================
Registration is now open. The early registration deadline is May 23.
We are accepting applications for travel grants for students. These applications are due May 2.
Please visit the conference webpage for:
- list of accepted papers
- registration
- information on student travel grants
- information on local arrangements
------------------------------
Message: 7
Date: Mon, 28 Apr 2014 16:20:25 +0100
From: Pavel Brazdil <pbrazdil@inescporto.pt>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] ECAI-14 Workshop and Tutorial on Metalearning &
Algorithm Selection
Message-ID:
<CAKvmzC2ooQTh3R2JG6-DcAAa-_bbBs2Zv6H+dPX42PgMgOuRyw@mail.gmail.com>
Content-Type: text/plain; charset=UTF-8
MetaSel - Meta-learning & Algorithm Selection
*********************************************
ECAI-2014 Workshop, Prague,
19 August 2014
http://metasel2014.inescporto.pt/
2nd Announcement & Call for Papers
Objectives
This ECAI-2014 workshop will provide a platform for discussing the
nature of algorithm selection which arises in many diverse domains,
such as machine learning, data mining, optimization and satisfiability
solving, among many others.
Algorithm Selection and configuration are increasingly relevant today.
Researchers and practitioners from all branches of science and
technology face a large choice of parameterized machine learning
algorithms, with little guidance as to which techniques to use.
Moreover, data mining challenges frequently remind us that algorithm
selection and configuration are crucial in order to achieve the best
performance, and drive industrial applications.
Meta-learning leverages knowledge of past algorithm applications to
select the best techniques for future applications, and offers
effective techniques that are superior to humans both in terms of the
end result and especially in the time required to achieve it. In this
workshop we will discuss different ways of exploiting meta-learning
techniques to identify the potentially best algorithm(s) for a new
task, based on meta-level information and prior experiments. We also
discuss the prerequisites for effective meta-learning systems such as
recent infrastructure such as OpenML.org.
Many problems of today require that solutions be elaborated in the
form of complex systems or workflows which include many different
processes or operations. Constructing such complex systems or
workflows requires extensive expertise, and could be greatly
facilitated by leveraging planning, meta-learning and intelligent
system design. This task is inherently interdisciplinary, as it builds
on expertise in various areas of AI.
The workshop will include invited talks, presentations of
peer-reviewed papers and panels. The invited talks will be by Lars
Kotthoff and Frank Hutter (to be confirmed).
The target audience of this workshop includes researchers (Ph.D.'s)
and research students interested to exchange their knowledge about:
- problems and solutions of algorithm selection and algorithm configuration
- how to use software and platforms to select algorithms in practice
- how to provide advice to end users about which algorithms to
select in diverse domains, including optimization, SAT etc. and
incorporate this knowledge in new platforms.
We specifically aim to attract researchers in diverse areas that have
encountered the problem of algorithm selection and thus promote
exchange of ideas and possible collaborations.
Topics
Algorithm Selection & Configuration
Planning to learn and construct workflows
Applications of workflow planning
Meta-learning and exploitation of meta-knowledge
Exploitation of ontologies of tasks and methods
Exploitation of benchmarks and experimentation
Representation of learning goals and states in learning
Control and coordination of learning processes
Meta-reasoning
Experimentation and evaluation of learning processes
Layered learning
Multi-task and transfer learning
Learning to learn
Intelligent design
Performance modeling
Process mining
Submissions and Review Process
Important dates:
Submission deadline: 25 May 2014
Notification: 23 June 2014
Full papers can consist of a maximum of 8 pages, extended abstracts up
to 2 pages, in the ECAI format. Each submission must be submitted
online via the Easychair submission interface.
Submissions can be updated at will before the submission deadline.
Electronic versions of accepted submissions will also be made publicly
available on the conference web site. The only accepted format for
submitted papers is PDF.
Submissions are possible either as a full paper or as an extended
abstract. Full papers should present more advanced work, covering
research or a case application. Extended abstracts may present
current, recently published or future research, and can cover a wider
scope. For instance, they may be position statements, offer a specific
scientific or business problem to be solved by machine learning (ML) /
data mining (DM) or describe ML / DM demo or
installation.
Each paper submission will be evaluated on the basis of relevance,
significance of contribution, technical quality, scholarship, and
quality of presentation, by at least two members of the program
committee. All accepted submissions will be included in the conference
proceedings. At least one author of each accepted full paper or
extended abstract is required to attend the workshop to present the
contribution.
A selection will be made of the best paper and runner ups, and these
will be presented in the plenary session. The remainder of accepted
submissions will be presented in the form of short talks and a poster
session. All accepted papers, including those presented as a poster,
will be published in the workshop proceedings (possibly as CEUR
Workshop Proceedings). The papers selected for plenary presentation
will be identified in the proceedings.
Organizers:
Pavel Brazdil, FEP, Univ. of Porto / Inesc Tec, Portugal, pbrazdil
at inescporto.pt
Carlos Soares, FEUP, Univ. of Porto / Inesc Tec, Portugal, csoares
at fe.up.pt
Joaquin Vanschoren, Eindhoven University of Technology (TU/e), Eindhoven,
The Netherlands, j.vanschoren at tue.nl
Lars Kotthoff, University College Cork, Cork, Ireland, larsko at 4c.ucc.ie
Program Committee:
Pavel Brazdil, LIAAD-INESC Porto L.A. / FEP, University of Porto, Portugal
Andr? C. P. Carvalho, USP, Brasil
Claudia Diamantini, Universit? Politecnica delle Marche, Italy
Johannes Fuernkranz, TU Darmstadt, Germany
Christophe Giraud-Carrier, Brigham Young Univ., USA
Krzysztof Grabczewski, Nicolaus Copernicus University, Poland
Melanie Hilario, Switzerland
Frank Hutter, University of Freiburg, Germany
Christopher Jefferson, University of St Andrews, UK
Alexandros Kalousis, U Geneva, Switzerland
J?rg-Uwe Kietz, U.Zurich, Switzerland
Lars Kotthoff, University College Cork, Ireland
Yuri Malitsky, University College Cork, Ireland
Bernhard Pfahringer, U Waikato, New Zealand
Vid Podpecan, Jozef Stefan Institute, Slovenia
Ricardo Prud?ncio, Univ. Federal de Pernambuco Recife (PE), Brasil
Carlos Soares, FEP, University of Porto, Portugal
Guido Tack, Monash University, Australia
Joaquin Vanschoren, U. Leiden / KU Leuven
Ricardo Vilalta, University of Houston, USA
Filip Zelezn?, CVUT, Prague, R.Checa
Previous events
This workshop is closely related to the PlanLearn-2012, which took
place at ECAI-2012 and other predecessor workshops in this series.
Tutorial on Metalearning and Algorithm Selection at ECAI-2014
*************************************************************
18 August 2014
http://metasel.inescporto.pt/
Algorithm Selection and configuration are increasingly relevant today.
Researchers and practitioners from all branches of science and
technology face a large choice of parameterized algorithms, with
little
guidance as to which techniques to use. Moreover, data mining
challenges frequently remind us that algorithm selection and
configuration are crucial in order to achieve the best performance and
drive industrial applications.
Meta-learning leverages knowledge of past algorithm applications to
select the best techniques for future applications, and offers
effective techniques that are superior to humans both in terms of the
end result and especially in a limited time.
In this tutorial, we elucidate the nature of algorithm selection and
how it arises in many diverse domains, such as machine learning, data
mining, optimization and SAT solving. We show that it is possible to
use meta-learning techniques to identify the potentially best
algorithm(s) for a new task, based on meta-level information and prior
experiments. We also discuss the prerequisites for effective
meta-learning systems, and how recent infrastructures, such as
OpenML.org, allow us to build systems that effectively advice users on
which algorithms to apply.
The intended audience includes researchers (Ph.D.'s), research
students and practitioners interested to learn about, or consolidate
their knowledge about the state-of-the-art in algorithm selection and
algorithm configuration, how to use Data Mining software and platforms
to select algorithms in practice, how to provide advice to end users
about which algorithms to select in diverse domains, including
optimization, SAT etc. and incorporate this knowledge in new
platforms. The participants should bring their own laptops
------------------------------
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 27
**************************************
Monday, April 28, 2014
dmanet Digest, Vol 74, Issue 26
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. Optimisation Positions at NICTA ORG (Victor Pillac)
2. Workshop: MIND, MECHANISM AND MATHEMATICS - Columbia
University, New York City, May 12-14, 2014 (S B Cooper)
3. Two One-Day Colloquia in Combinatorics 2014 (Jozef Skokan)
4. ICGT early registration deadline is April 30 (Myriam Preissmann)
----------------------------------------------------------------------
Message: 1
Date: Mon, 28 Apr 2014 04:35:47 +0000
From: Victor Pillac <Victor.Pillac@nicta.com.au>
To: "dmanet@zpr.uni-koeln.de" <dmanet@zpr.uni-koeln.de>
Subject: [DMANET] Optimisation Positions at NICTA ORG
Message-ID: <C532FD70-8B2F-4F5D-A1A5-CB49E08FEAB2@nicta.com.au>
Content-Type: text/plain; charset="us-ascii"
Dear colleagues,
The NICTA Optimisation Research Group is seeking outstanding researchers who have recently received their PhD to bridge the gap between research and industry in the areas of:
- Optimisation solvers for global nonlinear optimisation, mathematical programming, and constraint programming;
- Energy systems;
- Logistics and supply chains;
- Public transportation;
- Environmental and societal resilience.
The Optimisation Research Group is one of the leading optimisation research groups world-wide. You will work directly with researchers who have a long record of pushing the frontiers in optimisation and developing optimisation systems that have changed the way businesses operate.
Our goal is not only to recruit outstanding people, but also to create teams that enjoy working together in a dynamic and flexible environment. NICTA is an EEO employer and promotes a culture of diversity and equality. The Optimisation Research Group is striving for gender balance and we therefore specifically encourage women to apply for this position.
As a Researcher, you will contribute to projects with major industry/government partners in a variety of sectors. You will push the frontier of optimisation technology and contribute to the implementation of decision support systems that will have a critical impact on the Australian economy.
In addition, you will be expected to continue building upon your international reputation by publishing papers and attending top conferences. You will also have opportunities for graduate-level teaching and supervision of PhD students.
We are looking for candidates with a PhD in computer science, operations research, or related areas, a strong background in constraint or mathematical programming, and good modelling and programming skills. Experience in designing and implementing sophisticated optimisation solutions is highly desirable.
Read more about the NICTA Optimisation Research Group on our website: http://org.nicta.com.au.
Competitive Salary: $85K-110K Australian, incl. superannuation.
Duration:2 years in the first instance.
Location: Canberra, Sydney, or Melbourne, depending on the application area
Relocation costs from overseas will be supported by NICTA, as well as the sponsorship of a working visa for the partner and dependents for the duration of the contract.
Apply via LinkedIn (https://www.linkedin.com/jobs2/cap/view/13359661) and include a motivation letter, short research statement, and names of 3 referees in your application (place all documents into one PDF or word document). Please direct any queries to Alessandra Stasi (alessandra. stasi@nicta.com.au<mailto:stasi@nicta.com.au>) or Pascal Van Hentenryck (pvh@nicta.com.au<mailto:pvh@nicta.com.au>).
Victor Pillac
________________________________
Researcher
NICTA | Optimisation Research Group
115 Batman Street, West Melbourne
Victoria 3003, Australia
M: +61 414 224 552
org.nicta.com.au<http://org.nicta.com.au> | victor.pillac@nicta.com.au<mailto:victor.pillac@nicta.com.au>
The information in this e-mail may be confidential and subject to legal professional privilege and/or copyright. National ICT Australia Limited accepts no liability for any damage caused by this email or its attachments.
------------------------------
Message: 2
Date: Sat, 26 Apr 2014 00:39:24 +0100 (BST)
From: S B Cooper <pmt6sbc@maths.leeds.ac.uk>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] Workshop: MIND, MECHANISM AND MATHEMATICS - Columbia
University, New York City, May 12-14, 2014
Message-ID: <201404252339.s3PNdOsr016819@maths.leeds.ac.uk>
***********************************************************************
The Turing Centenary Research Project
MIND, MECHANISM AND MATHEMATICS
2nd Workshop, Columbia University, New York City, May 12-14, 2014
http://turing.colorwork.com
http://www.mathcomp.leeds.ac.uk/turing2012/give-page.php?710
The second annual workshop of the Turing Centenary Research Project will
be held May 12-14 at the Morningside Campus of Columbia University, New
York City. The research project, funded by the John Templeton Foundation,
is a multidisciplinary activity focused on a number of issues related to
computability in a broad sense - see:
http://www.mathcomp.leeds.ac.uk/turing2012/give-page.php?704
The first workshop was held in Milan, Italy, in June 2013:
http://www.mathcomp.leeds.ac.uk/turing2012/give-page.php?709
This more public event is open to all. As well as short talks from the
winners of the 2012 Turing Centenary competition, this exciting event
features a number of distinguished speakers from a spectrum disciplines.
The meeting will be of particular interest to participants from
mathematics, computer science, biology, linguistics, artificial
intelligence, philosophy - extending to those concerned with
computability-theoretic issues in the humanities, arts and social
sciences.
Invited speakers provisionally include:
ERIC ALLENDER (Rutgers), MARTIN DAVIS (New York University and UC
Berkeley), RAY DOUGHERTY (New York University), STUART KAUFFMAN
(University of Vermont), BENJAMIN KOO (Tsinghua University), RUSSELL
MILLER (City University of New York), KLAUS SUTNER (Carnegie Mellon
University), STEPHEN WOLFRAM (Wolfram Research)
Please feel free to register at
http://turing.colorwork.com/Schedule.html
for all events you are interested in attending. Registration is free -
a small (optional) cash donation on the day is invited.
Further information from the Co-Chairs:
S Barry Cooper pmt6sbc@leeds.ac.uk, Gautam Dasgupta gd18@columbia.edu
***********************************************************************
------------------------------
Message: 3
Date: Mon, 28 Apr 2014 09:53:16 +0100
From: Jozef Skokan <jozef.skokan.math@gmail.com>
To: DMANET@zpr.uni-koeln.de
Subject: [DMANET] Two One-Day Colloquia in Combinatorics 2014
Message-ID:
<CACRCtZOL+-u6NMxEYTQrD_xt7imBx7kcKTsrGw_1vrtQ_UxCXw@mail.gmail.com>
Content-Type: text/plain; charset=UTF-8
Two One-Day Colloquia in Combinatorics
London, 14th - 15h May 2014
These now-traditional events will take place at Queen Mary (Wednesday
14th May) and LSE (Thursday 15th May). The programme at Queen Mary
starts at 10:30; at LSE, we will start at 10:00.
The speakers at Queen Mary are: Ben Barber, Ehud Friedgut, Vytautas
Gruslys, Peter Keevash, Miklos Simonovits and Konrad Swanepoel.
The speakers at LSE are: Jozsef Balogh, Peter Cameron, Penny Haxell,
Diana Piguet, Pavel Valtr and Paul Wollan.
See http://tiny.cc/Colloquia for the details of the programme,
abstracts of the talks, support for students and information about the
venues.
------------------------------
Message: 4
Date: Mon, 28 Apr 2014 11:04:28 +0200
From: Myriam Preissmann <Myriam.Preissmann@grenoble-inp.fr>
To: Dmanet <dmanet@zpr.uni-koeln.de>
Subject: [DMANET] ICGT early registration deadline is April 30
Message-ID:
<984a9c952ccb3c3c1f996a38bc3c2a0b@olifant.viallet.grenoble-inp.fr>
Content-Type: text/plain; charset=US-ASCII; format=flowed
Dear All,
A reminder that the early registration deadline for ICGT 2014 in
Grenoble is Wednesday, April 30.
http://oc.inpg.fr/conf/icgt2014/
Looking forward to seeing you in Grenoble,
The Organizers
------------------------------
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 26
**************************************
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. Optimisation Positions at NICTA ORG (Victor Pillac)
2. Workshop: MIND, MECHANISM AND MATHEMATICS - Columbia
University, New York City, May 12-14, 2014 (S B Cooper)
3. Two One-Day Colloquia in Combinatorics 2014 (Jozef Skokan)
4. ICGT early registration deadline is April 30 (Myriam Preissmann)
----------------------------------------------------------------------
Message: 1
Date: Mon, 28 Apr 2014 04:35:47 +0000
From: Victor Pillac <Victor.Pillac@nicta.com.au>
To: "dmanet@zpr.uni-koeln.de" <dmanet@zpr.uni-koeln.de>
Subject: [DMANET] Optimisation Positions at NICTA ORG
Message-ID: <C532FD70-8B2F-4F5D-A1A5-CB49E08FEAB2@nicta.com.au>
Content-Type: text/plain; charset="us-ascii"
Dear colleagues,
The NICTA Optimisation Research Group is seeking outstanding researchers who have recently received their PhD to bridge the gap between research and industry in the areas of:
- Optimisation solvers for global nonlinear optimisation, mathematical programming, and constraint programming;
- Energy systems;
- Logistics and supply chains;
- Public transportation;
- Environmental and societal resilience.
The Optimisation Research Group is one of the leading optimisation research groups world-wide. You will work directly with researchers who have a long record of pushing the frontiers in optimisation and developing optimisation systems that have changed the way businesses operate.
Our goal is not only to recruit outstanding people, but also to create teams that enjoy working together in a dynamic and flexible environment. NICTA is an EEO employer and promotes a culture of diversity and equality. The Optimisation Research Group is striving for gender balance and we therefore specifically encourage women to apply for this position.
As a Researcher, you will contribute to projects with major industry/government partners in a variety of sectors. You will push the frontier of optimisation technology and contribute to the implementation of decision support systems that will have a critical impact on the Australian economy.
In addition, you will be expected to continue building upon your international reputation by publishing papers and attending top conferences. You will also have opportunities for graduate-level teaching and supervision of PhD students.
We are looking for candidates with a PhD in computer science, operations research, or related areas, a strong background in constraint or mathematical programming, and good modelling and programming skills. Experience in designing and implementing sophisticated optimisation solutions is highly desirable.
Read more about the NICTA Optimisation Research Group on our website: http://org.nicta.com.au.
Competitive Salary: $85K-110K Australian, incl. superannuation.
Duration:2 years in the first instance.
Location: Canberra, Sydney, or Melbourne, depending on the application area
Relocation costs from overseas will be supported by NICTA, as well as the sponsorship of a working visa for the partner and dependents for the duration of the contract.
Apply via LinkedIn (https://www.linkedin.com/jobs2/cap/view/13359661) and include a motivation letter, short research statement, and names of 3 referees in your application (place all documents into one PDF or word document). Please direct any queries to Alessandra Stasi (alessandra. stasi@nicta.com.au<mailto:stasi@nicta.com.au>) or Pascal Van Hentenryck (pvh@nicta.com.au<mailto:pvh@nicta.com.au>).
Victor Pillac
________________________________
Researcher
NICTA | Optimisation Research Group
115 Batman Street, West Melbourne
Victoria 3003, Australia
M: +61 414 224 552
org.nicta.com.au<http://org.nicta.com.au> | victor.pillac@nicta.com.au<mailto:victor.pillac@nicta.com.au>
The information in this e-mail may be confidential and subject to legal professional privilege and/or copyright. National ICT Australia Limited accepts no liability for any damage caused by this email or its attachments.
------------------------------
Message: 2
Date: Sat, 26 Apr 2014 00:39:24 +0100 (BST)
From: S B Cooper <pmt6sbc@maths.leeds.ac.uk>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] Workshop: MIND, MECHANISM AND MATHEMATICS - Columbia
University, New York City, May 12-14, 2014
Message-ID: <201404252339.s3PNdOsr016819@maths.leeds.ac.uk>
***********************************************************************
The Turing Centenary Research Project
MIND, MECHANISM AND MATHEMATICS
2nd Workshop, Columbia University, New York City, May 12-14, 2014
http://turing.colorwork.com
http://www.mathcomp.leeds.ac.uk/turing2012/give-page.php?710
The second annual workshop of the Turing Centenary Research Project will
be held May 12-14 at the Morningside Campus of Columbia University, New
York City. The research project, funded by the John Templeton Foundation,
is a multidisciplinary activity focused on a number of issues related to
computability in a broad sense - see:
http://www.mathcomp.leeds.ac.uk/turing2012/give-page.php?704
The first workshop was held in Milan, Italy, in June 2013:
http://www.mathcomp.leeds.ac.uk/turing2012/give-page.php?709
This more public event is open to all. As well as short talks from the
winners of the 2012 Turing Centenary competition, this exciting event
features a number of distinguished speakers from a spectrum disciplines.
The meeting will be of particular interest to participants from
mathematics, computer science, biology, linguistics, artificial
intelligence, philosophy - extending to those concerned with
computability-theoretic issues in the humanities, arts and social
sciences.
Invited speakers provisionally include:
ERIC ALLENDER (Rutgers), MARTIN DAVIS (New York University and UC
Berkeley), RAY DOUGHERTY (New York University), STUART KAUFFMAN
(University of Vermont), BENJAMIN KOO (Tsinghua University), RUSSELL
MILLER (City University of New York), KLAUS SUTNER (Carnegie Mellon
University), STEPHEN WOLFRAM (Wolfram Research)
Please feel free to register at
http://turing.colorwork.com/Schedule.html
for all events you are interested in attending. Registration is free -
a small (optional) cash donation on the day is invited.
Further information from the Co-Chairs:
S Barry Cooper pmt6sbc@leeds.ac.uk, Gautam Dasgupta gd18@columbia.edu
***********************************************************************
------------------------------
Message: 3
Date: Mon, 28 Apr 2014 09:53:16 +0100
From: Jozef Skokan <jozef.skokan.math@gmail.com>
To: DMANET@zpr.uni-koeln.de
Subject: [DMANET] Two One-Day Colloquia in Combinatorics 2014
Message-ID:
<CACRCtZOL+-u6NMxEYTQrD_xt7imBx7kcKTsrGw_1vrtQ_UxCXw@mail.gmail.com>
Content-Type: text/plain; charset=UTF-8
Two One-Day Colloquia in Combinatorics
London, 14th - 15h May 2014
These now-traditional events will take place at Queen Mary (Wednesday
14th May) and LSE (Thursday 15th May). The programme at Queen Mary
starts at 10:30; at LSE, we will start at 10:00.
The speakers at Queen Mary are: Ben Barber, Ehud Friedgut, Vytautas
Gruslys, Peter Keevash, Miklos Simonovits and Konrad Swanepoel.
The speakers at LSE are: Jozsef Balogh, Peter Cameron, Penny Haxell,
Diana Piguet, Pavel Valtr and Paul Wollan.
See http://tiny.cc/Colloquia for the details of the programme,
abstracts of the talks, support for students and information about the
venues.
------------------------------
Message: 4
Date: Mon, 28 Apr 2014 11:04:28 +0200
From: Myriam Preissmann <Myriam.Preissmann@grenoble-inp.fr>
To: Dmanet <dmanet@zpr.uni-koeln.de>
Subject: [DMANET] ICGT early registration deadline is April 30
Message-ID:
<984a9c952ccb3c3c1f996a38bc3c2a0b@olifant.viallet.grenoble-inp.fr>
Content-Type: text/plain; charset=US-ASCII; format=flowed
Dear All,
A reminder that the early registration deadline for ICGT 2014 in
Grenoble is Wednesday, April 30.
http://oc.inpg.fr/conf/icgt2014/
Looking forward to seeing you in Grenoble,
The Organizers
------------------------------
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 26
**************************************
dmanet Digest, Vol 74, Issue 25
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. LSE Fellow - Mathematics - London School of Economics and
Political Science (Jan van den Heuvel)
2. SIROCCO 2014: Submission deadline extended to April 28
(Magn?s M. Halld?rsson)
3. TCS cfp (Extended deadline) (Rossella Petreschi)
4. OR2014 last call! (Marco Luebbecke)
5. IEEE TrustCom Deadline is Approaching: May 5, 2014 (Sandra Sendra)
6. RP 2014 -- First Call for Papers -- Deadline: 4 June 2014
(Potapov, Igor)
----------------------------------------------------------------------
Message: 1
Date: Fri, 25 Apr 2014 07:42:55 +0100
From: Jan van den Heuvel <j.van-den-heuvel@lse.ac.uk>
To: "dmanet@zpr.uni-koeln.de" <dmanet@zpr.uni-koeln.de>
Subject: [DMANET] LSE Fellow - Mathematics - London School of
Economics and Political Science
Message-ID: <535A03EF.4030105@lse.ac.uk>
Content-Type: text/plain; charset=ISO-8859-1; format=flowed
LONDON SCHOOL OF ECONOMICS AND POLITICAL SCIENCE
Department of Mathematics
LSE Fellow
Fixed-term from 1 September 2014 to 31 August 2015
Salary: ?32,794 to ?39,669 per annum inclusive
The LSE Department of Mathematics is looking to appoint an LSE Fellow
for one year. Applications are invited from candidates with expertise in
any area of Mathematics related to the current research interests in
the Department.
Candidates should have completed a PhD in a mathematical subject by
September 2014, have a developing research record in mathematical
research, possess excellent written and oral communication skills, and
demonstrate excellent teaching skills.
In addition to research activities, the successful candidate will be
responsible for teaching at undergraduate and/or Master's level and will
undertake examination duties. He/she will also be expected to take on
some limited administrative responsibilities.
Detailed information about the job and about the criteria that will be
used for shortlisting this post can be found on the Job Description and
the Person Specification which is attached to this vacancy on LSE's
online recruitment system.
Information about the department can be found at
http://www.lse.ac.uk/maths/. Any candidate wishing to discuss the
appointment informally is invited to contact Professor Martin Anthony at
m.anthony@lse.ac.uk.
To apply for this post, please go to http://www.lse.ac.uk/jobsatLSE/ and
select "Vacancies".
Applications must be received by 23.59 (UK time) on Monday 12 May 2014.
Regrettably, we are unable to accept any applications that are received
after this time.
_____________________________________________________________
We value diversity and wish to promote equality at all levels.
Please access the attached hyperlink for an important electronic communications disclaimer: http://lse.ac.uk/emailDisclaimer
------------------------------
Message: 2
Date: Fri, 25 Apr 2014 09:04:56 +0200
From: Magn?s M. Halld?rsson <mmh@ru.is>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] SIROCCO 2014: Submission deadline extended to April
28
Message-ID:
<CAKTK5_EVZ6AFOo4yKKGyOPX_haMd_HJiR_HEXTQM6Han58tfwQ@mail.gmail.com>
Content-Type: text/plain; charset=UTF-8
SIROCCO 2014
Twenty-First International Colloquium on Structural
Information and Communication Complexity
July 23-25, Takayama Green Hotel, Takayama, Japan
http://sites.google.com/site/sirocco2014japan/
----------------------------------------------------------------------
= Theme =
SIROCCO is devoted to the study of the interplay between communication
and knowledge in multi-processor systems from both the qualitative and
quantitative viewpoints. Special emphasis is given to innovative
approaches and fundamental understanding, in addition to efforts
to optimize current designs. Conference. SIROCCO has a tradition of
interesting and productive scientific meetings in a relaxed and pleasant
atmosphere, attracting leading researchers in a variety of fields
in which communication and knowledge play a significant role. This time,
SIROCCO is held at Takayama, a small town located at the central
region of Japan with exotic scenery. Scope. Original papers are
solicited from all areas of study of local structural knowledge and
global communication and computational complexities. Among the typical
areas are distributed computing, communication networks, game theory,
parallel computing, social networks, mobile computing (including
autonomous robots), peer to peer systems, and communication
complexity. Keeping with the tradition of SIROCCO, new areas are
always welcome.
= SIROCCO Award =
The Prize for Innovation In Distributed Computing is awarded
annually in the SIROCCO conference to recognize individuals whose
research contributions had a major impact on the understanding of
the relationships between information and efficiency in decentralized
computing. The contribution (or a related contribution) should have
been either made or demonstrated by the author in a paper that
appeared in SIROCCO in the past. Moreover, the author should have
made the contribution in at least one paper that appeared (in either
a scientific journal or the proceedings of a scientific conference)
at least 5 years ago.
= Best Student Paper =
A paper is eligible for the Best Student Paper Award if one or more
authors are full-time students at the time of submission. The program
committee may decline to make this awards or split it.
= Student Travel Awards =
SIROCCO will offer a limited number of student travel awards, which is
available for full-time students who might otherwise be unable to attend
the conference. Priority will be given to students with papers to present.
= Submission =
Papers are submitted using Easy Chair at
https://www.easychair.org/conferences/?conf=sirocco2014; see
submission guidelines on the conference website. The submission
deadline is 28 April 2014 (23:59 PST). Notifications will be sent out
by 25 May, and the camera-ready papers are due on 9 June.
= Publication =
The proceedings will be published by Springer-Verlag as a part of the
LNCS series. Selected papers will be invited to a special issue of the
journal Theoretical Computer Science.
= Micro-MAC =
In conjunction with the conference, a compact version of Research
meeting on Distributed Computing by Mobile Robots (MAC) will be
held at 26th, July.
= Invited Speakers =
Yuval Emek Technion
Friedhelm Meyer auf der Heide U. Paderborn
Rotem Oshman Princeton
Gopal Pandurangan NTU Singapore
Michel Raynal IRISA
= Program Committee =
Hagit Attiya Technion
Amotz Bar-Noy CUNY
Guy Even Tel-Aviv U.
Sandor Fekete TU Braunschweig
Paola Flocchini U. Ottawa
George Giakkoupis INRIA Rennes
Magnus M. Halldorsson (Chair) Reykjavik U.
Taizuke Izumi Nagoya Tech.
Valerie King U. Victoria
Friedhelm Meyer auf der Heide U. Paderborn
Alessia Milani U. Bordeaux
Calvin Newport Georgetown U.
Hirotaka Ono Kyushu U.
Peter Robinson NUS Singapore
Jukka Suomela Aalto U.
Corantin Travers ENSEIRB-MATMECA
Roger Wattenhofer ETH
Peter Widmayer ETH
= Steering Committee =
Guy Even Tel-Aviv U.
Ralf Klasing CNRS & U. Bordeaux
Shay Kutten (chair) Technion
Thomas Moscibroda Microsoft
Boaz Patt-Shamir Tel-Aviv U.
Masafumi Yamashita Kyushu U.
= Organization Committee =
Taisuke Izumi (Chair) Nagoya Tech.
Tomoko Izumi Ritsumeikan U.
Sayaka Kamei Hiroshima U.
Yoshiaki Katayama Nagoya Tech.
Fukuhito Oosita Osaka U.
Yukiko Yamauchi Kyushu U.
-------------------------------------------------
------------------------------
Message: 3
Date: Fri, 25 Apr 2014 10:59:10 +0200
From: Rossella Petreschi <petreschi@di.uniroma1.it>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] TCS cfp (Extended deadline)
Message-ID:
<CAKSnJVdzUstTOWXWA=iqx2c5JhxYeZCgitugqShjY2v6WG28Ow@mail.gmail.com>
Content-Type: text/plain; charset=ISO-8859-1
TCS 2014 (Extended deadline)
8th IFIP International Conference on Theoretical Computer Science
September 1-3, 2014 Rome, Italy
http://www.cyprusconferences.org/tcs2014/
Held in conjunction with the 25th Conference on Concurrency Theory (CONCUR 2014)
We apologize if you receive multiple copies of this message.
AIM AND SCOPE OF THE CONFERENCE:
Under the patronage of the International Federation of Information
Processing (IFIP), since year 2000 the IFIP Technical Committee 1
(Foundations of Computer Science) has organized a series of biannual
international conferences in Theoretical Computer Science. After
Sendai (2000), Montreal (2002), Toulouse (2004), Santiago (2006),
Milano (2008), Brisbane (2010), and Amsterdam (2012), the 8th edition
will be held in Rome in September 2014, in cooperation with the IFIP
Working Group 2.2 (Formal Description of Programming Concepts) and in
conjunction with the 25th Conference on Concurrency Theory. We call
for papers in all areas of Theoretical Computer Science: they will be
evaluated by two committees:
Track A: Algorithms, Complexity and Models of Computation
Track B: Logic, Semantics, Specification and Verification
TOPICS:
Suggested, but not exclusive, topics of interest include:
Track A - analysis and design of algorithms; automata and formal
languages; cellular automata and systems; combinatorial, graph and
optimization algorithms; computational learning theory; computational
complexity; computational geometry; cryptography; descriptive
complexity; evolutionary and genetic computing; experimental
algorithms; mobile computing; molecular computing and algorithmic
aspects of bioinformatics; network computing; neural computing;
parallel and distributed algorithms; probabilistic and randomized
algorithms; quantum computing; structural information and
communication complexity.
Track B - automata theory; automated deduction; constructive and
non-standard logics in computer science; concurrency theory and
foundations of distributed and mobile computing; database theory;
finite model theory; formal aspects of program analysis, foundations
of hybrid and real-time systems; lambda and combinatory calculi;
logical aspects of computational complexity; modal and temporal
logics; model checking and verification; probabilistic systems; logics
and semantics of programs; foundations of security; term rewriting;
specifications; type, proof and category theory in computer science.
INVITED SPEAKERS:
Track A - Giuseppe F. Italiano Universit? di Roma Tor Vergata
Track B - Jane Hillstone University of Edinburgh
SUBMISSION GUIDELINES:
Authors are invited to submit an extended abstract of at most 15 pages
(LNCS style with at least 11-point font size) to arrive before April
27, 2014. If more space is needed, a clearly marked appendix, to be
read at the discretion of the program committee, may be included if
desired. Submission will be handled by EasyChair. Further information
and submission details can be found on the Conference web page.
Simultaneous submissions to other conferences with published
proceedings are not allowed.
PROCEEDINGS:
The conference proceedings will be published by Springer-Verlag in
Lecture Notes in Computer Science (LNCS) series. Selected papers from
TCS 2014 will be invited to a special issue of the Journal Theoretical
Computer Science.
IMPORTANT DATES:
Deadline for abstract submission: April 27, 2014.
Deadline for final submission: May 4, 2014 (Extended).
Notification of acceptance: June 25, 2014.
Final manuscript due: July 6, 2014.
Conference: September 1-3, 2014.
STEERING COMMITTEE:
- Giorgio Ausiello, Sapienza Univ. di Roma
- Jos Baeten, CWI Amsterdam
- Jacques Sakarovitch, CNRS/T el ecom ParisTech
CONFERENCE CO-CHAIRS:
- Daniele Gorla, Sapienza Univ. di Roma
- Rossella Petreschi, Sapienza Univ. di Roma
PROGRAM COMMITTEES:
Track A
- Cristian Calude, University of Auckland
- Josep Diaz (Chair), UPC Barcelona
- Irene Finocchi, Sapienza Univ. di Roma
- Paola Flocchini, University of Ottawa
- Aristides Gionis, Aalto University Helsinki
- Mordecai Golin, Hong Kong University of Tech.
- Juhani Karhum aki, Turku University
- Massimo Melucci, Univ. di Padova
- Elvira Mayordomo, Universidad de Zaragoza
- Friedhelm Meyer auf der Heide, Univ. of Paderborn
- Pekka Orponen, Aalto University Helsinki
- Giuseppe Persiano, Univ. di Salerno
- G eraud S enizergues, Universit e Bordeaux 1
- Olivier Serre, CNRS / Universit e Paris 7
- Paul Spirakis, University of Liverpool
- Osamu Watanabe, Tokyo Inst. of Technology
- Peter Widmayer, ETH Zurich
Track B
- Jos Baeten, CWI Amsterdam
- Lars Birkedal, Aarhus University
- Andrei Bulatov, Simon Fraser University
- James Cheney, University of Edinburgh
- Ugo Dal Lago, Univ. di Bologna
- Jos ee Desharnais, Universit e Laval
- J org Endrullis, Vrije Universiteit Amsterdam
- J erome Feret, ENS Paris
- Marcelo Fiore, University of Cambridge
- Silvio Ghilardi, Univ. di Milano
- Benjamin Gr egoire, INRIA Sophia
- Ichiro Hasuo, University of Tokyo
- Marieke Huisman, University of Twente
- Jean Krivine, CNRS / Universit e Paris 7
- Radha Jagadeesan, DePaul University, Chicago
- Ivan Lanese, Univ. di Bologna
- Grigore Rosu, University of Illinois at U-C
- Davide Sangiorgi (Chair), Univ. di Bologna
- Vladimiro Sassone, University of Southampton
- Igor Walukiewicz, CNRS / Universit e Bordeaux 1
------------------------------
Message: 4
Date: Fri, 25 Apr 2014 15:16:05 +0200
From: Marco Luebbecke <marco.luebbecke@rwth-aachen.de>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] OR2014 last call!
Message-ID: <21338.24597.4255.701598@arthur.math.tu-berlin.de>
Content-Type: text/plain; charset=us-ascii
International Conference on Operations Research (OR2014)
"Business Analytics and Optimization"
Aachen, Germany, September 2-5, 2014
www.or2014.de
OR2014 in brief: operations research in theory and practice, scientific program in 18 tracks, excellent invited speakers, beautiful city of Charlemagne, business day, emerging scholar workshop
submission deadline: April 30, 2014
www.or2014.de/abstract-submission/
Follow us on twitter, facebook, google+; see you in Aachen!
------------------------------
Message: 5
Date: Fri, 25 Apr 2014 17:38:32 +0200
From: Sandra Sendra<sandra.sendra.upv@gmail.com>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] IEEE TrustCom Deadline is Approaching: May 5, 2014
Message-ID: <201404251538.s3PFcWw6011377@smtp.upv.es>
Content-Type: text/plain; charset=us-ascii
[Please accept our apologies if you receive multiple copies of this email]
*********************** CFP *******************************
The 13th IEEE International Conference on Trust, Security and Privacy in Computing and Communications (IEEE TrustCom-14)
http://www.greenorbs.org/TrustCom2014/
24-26 September 2014, Beijing, China
Important Dates
Workshop Proposal: May 5, 2014
Submission Deadline: 11:59PM (UTC/GMT+8 hours) May 5, 2014 (This is the firm deadline)
Authors Notification: June 26, 2014
Final Manuscript Due: July 20, 2014
Publications
Accepted and presented papers will be included in the IEEE CPS Proceedings.
Distinguished papers presented at the conference, after further revision, will be published in special issues of the following high quality international journals (pending).
- Computers & Security - Elsevier (Impact factor=0.868)
- Concurrency and Computation: Practice and Experience - Wiley (Impact factor=0.636)
- Security and Communication Networks - Wiley (Impact factor=0.414)
- Future Generation Computer Systems - Elsevier (Impact factor=1.978)
- Multimedia Tools and Applications - Springer (Impact factor=0.617)
- Journal of Internet Technology (Impact factor=0.508)
- Journal of Computer and System Sciences - Elsevier (Impact factor=1.157)
Topics
Trust Track
- Trust semantics, metrics and models
- Trusted computing platform
- Trusted network computing
- Trusted operating systems
- Trusted software and applications
- Trust in social networks
- Trust in e-commerce and e-government
- Trust in mobile and wireless communications
- Risk and reputation management
- Survivable computer systems/networks
- Miscellaneous trust issues
Security Track
- Network security
- Computer security
- Database security
- Web applications security
- Security policy, model and architecture
- Security in social networks
- Security in parallel and distributed systems
- Security in mobile and wireless communications
- Security in grid/cloud/pervasive computing
- Authentication, authorization and accounting
- Miscellaneous security issues
Privacy Track
- Privacy in Web-based applications and services
- Privacy in database systems
- Privacy in parallel and distributed systems
- Privacy in grid/cloud/pervasive computing
- Privacy in mobile and wireless communications
- Privacy in e-commerce and e-government
- Privacy in network deployment and management
- Privacy and trust
- Privacy and security
- Privacy and anonymity
- Miscellaneous privacy issues
Organisation Committee
General Chairs:
Jiaguang Sun, Tsinghua University, China
Ivan Stojmenovic, University of Ottawa, Canada
Program Chair:
Yunhao Liu, Tsinghua University, China
Publicity Chairs:
Sandra Sendra Compte, Polytechnic University of Valencia, Spain
Haojin Zhu, Shanghai Jiao Tong University, China
Xiaodong Lin, University of Ontario Institute of Technology, Canada
Workshop Chairs:
Yang Xiang, Deakin University, Australia
Kouichi Sakurai, Kyushu University, Japan
Publication Chair:
Jemal Abawajy, Deakin University, Australia
Steering and Program Committees:
Please see http://www.greenorbs.org/TrustCom2014/
------------------------------
Message: 6
Date: Sun, 27 Apr 2014 10:23:59 +0000
From: "Potapov, Igor" <potapov@liverpool.ac.uk>
To: "dmanet@zpr.uni-koeln.de" <dmanet@zpr.uni-koeln.de>
Subject: [DMANET] RP 2014 -- First Call for Papers -- Deadline: 4 June
2014
Message-ID:
<7ECE8E01AEB79A459E3F30C54E56CF7CBC8AC42F@CHEXMBX1.livad.liv.ac.uk>
Content-Type: text/plain; charset="Windows-1252"
REACHABILITY PROBLEMS 2014
-------------------------------------------------
The 8th International Workshop on Reachability Problems (RP2014)
(22 - 24 September 2013, University of Oxford, United Kingdom)
http://www.cs.ox.ac.uk/RP2014/
The Department of Computer Science will organize the 8th International Workshop
on Reachability Problems (RP'2014). This event will take place at the
Department in the centre of Oxford, 22 - 24 September 2014.
Papers presenting original contributions related to reachability problems in
different computational models and systems are being sought. This will also be
the occasion to review recent breakthroughs by renown invited experts and
survey emerging trends and emphasize on key open challenges. Participants are
kindly encouraged to discuss on core scientific issues that need to be further
tackled.
The Reachability Workshop is specifically aimed at gathering together
scholars from diverse disciplines and backgrounds interested in
reachability problems that appear in
- Algebraic structures
- Computational models
- Hybrid systems
- Logic and Verification
Invited Speakers:
- Byron Cook, UCL and Microsoft Research, UK.
- Kousha Etessami, University of Edinburgh, UK.
- Anca Muscholl, LaBRI Bordeaux, France.
- Sylvain Schmitz, LSV and ENS-Cachan, France.
Submissions:
Papers presenting original contributions related to reachability problems in
different computational models and systems are being sought.
Topics of interest include (but are not limited to): Reachability for infinite
state systems, rewriting systems; Reachability analysis in counter/ timed/
cellular/ communicating automata; Petri-Nets; computational aspects of
semigroups, groups and rings; Reachability in dynamical and hybrid systems;
frontiers between decidable and undecidable reachability problems; complexity
and decidability aspects; predictability in iterative maps and new
computational paradigms
Authors are invited to submit a draft of a full paper with at most 12 pages (in
LaTeX, formatted according to LNCS guidelines) via the conference web page.
Proofs omitted due to space constraints must be put into an appendix to be read
by the program committee members at their discretion. Submissions deviating
from these guidelines risk rejection. Electronic submissions should be
formatted in pdf. Simultaneous submission to other conferences or workshops
with published proceedings is not allowed.
Important Dates
- Submission deadline: 4 June 2014
- Notification to authors: 4 July 2014
- Final version: 14 July 2014
- Workshop: 22 - 24 September 2014
Presentation-Only Track
In addition to regular papers that will appear in our LNCS proceedings, we
invite researchers to apply to give a presentation at RP 2014 without an
accompanying paper. Such presentations can be based on work that has appeared
(or which is going to appear) in the proceedings of another conference, or
which has not yet been submitted. These contributions will be judged solely on
the basis of their attractiveness to the workshop.
To apply to give such a presentation please submit a PDF file containing a
short abstract (up to two pages) by e-mail [ rp2014@easychair.org ] by August
4th 2014, with subject "RP2014 Presentation-Only Track". This abstract will
not be published in the conference proceedings.
Notification for the presentation-only track will be August 11th 2014.
Proceedings
The Conference Proceedings will be published as the volume of the Springer
Verlag LNCS (Lecture Notes in Computer Science) series and distributed at the
Conference. We plan also to publish selected papers in a special issue of a
high quality journal following the regular referee procedure.
RP2014 Program Committee:
Marius Bozga, VERIMAG Grenoble
Thomas Brihaye, Universit? de Mons
V?ronique Bruy?re, Universit? de Mons
Laurent Doyen, LSV Cachan
John Fearnley, University of Liverpool
Gilles Geeraerts, Universit? Libre de Bruxelles
Madhavan Mukund, Chennai Math. Institute
Andrzej Murawski, University of Warwick
Paritosh Pandya, TATA Institute of Fundamental Research
Igor Potapov, University of Liverpool
Stefan G?ller, University of Bremen
Martin Lange, University of Kassel
Kim Larsen, Aalborg University
Ranko Lazic, University of Warwick
Rupak Majumdar, Max Planck Institute for Software Systems
Nicolas Markey, ENS Cachan
Joel Ouaknine (co-chair), University of Oxford
Alexander Rabinovich, Tel Aviv University
Tayssir Touili, LIAFA University Paris Diderot
Thomas Wahl, Northeastern University
James Worrell (co-chair), University of Oxford
Lijun Zhang, Institute of Software ? Chinese Academy of Science
Previous Workshops:
2013: RP?13 in Uppsala, Sweden
LNCS proceedings, Volume 8169/2013, Springer Verlag
2012: RP?12 in Bordeaux, France
LNCS proceedings, Volume 7550/2012, Springer Verlag
2011: RP'11 in Genova, Italy
LNCS proceedings, Volume 6945/2011, Springer Verlag
2010: RP'10 in Brno, Czech Republic
LNCS proceedings, Volume 6227/2010, Springer Verlag
2009: RP'09 in Palaiseau, France
LNCS proceedings, Volume 5797/2009, Springer Verlag
2008: RP'08 in Liverpool, UK
ENTCS proceedings, Volume 223, Elsevier
2007: RP'07 in Turku, Finland
TUCS General Publication Series, Volume 45, Turku Centre for Computer Science
------------------------------
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 25
**************************************
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. LSE Fellow - Mathematics - London School of Economics and
Political Science (Jan van den Heuvel)
2. SIROCCO 2014: Submission deadline extended to April 28
(Magn?s M. Halld?rsson)
3. TCS cfp (Extended deadline) (Rossella Petreschi)
4. OR2014 last call! (Marco Luebbecke)
5. IEEE TrustCom Deadline is Approaching: May 5, 2014 (Sandra Sendra)
6. RP 2014 -- First Call for Papers -- Deadline: 4 June 2014
(Potapov, Igor)
----------------------------------------------------------------------
Message: 1
Date: Fri, 25 Apr 2014 07:42:55 +0100
From: Jan van den Heuvel <j.van-den-heuvel@lse.ac.uk>
To: "dmanet@zpr.uni-koeln.de" <dmanet@zpr.uni-koeln.de>
Subject: [DMANET] LSE Fellow - Mathematics - London School of
Economics and Political Science
Message-ID: <535A03EF.4030105@lse.ac.uk>
Content-Type: text/plain; charset=ISO-8859-1; format=flowed
LONDON SCHOOL OF ECONOMICS AND POLITICAL SCIENCE
Department of Mathematics
LSE Fellow
Fixed-term from 1 September 2014 to 31 August 2015
Salary: ?32,794 to ?39,669 per annum inclusive
The LSE Department of Mathematics is looking to appoint an LSE Fellow
for one year. Applications are invited from candidates with expertise in
any area of Mathematics related to the current research interests in
the Department.
Candidates should have completed a PhD in a mathematical subject by
September 2014, have a developing research record in mathematical
research, possess excellent written and oral communication skills, and
demonstrate excellent teaching skills.
In addition to research activities, the successful candidate will be
responsible for teaching at undergraduate and/or Master's level and will
undertake examination duties. He/she will also be expected to take on
some limited administrative responsibilities.
Detailed information about the job and about the criteria that will be
used for shortlisting this post can be found on the Job Description and
the Person Specification which is attached to this vacancy on LSE's
online recruitment system.
Information about the department can be found at
http://www.lse.ac.uk/maths/. Any candidate wishing to discuss the
appointment informally is invited to contact Professor Martin Anthony at
m.anthony@lse.ac.uk.
To apply for this post, please go to http://www.lse.ac.uk/jobsatLSE/ and
select "Vacancies".
Applications must be received by 23.59 (UK time) on Monday 12 May 2014.
Regrettably, we are unable to accept any applications that are received
after this time.
_____________________________________________________________
We value diversity and wish to promote equality at all levels.
Please access the attached hyperlink for an important electronic communications disclaimer: http://lse.ac.uk/emailDisclaimer
------------------------------
Message: 2
Date: Fri, 25 Apr 2014 09:04:56 +0200
From: Magn?s M. Halld?rsson <mmh@ru.is>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] SIROCCO 2014: Submission deadline extended to April
28
Message-ID:
<CAKTK5_EVZ6AFOo4yKKGyOPX_haMd_HJiR_HEXTQM6Han58tfwQ@mail.gmail.com>
Content-Type: text/plain; charset=UTF-8
SIROCCO 2014
Twenty-First International Colloquium on Structural
Information and Communication Complexity
July 23-25, Takayama Green Hotel, Takayama, Japan
http://sites.google.com/site/sirocco2014japan/
----------------------------------------------------------------------
= Theme =
SIROCCO is devoted to the study of the interplay between communication
and knowledge in multi-processor systems from both the qualitative and
quantitative viewpoints. Special emphasis is given to innovative
approaches and fundamental understanding, in addition to efforts
to optimize current designs. Conference. SIROCCO has a tradition of
interesting and productive scientific meetings in a relaxed and pleasant
atmosphere, attracting leading researchers in a variety of fields
in which communication and knowledge play a significant role. This time,
SIROCCO is held at Takayama, a small town located at the central
region of Japan with exotic scenery. Scope. Original papers are
solicited from all areas of study of local structural knowledge and
global communication and computational complexities. Among the typical
areas are distributed computing, communication networks, game theory,
parallel computing, social networks, mobile computing (including
autonomous robots), peer to peer systems, and communication
complexity. Keeping with the tradition of SIROCCO, new areas are
always welcome.
= SIROCCO Award =
The Prize for Innovation In Distributed Computing is awarded
annually in the SIROCCO conference to recognize individuals whose
research contributions had a major impact on the understanding of
the relationships between information and efficiency in decentralized
computing. The contribution (or a related contribution) should have
been either made or demonstrated by the author in a paper that
appeared in SIROCCO in the past. Moreover, the author should have
made the contribution in at least one paper that appeared (in either
a scientific journal or the proceedings of a scientific conference)
at least 5 years ago.
= Best Student Paper =
A paper is eligible for the Best Student Paper Award if one or more
authors are full-time students at the time of submission. The program
committee may decline to make this awards or split it.
= Student Travel Awards =
SIROCCO will offer a limited number of student travel awards, which is
available for full-time students who might otherwise be unable to attend
the conference. Priority will be given to students with papers to present.
= Submission =
Papers are submitted using Easy Chair at
https://www.easychair.org/conferences/?conf=sirocco2014; see
submission guidelines on the conference website. The submission
deadline is 28 April 2014 (23:59 PST). Notifications will be sent out
by 25 May, and the camera-ready papers are due on 9 June.
= Publication =
The proceedings will be published by Springer-Verlag as a part of the
LNCS series. Selected papers will be invited to a special issue of the
journal Theoretical Computer Science.
= Micro-MAC =
In conjunction with the conference, a compact version of Research
meeting on Distributed Computing by Mobile Robots (MAC) will be
held at 26th, July.
= Invited Speakers =
Yuval Emek Technion
Friedhelm Meyer auf der Heide U. Paderborn
Rotem Oshman Princeton
Gopal Pandurangan NTU Singapore
Michel Raynal IRISA
= Program Committee =
Hagit Attiya Technion
Amotz Bar-Noy CUNY
Guy Even Tel-Aviv U.
Sandor Fekete TU Braunschweig
Paola Flocchini U. Ottawa
George Giakkoupis INRIA Rennes
Magnus M. Halldorsson (Chair) Reykjavik U.
Taizuke Izumi Nagoya Tech.
Valerie King U. Victoria
Friedhelm Meyer auf der Heide U. Paderborn
Alessia Milani U. Bordeaux
Calvin Newport Georgetown U.
Hirotaka Ono Kyushu U.
Peter Robinson NUS Singapore
Jukka Suomela Aalto U.
Corantin Travers ENSEIRB-MATMECA
Roger Wattenhofer ETH
Peter Widmayer ETH
= Steering Committee =
Guy Even Tel-Aviv U.
Ralf Klasing CNRS & U. Bordeaux
Shay Kutten (chair) Technion
Thomas Moscibroda Microsoft
Boaz Patt-Shamir Tel-Aviv U.
Masafumi Yamashita Kyushu U.
= Organization Committee =
Taisuke Izumi (Chair) Nagoya Tech.
Tomoko Izumi Ritsumeikan U.
Sayaka Kamei Hiroshima U.
Yoshiaki Katayama Nagoya Tech.
Fukuhito Oosita Osaka U.
Yukiko Yamauchi Kyushu U.
-------------------------------------------------
------------------------------
Message: 3
Date: Fri, 25 Apr 2014 10:59:10 +0200
From: Rossella Petreschi <petreschi@di.uniroma1.it>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] TCS cfp (Extended deadline)
Message-ID:
<CAKSnJVdzUstTOWXWA=iqx2c5JhxYeZCgitugqShjY2v6WG28Ow@mail.gmail.com>
Content-Type: text/plain; charset=ISO-8859-1
TCS 2014 (Extended deadline)
8th IFIP International Conference on Theoretical Computer Science
September 1-3, 2014 Rome, Italy
http://www.cyprusconferences.org/tcs2014/
Held in conjunction with the 25th Conference on Concurrency Theory (CONCUR 2014)
We apologize if you receive multiple copies of this message.
AIM AND SCOPE OF THE CONFERENCE:
Under the patronage of the International Federation of Information
Processing (IFIP), since year 2000 the IFIP Technical Committee 1
(Foundations of Computer Science) has organized a series of biannual
international conferences in Theoretical Computer Science. After
Sendai (2000), Montreal (2002), Toulouse (2004), Santiago (2006),
Milano (2008), Brisbane (2010), and Amsterdam (2012), the 8th edition
will be held in Rome in September 2014, in cooperation with the IFIP
Working Group 2.2 (Formal Description of Programming Concepts) and in
conjunction with the 25th Conference on Concurrency Theory. We call
for papers in all areas of Theoretical Computer Science: they will be
evaluated by two committees:
Track A: Algorithms, Complexity and Models of Computation
Track B: Logic, Semantics, Specification and Verification
TOPICS:
Suggested, but not exclusive, topics of interest include:
Track A - analysis and design of algorithms; automata and formal
languages; cellular automata and systems; combinatorial, graph and
optimization algorithms; computational learning theory; computational
complexity; computational geometry; cryptography; descriptive
complexity; evolutionary and genetic computing; experimental
algorithms; mobile computing; molecular computing and algorithmic
aspects of bioinformatics; network computing; neural computing;
parallel and distributed algorithms; probabilistic and randomized
algorithms; quantum computing; structural information and
communication complexity.
Track B - automata theory; automated deduction; constructive and
non-standard logics in computer science; concurrency theory and
foundations of distributed and mobile computing; database theory;
finite model theory; formal aspects of program analysis, foundations
of hybrid and real-time systems; lambda and combinatory calculi;
logical aspects of computational complexity; modal and temporal
logics; model checking and verification; probabilistic systems; logics
and semantics of programs; foundations of security; term rewriting;
specifications; type, proof and category theory in computer science.
INVITED SPEAKERS:
Track A - Giuseppe F. Italiano Universit? di Roma Tor Vergata
Track B - Jane Hillstone University of Edinburgh
SUBMISSION GUIDELINES:
Authors are invited to submit an extended abstract of at most 15 pages
(LNCS style with at least 11-point font size) to arrive before April
27, 2014. If more space is needed, a clearly marked appendix, to be
read at the discretion of the program committee, may be included if
desired. Submission will be handled by EasyChair. Further information
and submission details can be found on the Conference web page.
Simultaneous submissions to other conferences with published
proceedings are not allowed.
PROCEEDINGS:
The conference proceedings will be published by Springer-Verlag in
Lecture Notes in Computer Science (LNCS) series. Selected papers from
TCS 2014 will be invited to a special issue of the Journal Theoretical
Computer Science.
IMPORTANT DATES:
Deadline for abstract submission: April 27, 2014.
Deadline for final submission: May 4, 2014 (Extended).
Notification of acceptance: June 25, 2014.
Final manuscript due: July 6, 2014.
Conference: September 1-3, 2014.
STEERING COMMITTEE:
- Giorgio Ausiello, Sapienza Univ. di Roma
- Jos Baeten, CWI Amsterdam
- Jacques Sakarovitch, CNRS/T el ecom ParisTech
CONFERENCE CO-CHAIRS:
- Daniele Gorla, Sapienza Univ. di Roma
- Rossella Petreschi, Sapienza Univ. di Roma
PROGRAM COMMITTEES:
Track A
- Cristian Calude, University of Auckland
- Josep Diaz (Chair), UPC Barcelona
- Irene Finocchi, Sapienza Univ. di Roma
- Paola Flocchini, University of Ottawa
- Aristides Gionis, Aalto University Helsinki
- Mordecai Golin, Hong Kong University of Tech.
- Juhani Karhum aki, Turku University
- Massimo Melucci, Univ. di Padova
- Elvira Mayordomo, Universidad de Zaragoza
- Friedhelm Meyer auf der Heide, Univ. of Paderborn
- Pekka Orponen, Aalto University Helsinki
- Giuseppe Persiano, Univ. di Salerno
- G eraud S enizergues, Universit e Bordeaux 1
- Olivier Serre, CNRS / Universit e Paris 7
- Paul Spirakis, University of Liverpool
- Osamu Watanabe, Tokyo Inst. of Technology
- Peter Widmayer, ETH Zurich
Track B
- Jos Baeten, CWI Amsterdam
- Lars Birkedal, Aarhus University
- Andrei Bulatov, Simon Fraser University
- James Cheney, University of Edinburgh
- Ugo Dal Lago, Univ. di Bologna
- Jos ee Desharnais, Universit e Laval
- J org Endrullis, Vrije Universiteit Amsterdam
- J erome Feret, ENS Paris
- Marcelo Fiore, University of Cambridge
- Silvio Ghilardi, Univ. di Milano
- Benjamin Gr egoire, INRIA Sophia
- Ichiro Hasuo, University of Tokyo
- Marieke Huisman, University of Twente
- Jean Krivine, CNRS / Universit e Paris 7
- Radha Jagadeesan, DePaul University, Chicago
- Ivan Lanese, Univ. di Bologna
- Grigore Rosu, University of Illinois at U-C
- Davide Sangiorgi (Chair), Univ. di Bologna
- Vladimiro Sassone, University of Southampton
- Igor Walukiewicz, CNRS / Universit e Bordeaux 1
------------------------------
Message: 4
Date: Fri, 25 Apr 2014 15:16:05 +0200
From: Marco Luebbecke <marco.luebbecke@rwth-aachen.de>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] OR2014 last call!
Message-ID: <21338.24597.4255.701598@arthur.math.tu-berlin.de>
Content-Type: text/plain; charset=us-ascii
International Conference on Operations Research (OR2014)
"Business Analytics and Optimization"
Aachen, Germany, September 2-5, 2014
www.or2014.de
OR2014 in brief: operations research in theory and practice, scientific program in 18 tracks, excellent invited speakers, beautiful city of Charlemagne, business day, emerging scholar workshop
submission deadline: April 30, 2014
www.or2014.de/abstract-submission/
Follow us on twitter, facebook, google+; see you in Aachen!
------------------------------
Message: 5
Date: Fri, 25 Apr 2014 17:38:32 +0200
From: Sandra Sendra<sandra.sendra.upv@gmail.com>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] IEEE TrustCom Deadline is Approaching: May 5, 2014
Message-ID: <201404251538.s3PFcWw6011377@smtp.upv.es>
Content-Type: text/plain; charset=us-ascii
[Please accept our apologies if you receive multiple copies of this email]
*********************** CFP *******************************
The 13th IEEE International Conference on Trust, Security and Privacy in Computing and Communications (IEEE TrustCom-14)
http://www.greenorbs.org/TrustCom2014/
24-26 September 2014, Beijing, China
Important Dates
Workshop Proposal: May 5, 2014
Submission Deadline: 11:59PM (UTC/GMT+8 hours) May 5, 2014 (This is the firm deadline)
Authors Notification: June 26, 2014
Final Manuscript Due: July 20, 2014
Publications
Accepted and presented papers will be included in the IEEE CPS Proceedings.
Distinguished papers presented at the conference, after further revision, will be published in special issues of the following high quality international journals (pending).
- Computers & Security - Elsevier (Impact factor=0.868)
- Concurrency and Computation: Practice and Experience - Wiley (Impact factor=0.636)
- Security and Communication Networks - Wiley (Impact factor=0.414)
- Future Generation Computer Systems - Elsevier (Impact factor=1.978)
- Multimedia Tools and Applications - Springer (Impact factor=0.617)
- Journal of Internet Technology (Impact factor=0.508)
- Journal of Computer and System Sciences - Elsevier (Impact factor=1.157)
Topics
Trust Track
- Trust semantics, metrics and models
- Trusted computing platform
- Trusted network computing
- Trusted operating systems
- Trusted software and applications
- Trust in social networks
- Trust in e-commerce and e-government
- Trust in mobile and wireless communications
- Risk and reputation management
- Survivable computer systems/networks
- Miscellaneous trust issues
Security Track
- Network security
- Computer security
- Database security
- Web applications security
- Security policy, model and architecture
- Security in social networks
- Security in parallel and distributed systems
- Security in mobile and wireless communications
- Security in grid/cloud/pervasive computing
- Authentication, authorization and accounting
- Miscellaneous security issues
Privacy Track
- Privacy in Web-based applications and services
- Privacy in database systems
- Privacy in parallel and distributed systems
- Privacy in grid/cloud/pervasive computing
- Privacy in mobile and wireless communications
- Privacy in e-commerce and e-government
- Privacy in network deployment and management
- Privacy and trust
- Privacy and security
- Privacy and anonymity
- Miscellaneous privacy issues
Organisation Committee
General Chairs:
Jiaguang Sun, Tsinghua University, China
Ivan Stojmenovic, University of Ottawa, Canada
Program Chair:
Yunhao Liu, Tsinghua University, China
Publicity Chairs:
Sandra Sendra Compte, Polytechnic University of Valencia, Spain
Haojin Zhu, Shanghai Jiao Tong University, China
Xiaodong Lin, University of Ontario Institute of Technology, Canada
Workshop Chairs:
Yang Xiang, Deakin University, Australia
Kouichi Sakurai, Kyushu University, Japan
Publication Chair:
Jemal Abawajy, Deakin University, Australia
Steering and Program Committees:
Please see http://www.greenorbs.org/TrustCom2014/
------------------------------
Message: 6
Date: Sun, 27 Apr 2014 10:23:59 +0000
From: "Potapov, Igor" <potapov@liverpool.ac.uk>
To: "dmanet@zpr.uni-koeln.de" <dmanet@zpr.uni-koeln.de>
Subject: [DMANET] RP 2014 -- First Call for Papers -- Deadline: 4 June
2014
Message-ID:
<7ECE8E01AEB79A459E3F30C54E56CF7CBC8AC42F@CHEXMBX1.livad.liv.ac.uk>
Content-Type: text/plain; charset="Windows-1252"
REACHABILITY PROBLEMS 2014
-------------------------------------------------
The 8th International Workshop on Reachability Problems (RP2014)
(22 - 24 September 2013, University of Oxford, United Kingdom)
http://www.cs.ox.ac.uk/RP2014/
The Department of Computer Science will organize the 8th International Workshop
on Reachability Problems (RP'2014). This event will take place at the
Department in the centre of Oxford, 22 - 24 September 2014.
Papers presenting original contributions related to reachability problems in
different computational models and systems are being sought. This will also be
the occasion to review recent breakthroughs by renown invited experts and
survey emerging trends and emphasize on key open challenges. Participants are
kindly encouraged to discuss on core scientific issues that need to be further
tackled.
The Reachability Workshop is specifically aimed at gathering together
scholars from diverse disciplines and backgrounds interested in
reachability problems that appear in
- Algebraic structures
- Computational models
- Hybrid systems
- Logic and Verification
Invited Speakers:
- Byron Cook, UCL and Microsoft Research, UK.
- Kousha Etessami, University of Edinburgh, UK.
- Anca Muscholl, LaBRI Bordeaux, France.
- Sylvain Schmitz, LSV and ENS-Cachan, France.
Submissions:
Papers presenting original contributions related to reachability problems in
different computational models and systems are being sought.
Topics of interest include (but are not limited to): Reachability for infinite
state systems, rewriting systems; Reachability analysis in counter/ timed/
cellular/ communicating automata; Petri-Nets; computational aspects of
semigroups, groups and rings; Reachability in dynamical and hybrid systems;
frontiers between decidable and undecidable reachability problems; complexity
and decidability aspects; predictability in iterative maps and new
computational paradigms
Authors are invited to submit a draft of a full paper with at most 12 pages (in
LaTeX, formatted according to LNCS guidelines) via the conference web page.
Proofs omitted due to space constraints must be put into an appendix to be read
by the program committee members at their discretion. Submissions deviating
from these guidelines risk rejection. Electronic submissions should be
formatted in pdf. Simultaneous submission to other conferences or workshops
with published proceedings is not allowed.
Important Dates
- Submission deadline: 4 June 2014
- Notification to authors: 4 July 2014
- Final version: 14 July 2014
- Workshop: 22 - 24 September 2014
Presentation-Only Track
In addition to regular papers that will appear in our LNCS proceedings, we
invite researchers to apply to give a presentation at RP 2014 without an
accompanying paper. Such presentations can be based on work that has appeared
(or which is going to appear) in the proceedings of another conference, or
which has not yet been submitted. These contributions will be judged solely on
the basis of their attractiveness to the workshop.
To apply to give such a presentation please submit a PDF file containing a
short abstract (up to two pages) by e-mail [ rp2014@easychair.org ] by August
4th 2014, with subject "RP2014 Presentation-Only Track". This abstract will
not be published in the conference proceedings.
Notification for the presentation-only track will be August 11th 2014.
Proceedings
The Conference Proceedings will be published as the volume of the Springer
Verlag LNCS (Lecture Notes in Computer Science) series and distributed at the
Conference. We plan also to publish selected papers in a special issue of a
high quality journal following the regular referee procedure.
RP2014 Program Committee:
Marius Bozga, VERIMAG Grenoble
Thomas Brihaye, Universit? de Mons
V?ronique Bruy?re, Universit? de Mons
Laurent Doyen, LSV Cachan
John Fearnley, University of Liverpool
Gilles Geeraerts, Universit? Libre de Bruxelles
Madhavan Mukund, Chennai Math. Institute
Andrzej Murawski, University of Warwick
Paritosh Pandya, TATA Institute of Fundamental Research
Igor Potapov, University of Liverpool
Stefan G?ller, University of Bremen
Martin Lange, University of Kassel
Kim Larsen, Aalborg University
Ranko Lazic, University of Warwick
Rupak Majumdar, Max Planck Institute for Software Systems
Nicolas Markey, ENS Cachan
Joel Ouaknine (co-chair), University of Oxford
Alexander Rabinovich, Tel Aviv University
Tayssir Touili, LIAFA University Paris Diderot
Thomas Wahl, Northeastern University
James Worrell (co-chair), University of Oxford
Lijun Zhang, Institute of Software ? Chinese Academy of Science
Previous Workshops:
2013: RP?13 in Uppsala, Sweden
LNCS proceedings, Volume 8169/2013, Springer Verlag
2012: RP?12 in Bordeaux, France
LNCS proceedings, Volume 7550/2012, Springer Verlag
2011: RP'11 in Genova, Italy
LNCS proceedings, Volume 6945/2011, Springer Verlag
2010: RP'10 in Brno, Czech Republic
LNCS proceedings, Volume 6227/2010, Springer Verlag
2009: RP'09 in Palaiseau, France
LNCS proceedings, Volume 5797/2009, Springer Verlag
2008: RP'08 in Liverpool, UK
ENTCS proceedings, Volume 223, Elsevier
2007: RP'07 in Turku, Finland
TUCS General Publication Series, Volume 45, Turku Centre for Computer Science
------------------------------
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 25
**************************************
Subscribe to:
Posts (Atom)