|
Showing 1 - 3 of
3 matches in All Departments
|
Sailing Routes in the World of Computation - 14th Conference on Computability in Europe, CiE 2018, Kiel, Germany, July 30 - August 3, 2018, Proceedings (Paperback, 1st ed. 2018)
Florin Manea, Russell G. Miller, Dirk Nowotka
|
R1,606
Discovery Miles 16 060
|
Ships in 10 - 15 working days
|
This book constitutes the refereed proceedings of the 14th
Conference on Computability in Europe, CiE 2018, held in Kiel,
Germany, in July/ August 2017.The 26 revised full papers were
carefully reviewed and selected from 55 submissions. In addition,
this volume includes 15 invited papers. The conference CiE 2018 has
six special sessions, namely: Approximation and optimization,
Bioinformatics and bio-inspired computing, computing with imperfect
information, continuous computation, history and philosophy of
computing (celebrating the 80th birthday of Martin Davis), and
SAT-solving.
This book constitutes the refereed proceedings of the 10th
International Conference on Combinatorics on Words, WORDS 2015,
held in Kiel, Germany, in September 2015 under the auspices of the
EATCS. The 14 revised full papers presented were carefully reviewed
and selected from 22 submissions. The main object in the
contributions are words, finite or infinite sequences of symbols
over a finite alphabet. The papers reflect both theoretical
contributions related to combinatorial, algebraic, and algorithmic
aspects of words, as well as to contributions presenting
applications of the theory of words in other field of computer
science, linguistics, biology, bioinformatics, or physics.
Since 1993 the conference Developments in Language Theory (DLT) has
been held in Europe every odd year and, since 2002, outside Europe
every even year. The 13th conference in this series was DLT 2009.
It took place in Stuttgart fromJune30to
July3.PreviousmeetingsoccurredinTurku(1993), Magdeburg (1995),
Thessaloniki(1997), Aachen(1999), Vienna(2001), Kyoto(2002), Szeged
(2003), Auckland (2004), Palermo (2005), Santa Barbara (2006),
Turku (2007), and Kyoto (2008). The DLT conference has developed
into the main forum for language theory and related topics. This
has also been re?ected in the high quality of the 70 s- missions
received in 2009. Most submissions were reviewed by four Programme
Committeemembersandtheirsub-referees.TheProgrammeCommitteeselected
the best 35 papers for presentation during the conference. These 35
papers are also published in this proceedings volume. Members of
the ProgrammeComm- tee were not allowed to submit papers. The work
of the Programme Committee
wasorganizedusingtheEasyChairconferencesystem,
thankstoAndreiVoronkov. The conference programme included ?ve
invited lectures. They were given by Mikola j Bojanczyk (Warsaw),
Paul Gastin (Cachan), Tero Harju (Turku),
ChristosKapoutsis(Nicosia),
andBenjaminSteinberg(Ottawa).Wearegrateful to the invited speakers
for accepting the invitation and presenting their lectures and for
their contributions to the proceedings. The Informatik Forum
Stuttgart provided a best paper award, which was selected by the
Programme Committee. The recipient was: "Magic Numbers and Ternary
Alphabet" by Galina Jiraskova."
|
You may like...
Celebrations
Jan Kohler
Hardcover
R450
R351
Discovery Miles 3 510
Not available
|