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. ETAPS 2014 last call for papers (Tarmo Uustalu)
2. Special issue of DAM dedicated to the 65th birthday of
Andreas Brandst?dt (Feodor F. Dragan)
3. AlCoB 2014: 1st call for papers (GRLMC)
4. Open PhD or Postdoc Position at TU Berlin (Stefan Felsner)
5. ECCO 2013 - Special issue in DAM- deadline extended (Bernard Ries)
6. Professorship (W2) in Theoretical Computer Science (Heiko R?glin)
----------------------------------------------------------------------
Message: 1
Date: Mon, 30 Sep 2013 01:54:55 +0300
From: Tarmo Uustalu <tarmo@cs.ioc.ee>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] ETAPS 2014 last call for papers
Message-ID: <20130930015455.5c62f211@duality>
Content-Type: text/plain; charset=US-ASCII
[We apologise for multiple copies.]
Abstracts due 4 Oct, full papers 11 Oct 2013
******************************************************************
LAST CALL FOR PAPERS: ETAPS 2014
17th European Joint Conferences on Theory And Practice of Software
Grenoble, France
5-13 April 2014
http://www.etaps.org/2014
******************************************************************
-- ABOUT ETAPS --
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 six main annual
conferences, accompanied by satellite workshops. ETAPS 2014 is the
seventeenth event in the series.
-- MAIN CONFERENCES (7-11 April) --
* CC: Compiler Construction
* 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
TACAS '14 hosts the 3rd Competition on Software Verification
(SV-COMP).
-- INVITED SPEAKERS --
* Robert Harper (Carnegie Mellon University, US)
* John Launchbury (Galois, US)
* Benoit Dupont de Dinechin (Kalray, France)
* Maurice Herlihy (Brown University, US)
* Christel Baier (Technical University of Dresden, Germany)
* Petr Jancar (Technical Univ of Ostrava, Czech Republic)
* David Mazieres (Stanford University, US)
* Orna Kupferman (Hebrew University Jerusalem, Israel)
-- IMPORTANT DATES --
* 4 October 2013: Submission deadline for abstracts (strict)
* 11 October 2013: Submission deadline for full papers (strict)
* 20 December 2013: Notification of acceptance
* 17 January 2014: Camera-ready versions due
ESOP and FoSSaCS will use a rebuttal (author response) phase.
-- GENERAL SUBMISSION INFORMATION --
ETAPS conferences accept two types of contributions: research papers
and tool demonstration papers. Both types will appear in the
proceedings and have presentations during the conference. (TACAS has
more categories, see below.)
A condition of submission is that, if the submission is accepted, one
of the authors attends the conference to give the
presentation. Submitted papers must be in English presenting original
research. They must be unpublished and not submitted for publication
elsewhere. In particular, simultaneous submission of the same
contribution to multiple ETAPS conferences is forbidden. The
proceedings will be published in the Advanced Research in Computing
and Software Science (ARCoSS) subline of Springer's Lecture Notes in
Computer Science series.
Papers must follow the formatting guidelines specified by Springer at
the URL
http://www.springer.de/comp/lncs/authors.html
and be submitted electronically in pdf through the Easychair author
interface of the respective conference.
Submissions not adhering to the specified format and length may be
rejected immediately.
- Research papers
Different ETAPS 2014 conferences have different page limits.
Specifically, FASE, FOSSACS and TACAS have a page limit of 15 pages,
whereas CC, ESOP and POST allow at most 20 pages. Additional material
intended for the referees but not for publication in the final version
- for example, details of proofs - may be placed in a clearly marked
appendix that is not included in the page limit. ETAPS referees are at
liberty to ignore appendices and papers must be understandable without
them.
TACAS solicits not only regular research papers, but also case study
papers.
- Tool demonstration papers
Submissions should consist of two parts:
* The first part, at most 4 pages, should describe the tool
presented. Please include the URL of the tool (if available) and
provide information that illustrates the maturity and robustness of
the tool. (This part will be included in the proceedings.)
* The second part, at most 6 pages, should explain how the
demonstration will be carried out and what it will show, including
screen dumps and examples. (This part will be not be included in the
proceedings, but will be evaluated.)
ESOP and FOSSACS do not accept tool demonstration papers.
In addition to tool demonstration papers (max 6 pages in their case),
TACAS solicits also regular tool papers (max 15 pages) adhering to
specific instructions about content and organization.
-- SATELLITE EVENTS (5-6 April, 12-13 April) --
Around 20 satellite workshops will take place before and after the
main conferences. In addition, on 6 April, some tutorials on topics of
wide interest will be offered.
-- HOST CITY --
Located in the southeastern part of France, Grenoble is considered as
the capital of the Alps. Grenoble is surrounded by nature and high
mountains: down the Alps, Grenoble is the meeting point of two
important rivers, Drac and Isere. Grenoble has important historical
and gastronomic heritages. Leisure activities in breathtaking nature
are easily organizable and within short-distance. Grenoble is also a
major scientific center in Europe dedicated to high-tech technologies,
e.g., nano, micro, bio, and information technologies.
-- HOST INSTITUTION --
The event is organized by Universite Joseph Fourier. Located at the
heart of the Alps, in outstanding scientific and natural surroundings,
the Universite Joseph Fourier in Grenoble is a leading University of
Science, Technology and Health.
-- ORGANIZERS
* General chair: Saddek Bensalem
* Conferences chair: Yassine Lakhnech
* Workshops chair: Axel Legay
* Publicity chair: Ylies Falcone
* Finance chair: Nicolas Halbwachs
* Web site chair: Marius Bozga
-- FURTHER INFORMATION --
Please do not hesitate to contact the organizers at
etaps2014.organization@imag.fr.
------------------------------
Message: 2
Date: Mon, 30 Sep 2013 12:17:04 -0400
From: "Feodor F. Dragan" <dragan@cs.kent.edu>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] Special issue of DAM dedicated to the 65th birthday
of Andreas Brandst?dt
Message-ID: <5249A400.4000102@cs.kent.edu>
Content-Type: text/plain; charset=ISO-8859-1; format=flowed
CALL FOR PAPERS
Special issue of Discrete Applied Mathematics dedicated to the 65th
birthday of Andreas Brandst?dt
Guest editors
Feodor Dragan, Kent State University, United States <dragan@cs.kent.edu>
Dieter Kratsch, Universit? de Lorraine, France
<dieter.kratsch@univ-lorraine.fr>
Van Bang Le, University of Rostock, Germany <le@informatik.uni-rostock.de>
Introduction
A special issue of the journal Discrete Applied Mathematics will be
published on the occasion of the 65th birthday of Prof. Andreas
Brandst?dt. The scope of the issue will include all aspects of
theoretical computer science and discrete mathematics related to the
research areas in which Andreas Brandst?dt has been involved. These
include graph and hypergraph theory, graph algorithms, and
combinatorics. Research on the structural and algorithmic properties of
special graph classes as well as research related to the work of Andreas
Brandst?dt will be highly appreciated.
List of topics
Examples of such areas include
- Graph theory
- Graph classes
- Intersection graphs
- Perfect graphs
- Decompositions of graphs
- Hypergraphs
- Graph algorithms
- NP-hard graph problems in special graph classes
Submissions
Authors are invited to submit original papers relevant to the scope of
the special issue. All submissions should be uploaded via Elsevier's
Online Manuscript Submission, Review and Tracking System for Discrete
Applied Mathematics (http://ees.elsevier.com/dam/default.asp ) where you
can find detailed information and instructions. Please note that once
you select 'Submit a Manuscript', you must choose "Special Issue: To A.
Brandst?dt" from the drop-down list when prompted for 'Choose Article
Type'. All papers will be refereed, and acceptance will follow the
standards of Discrete Applied Mathematics.
Deadline for submission
15 April 2014
------------------------------
Message: 3
Date: Mon, 30 Sep 2013 19:40:48 +0200
From: "GRLMC" <grlmc@urv.cat>
To: <dmanet@zpr.uni-koeln.de>
Subject: [DMANET] AlCoB 2014: 1st call for papers
Message-ID: <0F861466842A474BB3788CFF01B0F076@Carlos1>
Content-Type: text/plain; charset="iso-8859-1"
1st INTERNATIONAL CONFERENCE ON ALGORITHMS FOR COMPUTATIONAL BIOLOGY
AlCoB 2014
Tarragona, Spain
July 1-3, 2014
Organized by:
Research Group on Mathematical Linguistics (GRLMC)
Rovira i Virgili University
http://grammars.grlmc.com/alcob2014/
*********************************************************************
AIMS:
AlCoB aims at promoting and displaying excellent research using string and
graph algorithms and combinatorial optimization to deal with problems in
biological sequence analysis, genome rearrangement, evolutionary trees, and
structure prediction.
The conference will address several of the current challenges in
computational biology by investigating algorithms aimed at: 1) assembling
sequence reads into a complete genome, 2) identifying gene structures in the
genome, 3) recognizing regulatory motifs, 4) aligning nucleotides and
comparing genomes, 5) reconstructing regulatory networks of genes, and 6)
inferring the evolutionary phylogeny of species.
Particular focus will be put on methodology and significant room will be
reserved to young scholars at the beginning of their career.
VENUE:
AlCoB 2014 will take place in Tarragona, located 90 kms. to the south of
Barcelona. The venue will be the Catalunya Campus.
SCOPE:
Topics of either theoretical or applied interest include, but are not
limited to:
Exact sequence analysis
Approximate sequence analysis
Pairwise sequence alignment
Multiple sequence alignment
Sequence assembly
Genome rearrangement
Regulatory motif finding
Phylogeny reconstruction
Phylogeny comparison
Structure prediction
Compressive genomics
Proteomics: molecular pathways, interaction networks ...
Transcriptomics: splicing variants, isoform inference and quantification,
differential analysis ?
Next-generation sequencing: population genomics, metagenomics,
metatranscriptomics ...
Microbiome analysis
Systems biology
STRUCTURE:
AlCoB 2014 will consist of:
invited talks
invited tutorials
peer-reviewed contributions
INVITED SPEAKERS:
to be announced
PROGRAMME COMMITTEE:
Tatsuya Akutsu (Kyoto, JP)
Amihood Amir (Ramat-Gan, IL)
Alberto Apostolico (Atlanta, US)
Joel Bader (Baltimore, US)
Pierre Baldi (Irvine, US)
Serafim Batzoglou (Stanford, US)
Bonnie Berger (Cambridge, US)
Francis Y.L. Chin (Hong Kong, HK)
Benny Chor (Tel Aviv, IL)
Keith A. Crandall (Washington, US)
Bhaskar DasGupta (Chicago, US)
Joaqu?n Dopazo (Valencia, ES)
Liliana Florea (Baltimore, US)
Olivier Gascuel (Montpellier, FR)
David Gilbert (Uxbridge, UK)
Gaston H. Gonnet (Zurich, CH)
Roderic Guig? (Barcelona, ES)
Dan Gusfield (Davis, US)
Vasant Honavar (University College, US)
Sorin Istrail (Providence, US)
Tao Jiang (Riverside, US)
Inge Jonassen (Bergen, NO)
Anders Krogh (Copenhagen, DK)
Giovanni Manzini (Alessandria, IT)
Carlos Mart?n-Vide (Tarragona, ES, chair)
Satoru Miyano (Tokyo, JP)
Burkhard Morgenstern (G?ttingen, DE)
Shinichi Morishita (Tokyo, JP)
C?dric Notredame (Barcelona, ES)
Graziano Pesole (Bari, IT)
Mark Ragan (Brisbane, AU)
Timothy Ravasi (Thuwal, SA)
Allen G. Rodrigo (Durham, US)
Steven Salzberg (Baltimore, US)
David Sankoff (Ottawa, CA)
Thomas Schiex (Toulouse, FR)
Jo?o C. Setubal (S?o Paulo, BR)
Steven Skiena (Stony Brook, US)
Peter F. Stadler (Leipzig, DE)
Wing-Kin Sung (Singapore, SG)
Alfonso Valencia (Madrid, ES)
Jacques van Helden (Marseille, FR)
Arndt von Haeseler (Vienna, AT)
Lusheng Wang (Hong Kong, HK)
Limsoon Wong (Singapore, SG)
Xiaohui Xie (Irvine, US)
Dong Xu (Columbia, US)
Zohar Yakhini (Santa Clara, US)
Alex Zelikovsky (Atlanta, US)
Michael Q. Zhang (Dallas, US)
ORGANIZING COMMITTEE:
Adrian Horia Dediu (Tarragona)
Carlos Mart?n-Vide (Tarragona, chair)
Bianca Truthe (Magdeburg)
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) and should be formatted 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=alcob2014
PUBLICATIONS:
A volume of proceedings expectedly published by Springer in the LNBI series
will be available by the time of the conference.
A special issue of a major journal will be later published containing
peer-reviewed 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 September 21, 2013 to July 1, 2014.
The registration form can be found at:
http://grammars.grlmc.com/alcob2014/Registration.php
DEADLINES:
Paper submission: February 4, 2014 (23:59 CET)
Notification of paper acceptance or rejection: March 15, 2014
Final version of the paper for the proceedings: March 22, 2014
Early registration: March 29, 2014
Late registration: June 17, 2014
Starting of the conference: July 1, 2014
End of the conference: July 3, 2014
Submission to the post-conference journal special issue: October 3, 2014
QUESTIONS AND FURTHER INFORMATION:
florentinalilica.voicu@urv.cat
POSTAL ADDRESS:
AlCoB 2014
Research Group on Mathematical Linguistics (GRLMC)
Rovira i Virgili University
Av. Catalunya, 35
43002 Tarragona, Spain
Phone: +34 977 559543
Fax: +34 977 558386
ACKNOWLEDGEMENTS:
Departament d?Economia i Coneixement, Generalitat de Catalunya
Universitat Rovira i Virgili
------------------------------
Message: 4
Date: Mon, 30 Sep 2013 11:23:51 +0200
From: Stefan Felsner <felsner@math.tu-berlin.de>
To: DMANET@zpr.uni-koeln.de
Subject: [DMANET] Open PhD or Postdoc Position at TU Berlin
Message-ID: <20130930092351.GE31484@math.tu-berlin.de>
Content-Type: text/plain; charset=us-ascii
**********************************************************
Open PhD or Postdoc Position at TU Berlin
**********************************************************
A PhD or Postdoc position is available in the Discrete Mathematics
group at Technische Universitaet Berlin. The position is within the
Eurocores project EuroGIGA. The research focus can be centered around
`combinatorial problems for point sets and arrangements' or `contact
and intersection representations of graphs'. Candidates will be
expected to undertake research in at least one of these areas.
The position comes with a 3/4 Berlin TVL-13 salary (approx. 20000 EUR
net salary per annum). We are seeking excellent students or Postdocs
with a Masters degree resp. PhD in mathematics, computer
science or a closely related field. Solid background in discrete
geometry, graph theory and combinatorics is requested. Applications,
including CV, list of publications and a letter of recommendation
should be sent to me, preferably by email in pdf format:
Prof. Dr. Stefan Felsner
Inst. Mathematik, MA 6-1
Technische Universitaet Berlin
Strasse des 17. Juni 136
10623 Berlin, Germany
Email: felsner@math.tu-berlin.de
------------------------------
Message: 5
Date: Mon, 30 Sep 2013 18:03:11 +0200
From: Bernard Ries <bernard.ries@dauphine.fr>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] ECCO 2013 - Special issue in DAM- deadline extended
Message-ID: <5249A0BF.90703@dauphine.fr>
Content-Type: text/plain; charset=ISO-8859-1; format=flowed
Please note that the submission deadline of the special issue ECCO XXVI
in the journal Discrete Applied Mathematics has been extended to October
31, 2013.
Guest editors
Silvano Martello
Bernard Ries
--
-------------------------------------
Dr Bernard Ries
Associate Professor
LAMSADE - Universit? Paris-Dauphine
E-mail: bernard.ries@dauphine.fr
Homepage: http://www.lamsade.dauphine.fr/~ries
------------------------------
Message: 6
Date: Tue, 01 Oct 2013 00:08:09 +0200
From: Heiko R?glin <Heiko@roeglin.org>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] Professorship (W2) in Theoretical Computer Science
Message-ID: <5249F649.3050408@Roeglin.org>
Content-Type: text/plain; charset=ISO-8859-15
The Department of Computer Science at the University of Bonn (Germany)
invites applications for the following position:
Professorship (W2, tenured) in Theoretical Computer Science.
The department welcomes applications from candidates with an excellent
research track record in the area of algorithms.
The conditions of employment are according to ? 36 of the Higher
Education Act of North Rhine-Westphalia (Hochschulgesetz
Nordrhein-Westfalen). The University of Bonn is an equal opportunities
employer. Preference will be given to suitably qualified women or
persons with disabilities, all other considerations being equal.
Applications (including CV, list of publications, an outline of
current and future research topics, and a record of teaching experience)
should be sent by November 30, 2013 to the head of the Fachgruppe
Informatik: fachgruppe@informatik.uni-bonn.de.
------------------------------
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 68, Issue 1
*************************************
No comments:
Post a Comment