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. First CFP: TTATT 2015 - ETAPS Workshop on Trends in Tree
Automata and Tree Transducers (Emmanuel Filiot)
2. EvoENERGY - deadline in two weeks + SI in J. Renewable Energy
(Kaufmann Paul)
3. computational optimization (stefka fidanova)
----------------------------------------------------------------------
Message: 1
Date: Mon, 3 Nov 2014 15:50:34 +0100
From: Emmanuel Filiot <efiliot@ulb.ac.be>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] First CFP: TTATT 2015 - ETAPS Workshop on Trends in
Tree Automata and Tree Transducers
Message-ID:
<CAEVjB02TnMioLVMfXxZN6Sh_y2qw41JDyUaTi_fReTJuUru09Q@mail.gmail.com>
Content-Type: text/plain; charset=UTF-8
--------------------------------------------------------------------------
TTATT 2015
3rd International Workshop on Trends in Tree Automata
and Tree Transducers
--------------------------------------------------------------------------
London, 18 April, 2015
Co-located with ETAPS 2015
http://www.ulb.ac.be/di/ssd/filiot/TTATT2015/
IMPORTANT DATES
Submission: Jan 9
Notification: Feb 10
ETAPS Early Registration: Feb 14
OBJECTIVE AND SCOPE
Tree automata and tree transducers have a history of more
than forty years. Recently, the theories have interplayed with
and/or are applied to various areas including rewrite systems,
static analysis of software, program transformation, XML
document processing and computational linguistics.
This workshop aims at providing an opportunity for researchers
from different areas to exchange information and ideas on
theory and practice of tree automata and tree transducers.
Recently, tree automata and transducers have been combined
and applied to various areas in computer science, including
rewrite systems, static analysis of software, program transformation,
XML document processing, and computational linguistics. This
workshop aims to provide an opportunity for researchers from
different areas to exchange ideas on the theory and practice of tree
automata and tree transducers. The topics of the workshop include,
but are not limited to:
- advanced theory of word and tree automata
- advanced theory of word and tree transducers
- their extensions (higher-order/weighted/infinite models)
- relations to TRS, regularity preservation
- application to static analysis and model checking
- application to program transformation
- application to XML document processing
*New ! *Compared to past editions, automata and transducer
on *words* are now included in the main topics of TTATT.
INVITED SPEAKERS
Mikolaj Bojanczyk (Warsaw University)
Christof L?ding (RTWH Aachen)
PAPER SUBMISSION
Extended abstracts of at most 6 pages are solicited. The work
may be in a preliminary stage, or may be a short version of recently
published articles or papers submitted elsewhere. Accepted papers
will be made available electronically before the workshop. Original
contributions will be considered for post-workshop publication in a
volume of Electronic Proceedings in Theoretical Computer Science
(EPTCS). The deadline for final version will be about one month after
the workshop. Papers should be formatted according to EPTCS style
and submitted on Easychair.
PROGRAM COMMITTEE
Arnaud Carayol (Universit? Paris-Est)
Olivier Carton (Universit? Paris-Diderot)
Emmanuel Filiot (chair, Universit? Libre de Bruxelles)
Andreas Maletti (Universit?t Stuttgart)
Sebastian Maneth (University of Edimburgh)
Keisuke Nakano (UEC Tokyo)
Helmut Seidl (TU M?nchen)
Hiroyuki Seki (Nagoya University)
Jean-Marc Talbot (Universit? Aix-Marseille)
Margus Veanes (Microsoft Research)
------------------------------
Message: 2
Date: Mon, 3 Nov 2014 15:09:02 +0100
From: Kaufmann Paul <paul.kaufmann@gmail.com>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] EvoENERGY - deadline in two weeks + SI in J.
Renewable Energy
Message-ID: <AB48EEB3-320E-4AC8-9D19-C21DC118FEBB@gmail.com>
Content-Type: text/plain; charset=us-ascii
EvoENERGY 2015, 8-10 April, Copenhagen, Denmark
Evolutionary Algorithms in Energy Applications
INTRODUCTION
Along with the worldwide incentive to reduce fossil and nuclear based power
generation, the number of distributed generators and other forms of
distributed energy resources which are installed in power networks has been
steadily increasing over the last years. This increased integration has
triggered a transformation of the energy system and challenges the
conventional operation of these networks.
On a network level, this transformation requires new control and communication
approaches, to guarantee the security of energy supplies as well as an optimal
exploitation of available resources. On a generator level, advanced control
strategies as well as morphological optimization (e.g., tuning of wind-blade
design) can help to assure an optimal performance of the generator.
EvoEnergy is intended as a platform for new, innovative computational
intelligence and nature-inspired techniques in the domain of energy-related
optimization research. We seek contributions ranging from new control concepts
for decentralized generation, strategies for their coordination in the network
to the morphological optimization of distributed generators.
TOPICS
Topics of interest include, but are not limited to:
- evolutionary design and morphological optimization in energy systems
- management and prediction of distributed generation, storage and consumption
- advanced distribution management system functionalities
- Smart Grid planning, monitoring, operation and control
- distributed optimization in energy networks
- demand side management
- novel methods for network restoration
PUBLICATION AND SUBMISSION DETAILS
Accepted papers will appear in the proceedings of EvoStar, published in a
volume of the Springer Lecture Notes in Computer Science, which will be
available at the Conference.
Submissions must be original and not published elsewhere. The submissions will
be peer reviewed by at least three members of the program committee. The
authors of accepted papers will have to improve their paper on the basis of
the reviewers comments and will be asked to send a camera ready version of
their manuscripts. At least one author of each accepted work has to register
for the conference and attend the conference and present the work. The
reviewing process will be double-blind, please omit information about the
authors in the submitted paper.
Submission format: Springer LNCS, http://www.evostar.org/2015/cfp_evoapps.php
Please provide up to five keywords in your Abstract
Page limit: 12 pages
Submission page: http://myreview.csregistry.org/evoapps15/
-----------------------------------------------------------------------
Best papers will be invited for a Special Issue to be edited with the
Journal of Renewable Energy, Elsevier, 5 year IF: 3.456; the SI is
organized by IEEE TF on Computational Intelligence in the Energy Domain
-----------------------------------------------------------------------
http://tinyurl.com/si-energy http://tinyurl.com/IEEE-TF-ENERGY
-----------------------------------------------------------------------
IMPORTANT DATES
Submission Deadline: 15 November 2014
Notification: 07 January 2015
Camera-ready: 21 January 2015
EvoStar dates: 8-10 April 2015, Copenhagen, Denmark
CHAIRS
Paul Kaufmann, University of Paderborn, paul.kaufmann(at)gmail.com
Kyrre Glette, University of Oslo, kyrrehg(at)ifi.uio.no
CONFIRMED PROGRAM COMMITTEE
Konrad Diwold, Fraunhofer Institute for Wind and Energy System Technology, Kassel, Germany
Ralph Evins, Laboratory of Building Science and Technology, Empa, Switzerland
Oliver Kramer, University of Oldenburg, Germany
Ingo Mauser, FZI Karlsruhe, Germany
Martin Middendorf, University of Leipzig, Germany
Maizura Mokhtar, University of Sheffield, UK
Sanaz Mostaghim, University of Magdeburg, Germany
Frank Neumann, University of Adelaide, AU
Peter Palensky, Austrian Institute of Technology, Austria
Cong Shen, University of Kassel, Germany
Bernhard Sick, University of Kassel, Germany
Andy Tyrrell, University of York, UK
Markus Wagner, University of Adelaide, AU
------------------------------
Message: 3
Date: Mon, 3 Nov 2014 14:10:50 +0200
From: stefka fidanova <stefka.fidanova@gmail.com>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] computational optimization
Message-ID:
<CAAL360v+9=4rKF0SrHTqorDDEYtXos6rSRPKi2enFUcugh=7FQ@mail.gmail.com>
Content-Type: text/plain; charset=UTF-8
[Please post - apologies for multiple copies.]
------------
Call for Papers
8th Workshop on Computational Optimization (WCO 2014
Warsaw, Poland, September 13 - 16, 2015
organized in the framework of FEDERATED CONFERENCE ON COMPUTER SCIENCE AND
INFORMATION SYSTEMS
FedCSIS - 2015
http://www.fedcsis.org/
====================
We invite original contributions related with both theoretical and
practical aspects of optimization methods.
The list of topics includes, but is not limited to:
* unconstrained and constrained optimization
* combinatorial optimization
* continues optimization
* global optimization
* multiobjective optimization
* optimization in dynamic and/or noisy environments
* large scale optimization
* parallel and distributed approaches in optimization
* random search algorithms, simulated annealing, tabu search and other
derivative free optimization methods
* nature inspired optimization methods (evolutionary algorithms, ant colony
optimization, particle swarm optimization, immune artificial systems etc)
* hybrid optimization algorithms involving natural computing techniques and
other global and local optimization methods
*computational biology and optimization
* distance geometry and applications
* optimization methods for learning processes and data mining
* application of optimization methods on real life and industrial problems
* computational optimization methods in statistics, econometrics, finance,
physics, chemistry, biology, medicine, engineering etc.
====================
Important dates:
24.04.2015 (April 24, 2015) ? Full paper submission
01.06.2015 (June 01, 2015) - Position paper submission
15.06.2015 (June 15, 2015) ? Notification of acceptance
01.07.2015 (July 01, 2015) ? Camera-ready version of the accepted paper
and registration
====================
Submission and Publication
* Authors should submit draft papers as PDF.
* The total length of a paper should not exceed 8 pages (IEEE style). IEEE
style templates are available at http://www.fedcsis.org/.
* Papers will be refereed and accepted on the basis of their scientific
merit and relevance to the workshop.
* Accepted and Presented paper will be published in the Conference
Proceedings and included in the IEEE Xplore database (pending) and indexed
in the DBLP.
* Extended versions of selected papers presented during the conference will
be published as Special Issue(s) of Springer Studies of Computational
Intelligence.
====================
If you have any question do not hesitate to send a mail to
wco2014@fedcsis.org .
Organizing Committee
Stefka Fidanova, Bulgarian Academy of Science, Bulgaria
Daniela Zaharie, West University of Timisoara, Romania
Antonio Mucherino, IRISA, France
--
Assoc. Prof. Stefka Fidanova
IICT-BAS
Acad. G. Bonchev str. bl.25A
1113 Sofia Bulgaria
Ph. +359-2-9796642
------------------------------
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 2
*************************************
No comments:
Post a Comment