Send dmanet mailing list submissions to
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. Fwd: BlockCourse: Towards the Polynomial Freiman-Ruzsa
Conjecture (FU Berlin) (Juanjo Ru?)
2. PPDP 2014: Call for Papers (Jacob Johannsen)
----------------------------------------------------------------------
Message: 1
Date: Fri, 11 Apr 2014 13:17:16 +0200
From: Juanjo Ru? <juanjo.rue@gmail.com>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] Fwd: BlockCourse: Towards the Polynomial
Freiman-Ruzsa Conjecture (FU Berlin)
Message-ID:
<CAEmmRhUj0vjhHo9zZm4VT1hW=jqhdAs_5_nHHjHEGU-8Rot5rw@mail.gmail.com>
Content-Type: text/plain; charset=UTF-8
BlockCourse: Towards the Polynomial Freiman-Ruzsa Conjecture
FU Berlin
6-23 October 2014
http://www-ma2.upc.edu/jrue/BlockCourse.html
--Scope--
The course is intended for master students, PhD-students and
postdoctoral researchers interested in the field of Additive
Combinatorics and related areas.
Participants can join any part of the course, depending on their
individual background and interest.
--Topics and lecturers--
Week 1: Giorgis Petridis (University of Rochester): Classical and new
results in Additive Combinatorics
6 - 10 October 2014
Week 2: Julia Wolf (University of Bristol): Analytic techniques in
Additive Combinatorics
13 - 16 October 2014
Week 3: Tomasz Schoen (Adam Mickiewicz University): The Polynomial
Freiman-Ruzsa Conjecture
20 - 23 October 2014
--Audience--
The course is addressed to graduate students and postdocs of
Mathematics or Computer Science, who are interested in additive
combinatorics, applications of Fourier analysis in discrete
mathematics, and related fields.
--Organizers--
The Block Course is organized within the Research Training Group
"Methods for Discrete Structures? and organized by Jun. Prof. Juanjo
Ru? and Prof. Tibor Szab?.
--Participation/Stipend--
Applications for participation in the course (the whole or part of it
-- please indicate the weeks you plan to participate in), with a short
curriculum vitae and scientific background, should be sent by June 30,
2014, preferably by email, to Jun. Prof. Juanjo Ru? at jrue (at)
zedat.fu-berlin.de
There is a limited amount of financial support available for
PhD-students or for advanced Master/Diploma students in a field
related to the topics of the course.
Applications for financial support, with curriculum vitae, copies of
certificates, thesis, areas of interest, and a letter of
recommendation (sent directly by the letter writer) should be sent by
May 31, 2014, preferably by e-mail, to Jun. Prof. Juanjo Ru? at jrue
(at) zedat.fu-berlin.de
------------------------------
Message: 2
Date: Fri, 11 Apr 2014 14:06:12 +0200
From: Jacob Johannsen <cnn@cs.au.dk>
To: <dmanet@zpr.uni-koeln.de>
Subject: [DMANET] PPDP 2014: Call for Papers
Message-ID: <5347DAB4.2000604@cs.au.dk>
Content-Type: text/plain; charset="ISO-8859-1"; format=flowed
======================================================================
Call for papers
16th International Symposium on
Principles and Practice of Declarative Programming
PPDP 2014
Canterbury, Kent, September 8-10, 2014
(co-located with LOPSTR 2014)
http://users-cs.au.dk/danvy/ppdp14/
======================================================================
SUBMISSION DEADLINE: 15 MAY, 2014
PPDP 2014 is a forum that brings together researchers from the
declaratrive programming communities, including those working in the
logic, constraint and functional programming paradigms, but also
embracing languages, database languages, and knowledge representation
languages. The goal is to stimulate research in the use of logical
formalisms and methods for specifying, performing, and analyzing
computations, including mechanisms for mobility, modularity,
concurrency, object-orientation, security, verification and static
analysis. Papers related to the use of declarative paradigms and tools
in industry and education are especially solicited. Topics of interest
include, but are not limited to
* Functional programming
* Logic programming
* Answer-set programming
* Functional-logic programming
* Declarative visual languages
* Constraint Handling Rules
* Parallel implementation and concurrency
* Monads, type classes and dependent type systems
* Declarative domain-specific languages
* Termination, resource analysis and the verification of declarative
programs
* Transformation and partial evaluation of declarative languages
* Language extensions for security and tabulation
* Probabilistic modeling in a declarative language and modeling reactivity
* Memory management and the implementation of declarative systems
* Practical experiences and industrial application
This year the conference will be co-located with the 24th
International Symposium on Logic-Based Program Synthesis and
Transformation (LOPSTR 2014).
The conference will be held in Canterbury, UK. Previous symposia were
held at Madrid (Spain), Leuven (Belgium), Odense (Denmark), Hagenberg
(Austria), Coimbra (Portugal), Valencia (Spain), Wroclaw (Poland),
Venice (Italy), Lisboa (Portugal), Verona (Italy), Uppsala (Sweden),
Pittsburgh (USA), Florence (Italy), Montreal (Canada), and Paris
(France). You might have a look at the contents of past PPDP symposia.
Papers must describe original work, be written and presented in
English, and must not substantially overlap with papers that have been
published or that are simultaneously submitted to a journal,
conference, or workshop with refereed proceedings. Work that already
appeared in unpublished or informally published workshop proceedings
may be submitted (please contact the PC chair in case of
questions).
After the symposium, a selection of the best papers will be invited to
extend their submissions in the light of the feedback solicited at the
symposium. The papers are expected to include at least 30% extra
material over and above the PPDP version. Then, after another round of
reviewing, these revised papers will be published in a journal.
Important Dates
Abstract Submission: 12 May, 2014
Paper submission: 15 May, 2014
Notification: 30 June, 2014
Camera-ready: To be announced
Symposium: 8-10 September, 2014
Invites for journal publication: To be announced
Submission of journal version: To be announced
Notification: To be announced
Camera-ready version: To be announced
Authors should submit an electronic copy of the full paper in
PDF. Papers should be submitted to the submission website for PPDP
2014. Each submission must include on its first page the paper title;
authors and their affiliations; abstract; and three to four
keywords. The keywords will be used to assist the program committee in
selecting appropriate reviewers for the paper. Papers should consist
of the equivalent of 12 pages under the ACM formatting
guidelines. These guidelines are available online, along with
formatting templates or style files. Submitted papers will be judged
on the basis of significance, relevance, correctness, originality, and
clarity. They should include a clear identification of what has been
accomplished and why it is significant. Authors who wish to provide
additional material to the reviewers beyond the 12-page limit can do
so in clearly marked appendices: reviewers are not required to read
such appendices.
Program Committee
Michael Adams University of Illinois at Urbana-Champaign, USA
Elvira Albert Complutense University of Madrid, Spain
Dariusz Biernacki University of Wroclaw, Poland
Bernd Brassel Recordbay, Germany
Mike Codish Ben-Gurion University of the Negev, Israel
Olivier Danvy (chair) Aarhus University, Denmark
Marc Denecker KU Leuven, Belgium
Joshua Dunfield Max Planck Institute for Software Systems, Germany
Zoe Drey ENSTA Bretagne/Lab-STICC, France
Thibaut Feydy NICTA, Australia
Danko Ilik Inria, France
Yukiyoshi Kameyama University of Tsukuba, Japan
Chantal Keller Microsoft Research -- Inria Joint Centre
Temur Kutsia RISC, Johannes Kepler University Linz, Austria
Dan Licata Wesleyan University, USA
Akimasa Morihata University of Tokyo, Japan
Matthias Puech McGill University, Canada
Tiark Rompf Oracle Labs and EPFL, Switzerland
Kristoffer H. Rose Two Sigma Labs, New York, USA
Ilya Sergey IMDEA Software Institute, Spain
Ralf Treinen University Paris-Diderot, France
Frank D. Valencia CNRS and LIX, Ecole Polytechnique, France
Program Chair
Olivier Danvy
Department of Computer Science
Aarhus University
Aabogade 34
DK-8200 Aarhus N, Denmark
Email: danvy@cs.au.dk
Symposium Chairs:
Andy King
School of Computing
University of Kent
Canterbury, Kent, CT2 7NF
United Kingdom
Email: A.M.King@kent.ac.uk
Olaf Chitil
School of Computing
University of Kent
Canterbury, Kent, CT2 7NF
United Kingdom
Email: O.Chitil@kent.ac.uk
Publicity Chair:
Jacob Johannsen
Department of Computer Science
Aarhus University
Aabogade 34
DK-8200 Aarhus N, Denmark
Email: cnn@cs.au.dk
------------------------------
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 74, Issue 15
**************************************
No comments:
Post a Comment