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. DCFS 2016 - 1st Call for Papers (Florin Manea)
2. Job offer (Kerner, Joachim)
3. computational optimization (Stefka Fidanova)
4. Lectureship in Algorithms and Programming, University of
Bristol (He Sun)
----------------------------------------------------------------------
Message: 1
Date: Mon, 4 Jan 2016 16:07:52 +0100
From: Florin Manea <flmanea@gmail.com>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] DCFS 2016 - 1st Call for Papers
Message-ID:
<CABNxaTPistRNXs6kRNfVN21cC_Z=uwun-3jpT1p2thS_kCLe7A@mail.gmail.com>
Content-Type: text/plain; charset=UTF-8
====================================================================
1st Call for Papers -- DCFS 2016
Please distribute to anyone who may be interested.
====================================================================
Dear colleagues and Friends,
Enclosed you can find the preliminary
C A L L F O R P A P E R S
for
DCFS 2016, Descriptional Complexity of Formal Systems Working
Conference.
--------------------
The 18th International Conference on Descriptional Complexity of Formal
Systems
will take place in Bucharest, Romania, from July 5-8, 2016.
Bucharest is the capital and largest city, as well as the cultural,
industrial, and financial centre of Romania.
The conference is organized by the Faculty of Mathematics and Computer
Science
University of Bucharest, located in the center of Bucharest, at KM 0.
-------------------
The workshop will be jointly organized by The University of Bucharest,
with the support of IFIP Working Group 1.2.
Conference website:
http://www.csit.upei.ca/dcfs2016
and (alternate)
http://fmi.unibuc.ro/dcfs2016
Special thanks go to the invited speakers:
Marie-Pierre Béal (Paris, France)
James Currie (University of Winnipeg, Winnipeg/Manitoba, Canada)
Gabriel Istrate (Timișoara, Romania)
Galina Jirásková (Mathematical Institute Slovak Academy of Sciences,
Kosice, Slovak Republic)
Solomon Marcus (Romanian Academy, Bucharest, Romania)
for accepting our invitation to present their recent results at DCFS 2016.
Important Dates:
Submission Deadline: March 1, 2016
Notification of accepted papers: March 21, 2016
Final Version: April 10, 2016
Conference dates: July 5-8, 2016
Topics of interest:
Submissions concerning the descriptional complexity of formal systems
and structures (and its applications) are invited for DCFS
2016. Original papers are sought in all aspects of descriptional complexity,
topics include, but are not limited to:
- various modes of operations and complexity measures for automata,
grammars, languages and of related systems
- succinctness of description of objects, state-explosion-like phenomena
- trade-offs between descriptional complexity and mode of operation
- circuit complexity of Boolean functions and related measures
- succinctness of description of (finite) objects
- descriptional complexity in resource-bounded or structure-bounded
environments
- complexity aspects related to the combinatorics of words
- structural complexity of formal systems as related to descriptional
complexity
- descriptional complexity of formal systems for applications (e.g.
software reliability, software
and hardware testing, modelling of natural languages)
- descriptional complexity aspects of nature-motivated (bio-inspired)
architectures and unconventional models of computing
- frontiers between decidability and undecidability
- universality and reversibility
- Blum Static (Kolmogorov/Chaitin) complexity, algorithmic information
Submissions:
Papers presenting original contributions concerning the topics of the
conference are being
sought. Authors are invited to submit papers of no more than 12 pages
in LNCS-style LaTeX2e (available at
http://www.springer.de/comp/lncs/authors.html). Papers must be in
English, and provide sufficient details to allow the program committee
to assess their merits. Proofs omitted due to space constraints must
be added into an appendix to be read by the program committee members at
their discretion. Simultaneous submission to other conferences or
workshops with published proceedings is _*not*_ allowed.
Papers will be submitted electronically in PDF, using the EasyChair system.
Program Commitee:
Valérie Berthé (Paris, France)
Cezar Câmpeanu (Charlottetown/PE, Canada, co-chair)
Cristian S. Calude (Auckland, New Zealand)
Zoltan Esik (Szeged, Hungary)
Yo-Sub Han (Seoul, Republic of Korea)
Christos Kapoutsis (Doha, Qatar)
Lila Kari (Waterloo/Ontario, Canada)
Jarkko J Kari (Turku, Finland)
Stavros Konstantinidis (St Mary's University, Halifax/Nova Scotia,
Canada)
Martin Kutrib (Gießen, Germany)
Florin Manea (Kiel, Germany, co-chair)
Ian McQuillan (Saskatoon/Saskatchewan, Canada)
Carlo Mereghetti (Milano, Italy)
Nelma Moreira (Porto, Portugal)
Dirk Nowotka (Kiel, Germany)
Alexander Okhotin (Turku, Finland)
Dana Pardubska (Bratislava, Slovak Republic)
Andrei Paun (University of Bucharest, Bucharest, Romania)
Giovanni Pighizzini (Milano, Italy)
Jean-Eric Pin (Paris, France)
Marinella Sciortino (Palermo, Italy)
Jeffrey O. Shallit (Waterloo/Ontario, Canada, co-chair)
Bianca Truthe (Gießen, Germany)
Steering Committee:
Cezar Câmpeanu (University of Prince Edward Island,
Charlottetown/Prince Edward Island, Canada)
Erzsébet Csuhaj-Varjú (Budapest, Hungary)
Jürgen Dassow (Otto-von-Guericke-University of Magdeburg, Magdeburg,
Germany)
Helmut Jürgensen (Western University, London/Ontario, Canada)
Martin Kutrib (Giessen University, Giessen, Germany)
Giovanni Pighizzini (University of Milano, Milano, Italy, chair)
Rogério Reis (University of Porto, Porto, Portugal)
Organizing Committee:
Radu Gramatovici (University of Bucharest)
~ (Full list will be announced at a later date)
CONTACT:
Postal address:
DCFS 2016 Organizing Committee,
Department of Computer Science University of Bucharest,
Str.Academiei nr. 14, Bucharest, Romania
Email: dcfs2016@fmi.unibuc.ro
======================================================
We hope that many of you will submit papers and will attend the Conference.
With best regards,
Cezar Câmpeanu (University of Prince Edward Island)
Florin Manea (University of Kiel)
Jeffrey Shallit (University of Waterloo)
------------------------------
Message: 2
Date: Tue, 5 Jan 2016 10:45:42 +0000
From: "Kerner, Joachim" <Joachim.Kerner@fernuni-hagen.de>
To: "'dmanet@zpr.uni-koeln.de'" <dmanet@zpr.uni-koeln.de>
Subject: [DMANET] Job offer
Message-ID:
<04D197CB4EEE5B44BAC0E83CAE27E46704946AB8@Ymir.buerokommunikation.fernuni-hagen.de>
Content-Type: text/plain; charset="iso-8859-1"
[Logograustufe]
FernUniversität in Hagen is the only publicly funded distance teaching university in the German-speaking region. It offers flexible courses of study, primarily in parallel with career and family. In addition to profile-oriented research, FernUniversität promotes interdisciplinary research foci. It is furthermore committed to the promotion of gender-specific aspects.
The Faculty of Mathematics and Computer Science is inviting applications for an
Assistant Professorship (Juniorprofessur) - W 1
for
Analysis on Discrete Structures
which is to be filled as soon as possible for a period of three years initially. After a successful intermediate evaluation, we plan to extend the post for a further three years.
We are looking for someone with good didactic skills who already has international academic standing.
We expect the applicant's research to have earned them academic standing in a field which will strengthen the teaching of analysis at FernUniversität in Hagen. Her/his research must focus on the analysis of discrete structures, such as graphs or simplicial complexes, for example. Particularly desirable are the fields of differential geometry on graphs, hypergraphs or fractals, spectral graph theory or methods of operator or potential theory for elliptic and parabolic equations on graphs. Substantiated experience in application-oriented collaborations with computer sciences or physics is advantageous. The successful candidate will also be expected to engage in activities to attract third-party funding.
The teaching component involves giving courses for the mathematical study programmes including courses on differential geometry. The applicant should substantiate that she/he will be able to give a course which is taught in German within a short period of time. Furthermore, examinations must be conducted in German.
The teaching at FernUniversität is embedded in an electronic communication environment which all teaching staff must use. The post holder will be involved in the development and the execution of network-based teaching in line with the university's quality standards.
The qualifications necessary for appointment are academic achievements pursuant to Sec. 36 Hochschulgesetz NRW (Higher Education Act of North-Rhine Westphalia).
For further information please contact: Prof. Dr. Mugnolo, Tel. +49 (0)2331/987-2582
Email: delio.mugnolo@FernUni-Hagen.de<mailto:delio.mugnolo@fernuni-hagen.de>
The deadline for applications is 14. February 2016 (received at FernUniversität in Hagen).
FernUniversität is striving to increase the proportion of women in research and teaching and therefore expressly requests suitably qualified female academics to apply. Women will be preferred on the basis of equal qualifications, abilities and subject-related performance, unless there are good reasons for preferring an outstanding male candidate.
Applicants are requested to also take account of gender-specific aspects in research and teaching and in the support of junior academics in a way appropriate to the discipline.
Applications from persons with disabilities are expressly desired. Part-time employment may be possible.
Applications with the usual documents must be sent to the Rektor der FernUniversität
in Hagen, 58084 Hagen or by email to rektorbuero@fernuni-hagen.de.
------------------------------
Message: 3
Date: Tue, 5 Jan 2016 12:45:49 +0200
From: Stefka Fidanova <stefka.fidanova@gmail.com>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] computational optimization
Message-ID:
<CAAL360sO3mOVujy_9pauLyqAFk+58tf-oQaeHLa7fwuXxQAPfQ@mail.gmail.com>
Content-Type: text/plain; charset=UTF-8
------------
Call for Papers
9th International Workshop on Computational Optimization (WCO 2016)
Gdansk, Poland, September 11 - 14, 2016)
organized in the framework of FEDERATED CONFERENCE ON COMPUTER SCIENCE
AND INFORMATION SYSTEMS
FedCSIS - 2016
====================
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:
18.04.2016 (April 18, 2016) – Full paper submission
30.05.2016 (May 30, 2016) - Position paper submission
13.06.2016 (June 13, 2016) – Notification of acceptance
04.07.2016 (July 04, 2016) – Camera-ready version of the accepted paper
====================
Submission and Publication
* Authors should submit draft papers as PDF.
* The total length of a paper should not exceed 10 pages for full
paper and 4 pages for short papers (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 wco2016@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
------------------------------
Message: 4
Date: Tue, 5 Jan 2016 15:12:42 +0000
From: He Sun <h.sun@bristol.ac.uk>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] Lectureship in Algorithms and Programming,
University of Bristol
Message-ID:
<CAME3yaSVEiHCW6QqYOW3vHi5Ai_Kc03szYiqCW31xUTJua+msQ@mail.gmail.com>
Content-Type: text/plain; charset=UTF-8
The University of Bristol invites applications for a permanent
Lectureship/Senior Lectureship in Algorithms and Programming.
For more information, see the advertisement and application link below.
http://www.bristol.ac.uk/jobs/find/details.html?nPostingID=4087&nPostingTargetID=14995
The closing date is January 24, 2016
------------------------------
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 95, Issue 3
*************************************
No comments:
Post a Comment