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. BCTCS 2016, March 22-24, Queen's University Belfast (fwd)
(Michele Zito)
2. Announcement: PhDs in Logic VIII, Darmstadt, May 9-11, 2016
(PhDs in Logic VIII)
----------------------------------------------------------------------
Message: 1
Date: Tue, 1 Dec 2015 10:44:22 +0000 (GMT)
From: Michele Zito <Michele@liverpool.ac.uk>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] BCTCS 2016, March 22-24, Queen's University Belfast
(fwd)
Message-ID: <alpine.LRH.2.11.1512011043520.29583@ssh2.csc.liv.ac.uk>
Content-Type: TEXT/PLAIN; CHARSET=UTF-8; FORMAT=flowed
====================================================
British Colloquium for Theoretical Computer Science
Queen's University Belfast
22nd-24th March 2016
https://sites.google.com/a/monoid.at/bctcs-2016/
The 32th British Colloquium for Theoretical Computer Science (BCTCS)
will be hosted by the Department of Computer Science, Queen's University
of Belfast, from 22nd to 24th March, 2016.
The purpose of BCTCS is to provide a forum in which researchers in
theoretical computer science can meet, present research findings, and
discuss developments in the field. It also aims to provide an
environment in which PhD students can gain experience in presenting
their work, and benefit from contact with established researchers.
The scope of the colloquium includes all aspects of theoretical computer
science, including automata theory, algorithms, complexity theory,
semantics, formal methods, concurrency, types, languages and logics.
Both computer scientists and mathematicians are welcome to attend, as
are participants from outside of the UK.
The colloquium features both invited and contributed talks. This year
the invited speakers are as follows:
- Michael J Butler, University of Southampton
- Rob Gilles, Queen's University Belfast
- Magnús Halldórsson, Reykjavik University
- Matthew Hennessy, Trinity College Dublin
- Valerie King, University of Victoria, Canada
(The LMS Keynote Speaker in Discrete Maths)
We are grateful for support from the Heilbronn Institute for
Mathematical Research which will provide bursaries for 5 students to
cover registration fees and accommodation. If you wish to apply for a
bursary, please email bctcs@qub.ac.uk as soon as possible, indicating
that you would be willing to give a contributed talk and stating the
name of your supervisor. Subsequently, a title and abstract should be
provided. The supervisor should write a letter of support to the same
email address, confirming that the student will attend BCTCS'16.
Participants wishing to give a 30 minute contributed talk on any topic
in the scope of the colloquium are invited to email a title and abstract
to bctcs@qub.ac.uk. Presentations from research students and early
career researchers are particularly encouraged. The titles and abstracts
of invited and contributed talks will appear in the Bulletin of the EATCS.
To register for the colloquium, go to the Colloquium web page at
https://sites.google.com/a/monoid.at/bctcs-2016/
The early registration deadline is 15 February 2016, before which the
fee for the colloquium is £160, which includes lunches/coffee/tea on all
days and a drinks reception and conference dinner on Wednesday 23 March.
After this date, a late registration fee will apply.
For any queries, please contact bctcs@qub.ac.uk.
------------------------------
Message: 2
Date: Tue, 1 Dec 2015 16:18:31 +0100
From: PhDs in Logic VIII <phdsinlogic@gmail.com>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] Announcement: PhDs in Logic VIII, Darmstadt, May
9-11, 2016
Message-ID:
<CA+NAxC12qPJTKaPRG2rLyCQpnORJ2nMQqbA8e88XN5VEUAy9VQ@mail.gmail.com>
Content-Type: text/plain; charset=UTF-8
Dear logicians,
we would like to inform you about the following event:
Call for submissions: PhDs in Logic VIII, Darmstadt, May 9-11, 2016
"PhDs in Logic" is an annual graduate conference organised by local graduate
students. This conference has an interdisciplinary character, welcoming
contributions to various topics in Mathematical Logic, Philosophical Logic,
and Logic in Computer Science. It involves tutorials by established
researchers as well as short presentations by PhD students on their
research.
We are happy to announce that the next edition of "PhDs in Logic" will
take place in Darmstadt, Germany, during May 9-11 2016, hosted by the
Logic research group of the Department of Mathematics, TU Darmstadt.
Confirmed tutorial speakers are :
Mirna Dzamonja (University of East Anglia, UK)
Nina Gierasimczuk (University of Amsterdam, the Netherlands)
Ulrich Kohlenbach (TU Darmstadt, Germany)
Piotr Kowalski (University of Wroklaw, Poland)
Martin Otto (TU Darmstadt, Germany)
Registration and abstract submission for interested PhD students are
now open. We welcome contributions from any general field of Logic.
The deadline for abstract submission is February 7, 2016. For more
information please
see:http://www.mathematik.tu-darmstadt.de/fbereiche/logik/phdsinlogic2016/?site=home
Local organisers:
Julian Bitterlich, Felix Canavoi, Angeliki Koutsoukou-Argyraki,
Daniel Koernlein, Florian Steinberg
Technische Universität Darmstadt
Department of Mathematics
Logic Group <http://www3.mathematik.tu-darmstadt.de/en/ags/ag-logik/arbeitsgruppe-logik.html>
Schloßgartenstr. 7
64289 Darmstadt
Germany
------------------------------
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 94, Issue 3
*************************************
No comments:
Post a Comment