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. Lecturer/Senior Lecturer in Mathematics at The University of
the West Indies (Barbados) (Bernd Sing)
2. DCFS 2016 - Final Call for Papers (Florin Manea)
----------------------------------------------------------------------
Message: 1
Date: Fri, 26 Feb 2016 02:20:42 +0100 (CET)
From: Bernd Sing <sing@math.uni-bielefeld.de>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] Lecturer/Senior Lecturer in Mathematics at The
University of the West Indies (Barbados)
Message-ID:
<alpine.DEB.2.10.1602260214050.18306@kvm01.math.uni-bielefeld.de>
Content-Type: TEXT/PLAIN; format=flowed; charset=US-ASCII
Applications are invited for a Lectureship or Senior Lectureship position
at The University of the West Indies, Cave Hill, Barbados.
The successful applicant should have a completed PhD in Mathematics,
excellent communication skills in English, a good knowledge of WeBWorK,
Sage or another CAS, and proficiency in Python would be a bonus.
Candidates should have a proven research track record, and outstanding
research potential at a level of international excellence in Applied
Combinatorics or Discrete Optimization; but also have a mathematical
outlook that enhances, bridges and complements the research areas of our
small discipline of mathematics.
Applicants with an interest in interdisciplinary and experimental
approaches to mathematics would be at a distinct advantage. He/she would
be expected to teach across the wide range of undergraduate courses as
well as teach dedicated courses for and supervise MPhil and PhD students
in Mathematics. In addition, the successful candidate will be expected to
maintain an active program of research and will contribute to the general
work of the Mathematics discipline, the department and The University. The
successful applicant will be expected to assume duties by August 1, 2016
or as soon as possible thereafter.
More details available at
http://www.cavehill.uwi.edu/hr/careers/lecturer-senior-lecturer-in-mathematics.aspx
Deadline: Sunday, March 20, 2016
Contact name: The Human Resources Section
Contact email: humanresources@cavehill.uwi.edu
Job location:
The University of the West Indies
Cave Hill, P.O. Box 64
Bridgetown, St Michael
Barbados
------------------------------
Message: 2
Date: Fri, 26 Feb 2016 08:31:48 +0100
From: Florin Manea <flmanea@gmail.com>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] DCFS 2016 - Final Call for Papers
Message-ID:
<CABNxaTODC1X+cU7mAtJsmYmiwCANshj+J+qZ6kcsakGd3nB=rA@mail.gmail.com>
Content-Type: text/plain; charset=UTF-8
====================================================================
Final Call for Papers -- DCFS 2016
We apologize if you receive multiple copies of this Call for Papers.
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 extended to March 4 AoE, 2016 (possible
updates of existing submissions March 6 AoE)
Notification of accepted papers: April 7, 2016(updated)
Final Version: April 15, 2016(updated)
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)
k
------------------------------
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 96, Issue 33
**************************************
No comments:
Post a Comment