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. TTL 2015 EXTENDED DEADLINE (Sophie Pinchinat)
2. AlCoB 2015: 3rd call for papers (GRLMC)
3. Call for Papers: EJCO Special Issue on Disaster Risk
Management (Marc Goerigk)
4. 1st CFP: SIROCCO 2015 (Montserrat, Spain. July 15-17, 2015)
(Chen Avin)
5. Postdoc & PhD positions at Warwick Mathematics Department
(Agelos Georgakopoulos)
----------------------------------------------------------------------
Message: 1
Date: Sat, 31 Jan 2015 10:06:48 +0100
From: Sophie Pinchinat <sophie.pinchinat@irisa.fr>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] TTL 2015 EXTENDED DEADLINE
Message-ID: <54CC9B28.9010507@irisa.fr>
Content-Type: text/plain; charset=utf-8; format=flowed
EXTENDED DEADLINE for ABSTRACTS and FULL PAPERS
4TH INTERNATIONAL CONFERENCE ON TOOLS FOR TEACHING LOGIC (TTL 2015)
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
<https://easychair.org/conferences/?conf=ttl2015>.
A demonstration is expected to accompany papers describing software tools.
At least one author of each accepted paper must be registered and attend
TTL 2015 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 IfCoLogJournal
of Logics and their Applications
<http://www.collegepublications.co.uk/journals/ifcolog/>.
* CONFERENCE FORMAT
Papers presentations will be presented in parallel sessions along the
week. Half-a-?day slot will be dedicated to demo tools.
* IMPORTANT DATES
Abstract submission: 13 February 2015;
Paper submission: 20 February 2015;
Notification: 6 April, 2015;
Final camera? ready due: 20 April, 2015;
Conference: 9?-12 June 2015.
------------------------------
Message: 2
Date: Sat, 31 Jan 2015 13:14:58 +0100
From: "GRLMC" <grlmc@urv.cat>
To: <dmanet@zpr.uni-koeln.de>
Subject: [DMANET] AlCoB 2015: 3rd call for papers
Message-ID: <E06F510859B24A71B23B89445963D76E@Carlos1>
Content-Type: text/plain; charset="iso-8859-1"
****************************************************************************
******
2nd INTERNATIONAL CONFERENCE ON ALGORITHMS FOR COMPUTATIONAL BIOLOGY
AlCoB 2015
Mexico City, Mexico
August 4-6, 2015
Organized by:
Centre for Complexity Sciences (C3)
School of Sciences
Institute for Research in Applied Mathematics and Systems (IIMAS)
Graduate Program in Computing Science and Engineering
National Autonomous University of Mexico
Research Group on Mathematical Linguistics (GRLMC)
Rovira i Virgili University
http://grammars.grlmc.com/alcob2015/
****************************************************************************
******
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 2015 will take place in Mexico City, the oldest capital city in the
Americas and the largest Spanish-speaking city in the world. The venue will
be the main campus of the National Autonomous University of Mexico.
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 2015 will consist of:
invited lectures
peer-reviewed contributions
INVITED SPEAKERS:
Julio Collado-Vides (National Autonomous University of Mexico, Cuernavaca),
>From Curation of Information to Knowledge Encoding
Gaston Gonnet (Swiss Federal Institute of Technology, Zurich),
Human-Dog-Mouse, Probably and Provable Non-trivial Evolution Close to the
Root of the Mammalian Clade
Peter D. Karp (SRI International, Menlo Park), Algorithms for Metabolic
Route Search and Determination of Reaction Atom Mappings
PROGRAMME COMMITTEE:
Stephen Altschul (National Center for Biotechnology Information, Bethesda,
USA)
Yurii Aulchenko (Russian Academy of Sciences, Novosibirsk, Russia)
Pierre Baldi (University of California, Irvine, USA)
Daniel G. Brown (University of Waterloo, Canada)
Yuehui Chen (University of Jinan, China)
Keith A. Crandall (George Washington University, Washington, USA)
Joseph Felsenstein (University of Washington, Seattle, USA)
Michael Galperin (National Center for Biotechnology Information, Bethesda,
USA)
Susumu Goto (Kyoto University, Japan)
Igor Grigoriev (DOE Joint Genome Institute, Walnut Creek, USA)
Martien Groenen (Wageningen University, The Netherlands)
Yike Guo (Imperial College, London, UK)
Javier Herrero (University College London, UK)
Karsten Hokamp (Trinity College Dublin, Ireland)
Hsuan-Cheng Huang (National Yang-Ming University, Taipei, Taiwan)
Ian Korf (University of California, Davis, USA)
Nikos Kyrpides (DOE Joint Genome Institute, Walnut Creek, USA)
Mingyao Li (University of Pennsylvania, Philadelphia, USA)
Yun Li (University of North Carolina, Chapel Hill, USA)
Jun Liu (Harvard University, Cambridge, USA)
Rodrigo L?pez (European Bioinformatics Institute, Hinxton, UK)
Andrei N. Lupas (Max Planck Institute for Developmental Biology, T?bingen,
Germany)
B.S. Manjunath (University of California, Santa Barbara, USA)
Carlos Mart?n-Vide (chair, Rovira i Virgili University, Tarragona, Spain)
Tarjei Mikkelsen (Broad Institute, Cambridge, USA)
Henrik Nielsen (Technical University of Denmark, Lyngby, Denmark)
Zemin Ning (Wellcome Trust Sanger Institute, Hinxton, UK)
Christine Orengo (University College London, UK)
Modesto Orozco (Institute for Research in Biomedicine, Barcelona, Spain)
Christos A. Ouzounis (Centre for Research & Technology Hellas, Thessaloniki,
Greece)
Manuel Peitsch (Philip Morris International R&D, Neuch?tel, Switzerland)
David A. Rosenblueth (National Autonomous University of Mexico, Mexico City,
Mexico)
Julio Rozas (University of Barcelona, Spain)
Alessandro Sette (La Jolla Institute for Allergy and Immunology, USA)
Peter F. Stadler (University of Leipzig, Germany)
Guy Theraulaz (Paul Sabatier University, Toulouse, France)
Alfonso Valencia (Spanish National Cancer Research Centre, Madrid, Spain)
Kai Wang (University of Southern California, Los Angeles, USA)
Lusheng Wang (City University of Hong Kong, Hong Kong)
Zidong Wang (Brunel University, Uxbridge, UK)
Harel Weinstein (Cornell University, New York, USA)
Jennifer Wortman (Broad Institute, Cambridge, USA)
Jun Yu (Chinese Academy of Sciences, Beijing, China)
Mohammed J. Zaki (Rensselaer Polytechnic Institute, Troy, USA)
Louxin Zhang (National University of Singapore, Singapore)
Hongyu Zhao (Yale University, New Haven, USA)
ORGANIZING COMMITTEE:
Adrian Horia Dediu (Tarragona)
Francisco Hern?ndez-Quiroz (Mexico City)
Carlos Mart?n-Vide (Tarragona, co-chair)
David A. Rosenblueth (Mexico City, co-chair)
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, proofs, 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=alcob2015
PUBLICATIONS:
A volume of proceedings published by Springer in the LNCS/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 substantially extended versions of some of the papers
contributed to the conference. Submissions to it will be by invitation.
REGISTRATION:
The registration form can be found at:
http://grammars.grlmc.com/alcob2015/Registration.php
DEADLINES:
Paper submission: March 2, 2015 (23:59 CET)
Notification of paper acceptance or rejection: April 10, 2015
Final version of the paper for the LNCS/LNBI proceedings: April 19, 2015
Early registration: April 19, 2015
Late registration: July 21, 2015
Submission to the journal special issue: November 6, 2015
QUESTIONS AND FURTHER INFORMATION:
florentinalilica.voicu@urv.cat
POSTAL ADDRESS:
AlCoB 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:
National Autonomous University of Mexico
Rovira i Virgili University
------------------------------
Message: 3
Date: Sat, 31 Jan 2015 17:24:06 +0100
From: Marc Goerigk <m.goerigk@math.uni-goettingen.de>
To: <dmanet@zpr.uni-koeln.de>
Subject: [DMANET] Call for Papers: EJCO Special Issue on Disaster Risk
Management
Message-ID: <54CD01A6.2090000@math.uni-goettingen.de>
Content-Type: text/plain; charset="utf-8"; format=flowed
Call for Papers
With great pleasure we announce a special issue of the EURO Journal on
Computational Optimization about "Computational Optimization in Disaster
Risk Management".
Optimization methods have been playing a successful role in all parts of
disaster risk management (DRM) for natural and man-made disasters,
including preparedness, mitigation, response and recovery. With this
special issue we aim at collecting new modeling approaches and solution
algorithms for DRM. We are looking forward to new, original research in
quantitative methods with direct reference to its practical
applications. The focus of submitted papers should be on the derivation
of new optimization models, their implementation, and computational
experiments with realistic datasets.
Invited topics for this special issue include, but are not limited to:
- Location problems
- Scheduling and logistics problems
- Routing problems
- Traffic control and contraflows
- Algorithms for decision support
- Network optimization
- Multi-objective optimization
- Optimization under uncertainty
- Data aggregation
Following the journal's high standards, we expect high quality
contributions that will undergo the strict reviewing process of EJCO.
Submission deadline is
*March 31, 2015.*
In order to submit a paper for the special issue,
1. Log on the editorial manager using the <Author Login> via the website
https://www.editorialmanager.com/ejco/
2. Select <Submit New Manuscript> in the main menu.
3. In the drop down list associated with <Choose Article Type>, select
the desired special issue ("SI: Emergency Planning"). Note that all
entries corresponding to the special issues start with SI.
We are looking forward to receiving your contributions.
The Guest Editors
Horst W. Hamacher
Marc Goerigk
--
Dr. rer. nat. Marc Goerigk
Department of Mathematics
University of Kaiserslautern
Phone: +49 (0)631 205 3878
Fax: +49 (0)631 205 4737
http://www.mathematik.uni-kl.de/opt/mitglieder/dr-marc-goerigk/
------------------------------
Message: 4
Date: Sat, 31 Jan 2015 22:22:26 +0200
From: Chen Avin <avin@cse.bgu.ac.il>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] 1st CFP: SIROCCO 2015 (Montserrat, Spain. July
15-17, 2015)
Message-ID:
<CAB1dc2NiXFQDe1A8DFoMC2k-RNkWoQmGzRF72R+pLbWfmx+iRQ@mail.gmail.com>
Content-Type: text/plain; charset=UTF-8
***********************************************************************
CALL FOR PAPERS
22nd International Colloquium on Structural Information and
Communication Complexity
SIROCCO 2015
http://sirocco2015.cs.upb.de
July 15-17, 2015
Montserrat, Spain
Deadline for submissions: April 30, 2015
***********************************************************************
SIROCCO is devoted to the study of 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. 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 year, SIROCCO
is held in Montserrat, a beautiful location not far from Barcelona, Spain.
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, communication complexity, fault
tolerant graph theories, and randomized/probabilistic issues in networks.
Keeping up with the tradition of SIROCCO, new areas are always welcome. In
fact, this time we will have a special track on bio-inspired systems.
BEST STUDENT PAPER: A Best Student Paper Award will be awarded to a paper
coauthored by one or more full-time students at the time of submission. The
program committee may decline to make this awards or split it.
SUBMISSION: Papers are to be submitted electronically (through EasyChair).
Submission instructions and guidelines are available at the conference web
page. Authors are invited to submit their work in one of the three acceptable
formats: novel research contributions, position papers, and surveys. 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. In all cases, any partial overlap with any published or
concurrently submitted paper must be clearly indicated. Papers must be
prepared using the LNCS style and be electronically submitted in PDF format
using EasyChair. The main part of a submission should not exceed 15 pages
(including the title, authors, abstract, figures, and references). Any
additional information may be supplied in a clearly marked appendix.
PUBLICATION: As in previous years, the proceedings of SIROCCO 2015 are planned
to be published by Springer Verlag as a volume of the LNCS series. Selected
papers are planned to be invited to a special issue of the journal Theoretical
Computer Science.
IMPORTANT DATES
- Paper submission due: April 30, 2015 (UTC-12)
- Notification of acceptance: June 8, 2015
- Conference dates: July 15-17, 2015
PROGRAM COMMITTEE
James Aspnes, Yale University, USA
Andrea Clementi, University of Rome Tor Vergata, Italy
Colin Cooper, King's College London, UK
Faith Ellen, University of Toronto, Canada
Robert Els?sser, University of Salzburg, Austria
Pascal Felber, University of Neuchatel, Switzerland
Pierre Fraigniaud, CNRS and University Paris Diderot, France
Taisuke Izumi, Nagoya Institute of Technology, Japan
Adrian Kosowski, Inria Paris, France
Christoph Lenzen, MPI Saarbr?cken, Germany
Boaz Patt-Shamir, Tel-Aviv University, Israel
Sriram Pemmaraju, University of Iowa, USA
Seth Pettie, University of Michigan, USA
Harald R?cke, TU M?nchen, Germany
Sergio Rajsbaum, UNAM, Mexico
Nicola Santoro, Carleton University, Canada
Christian Scheideler, University of Paderborn, Germany (chair)
Christian Schindelhauer, University of Freiburg, Germany
Philippas Tsigas, Chalmers University of Technology, Sweden
Philipp Woelfel, University of Calgary, Canada
SPECIAL TRACK ON ALGORITHMIC FOUNDATIONS OF BIO-INSPIRED SYSTEMS
Ioannis Chatzigiannakis, CTI and University of Patras, Greece
Yuval Emek, Technion, Israel
S?ndor Fekete, Technical University of Braunschweig, Germany
Andrea Richa, Arizona State University, USA (chair)
Roger Wattenhofer, ETH Zurich, Switzerland
LOCAL ARRANGEMENTS CHAIR
Xavier Munoz, Polytechnical University of Catalonia, Spain
PUBLICITY CHAIR
Chen Avin, Ben Gurion University of the Negev, Israel
STEERING COMMITTEE
Guy Even, Tel-Aviv University, Israel
Ralf Klasing, CNRS and University of Bordeaux, France
Shay Kutten, Technion, Israel (chair)
Thomas Moscibroda, Microsoft, China
Boaz Patt-Shamir, Tel-Aviv University, Israel
Masafumi Yamashita, Kyushu University, Japan
**************************************************************************
--
Chen Avin, PhD.
Communication Systems Engineering Department
Ben Gurion University of the Negev, Israel
www.bgu.ac.il/~avin
------------------------------
Message: 5
Date: Sun, 1 Feb 2015 13:09:58 +0000
From: Agelos Georgakopoulos <a.georgakopoulos@warwick.ac.uk>
To: <dmanet@zpr.uni-koeln.de>
Subject: [DMANET] Postdoc & PhD positions at Warwick Mathematics
Department
Message-ID: <54CE25A6.8000903@warwick.ac.uk>
Content-Type: text/plain; charset="UTF-8"; format=flowed
Applications are invited for a postdoctoral research fellowship funded
by an ERC Starting Grant project entitled "Random Graph Geometry and
Convergence". The post is for 2 years starting October 2015
(negotiable), with possibility of extension. Other starting dates can be
negotiated. A strong background in enumerative and analytic
combinatorics, or random graphs, or random walks on graphs or groups
would be an asset, but candidates from nearby fields are also welcome to
apply.
A PhD position for the same project is also available, with starting
date October 2015 or 2016.
Informal inquiries can be sent to Agelos Georgakopoulos (PI). The
Official application page for the postdoc position is
https://atsv7.wcn.co.uk/search_engine/jobs.cgi?owner=5062452&ownertype=fair&jcode=1452978&vt_template=1457&adminview=1
The application *deadline* is *1 Mar 2015*.
Inquiries about the PhD position should include a CV. Applications will
be handled by Warwick's standard proceedures, and there is no closing
date (but the earlier the better), see
http://www2.warwick.ac.uk/fac/sci/maths/postgrad/prospective/
------------------------------
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 84, Issue 2
*************************************
No comments:
Post a Comment