Master in Pure and Applied Logic, Barcelona (Spain)
The biannual two-year 'Master in Pure and Applied Logic' programme for 2014-2016, jointly organized by the University of Barcelona and Polytechnical University of Catalunya, is open for (pre) registration.
The Barcelona Logic Master caters in the most central aspects of advanced logic. Professors related to the Barcelona Master in Pure and Applied Logic come from various prominent Universities and Research Institutes in the area of Barcelona.
Interested students can find more information at
Questions, also questions related to scholarships, housing etc., can be sent to Ramon Jansana firstname.lastname@example.org
With kind regards,
Joost J. Joosten
Dept. LÃ?Â²gica, HistÃ?Â²ria i Filosofia de la CiÃ?Â¨ncia.
Universitat de Barcelona
Phone: +34 622221327
Office: +34 934037984
Phone: +34 622221327
Office: +34 934037984
7 ) BCTCS 2014: Theoretical Computer Science, Loughborough (U.K.), 9-11 Apr 2014
30th British Colloquium for Theoretical Computer Science (BCTCS)
9th to 11th April 2014
The purpose of the 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 conference will consist of invited presentations by distinguished researchers and a number of contributed talks.
LOCATION AND SCHEDULE
BCTCS 2014 will be held at Loughborough University, which enjoys a central location in the UK and is well connected to most of the UK by rail, road or by plane. Various types of reasonably priced accommodation will be available on campus with easy access to the conference venue as well as the town center and restaurants.
The event will start on the Wednesday afternoon and will end after a conference lunch on the Friday.
BCTCS 2014 will include invited lectures by the following distinguished speakers:
* Leszek Gasieniec (Liverpool)
* Achim Jung (Birmingham)
* Timo Koetzing (Jena)
* Jeffrey Shallit (Waterloo) LMS-sponsored Keynote Speaker in Discrete Mathematics
Participants at the colloquium are encouraged to present a contributed talk. Abstracts of contributed talks can be uploaded when registering. The abstracts of accepted contributed talks will be published in the Bulletin of the European Association for Theoretical Computer Science (EATCS).
It is anticipated that a substantial number of bursaries for research students will be available. The bursaries are intended to cover registration, accommodation, meals, 1 year's EATCS membership, and reasonable travel costs. Those enrolled as research students may apply for these bursaries on the registration form after 13th January 2014.
Registration will open on 13th January 2014 on the colloquium website. Details of the cost of registration will be available on the website before this date.
ORGANISATION AND FURTHER INFORMATION
The conference is being organised by Paul Bell and Daniel Reidenbach of the Department of Computer Science, Loughborough University.
More information about the meeting including updates are available from the conference webpages at: http://bctcs.lboro.ac.uk/
Queries can be sent to: email@example.com
We hope to see you in Loughborough in 2014!
8 ) COMPUTABILITY THEORY AND FOUNDATIONS OF MATHEMATICS CTFM 2014
> The fourth conference in the series COMPUTABILITY THEORY AND
> FOUNDATIONS OF MATHEMATICS will take place at the Tokyo Institute of
> Technology, Tokyo, Japan, February 17 - 20, 2014.
> The theme of the CTFM conference series is the interplay between
> computability theory and logical foundations of mathematics. The
> scope includes topics such as Computability Theory, Reverse
> Mathematics, Nonstandard Analysis, Proof Theory, Constructive
> Mathematics, Theory of Randomness, and Computational Complexity. CTFM
> 2014 will feature special sessions on Reverse Mathematics, Algorithmic
> Randomness, and Recursion Theory.
> CTFM acknowledges support from the research project Philosophical
> frontiers in Reverse Mathematics granted by John Templeton Foundation
> and partial support from JSPS-FWO Bilateral Programs, Joint Research
> Projects between Tohoku University and Ghent University.
> For more information, see http://www.jaist.ac.jp/CTFM/temp/CTFM2014/.
9 ) Call for Nominations for EATCS Fellows 2014, Deadline: 31 Dec 2013
CALL FOR NOMINATIONS FOR EATCS FELLOWS 2014
Please note: all nominees and nominators must be EATCS Members
Submit by December 31 of the current year for Fellow consideration by
email to the EATCS Secretary (firstname.lastname@example.org). The subject line
of the email should read "EATCS Fellow Nomination - ".
REQUIREMENTS FOR EATCS NOMINATION:
The EATCS Fellows Program is established by the Association to
recognize outstanding EATCS Members for their scientific achievements
in the field of Theoretical Computer Science. The Fellow status is
conferred by the EATCS Fellows-Selection Committee upon a person
having a track record of intellectual and organizational leadership
within the EATCS community. Fellows are expected to be ?model
citizens? of the TCS community, helping to develop the standing of TCS
beyond the frontiers of the community.
In order to be considered by the EATCS Fellows-Selection Committee,
candidates must be nominated by at least four EATCS Members.
Please verify your membership at
The EATCS Fellows-Selection Committee consists of
- Rocco De Nicola (IMT Lucca, Italy)
- Paul Goldberg (Oxford, UK)
- Anca Muscholl (Bordeaux, France, chair)
- Dorothea Wagner (Karlsruhe, Germany)
- Roger Wattenhofer (ETH Zurich, CH)
A nomination should consist of answers to the questions below. It can
be co-signed by several EATCS members. At least two nomination letters
per candidate are recommended. If you are supporting the
nomination from within the candidate's field of
expertise, it is expected that you will be specific about the
individual's technical contributions.
To be considered, nominations for 2014 must be received by December 31, 2013.
1. Name of candidate
Candidate's current affiliation and position
Candidate's email address, postal address and phone number
Nominator(s) relationship to the candidate
2. Short summary of candidate's accomplishments (citation -- 25 words or less)
3. Candidate's accomplishments: Identify the most important
contributions that qualify the candidate for the rank of EATCS Fellow
according to the following two categories:
A) Technical achievements
B) Outstanding service to the TCS community
Please limit your comments to at most three pages.
Affiliation(s), email and postal address(es), phone number(s)
10 ) Call for Workshops - Cellular Automata for Research and Industry 2014
ACRI2014 Krakow Poland www.acri2014.agh.edu.pl
Call for Workshops Proposals
The ACRI-2014 Organizing Committee invites proposals for the Workshops Program to be held on September 22, 2014 immediately prior to the main ACRI Conference. The main goal of the ACRI-2014 Workshops Program is to stimulate and facilitate discussion, interaction, and comparison of approaches, methods, and ideas related to specific topics, both theoretical and applied, in the area of Cellular Automata focused on topics which, in time, aggregates international devoted communities.
The ACRI-2014 Workshops will provide an informal setting where participants will have the opportunity to discuss specific technical topics in an atmosphere that fosters the active exchange of ideas.
In the past editions of ACRI the number of ACRI Workshops and satellite Workshop has grown: C&CA (Crowds & Cellular Automata), T&CA (Traffic & Cellular Automata), Asynchronous Cellular Automata), CACGI (Cellular Automata of Cancer Growth and Invasion), IWNC (International Workshop of Natural Computing).
Members from all areas of the ACRI community are invited to submit workshop proposals for review. Workshops on new and emerging topics, applications, and on broader topics of interest to a wider community are particularly encouraged. Workshops can vary in length, but most will be one full day in duration. Workshop organizers and attendees must register for their workshop and preferably also for the main ACRI conference. Attendance is limited to registered participants.
The papers presented to the Workshop will be published in special session of the ACRI Proceedings. As in previous editions, special issues of International Journals have been published after a selection and a reviewed submission.
January, 9, 2014 Proposal Submission Deadline
January, 14 2014 Notification of Selected Workshops
January 21, 2014 Deadline for posting Workshop Call for Papers
ACRI-2014 Workshop Program Announced (after reviewing process and final submissions ? May 30 2014)
March 9 2014 Recommended deadline for Workshop Submissions
April 12 2014 Recommended deadline for Workshop Notification
Deadline for complete workshop notes submission to the workshop chairs
May 15 2014 Deadline for posting Workshop Call for Participation
September 22, 2014: ACRI-2014 Workshops
Requirements for Submission
Proposals for Workshops should be a maximum of 5 (fives) pages in length and should contain the following information:
1. Title of the Workshop.
2. A technical description of the workshop, specifying the workshop goals, the technical issues that it will address, and the relevance of the workshop to the main conference.
3. A discussion of why and to whom the workshop is of interest.
4. A list of related workshops held within the last three years, if any, and their relation to the proposed workshop. Information about previous offerings of the proposed workshop: when and where it has been offered in the past (i.e., with ACRI or another conference), organizers names and affiliations, number of submissions, acceptances and registered attendees, and follow-up publications, if any (e.g., journal special issues).
5. A preliminary workshop agenda and a proposed schedule for organizing the workshop. This should include a brief description of how the organizers intend to encourage an atmosphere appropriate for a workshop.
6. Description of the paper review process and acceptance standards.
7. The names, affiliations and email addresses of the proposed workshop organizing committee. This committee should consist of three or four people knowledgeable about the technical issues to be addressed. The organizing committee should include individuals from multiple institutions.
8. The name of the primary contact for the organizing committee (this person must reply promptly to email messages).
9. List of potential program committee members, including their affiliations.
10. Expected duration of the workshop (half or a full day).
11. A list of places (distribution lists, web sites, journals, etc.) where the workshop is planned to be advertised.
All proposals should be submitted by electronic mail, to the ACRI-2014 Workshop Chair email address (email@example.com) as soon as possible and no later than January 9 2014.
The selection of the workshops to be included in the final ACRI program will be done by the general chairs of ACRI 2014 based on the advice of the workshop chairs. The selection is based upon multiple factors, including: the scientific/technical interest of the topics, the clarity of the proposal in addressing the requested information, the innovative character of workshop topics, the cross-disciplinary nature of the workshop, the proposed tutorial session, and the capacity of the conference workshop program.
Responsibilities of ACRI and Workshop Organizers
For all accepted proposals, ACRI will be responsible for:
- Providing publicity for the workshop series as a whole.
- Providing logistic support and a meeting place for the workshop.
- Together with the organizers, determining the workshop date and time.
- ACRI reserves the right to cancel workshops, for example in case of low number of registrants. In such case, accepted submissions can be transferred to the main track of ACRI.
Workshop organizers will be responsible for:
- Setting up a website for the workshop.
- Advertising the workshop and issuing a call for papers (by January 21, 2014) and a call for participation (by June 4, 2014).
- Collecting and evaluating submissions, notifying authors of acceptance or rejection on a timely basis, and ensuring a transparent and fair selection process.
- All workshop organizers are strongly advised to adopt the same deadlines for paper submissions and notifications of acceptance.
Please send proposals and inquiries to the ACRI-2014 Workshops Chair:
Complex Systems & Artificial Intelligence Research Center
University of Milano-Bicocca
11 ) Algebra and Mathematical Logic: Theory and Applications, Kazan, June 2-6 2014
Kazan, June 2-6, 2014
INFORMATION LETTER No.1
Kazan Federal University and Tatarstan Republic Academy of Science
organize an International Conference "Algebra and Mathematical Logic:
Theory and Applications" dedicated to 80-th anniversary of Department
of Algebra of Kazan University and to 70-th anniversary of Professor
The meeting will be held in Kazan (Russia), June 2-6, 2014. The main
topics of the conference include (but are not limited to) Lie
Algebras, Group Theory, Ring Theory, Algebraic Geometry, Universal
Algebra, Model Theory, Mathematical Logic, Computability Theory,
Algebraic and Logic Methods in Computer Science.
The Program Committee of the conference consists of academician Yu. L.
Ershov - Chairman, I.Sh. Kalimullin (Kazan) - Vice-chairman, Chairman
of the Organizing ?ommittee, A.N. Frolov (Kazan) - Secretary of the
conference, Yu.A. Alpin (Kazan), K. Ambos-Spies (Heidelberg, Germany),
M.M. Arslanov (Kazan), V.A. Artamonov (Moscow), S.B. Cooper (Leeds,
UK), S.S. Goncharov (Novosibirsk), C. Jockusch (Urbana-Champaign,
USA), N.G. Khisamiev (Ust-Kamenogorsk, Kazakhstan), B. Khoussainov
(Auckland, New Zealand), J. Knight (South Bend, USA), M.I. Kuznetsov
(Nizhny Novgorod), V.N. Latyshev (Moscow), S. Lempp (Madison, USA),
V.M. Levchuk (Krasnojarsk), A.A. Makhnev (Ekaterinburg), V.D. Mazurov
(Novosibirsk), A. Montalban (Berkeley, USA), R.Sh. Omanadze (Tbilisi,
Georgia), R.A. Shore (Ithaca, USA), S.M. Skryabin (Kazan), R.I. Soare
(Chicago, USA), S.N. Tronin (Kazan), S.V. Vostokov (St. Petersburg),
Y. Yang (Singapore, Singapore).
Invited speakers (on October 20, 2013, the list is updating): K.
Ambos-Spies (Heidelberg University, Germany), V.A. Artamonov (Moscow
State University), S.B. Cooper (Leeds Universtity, UK), Yu.L. Ershov
(Sobolev Institute of Mathematics), A.N. Frolov (Kazan Federal
University), S.S. Goncharov (Sobolev Institute of Mathematics), I.Sh.
Kalimullin (Kazan Federal University), N.G. Khisamiev (East Kazakhstan
Technical State University, Kazakhstan),
B. Khoussainov (University of Auckland, New Zealand), J. Knight
(University of Notre Dame, USA), V.N. Latyshev (Moscow State
University, S. Lempp (University of Wisconsin, USA), R.Sh. Omanadze
(Tbilisi State University, Georgia), Y. Yang (National University of
The scientific program of the conference includes invited plenary
lectures and contributed talks.
The official webpage of the conference: http://www.algmathlog14.kpfu.ru
English version: http://www.kpfu.ru/main_page?p_sub=25931
All necessary information can be found at this webpage.
To participate at the conference you need proceed the registration
(see "Registration" at the webpage).
All your questions you may address to the secretary of the conference
e-mail: firstname.lastname@example.org - Secretary of the conference Frolov Andrey
phone: (843) 233-70-39.
Deadline for submissions of abstracts: March 1, 2014
Notification to authors: March 10, 2014
Conference: June 2 - 6, 2014
After the conference (on June 7) an excursion to the ancient city
Bolghar (Volga Bulgaria) will be organized.
The Organizing Committee
Mathematical Structures of Computation, Lyon (France), 13 Jan - 14 Feb
Second call-for-participation and talk proposals
Mathematical Structures of Computation
January 13 - February 14 2014
- A call for talk proposals for the workshops 4 and 5,
"Formal Proof, Symbolic Computation and Computer Arithmetic"
and "Concurrency, Logic and Types"
is open until Dec 20, 2013 (extended deadline)
(for the modalities see the pages
- Registration for each of the 5 workshops is possible until January 4, 2014.
The programme proposes five consecutive workshops
1. Recent Developments in Type Theory, January 13-17.
2. Algebra and Computation, January 20-24.
3. Directed Algebraic Topology and Concurrency, January 27-31.
4. Formal Proof, Symbolic Computation and Computer Arithmetic,
5. Concurrency, Logic and Types, February 10-14.
Information on the programme can be found at
Registration for one or several of these workshops is free, but
recommended, and can be performed until *Jan. 4, 2014* on the following page:
The weeks Mathematical Structures of Computation are organised in Lyon
with the support of the Labex MILYON - Mathematics and fundamental
computer science in Lyon.
Together with the trimester Semantics of proofs and certified
mathematics organised at Institut Henri PoincarÃ©, Paris
(http://ihp2014.pps.univ-paris-diderot.fr) they constitute a French
Semester on certified mathematics, programming languages and the
mathematical structures of computation.
Patrick Baillot, Yves Guiraud, Philippe Malbos.
13 ) PhD position in algorithms and complexity at KTH Royal Institute of Technology, Stockholm
The Theoretical Computer Science group at KTH Royal Institute of
Technology invites applications for a PhD position in Theoretical
Computer Science (Algorithms & Complexity).
We are seeking a PhD student in Theoretical Computer Science for the
research project ?Trading Time for Approximation in Optimization? in
the areas of approximation algorithms and exact algorithms.
The application deadline is January 31, 2014. See
http://www.csc.kth.se/~austrin/jobs/D-2013-0775.php for the full, formal
announcement with more information and instructions for how to
apply. Informal enquiries about this position are welcome and may be
sent to Per Austrin (email@example.com).