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. ALGO 2014 early registration deadline (Jarek Byrka)
2. PPDP 2014: Program and 2nd Call for Participation
(Jacob Johannsen)
3. NSysS 2015- Deadline Extension (Dr. M. Sohel Rahman)
4. Postdoc position in Lyon, France (Marie-France Sagot)
5. LATA 2015: 1st call for papers (GRLMC)
----------------------------------------------------------------------
Message: 1
Date: Fri, 25 Jul 2014 19:07:46 +0200
From: Jarek Byrka <jby@ii.uni.wroc.pl>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] ALGO 2014 early registration deadline
Message-ID: <53D28EE2.3000606@ii.uni.wroc.pl>
Content-Type: text/plain; charset=ISO-8859-1; format=flowed
This is to remind you that the deadline for early registration
for ALGO 2014 is approaching. Early registration for ALGO
is possible only until the end of July (local time).
ALGO is a multi-conference on algorithms built around ESA
and organized every year. This year ALGO is organized in Wroclaw,
Poland in the week of 8-12 September.
ALGO 2014 includes ESA, WABI, IPEC, ALGOSENSORS, WAOA, MASSIVE, and ATMOS.
See http://algo2014.ii.uni.wroc.pl/index.html for more details.
Partially due to the generosity of our sponsors this year's registration
fee is slightly lower,
please see registration web-page for precise calculations
http://algo2014.ii.uni.wroc.pl/registration.html
It will be an interesting period in Wroclaw.
In parallel to ALGO there will be:
- a music festival Wratislavia Cantans
http://2014.wratislaviacantans.pl/#!en/program
- Men's Volleyball World Championships
http://en.wikipedia.org/wiki/2014_FIVB_Volleyball_Men%27s_World_Championship
organized in Wroclaw at the same time.
Please consider booking hotels and flights early.
We are convinced ALGO will be a pleasant and stimulating event.
Please consider attending it even if you have no paper accepted.
In case of any questions please contact us at algo2014@cs.uni.wroc.pl
Looking forward to see you in Wroclaw in September.
Best regards,
Jarek Byrka
(ALGO 2014 local co-chair)
------------------------------
Message: 2
Date: Sun, 27 Jul 2014 14:55:49 +0200
From: Jacob Johannsen <cnn@cs.au.dk>
To: <dmanet@zpr.uni-koeln.de>
Subject: [DMANET] PPDP 2014: Program and 2nd Call for Participation
Message-ID: <53D4F6D5.8010606@cs.au.dk>
Content-Type: text/plain; charset="utf-8"; format=flowed
======================================================================
CALL FOR PARTICIPATION:
PPDP 2014
16th International Symposium on
Principles and Practice of Declarative Programming
Canterbury, Kent, September 8-10, 2014
http://users-cs.au.dk/danvy/ppdp14/
co-located with
LOPSTR 2014
24th International Symposium on
Logic-Based Program Synthesis and Transformation
Canterbury, Kent, September 9-11, 2014
http://www.iasi.cnr.it/events/lopstr14/
======================================================================
Two weeks left for early registration (until August 8):
http://www.cs.kent.ac.uk/events/2014/ppdp-lopstr-14/
A significant discount is available when registering to both events,
especially as a student (until August 8).
PPDP 2014 features
* an invited talk by Roberto Giacobazzi, shared with LOPSTR:
"Obscuring Code -- Unveiling and Veiling Information in Programs"
* no fewer than 4 distilled tutorials by
- Henrik Nilsson and Ivan Perez:
"Declarative Game Programming"
- Danko Ilik:
"Proofs in Continuation-Passing Style:
normalization of G?del's System T extended with sums and
delimited control operators"
- Jerzy Karczmarczuk:
"On the Declarative Structure of Quantum Concepts:
States and Observables"
- Ralf Laemmel, Andrei Varanovich, and Martin Leinberger:
"Declarative Software Development"
* the most influential paper 10-year award for PPDP 2004
Tentative program:
==========
Monday 8 September
Welcome to PPDP 2014 - 08:45-09:00
Olaf Chitil and Andy King
Distilled Tutorial - 9:00-10:00
Ralf Laemmel
"Declarative Software Development"
Break - 10:00-10:15
Session - 10:15-11:15
10:15-10:45
R?mi Douence and Nicolas Tabareau
"Lazier Imperative Programming"
10:45-11:15
Stefan Mehner, Daniel Seidel, Lutz Stra?burger and Janis Voigtl?nder
"Parametricity and Proving Free Theorems for Functional-Logic Languages"
Break - 11:15-11:30
Session - 11:30-12:30
11:30:-12:00
Paul Tarau
"Bijective Collection Encodings and Boolean Operations
with Hereditarily Binary Natural Numbers"
12:00-12:30
Flavio Cruz, Ricardo Rocha and Seth Goldstein
"Design and implementation of a multithreaded virtual machine
for executing linear logic programs"
Lunch break - 12:30-14:00
Distilled tutorial - 14:00-15:00
Danko Ilik
"Proofs in Continuation-Passing Style:
normalization of G?del's System T
extended with sums and delimited control operators"
Break - 15:00-15:15
Session - 15:15-16:15
15:15-15:45
Kenichi Asai, Luminous Fennell, Peter Thiemann and Yang Zhang
"A Type Theoretic Specification for Partial Evaluation"
15:45-16:15
Paul Downen, Luke Maurer, Zena Ariola and Daniele Varacca
"Continuations, Processes, and Sharing"
Break - 16:15-16:30
Session - 16:30-17:30
16:30-17:00
Pierre Neron
"Partial Inlining for Program Transformation"
17:00-17:30
Jean-Louis Giavitto and Jos? Echeveste
"Real-Time Matching of Antescofo Temporal Patterns"
Program-chair report - 17:30-17:45
Olivier Danvy
----------
Tuesday 9 September
Distilled tutorial - 9:00-10:00
Jerzy Karczmarczuk
"On the Declarative Structure of Quantum Concepts:
States and Observables"
Break - 10:00-10:15
Session - 10:15-11:15
10:15-10:45
Jos? Meseguer and Salvador Lucas
"Proving Operational Termination of Declarative Programs in General
Logics"
10:45-11:15
Fan Yang, Santiago Escobar, Catherine Meadows, Jos? Meseguer and
Paliath Narendran
"Theories of Homomorphic Encryption, Unification, and the Finite
Variant Property"
Break - 11:15-11:30
Session - 11:30-12:30
11:30:-12:00
Tzu-Chun Chen, Mariangiola Dezani-Ciancaglini and Nobuko Yoshida
"On the Preciseness of Subtyping in Session Types"
12:00-12:30
Hugo Pacheco, Tao Zan and Zhenjiang Hu
"BiFluX: A Bidirectional Functional Update Language for XML"
Lunch break - 12:30-14:00
Distilled tutorial - 14:00-15:00
Henrik Nilsson
"Declarative Game Programming"
Break - 15:00-15:15
Session - 15:15-16:15
15:15-15:45
Francisco Ferreira and Brigitte Pientka
"Bidirectional Elaboration of Dependently Typed Programs"
15:45-16:15
Steven Ramsay
"Exact Intersection Type Abstractions for Safety Checking of
Recursion Schemes"
Break - 16:15-16:30
Session - 16:30-17:30
16:30-17:00
Julian Kranz and Axel Simon
"Structure-Preserving Compilation:
Efficient Integration of Functional DSLs into Legacy Systems"
17:00-17:30
Ulrich Sch?pp
"Organising Low-Level Programs using Higher Types"
----------
Wednesday 10 September
Invited talk - 9:00-10:00
Roberto Giacobazzi
Obscuring Code -- Unveiling and Veiling Information in Programs
Break - 10:00-10:15
Session - 10:15-11:15
10:15-10:45
R?my Haemmerl?
"On Combining Backward and Forward Chaining in Constraint Logic
Programming"
10:45-11:15
Nataliia Stulova, Jose F. Morales and Manuel V. Hermenegildo
"Assertion-based Debugging of Higher-Order (C)LP Programs"
Break - 11:15-11:30
Session - 11:30-12:30
11:30:-12:00
Takahito Aoto and Sorin Stratulat
"Decision Procedures for Proving Inductive Theorems without Induction"
12:00-12:30
Joachim Jansen, Ingmar Dasseville, Jo Devriendt and Gerda Janssens
"Experimental Evaluation of a State-of-the-Art Grounder"
Lunch break - 12:30-13:30
Session - 13:30-14:30
13:30:-14:00
Tom Schrijvers, Nicolas Wu, Benoit Desouter and Bart Demoen
"Heuristics entwined with handlers combined"
14:00-14:30
James Cheney, Amal Ahmed and Umut Acar
"Database queries that explain their work"
==========
Also, please note a change of dates: LOPSTR will start on September 9,
rather than September 10 as previously announced.
See you in Canterbury!
------------------------------
Message: 3
Date: Sun, 27 Jul 2014 22:18:22 +0700
From: "Dr. M. Sohel Rahman" <msrahman@cse.buet.ac.bd>
To: DMANET@zpr.uni-koeln.de
Subject: [DMANET] NSysS 2015- Deadline Extension
Message-ID: <20140727151257.M76984@cse.buet.ac.bd>
Content-Type: text/plain; charset=iso-8859-1
Deadline Extension
=========================================================================
NSysS 2015
January 5-7, 2015
Dhaka, Bangladesh
Web: http://www.buet.ac.bd/cse/nsyss/
Submission: https://www.easychair.org/conferences/?conf=nsyss2015
========================================================================
Important Dates
===============
Abstract submission deadline: August 9, 2014 (Extended)
Paper submission deadline: August 17, 2014 (Extended)
Notification of paper acceptance: September 30, 2014
Poster and demo submission deadline: October 7, 2014
Notification of poster and demo acceptance: October 14, 2014
Program: January 5-7, 2015
The 1st International Conference on Networking Systems and Security 2015
(NSysS 2015) aims at providing a forum of researchers, practitioners,
developers, and users to exchange new ideas and results related to computer
networks, networking systems, and security across academia and industry. NSysS
2015 will be held during January 5-7, 2015 in Dhaka, the capital of
Bangladesh.
We solicit original technical papers articulating novel ideas, protocols, and
algorithms with ground-breaking results and/or quantified experiences
involving networking systems and security. The conference values papers, which
will take a broad networking and/or security perspective(s) covering
contemporary and future applications. Of particular interest are technical
contributions that enable new and compelling networking and security
paradigms.
TPC Co-Chairs
=============
Md. Mostofa Akbar, BUET, Bangladesh
Suman Kumar Nath, Microsoft Research, USA
Invited Speakers
================
Raouf Boutaba, University of Waterloo, Canada
Mohammed Atiquzzaman, University of Oklahoma, USA
Manzur Murshed, Federation University, Australia
Venkat Padmanabhan, Microsoft Research
Scope:
Scope of the workshop covers, but is not limited to, the following:
Addressing and location management
Broadband access technologies
Capacity planning
Cellular and broadband wireless nets
Challenges for 'Big Sensor Data'
Cognitive radio networking
Congestion control
Content-based network service
Cross layer design and optimization
Cyber‐physical systems and networking
Data centers
Data reduction, inference, and signal processing
Delay/disruption tolerant networks
Denial of service
Detection, classification, tracking, reasoning, and decision making
Dynamic spectrum management
Economic aspects of the Internet
Embedded software for sensor networks
Energy harvesting
Experience with real-world applications
Experimental results from operational networks or network applications
Fault-tolerance, reliability, and troubleshooting
Future Internet design
Innovative applications and deployment experiences
Innovative sensing and processing platforms including cloud, crowd, and
consumer devices
Insights into network and traffic characteristics
Middleware support for networking
Mobile, participatory, and social sensing
Multicast, broadcast and anycast
Multimedia protocols
Near field communication
Network applications and services
Network architectures
Network coding
Network control
Network health monitoring and management
Network management and traffic engineering
Network security and privacy
Network simulation and emulation
Network, transport, and application-layer protocols
Networking issues for emerging applications
New models of sensor usage (e.g. mobile sensing, body sensing, RFIDs, robots)
Novel components, devices and architectures for networked sensing
Operating system and host support for networking
Operating systems and runtime environments
Optical networks
P2P, overlay, and content distribution networks
Peer‐to‐peer networks
Performance evaluation
Power control and management
Pricing and billing
Programming paradigms for sensing systems
Provable correctness and performance guarantees
Quality of service
Resource allocation and management
Resource management
Resource management, QoS, and signaling
RFID networks and protocols
Routing protocols
Satellite networks
Scheduling and buffer management
SDNs and network programming
Security, trust and privacy
Self-organizing networks
Sensor data processing, mining, and machine learning
Sensor data quality, integrity, and trustworthiness
Sensor data storage, retrieval, processing and management
Sensor tasking, control, and actuation
Social computing and networks
Support for integrated sensing, actuation and control
Switches and switching
Techniques for network measurement and simulation
Testing, Verification and Validation
Theoretical foundation and fundamental bounds
Topology characterization and inference
Underground and underwater networks
User interfaces for sensing applications and systems
Vehicular networks
Web services and performance
Wireless, mobile, ad-hoc, and sensor networks
Author Instructions
Authors are invited to submit papers describing original research of
theoretical or practical significance to Network Systems and Security.
Submitted papers must describe work not previously published. They must not be
submitted simultaneously to another conference with refereed proceedings or to
a journal. Papers should not exceed 10 pages in IEEE style. Please find the
template of IEEE style here. Papers significantly shorter than 10 pages,
however, having sufficient novelty and depth are also welcome. Only
electronic submissions will be allowed. The submission system will be open
soon.
Proceedings
Accepted papers will be published in the conference proceedings, which will be
indexed in various reputed computer science index databases.
Journal Special Issue
A special issue in a reputed journal is planned for selected papers appeared
in the conference.
------------------------------
Message: 4
Date: Mon, 28 Jul 2014 11:18:56 +0200
From: Marie-France Sagot <Marie-France.Sagot@inria.fr>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] Postdoc position in Lyon, France
Message-ID: <41AD9516-78F2-406B-98DE-815A07C7DC7D@inria.fr>
Content-Type: text/plain; charset=windows-1252
One postdoc opportunity at Inria in Lyon, France, to start no
later than November 1st, 2014
In the context of a FP7 KBBE European Project, BacHBerry
(?BACterial Hosts for production of Bioactive phenolics from
bERRY fruits"), we are seeking for one postdoc candidate,
for one year renewable for up to two years.
The BacHBerry project is interested in the generation of
bacterial platforms for sustainable bio-based production of
phenolic compounds found in berry fruits. Phenolics are
recognised for their antioxydant health-promoting and functional
properties, and applied across applications as diverse as
aromas, colours, nutraceuticals, and medicines. The platform
may involve a single bacterial species, or a community of
different bacteria in interaction. Both approaches will be
explored.
Ideally, the candidate should have a strong background in at
least one of: biochemistry, systems biology of bacterial
communities, metabolic bioengineering; together with an
interest and some expertise in the use and development of
mathematical models and algorithmic methods. The person
should have a strong taste for inter-disciplinary research, and
very good interpersonal skills.
The candidate will work in the BAMBOO team at the
Inria-UCBL in Lyon, France (http://team.inria.fr/bamboo/), in
interaction with the partners of BacHBerry, in particular the
CSI team at the IDMEC-IST in Lisbon, Portugal
(http://www.idmec.ist.utl.pt/).
Applications should include a motivation letter, a CV, and
the address of three references.
The applications should be sent to:
Marie-France Sagot, marie-france.sagot@inria.fr
putting also in copy the partner in Lisbon:
Susana Vinga, susanavinga@gmail.com
ideally before August 31, 2014.
------------------------------
Message: 5
Date: Sat, 26 Jul 2014 16:18:13 +0200
From: "GRLMC" <grlmc@urv.cat>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] LATA 2015: 1st call for papers
Message-ID: <6451E4EE5E534036A364583A3B213575@Carlos1>
Content-Type: text/plain; charset="utf-8"
9th INTERNATIONAL CONFERENCE ON LANGUAGE AND AUTOMATA THEORY AND APPLICATIONS
LATA 2015
Nice, France
March 2-6, 2015
Organized by:
CNRS, I3S, UMR 7271
Nice Sophia Antipolis University
Research Group on Mathematical Linguistics (GRLMC)
Rovira i Virgili University
http://grammars.grlmc.com/lata2015/
****************************************************************************************
AIMS:
LATA is a conference series on theoretical computer science and its applications. Following the tradition of the diverse PhD training events in the field developed at Rovira i Virgili University in Tarragona since 2002, LATA 2015 will reserve significant room for young scholars at the beginning of their career. It will aim at attracting contributions from classical theory fields as well as application areas.
VENUE:
LATA 2015 will take place in Nice, the second largest French city on the Mediterranean coast. The venue will be the University Castle at Parc Valrose.
SCOPE:
Topics of either theoretical or applied interest include, but are not limited to:
algebraic language theory
algorithms for semi-structured data mining
algorithms on automata and words
automata and logic
automata for system analysis and programme verification
automata networks
automata, concurrency and Petri nets
automatic structures
cellular automata
codes
combinatorics on words
computational complexity
data and image compression
descriptional complexity
digital libraries and document engineering
foundations of finite state technology
foundations of XML
fuzzy and rough languages
grammars (Chomsky hierarchy, contextual, unification, categorial, etc.)
grammatical inference and algorithmic learning
graphs and graph transformation
language varieties and semigroups
language-based cryptography
parallel and regulated rewriting
parsing
patterns
power series
string and combinatorial issues in bioinformatics
string processing algorithms
symbolic dynamics
term rewriting
transducers
trees, tree languages and tree automata
unconventional models of computation
weighted automata
STRUCTURE:
LATA 2015 will consist of:
invited talks
invited tutorials
peer-reviewed contributions
INVITED SPEAKERS:
to be announced
PROGRAMME COMMITTEE:
Andrew Adamatzky (West of England, Bristol, UK)
Andris Ambainis (Latvia, Riga, LV)
Franz Baader (Dresden Tech, DE)
Rajesh Bhatt (Massachusetts, Amherst, US)
Jos?-Manuel Colom (Zaragoza, ES)
Bruno Courcelle (Bordeaux, FR)
Erzs?bet Csuhaj-Varj? (E?tv?s Lor?nd, Budapest, HU)
Aldo de Luca (Naples Federico II, IT)
Susanna Donatelli (Turin, IT)
Paola Flocchini (Ottawa, CA)
Enrico Formenti (Nice, FR)
Tero Harju (Turku, FI)
Monika Heiner (Brandenburg Tech, Cottbus, DE)
Yiguang Hong (Chinese Academy, Beijing, CN)
Kazuo Iwama (Kyoto, JP)
Sanjay Jain (National Singapore, SG)
Maciej Koutny (Newcastle, UK)
Anton?n Ku?era (Masaryk, Brno, CZ)
Thierry Lecroq (Rouen, FR)
Salvador Lucas (Valencia Tech, ES)
Veli M?kinen (Helsinki, FI)
Carlos Mart?n-Vide (Rovira i Virgili, Tarragona, ES, chair)
Filippo Mignosi (L?Aquila, IT)
Victor Mitrana (Madrid Tech, ES)
Ilan Newman (Haifa, IL)
Joachim Niehren (INRIA, Lille, FR)
Enno Ohlebusch (Ulm, DE)
Arlindo Oliveira (Lisbon, PT)
Jo?l Ouaknine (Oxford, UK)
Wojciech Penczek (Polish Academy, Warsaw, PL)
Dominique Perrin (ESIEE, Paris, FR)
Alberto Policriti (Udine, IT)
Sanguthevar Rajasekaran (Connecticut, Storrs, US)
J?rg Rothe (D?sseldorf, DE)
Frank Ruskey (Victoria, CA)
Helmut Seidl (Munich Tech, DE)
Ayumi Shinohara (Tohoku, Sendai, JP)
Bernhard Steffen (Dortmund, DE)
Frank Stephan (National Singapore, SG)
Paul Tarau (North Texas, Denton, US)
Andrzej Tarlecki (Warsaw, PL)
Jacobo Tor?n (Ulm, DE)
Frits Vaandrager (Nijmegen, NL)
Jaco van de Pol (Twente, Enschede, NL)
Pierre Wolper (Li?ge, BE)
Zhilin Wu (Chinese Academy, Beijing, CN)
Slawomir Zadrozny (Polish Academy, Warsaw, PL)
Hans Zantema (Eindhoven Tech, NL)
ORGANIZING COMMITTEE:
S?bastien Autran (Nice)
Adrian Horia Dediu (Tarragona)
Enrico Formenti (Nice, co-chair)
Sandrine Julia (Nice)
Carlos Mart?n-Vide (Tarragona, co-chair)
Christophe Papazian (Nice)
Julien Provillard (Nice)
Pierre-Alain Scribot (Nice)
Bianca Truthe (Giessen)
Florentina Lilica Voicu (Tarragona)
SUBMISSIONS:
Authors are invited to submit non-anonymized papers in English presenting original and unpublished research. Papers should not exceed 12 single-spaced pages (including eventual appendices, references, etc.) and should be prepared according to the standard format for Springer Verlag's LNCS series (see http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0).
Submissions have to be uploaded to:
https://www.easychair.org/conferences/?conf=lata2015
PUBLICATIONS:
A volume of proceedings published by Springer in the LNCS series will be available by the time of the conference.
A special issue of a major journal will be later published containing peer-reviewed substantially extended versions of some of the papers contributed to the conference. Submissions to it will be by invitation.
REGISTRATION:
The period for registration is open from July 21, 2014 to March 2, 2015. The registration form can be found at:
http://grammars.grlmc.com/lata2015/Registration.php
DEADLINES:
Paper submission: October 10, 2014 (23:59 CET)
Notification of paper acceptance or rejection: November 18, 2014
Early registration: November 25, 2014
Final version of the paper for the LNCS proceedings: November 26, 2014
Late registration: February 16, 2015
Submission to the journal special issue: June 6, 2015
QUESTIONS AND FURTHER INFORMATION:
florentinalilica.voicu@urv.cat
POSTAL ADDRESS:
LATA 2015
Research Group on Mathematical Linguistics (GRLMC)
Rovira i Virgili University
Av. Catalunya, 35
43002 Tarragona, Spain
Phone: +34 977 559 543
Fax: +34 977 558 386
ACKNOWLEDGEMENTS:
Nice Sophia Antipolis University
Rovira i Virgili University
---
Este mensaje no contiene virus ni malware porque la protecci?n de avast! Antivirus est? activa.
http://www.avast.com
------------------------------
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 77, Issue 19
**************************************
No comments:
Post a Comment