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. 2nd Scottish Combinatorics Meeting, University of Glasgow,
26th-27th April 2016 (Kitty Meeks)
2. 10th Workshop on REACHABILITY PROBLEMS, RP 2016 (Potapov, Igor)
3. ETAPS 2016 early registration deadline 1 March approaching
(Tarmo Uustalu)
4. SPIN 2016 - Call for Participation - Early registration
deadline 1 March 2016 (Wijs, A.J.)
5. SAGT 2016 - Call for Papers (Martin Hoefer)
----------------------------------------------------------------------
Message: 1
Date: Fri, 26 Feb 2016 15:27:40 +0000
From: Kitty Meeks <kittymaths@gmail.com>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] 2nd Scottish Combinatorics Meeting, University of
Glasgow, 26th-27th April 2016
Message-ID:
<CADV2or_QEje9btJks6au3JFJ3jFkVYPCCs13ymqBGk4NxnWbJg@mail.gmail.com>
Content-Type: text/plain; charset=UTF-8
The Second Scottish Combinatorics Meeting will take place at the University
of Glasgow on Tuesday 26th and Wednesday 27th April 2016. Everyone with an
interest in combinatorics and its applications is warmly invited to attend
this meeting.
Attendance at the meeting is free, but for catering purposes participants
are asked to register (at http://scm2016.eventbrite.co.uk) by 30th March.
The exact schedule is still to be confirmed, but talks will not start
before 10:30am and will finish by 5pm, hopefully allowing many participants
to attend as a day trip.
The invited speakers are:
Marthe Bonamy (LaBRI Bordeaux)
Mark Dukes (Strathclyde)
Jessica Enright (Stirling)
Michael Fellows (Bergen)
Jennie Hansen (Heriot Watt)
Sophie Huczynska (St Andrews)
Colin McDiarmid (Oxford)
Frances Rosamond (Bergen)
There will also be an opportunity for research students to give short (15
minute) presentations on their work, and limited funds are available to
assist with the travel expenses of students presenting their work. Please
contact Kitty Meeks for more information.
More information about the event is available at:
http://www.maths.gla.ac.uk/~kmeeks/scm/
This event is supported by the Glasgow Mathematical Journal Trust, the
British Combinatorial Committee, the Scottish Informatics and Computer
Science Alliance and the Edinburgh Mathematical Society.
------------------------------
Message: 2
Date: Fri, 26 Feb 2016 16:01:03 +0000
From: "Potapov, Igor" <potapov@liverpool.ac.uk>
To: "dmanet@zpr.uni-koeln.de" <dmanet@zpr.uni-koeln.de>
Subject: [DMANET] 10th Workshop on REACHABILITY PROBLEMS, RP 2016
Message-ID:
<7ECE8E01AEB79A459E3F30C54E56CF7CDDA38501@CHEXMBX1.livad.liv.ac.uk>
Content-Type: text/plain; charset="windows-1250"
REACHABILITY PROBLEMS 2016
----------------------------------------------------------------
The 10th International Workshop on Reachability Problems (RP'16)
19 - 21 September 2016, Aalborg, Denmark
Deadline for submissions: 13 May, 2016
http://rp16.cs.aau.dk/
----------------------------------------------------------------
The 10th Workshop on Reachability Problems will be hosted by
Aalborg University, Denmark. This event will take place in Nordkraft,
a recently reconstructed coal power station located at the harbour
front of Aalborg city centre that serves these days as a cultural
and sport centre of Aalborg.
The Reachability Workshop is specifically aimed at gathering
together scholars from diverse disciplines interested in reachability
problems that appear in algebraic structures, computational models,
hybrid systems, logic and verification.
Invited Speakers:
- Alain Finkel, ENS de Cachan, France
- Axel Legay, INRIA, Rennes Cedex, France
- Jaco van de Pol, University of Twente, Netherlands
Submissions:
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.
Submission link: https://easychair.org/conferences/?conf=rp2016
Topics of interest include (but are not limited to): reachability problems
in infinite state systems, rewriting systems, dynamical and hybrid systems;
reachability problems in logic and verification; reachability analysis in
different computational models, counter timed/cellular/communicating
automata; Petri nets; computational aspects of algebraic structures
(semigroups, groups and rings); frontiers between decidable and undecidable
reachability problems; predictability in iterative maps and new computational
paradigms.
Important Dates
- Submission deadline: 13 May 2016
- Notification to authors: 30 June 2016
- Final version: 11 July 2016
- Workshop: 19 - 21 September 2016
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'16 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 [ rp2016@easychair.org ] by
August 1st 2016, with subject "RP2016 Informal Presentations". This abstract
will not be published in the conference proceedings.
Notification for the presentation-only track will be August 8th 2016.
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.
RP'16 Program Committee:
Filippo Bonchi, ENS de Lyon
Tomas Brazdil, Masaryk University Brno
Thomas Brihaye, Université de Mons
Gilles Geeraerts, Université Libre de Bruxelles
Krishnendu Chatterjee, IST Austria
Javier Esparza, Technische Universität München
Kousha Etessami, University of Edinburgh
Stefan Göller, ENS Cachan
Tero Harju, University of Turku
Petr Jancar, Technical University of Ostrava
Sławomir Lasota, University of Warsaw
Kim G. Larsen (co-chair), Aalborg University
Oded Maler, CNRS-VERIMAG
Richard Mayr, University of Edinburgh
Nicolas Markey, ENS Cachan
Pierre McKenzie, Université de Montréal
Igor Potapov (proceedings chair), University of Liverpool
Alexander Rabinovich, Tel Aviv University
Jiri Srba (co-chair), Aalborg University
Igor Walukiewicz, LaBRI Bordeaux
James Worrell, University of Oxford
Lijun Zhang, Chinese Academy of Science
Previous Workshops:
2015: RP'15 in Warsaw, Poland
LNCS proceedings, Volume 9328/2015, Springer Verlag
2014: RP'14 in Oxford, UK
LNCS proceedings, Volume 8762/2014, Springer Verlag
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
------------------------------
Message: 3
Date: Sat, 27 Feb 2016 01:13:54 +0200
From: Tarmo Uustalu <tarmo@cs.ioc.ee>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] ETAPS 2016 early registration deadline 1 March
approaching
Message-ID: <20160227011354.0121d4ae@duality>
Content-Type: text/plain; charset=UTF-8
Early registration deadline 1 March 2016!
******************************************************************
CALL FOR PARTICIPATION
ETAPS 2016
19th European Joint Conferences on Theory And Practice of Software
Eindhoven, The Netherlands, 2-8 April 2016
******************************************************************
-- ABOUT ETAPS --
The European Joint Conferences on Theory And Practice of Software
(ETAPS) is the primary European forum for academic and industrial
researchers working on topics relating to software science. ETAPS,
established in 1998, is a confederation of five main annual
conferences, accompanied by satellite workshops. ETAPS 2016 is already
the nineteenth event in the series.
-- MAIN CONFERENCES (4-7 April) --
* ESOP: European Symposium on Programming
* FASE: Fundamental Approaches to Software Engineering
* FOSSACS: Foundations of Software Science and Computation Structures
* POST: Principles of Security and Trust
* TACAS: Tools and Algorithms for the Construction and Analysis of
Systems
-- INVITED TALKS --
Unifying speakers:
Andrew D Gordon (MSR Cambridge and University of Edinburgh, UK)
Rupak Majumdar (MPI Kaiserslautern, Germany)
ESOP invited speaker:
Cristina Lopes (University of California at Irvine, USA)
FASE invited speaker:
Oscar Nierrstrasz (Universität Bern, Switzerland)
POST invited speaker:
Vitaly Shmatikov (Cornell Tech, USA)
-- TUTORIALS
Peter Ryan (University of Luxembourg, Luxembourg)
Grigore Rosu (University of Illinois at Urbana-Champaign, USA)
-- CONTRIBUTED PAPERS --
See the accepted paper lists and the programme of the main conferences
at the conference website.
http://www.etaps.org/2016/programme
-- SATELLITE EVENTS (2-3 and 8 April) --
22 satellite workshops will take place before or after ETAPS 2016.
CASSTING, CMCS, DICE, GaLoP, GaM, QAPL, WRLA (2-3 April)
RAC, VerifyThis, VPT, VSSE (2 April)
FESCA, FMSPLE, HCVS, HotSpot, SENSATION, SynCop (3 April)
BX, CREST, MSFP, PLACES, TermGraph (8 April)
-- REGISTRATION --
Early registration is until Tuesday, 1 March 2016 (23:59 GMT+1).
Normal-rate registration is until Thursday, 31 March 2016 (23:59 GMT+1).
http://www.etaps.org/2016/registration
-- ACCOMMODATION --
We request that participants arrange their accommodation on their own.
See our recommendations on the conference website.
-- HOST CITY --
Eindhoven is located in the province of North Brabant in the south of
the Netherlands. It is the fifth-largest city of the Netherlands. The
city is well known for modern art, design and technology. The main
airport of the Netherlands is the Amsterdam Airport, Schiphol. All
major airlines fly to Schiphol, and Schiphol has a direct and very
frequent train connection to Eindhoven. Eindhoven also has a small
international airport, Eindhoven Airport, with direct connections to
more than thirty destinations in Europe.
-- ORGANIZERS --
General chair: Jan Friso Groote
Workshop chairs: Erik de Vink and Julien Schmaltz
Publicity chair: Anton Wijs
--- HOST INSTITUTION --
ETAPS 2016 is hosted by Faculteit Wiskunde en Informatica, Technische
Universiteit Eindhoven.
-- FURTHER INFORMATION --
Please do not hesitate to contact the organizers at
j.f.groote@tue.nl, a.j.wijs@tue.nl.
------------------------------
Message: 4
Date: Sat, 27 Feb 2016 13:22:02 +0000
From: "Wijs, A.J." <A.J.Wijs@tue.nl>
To: "dmanet@zpr.uni-koeln.de" <dmanet@zpr.uni-koeln.de>
Subject: [DMANET] SPIN 2016 - Call for Participation - Early
registration deadline 1 March 2016
Message-ID: <39B9DFC6-A56B-442D-B215-0ED9966E1E8F@tue.nl>
Content-Type: text/plain; charset="utf-8"
======================================================================
CALL FOR PARTICIPATION
SPIN 2016
23rd International SPIN Symposium on Model Checking of Software
7--8 April 2016, Eindhoven, The Netherlands
http://www.spin2016.info<http://www.spin2016.info/>
(colocated with ETAPS 2016)
======================================================================
---- ABOUT SPIN ----
The 23rd edition of the SPIN symposium aims at bringing together
practitioners and researchers interested in symbolic and state
space-based techniques for the validation and analysis of software
systems. Techniques and empirical evaluations based
on explicit representations of state spaces, as implemented in
the SPIN model checker or other tools, or techniques based on the
combination of explicit representations with other representations,
are the focus of this symposium.
We particularly welcome papers describing the development and
application of state space exploration techniques in testing and
verifying embedded software, safety-critical software, enterprise
and web applications, and other interesting software platforms. The
symposium aims to encourage interactions and exchanges of ideas with
all related areas in software engineering.
SPIN 2016 will be colocated with the 19th European Joint Conferences on
Theory and Practice of Software (ETAPS 2016). An overview of the previous
SPIN symposia can be found at http://spinroot.com/spin/Workshops.
---- INVITED SPEAKERS ----
Shaz Qadeer (Microsoft Research, USA)
Pierre Wolper (Université de Liege, BEL)
Tim Willemse (Eindhoven University of Technology, NL)
---- CONTRIBUTED PAPERS ----
A list of accepted papers is available at the symposium website.
Shortly, we will announce the programme.
http://www.spin2016.info/programme.html
---- REGISTRATION ----
Early registration is until Tuesday, 1 March 2016 (23:59 GMT+1), via
the ETAPS registration page.
Normal-rate registration is until Thursday, 31 March 2016 (23:59 GMT+1).
http://www.spin2016.info/registration.html
---- ACCOMMODATION ----
We request that participants arrange their accommodation on their own.
See our recommendations on the symposium website.
http://www.spin2016.info/venue.html
-- HOST CITY --
Eindhoven is located in the province of North Brabant in the south of
the Netherlands. It is the fifth-largest city of the Netherlands. The
city is well known for modern art, design and technology. The main
airport of the Netherlands is the Amsterdam Airport, Schiphol. All
major airlines fly to Schiphol, and Schiphol has a direct and very
frequent train connection to Eindhoven. Eindhoven also has a small
international airport, Eindhoven Airport, with direct connections to
more than thirty destinations in Europe.
---- CHAIRS ----
Dragan Bošnački (Eindhoven University of Technology)
Anton Wijs (Eindhoven University of Technology)
---- HOST INSTITUTION ----
Both SPIN 2016 and ETAPS 2016 are hosted by Faculteit Wiskunde
en Informatica, Eindhoven University of Technology.
---- FURTHER INFORMATION ----
Please do not hesitate to contact the organizers at
d.bosnacki@tue.nl<mailto:d.bosnacki@tue.nl>, a.j.wijs@tue.nl<mailto:a.j.wijs@tue.nl>.
------------------------------
Message: 5
Date: Sun, 28 Feb 2016 00:23:56 +0100
From: Martin Hoefer <mhoefer@mpi-inf.mpg.de>
To: "dmanet@zpr.uni-koeln.de" <dmanet@zpr.uni-koeln.de>
Subject: [DMANET] SAGT 2016 - Call for Papers
Message-ID: <56D2300C.7030006@mpi-inf.mpg.de>
Content-Type: text/plain; charset=utf-8; format=flowed
9th INTERNATIONAL SYMPOSIUM ON ALGORITHMIC GAME THEORY
SAGT 2016
Liverpool, UK, Sep. 19-21, 2016
--------------------------------------------------
IMPORTANT DATES
- Submission: May 13, 2016.
- Notification: July 1, 2016.
- Camera ready: July 15, 2016.
--------------------------------------------------
The 9th International Symposium on Algorithmic Game Theory (SAGT) will
take place in Liverpool, UK, September 19-21, 2016. The purpose of SAGT
is to bring together researchers from Computer Science, Economics,
Physics, Biology and Mathematics to present and discuss original
research at the intersection of Algorithms and Game Theory.
The program of SAGT will include both invited talks and presentations
for refereed submissions. Confirmed invited speakers are
- Constantinos Daskalakis, MIT
- Olivier Gossner, LSE and École Polytechnique
- Kurt Mehlhorn, MPI Informatik
SUBMISSIONS
-----------
Authors are invited to submit previously unpublished work for possible
presentation at the conference. Foundational work is solicited on topics
including but not limited to:
- Solution Concepts in Game Theory
- Efficiency of Equilibria and Price of Anarchy
- Complexity Classes in Game Theory
- Computational Aspects of Equilibria
- Computational Aspects of Fixed-Point Theorems
- Repeated Games and Convergence of Dynamics
- Reputation, Recommendation and Trust Systems
- Network Games and Graph-Theoretic Aspects of Social Networks
- Cost-Sharing Algorithms and Analysis
- Algorithmic Mechanism Design
- Computing with Incentives
- Computational Social Choice
- Decision Theory, and Pricing
- Auction Algorithms and Analysis
- Economic Aspects of Distributed Computing
- Internet Economics and Computational Advertising
Industrial application works and position papers presenting novel ideas,
issues, challenges and directions are also welcome.
It is expected that every accepted paper will be presented at the
symposium by one of the authors.
Submissions must be prepared in LNCS-style and limited to at most 12
pages. Additional material can be added in a clearly marked appendix.
Accepted papers are presented in at most 12 pages in the proceedings.
Alternatively, authors of accepted papers can publish only a one page
abstract in the proceedings, along with a URL pointing to the full paper.
For more detailed submission guidelines and instructions see the
conference webpage at http://sagt16.csc.liv.ac.uk/cfp.html.
The submission is done via Easychair:
https://www.easychair.org/conferences/?conf=sagt2016.
PROGRAM COMMITTEE
-----------------
- Yakov Babichenko, Technion
- Umang Bhaskar, TIFR
- Yang Cai, McGill
- Xi Chen, Columbia U.
- Paul Duetting, ETH Zürich
- Edith Elkind, U. Oxford
- Martin Gairing, U. Liverpool (co-chair)
- Gagan Goel, Google
- Paul Goldberg, U. Oxford
- Tobias Harks, Augsburg U.
- Max Klimm, TU Berlin
- Kostas Kollias, Google
- Sebastien Lahaie, MSR New York City
- Pascal Lenzner, HPI Potsdam
- Stefano Leonardi, Sapienza U.
- Troels Bjerre Lund, ITU Copenhagen
- David Manlove, U. Glasgow
- Ruta Mehta, U. Illinois Urbana-Champaign
- Vangelis Markakis, AUEB
- Britta Peis, RWTH Aachen U.
- Ron Peretz, Bar-Ilan U.
- Georgios Piliouras, SUTD
- Maria Polukarov, U. Southampton
- Rahul Savani, U. Liverpool (co-chair)
- Marco Scarsini, LUISS Rome
- Alexander Skopalik, Paderborn U.
- Eric Sodomka, Facebook
- Orestis Telelis, U. Piraeus
STEERING COMMITTEE
------------------
- Elias Koutsoupias, U. Oxford
- Marios Mavronicolas, U. Cyprus
- Dov Monderer, Technion
- Burkhard Monien, Paderborn U.
- Christos Papadimitriou, UC Berkeley
- Giuseppe Persiano, U. Salerno
- Paul Spirakis, U. Liverpool (chair)
ORGANIZING COMMITTEE
--------------------
- Giorgos Christodoulou, U. Liverpool
- John Fearnley (chair), U. Liverpool
- Tobenna Peter Igwe, U. Liverpool
- Grammateia Kotsialou, U. Liverpool
- Alkmini Sgouritsa, U. Liverpool
------------------------------
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 96, Issue 34
**************************************
No comments:
Post a Comment