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. OPODIS 2014 - **Early Registration Deadline Extended** - Call
for Participation (Silvia Bonomi)
2. 106th European Study Group Mathematics with Industry, Jan
2015, Utrecht (tobiasmuller .)
3. TTL 2015: Tools for Teaching Logic, Rennes (France), 9-12 Jun
2015 (Sophie Pinchinat)
----------------------------------------------------------------------
Message: 1
Date: Mon, 17 Nov 2014 14:40:02 +0100
From: Silvia Bonomi <bonomi@dis.uniroma1.it>
Subject: [DMANET] OPODIS 2014 - **Early Registration Deadline
Extended** - Call for Participation
Message-ID: <E7CA1ECA-59B2-44A1-8378-37C08A63ADFD@dis.uniroma1.it>
Content-Type: text/plain; charset=iso-8859-1
####################################################
OPODIS 2014 Call for Participation
18th Int. Conf. on the Principles of Distributed Systems (OPODIS)
16-19 December 2014
Cortina, Italy
http://opodis2014.dis.uniroma1.it/
####################################################
*** NOTE: Reduced early registration fees have been extended through November 22nd! ***
You are kindly invited to participate in the 18th International Conference on the Principles of Distributed Systems (OPODIS).OPODIS is an open forum for the exchange of state-of-the-art knowledge on distributed computing and distributed computer systems. All aspects of distributed systems are within the scope of OPODIS, including theory, specification, design, performance, and system building. OPODIS is traditionally strong in the theoretical aspects of distributed systems; furthermore, OPODIS is expanding its coverage to include the overlap between theoretical solutions and practical implementations, as well as experimentation and quantitative assessments.
The conference will take place in Cortina d'Ampezzo, Italy. Cortina d'Ampezzo, Italy's premier mountain resort, is exclusively positioned in the breathtaking UNESCO World Natural Heritage Dolomites, one of the most beautiful and unique alpine regions in the world. A Best of the Alps resort and a symbol of style, fashion and the Italian way of life, Cortina is the perfect destination for those who seek a truly special experience where natural beauty, culture, tradition, art, food and wine fuse together in pure joie de vivre. The spectacular scenery and full range of alpine sports and outdoor activities offered by this bustling mountain town, host to world-cups and international championships, attract nature lovers and sports enthusiasts during all seasons. OPODIS will be hosted at the Splendid Hotel Venezia located in the very hearth of Cortina.
For travel arrangements, please check
http://opodis2014.dis.uniroma1.it/venue.html
Online registration is available at
http://opodis2014.dis.uniroma1.it/registration.html
Contact us at opodis@dis.uniroma1.it
http://opodis2014.dis.uniroma1.it/
################
Program Highlights
################
INVITED TALK:
> Lorenzo Alvisi (University of Texas at Austin), "Salt: Combining ACID and BASE in a Distributed Database"
TUTORIALS
> Christian Cachin (IBM Zurich), "Integrity, Consistency, and Verification of Remote Computation"
> Yann Busnel (Crest - Ensai, Rennes & LINA - University of Nantes), "Distributed Large-Scale Data Stream Analysis"
TECHNICAL PROGRAM
> Presentations of 32 full research papers
WORKSHOP
> Second Workshop on Distributed Computing: Computability and Complexity
Further details on the program are available at
http://opodis2014.dis.uniroma1.it/program.html
##############
Accepted Papers
##############
Tomoko Izumi, Sayaka Kamei and Yukiko Yamauchi
Approximation Algorithms for the Set Cover Formation by Oblivious Mobile Robots
Zohir Bouzid, Eli Gafni and Petr Kuznetsov
Strong Equivalence Relations for Iterated Models
Yuichi Sudo, Fukuhito Ooshita, Hirotsugu Kakugawa and Toshimitsu Masuzawa
Loosely-stabilizing Leader Election on Arbitrary Graphs in Population Protocols
Matthieu Barjon, Arnaud Casteigts, Serge Chaumette, Colette Johnen and Yessin M. Neggaz
Maintaining a Spanning Forest in Highly Dynamic Networks: The Synchronous Case
Uri Abraham and Gal Amram
On the Mailbox Problem
Wojciech Wawrzyniak, Edyta Szynanska, Marcin Witkowski, Andrzej Czygrinow and Michal Hanckowiak
Distributed approximation of minimum k-dominating set in planar graphs.
Avery Miller and Andrzej Pelc
Tradeoffs Between Cost and Information for Rendezvous and Treasure Hunt
Pierre Sutra, Etienne Rivi?re and Pascal Felber
A Practical Distributed Universal Construction with Unknown Participants
Paola Flocchini, Giuseppe Prencipe, Nicola Santoro and Giovanni Viglietta
Solving the Uniform Circle Formation Problem
Rati Gelashvili, Mohsen Ghaffari, Jerry Li and Nir Shavit
On the Importance of Registers for Computability
Pierre Fraigniaud, Sergio Rajsbaum, Matthieu Roy and Corentin Travers
Opinion Number of Set-Agreement
Michel Raynal, Julien Stainer and Gadi Taubenfeld
Distributed Universality
Panagiota Fatourou, Eleni Kanellou, Eleftherios Kosmas and Md Forhad Rabbi
WFR-TM: Knowledge of Past, Understanding of Future, and Perseverance in Present
Christian Cachin and Olga Ohrimenko
Verifying the Consistency of Remote Untrusted Services with Commutative Operations
Elli Androulaki, Christian Cachin, Dan Dobre and Marko Vukolic
Erasure-Coded Byzantine Storage with Separate Metadata
Bogdan S. Chlebus, Gianluca De Marco and Dariusz R. Kowalski
Scalable Wake-up of Multi-Channel Single-Hop Radio Networks
Ahmed Hassan, Roberto Palmieri and Binoy Ravindran
On Developing Optimistic Transactional Lazy Set
Alexandru Turcu, Sebastiano Peluso, Roberto Palmieri and Binoy Ravindran
Be General and Don't Give Up Consistency in Geo-Replicated Transactional Systems
Nhan Nguyen, Philippas Tsigas and H?kan Sundell
ParMarkSplit: A Parallel Mark-Split Garbage Collector Based on a Lock-Free Skip-List
Tamas Lukovszki and Friedhelm Meyer auf der Heide
Fast Collisionless Pattern Formation by Anonymous, Position-Aware Robots
Sandeep S Kulkarni, Murat Demirbas, Deepak Madeppa, Bharadwaj Avva and Marcelo Leone
Logical Physical Clocks and Consistent Snapshots in Globally Distributed Databases
Odorico Mendizabal, Parisa Jalili Marandi, Fernando Lu?s Dotti and Fernando Pedone
Recovery in Parallel State-Machine Replication
Dana Drachsler-Cohen and Erez Petrank
LCD: Local Combining on Demand
Kenneth Platz, Neeraj Mittal and S. Venkatesan
Practical Concurrent Unrolled Linked Lists Using Lazy Synchronization
Delbot Fran?ois, Laforest Christian and Rovedakis Stephane
Self-stabilizing algorithms for connected vertex cover and clique decomposition problems
Henry Tan, Chris Wacek, Calvin Newport and Micah Sherr
A Disruption-Resistant MAC Layer for Multichannel Wireless Networks
Shay Kutten and Chhaya Trehan
Fast and Compact Distributed Verification and Self-Stabilization of a DFS Tree
Zahra Aghazadeh and Philipp Woelfel
Space- and Time-Efficient Long-Lived Test-And-Set
Sisi Duan, Hein Meling, Sean Peisert and Haibin Zhang
BChain: Byzantine Replication with High Throughput and Embedded Reconfiguration
Ajoy K. Datta, Lawrence L. Larmore and Toshimitsu Masuzawa
Communication Efficient Self-Stabilizing Algorithms for Breadth-First Search Trees
Martina Eikel, Christian Scheideler and Alexander Setzer
RoBuSt: A Crash-Failure-Resistant Distributed Storage System
Taisuke Izumi and Roger Wattenhofer
Time Lower Bounds for Distributed Distance Oracles
------------------------------
Message: 2
Date: Mon, 17 Nov 2014 11:22:09 +0100
From: "tobiasmuller ." <tobias.muller.krokodil@gmail.com>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] 106th European Study Group Mathematics with
Industry, Jan 2015, Utrecht
Message-ID:
<CAJQX0=9aw5aT4RBTcJ-tDtcPmfj5uqD-0Va6dOajT-WpSf_uRg@mail.gmail.com>
Content-Type: text/plain; charset=ISO-8859-1
*** Invitation 106th European Study Group Mathematics with Industry
2015, Utrecht ***
Dates/location: January 26-30, 2015, Utrecht University, The Netherlands
Since 1968, the Study Group Mathematics with Industry has brought together
mathematicians and companies. Following the original Oxford model,
about 60 mathematicians, ranging from PhD students to full professors,
spend a week working on one of six real life problems, presented to them
on Monday morning. During four busy days these problems are discussed,
dissected, modeled, analyzed, and computed, and results are presented
on Friday.
This year's problems are posed by
- Philips: patient adaptive compressed sensing
- SKF: statistical modelling of mechanical bearing life testing
- KNMI: synchronizing numerical models of the atmosphere to improve
weather and climate models
- 3 more problems TBA
You are welcome to participate. See our website for the problems
and more information, and also for registration:
http://www.projects.science.uu.nl/swi2015
Participation is free of charge. We can cover hotel costs for a
limited number of participants
Sincerely,
The organizing committee of SWI 2015,
Rob Bisseling, Martin Bootsma, Jason Frank, Ross Kang, Tobias M?ller
(chair), Sanjay Ramawadh, Alessandro Sbrizzi, Christian Spitoni, Paul
Zegeling
For queries: swi2015uu@gmail.com
------------------------------
Message: 3
Date: Mon, 17 Nov 2014 13:38:03 +0100
From: Sophie Pinchinat <sophie.pinchinat@irisa.fr>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] TTL 2015: Tools for Teaching Logic, Rennes (France),
9-12 Jun 2015
Message-ID: <5469EC2B.3060507@irisa.fr>
Content-Type: text/plain; charset=utf-8; format=flowed
TTL2015
4th INTERNATIONAL CONFERENCE ON TOOLS FOR TEACHING LOGIC
June 9-?12, 2015, Rennes, France
http://ttl2015.irisa.fr/
Call for Papers
* TOPICS
Tools for Teaching Logic seeks for original papers with a clear
significance in the following topics (but are not limited to):
teaching logic in sciences and humanities; teaching logic at different
levels of instruction (secondary education, university level, and
postgraduate); didactic software; facing some difficulties concerning
what to teach; international postgraduate programs; resources and
challenges for e?Learning Logic; teaching Argumentation Theory,
Critical Thinking and
Informal Logic; teaching specific topics, such as Modal Logic,
Algebraic Logic, Knowledge Representation, Model Theory, Philosophy of
Logic, and others; dissemination of logic courseware and logic
textbooks; teaching Logic Thinking.
* INSTRUCTIONS FOR AUTHORS
Submitted papers in PDF format should not be longer than 8 pages and
must be submitted electronically using the EasyChair system.
A demonstration is expected to accompany papers describing software tools.
At least one author of each accepted paper must be registered and
attend TTL2015 to present the paper or the tool.
* PUBLICATIONS
All accepted papers will be published electronically in the LIPICS
style by University of Rennes 1 with an ISBN (a USB key will be
provided to the conference participants).
After the conference, a special issue containing extended versions of
the best accepted papers is going to be published in the IfCoLog
Journal of Logics and their Applications.
* CONFERENCE FORMAT
Papers presentations will be presented in parallel sessions along the week.
A half-?day slot will be dedicated to demo tools.
* IMPORTANT DATES
Paper submission: 30 January 2015
Notification: 1 March 2015
Final camera?-ready due: 29 March 2015
Conference: 9?-12 June 2015
------------------------------
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 81, Issue 19
**************************************
No comments:
Post a Comment