[FOM] Fwd: [LICS] LICS Newsletter 147
Martin Davis
martin at eipye.com
Fri May 31 21:49:05 EDT 2013
---------- Forwarded message ----------
From: Andrzej Murawski <A.Murawski at warwick.ac.uk>
Date: Fri, May 31, 2013 at 3:25 PM
Subject: [LICS] LICS Newsletter 147
To: las-lics at lists.tu-berlin.de
Newsletter 147
June 1, 2013
*******************************************************************
* Past issues of the newsletter are available at
http://lii.rwth-aachen.de/lics/newsletters/
* Instructions for submitting an announcement to the newsletter
can be found at
http://lii.rwth-aachen.de/lics/newsletters/inst.html
*******************************************************************
TABLE OF CONTENTS
* LICS-RELATED NEWS
LICS 2013 - Last Call for Participation
Test-of-Time Awards (LICS 1993)
* DEADLINES
Forthcoming Deadlines
* CALLS
CICLOPS 2013 - Call for Papers
RDP 2013 - Call for Participation
FOPARA 2013 - Call for Papers
SBMF 2013 - Call for Papers
APLAS 2013 - Call for Papers
ESSLLI 2014 - Call for Course and Workshop Proposals
YR-CONCUR 2013 - Call for Abstracts
SOFSEM 2014 - Call for Papers
BLAST 2013 - Call for Abstracts and Participation
CiE 2013 - Call for Participation
LPAR-19 - Call for Papers and Workshop Proposals
DIFTS 2013 - Call for Papers
MihalisFest 2013 - Call for Participation
RAMiCS 2014 - Call for Papers
28TH ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS 2013)
LICS pre-conference tutorials: June 24, 2013
LICS conference: June 25-28, 2013
Workshops: June 28-29, 2013
New Orleans, USA
http://lii.rwth-aachen.de/lics/lics13/
* COLOCATION
The twenty-eighth ACM/IEEE Symposium on Logic In Computer Science
(LICS 2013) will be held in New Orleans, USA. It will be colocated
with MFPS (Mathematical Foundations of Programming Semantics) and
CSF (IEEE Computer Security Foundations).
* TUTORIAL DAY
LICS'13 will kick off with tutorials by Jan Rutten and Hubert Comon-Lundh
on Monday 24 June. The former will be part of an MFPS-LICS Special
Session on Coalgebra comprising talks by Bart Jacobs, Larry Moss and
Lutz Schroeder.
* INVITED SPEAKERS
LICS 2013 will feature invited lectures by Rajeev Alur, Joseph Halpern
(with CSF), Nancy Lynch and Prakash Panangaden. It will also include
a special session to mark the 80th birthday of Dana Scott, which will
have the following invited speakers: Andrew Pitts, Steve Awodey, Andrej
Bauer, Robert Harper, and Dana Scott.
* PROGRAM
http://lii.rwth-aachen.de/lics/lics13/lics13-program.html
* AFFILIATED WORKSHOPS
Foundations of Computer Security (FCS)
http://prosecco.gforge.inria.fr/personal/bblanche/fcs13/
Higher-Order Program Analysis (HOPA)
http://hopa.cs.rhul.ac.uk
Syntax and Semantics of Low-Level Languages (LOLA)
http://research.microsoft.com/en-us/events/lola2013/
Natural Language and Computer Science (NLCS)
http://www.indiana.edu/~iulg/nlcs.html
* ACCEPTED PAPERS
http://lii.rwth-aachen.de/lics/lics13/accepted.html
LICS TEST-OF-TIME AWARDS (LICS 93)
* The Awards Committee consisting of Prakash Panangaden (chair), Jean-Pierre
Jouannaud, Martin Grohe and Tom Henzinger decided to honour the following
three outstanding papers from LICS'93 (held in Montreal, Quebec, Canada):
- Leo Bachmair, Harald Ganzinger and Uwe Waldmann
Set constraints are the monadic class,
- Andre Joyal, Mogens Nielsen and Glynn Winskel
Bisimulation via open maps,
- Benjamin C. Pierce and Davide Sangiorgi
Typing and subtyping for mobile processes.
DEADLINES
* CICLOPS 2013
Abstract submission: June 1, 2013
http://akira.ruc.dk/~cth/ciclops13
* FOPARA 2013
Draft submission: June 3, 2013
http://fopara2013.cs.unibo.it
* SBMF 2013
Abstract Submission Deadline (American Samoa Time Zone): June 05, 2013
Full Paper Submission Deadline (American Samoa Time Zone): June 05, 2013
http://cbsoft2013.unb.br/en/sbmf-en
* APLAS 2013
Abstract due: June 10, 2013
http://aplas2013.soic.indiana.edu/
* ESSLLI 2014
Proposal submission deadline: June 15, 2013
http://www.esslli2014.de
* YR-CONCUR 2013
Deadline for 4-page abstracts: June 22, 2013
http://www.doc.ic.ac.uk/~srdipi/yr-concur/
* SOFSEM 2014
Submission Deadline: June 28, 2013
http://www.sofsem.sk
* BLAST 2013
Abstract submission deadline: July 1, 2013
http://www.chapman.edu/events/blast-2013/
* LPAR-19
Workshop proposal deadline: July 15, 2013
Abstract submission: July 22, 2013
http://www.LPAR-19.info
* DIFTS 2013
Paper submission: July 24, 2013
http://www.cmpe.boun.edu.tr/difts13/
* RAMiCS 2014
Title and abstract submission: October 25, 2013
Submission of full papers: November 1, 2013
http://mathcs.chapman.edu/ramics2014
13TH INTERNATIONAL COLLOQUIUM ON IMPLEMENTATION OF CONSTRAINT AND
LOGIC PROGRAMMING SYSTEMS (CICLOPS 2013)
http://akira.ruc.dk/~cth/ciclops13
Istanbul, Turkey, August 24/25, 2013
Co-located with ICLP 2013
* IMPORTANT DATES
Abstract Submission: June 1, 2013
Paper Submission: June 8, 2013
Notification: July 1, 2013
Camera-ready: July 13, 2013
Workshop: August 24/25, 2013
* TOPICS
CICLOPS is a well established line of workshops. This will be the 13th
edition in a successful series of workshops which is traditionally
co-located with ICLP. The CICLOPS workshop aims at discussing and
exchanging experience on the design, implementation, and optimization
of constraint and logic programming systems, and other systems based
on logic as a means of expressing computations. Preference will be
given to the description and analysis of real implementations and
their evaluation, problems found in their design, steps taken towards
the solutions, as well as descriptions of work in progress in that
direction.
* SUBMISSION
Authors are invited to submit papers in PDF using the Springer LNCS
LaTeX format. Submissions must be written in English, not exceed 15
pages, and describe new, original and unpublished research results or
work in progress. Submissions will be handled by the EasyChair
conference system at
https://www.easychair.org/conferences/?conf=ciclops2013.
We plan for the informal workshop proceedings to be available on-line
at the Computing Research Repository (CoRR) after the workshop. An
electronic copy will also be distributed during the conference.
FEDERATED CONFERENCE ON REWRITING, DEDUCTION, AND PROGRAMMING (RDP 2013)
Call for Participation
June 23 - June 28, 2013
Eindhoven, The Netherlands
http://www.win.tue.nl/rdp2013/
* REGISTRATION
For online registration visit: http://www.win.tue.nl/rdp2013/reg.html
Early registration closes on June 1.
* ABOUT RDP
RDP'13 is the seventh edition of the biannual Federated Conference on
Rewriting, Deduction, and Programming, consisting of two main
conferences and related events.
* RDP MAIN CONFERENCES
RTA 2013 - The 24th International Conference on Rewriting Techniques and
Applications, June 24 - June 26, 2013
TLCA 2013 - The 11th International Conference on Typed Lambda Calculi and
Applications, June 26 - June 28, 2013
* RDP 2013 INVITED SPEAKERS
Hugo Herbelin (INRIA, France)
Jarkko Kari (University of Turku, Finland)
Damiano Mazza (CNRS and Universite Paris-Nord, France)
Mitsu Okada (Keio University, Japan)
Simon Peyton-Jones (Microsoft Research, UK)
* WORKSHOPS
COS: Control Operators and their Semantics, June 24-25
IFIP WG 1.6: IFIP Working Group 1.6 on Term Rewriting, June 27
HART: Haskell And Rewriting Techniques, June 27
UNIF: International Workshop on Unification, June 27
IWC: International Workshop on Confluence, June 28
WIR: Workshop on Infinitary Rewriting, June 28
3RD INTERNATIONAL WORKSHOP ON FOUNDATIONAL AND PRACTICAL ASPECTS OF
RESOURCE ANALYSIS (FOPARA 2013)
August 29th to 31st, 2013, Bertinoro, Italy
Co-located with WST 2013
http://fopara2013.cs.unibo.it
* SCOPE
The workshop will serve as a forum for presenting original research
results that are relevant to the analysis of resource (time, space,
and others) consumption by computer programs. The workshop aims to
bring together the researchers that work on foundational issues with
the researchers that focus more on practical results. Therefore, both
theoretical and practical contributions are encouraged. We also
encourage papers that combine theory and practice. The following list
of topics is non-exhaustive:
- resource static analysis for embedded or/and critical systems;
- logical and machine-independent characterisations of complexity classes;
- logics closely related to complexity classes;
- type systems for controlling/inferring/checking complexity;
- semantic methods to analyse resources, including quasi-interpretations;
- practical applications of resource analysis;
- complexity analysis by term and graph rewriting.
* SUBMISSIONS
FOPARA 2013 is a two-phase workshop. All participants are invited to
submit
a draft paper describing the work to be presented at the workshop. These
submissions will be screened by the program committee chair to make sure
they are within the scope of FOPARA and will appear in the draft
proceedings
distributed at the workshop. Submissions appearing in the draft
proceedings
are not peer-reviewed publications. After the workshop, authors will be
given the opportunity to incorporate the feedback from discussions at the
workshop and will be invited to submit a revised full article for the
formal
review process. These revised submissions will be reviewed by the program
committee using prevailing academic standards to select the best articles
that will appear in the formal proceedings. All contributions must be
written in English, conform to the Springer LNCS series format and not
exceed 16 pages. The papers selected after the reviewing process will be
published as a volume of the Springer LNCS series (Springer’s approval
is pending).
* IMPORTANT DATES
The following deadlines are strict.
- Draft Submission: June 3rd, 2013;
- Notification (Draft): June 21st, 2013;
- Final Version: July 5th, 2013;
- Paper Submission: September 30th, 2013;
- Notification (Paper): December 2nd, 2013;
- Camera Ready: December 23rd, 2013.
16TH BRAZILIAN SYMPOSIUM ON FORMAL METHODS (SBMF 2013)
Call for Papers
Brasilia, Brazil
29 September to 04 October, 2013
http://cbsoft2013.unb.br/en/sbmf-en
* IMPORTANT DATES
Abstract Submission Deadline (American Samoa Time Zone): June 05, 2013
Full Paper Submission Deadline (American Samoa Time Zone): June 05, 2013
Full Paper Acceptance Notification: July 05, 2013
Full Paper Camera-ready Version: July 12, 2013
Short Paper Submission Deadline: July 20, 2013
Short Paper Acceptance Notification: August 20, 2013
Short Paper Camera-ready Version: August 31, 2013
* INTRODUCTION
SBMF 2013 is the sixteenth of a series of events devoted to the
development,
dissemination and use of formal methods for the construction of
high-quality
computational systems. It is now a well-established event with an
international reputation. Keynote speakers will be:
Kenneth McMillan, Microsoft Research, USA
Christiano Braga, UFF, Brazil
The symposium will be part of a larger event, CBSoft, the Brazilian
Conference on Software: Theory and Practice (
http://cbsoft2013.cic.unb.br/?lang=en)
including, in addition to SBMF, three other symposia:
XXVII Brazilian Symposium on Software Engineering (SBES)
XVII Brazilian Symposium on Programming Languages (SBLP)
VII Brazilian Symposium on Components, Software Architecture and
Software Reuse (SBCARS)
* PAPER SUBMISSION
Papers with a strong emphasis on Formal Methods, whether practical or
theoretical, are invited for submission. They should present unpublished
and original work that has a clear contribution to the state of the art
on the theory and practice of formal methods. They should not be
simultaneously submitted elsewhere.
There are two types of submissions:
- Full papers: (max. 16 pages in LNCS format) should contain theory- or
application-oriented results which must be original, significant, and
sound; they will undergo a full reviewing process. Papers from industry
should emphasize practical application of formal methods and/or report
open challenges. The proceedings will be published in LNCS/Springer.
- Short papers: (max. 6 pages in LNCS format) should describe recent
research activities, practical experience, and preliminary results that
are worth discussing.
Papers can be submitted via the following link:
http://www.easychair.org/conferences/?conf=sbmf2013
* PROGRAM COMMITTEE CHAIRS
Leonardo de Moura, Microsoft Research, USA
Juliano Iyoda, UFPE, Brazil
11TH ASIAN SYMPOSIUM ON PROGRAMMING LANGUAGES AND SYSTEMS (APLAS 2013)
Call for Papers
9-11 December 2013
Melbourne, Australia (colocated with CPP 2013)
http://aplas2013.soic.indiana.edu/
* BACKGROUND
APLAS aims to stimulate programming language research by providing a
forum for the presentation of latest results and the exchange of ideas
in programming languages and systems. APLAS is based in Asia, but is
an international forum that serves the worldwide programming language
community.
* TOPICS
The symposium is devoted to foundational and practical issues in
programming languages and systems. Papers are solicited on topics such
as
- semantics, logics, foundational theory;
- design of languages, type systems and foundational calculi;
- domain-specific languages;
- compilers, interpreters, abstract machines;
- program derivation, synthesis and transformation;
- program analysis, verification, model-checking;
- logic, constraint, probabilistic and quantum programming;
- software security;
- concurrency and parallelism;
- tools and environments for programming and implementation.
* SUBMISSION
We solicit submissions in two categories:
- Regular research papers
- System and Tool presentations
Papers should be submitted electronically via the submission web page:
https://www.easychair.org/conferences/?conf=aplas2013
* DATES
Abstract due: 10 June 2013 (Monday), 23:59 UTC
Submission due: 14 June 2013 (Friday), 23:59 UTC
Notification: 26 August 2013 (Monday)
Final paper due: 19 September 2013 (Thursday)
Conference: 9-11 December 2013 (Monday-Wednesday)
26TH EUROPEAN SUMMER SCHOOL IN LOGIC, LANGUAGE AND INFORMATION (ESSLLI 2014)
Call for Course and Workshop Proposals
Tuebingen, Germany
August 11-22, 2014
http://www.esslli2014.de
* IMPORTANT DATES
15 June 2013: Proposal submission deadline
15 September 2013: Notification
1 June 2014: Course material due
* TOPICS AND FORMAT
Proposals for courses and workshops at ESSLLI'2014 are invited in all
areas of Logic, Linguistics and Computing and Information Sciences.
Cross-disciplinary and innovative topics are particularly encouraged.
Each course and workshop will consist of five 90 minute sessions,
offered daily (Monday-Friday) in a single week. Proposals for two-week
courses should be structured and submitted as two independent one-week
courses, e.g. as an introductory course followed by an advanced one.
In such cases, the ESSLLI program committee reserves the right to accept
just one of the two proposals.
All instructional and organizational work at ESSLLI is performed
completely on a voluntary basis, so as to keep participation fees to a
minimum. However, organizers and instructors have their registration
fees waved, and are reimbursed for travel and accommodation expenses
up to a level to be determined and communicated with the proposal
notification. ESSLLI can only guarantee reimbursement for at most one
course/workshop organizer, and can not guarantee full reimbursement of
travel costs for lecturers or organizers from outside of Europe. The
ESSLLI organizers would appreciate any help in controlling the
School's expenses by seeking complete coverage of travel and
accommodation expenses from other sources.
4TH INTERNATIONAL YOUNG RESEARCHERS WORKSHOP ON CONCURRENCY THEORY
(YR-CONCUR 2013)
Call for Abstracts
August 31, 2013
Buenos Aires, Argentina
http://www.doc.ic.ac.uk/~srdipi/yr-concur/
* AIMS AND OBJECTIVES
This workshop aims at providing a platform for PhD students and
young researchers
who recently completed their doctoral studies, to exchange new
results related to
concurrency theory and receive feedback on their research. Focus is
on informal
discussions. Excellent master students working on concurrency theory are
also
encouraged to contribute.
* FORMAT
YR-CONCUR 2013 is a satellite workshop of CONCUR 2013 and will be
held on Saturday,
August 31, 2013. It is anticipated that many CONCUR participants
will attend the
YR-workshop (and vice versa). Presentations are selected on the
basis of an abstract
of up to 4 pages (incl. references) describing the research. No
particular format is
required. Submissions are judged on the expected interest in and
quality of the
talk. The accepted abstracts will be made available at the workshop,
but no formal
proceedings are planned. It is thus also allowed (and encouraged) to
send results
that have been published at other conferences (although preferably
not at CONCUR
2013 or any of its other satellite workshops).
* HISTORY
The first edition YR-CONCUR 2009 was organized by Joost-Pieter
Katoen as a satellite
workshop of CONCUR 2009 in Bologna, Italy. The second edition
YR-CONCUR 2010 was
organized by Bas Luttik as a satellite workshop of CONCUR 2010 in
Paris, France. The
third and fourth editions YR-CONCUR 2011 and YR-CONCUR 2012 were
organized by
Benedikt Bollig as satellite workshops of CONCUR 2011 and CONCUR 2012.
* IMPORTANT DATES
- Deadline for 4-page abstracts: June 22, 2013
- Notification of acceptance: July 20, 2013
- Final version: August 3, 2013
- Workshop: August 31, 2013
* SUBMISSION
4-page abstracts should be submitted via the YR-CONCUR 2013
submission page on the
EasyChair system.
* ORGANIZER AND PC CHAIR
Nicolas D'Ippolito
40TH INTERNATIONAL CONFERENCE ON CURRENT TRENDS IN THEORY AND PRACTICE
OF COMPUTER SCIENCE (SOFSEM 2014)
Call for Papers
January 25 - 30, 2014
Hotel Atrium, Novi Smokovec, High Tatras, Slovakia
http://www.sofsem.sk
* GENERAL
40th International Conference on Current Trends in Theory and Practice
of Computer Science SOFSEM (SOFtware SEMinar) 2014 will take place in
Hotel Atrium, Novi Smokovec, High Tatras, Slovakia, on January 25-30,
2014. SOFSEM 2014 is jointly organized by the Institute of Computer
Science of P. J. Safarik University, Kosice, Slovakia and by the Slovak
Society for Computer Science. The conference is supported by the Czech
Society for Cybernetics and Informatics. The aim of the conference is
to get together professionals from academia and industry working in
various areas of Computer Science.
* PROGRAM COMMITTEE CHAIR
Branislav Rovan, Bratislava, Slovakia
* CONFERENCE TRACKS
Foundations of Computer Science
track chair: Viliam Geffert, Kosice, Slovakia
Software & Web Engineering
track chair: A Min Tjoa, Wien, Austria
Data, Information, and Knowledge Engineering
track chair: Julius Stuller, Praha, Czech Republic
Cryptography, Security, and Verification
track chair: Bart Preneel, Leuven, Belgium
and a Student Research Forum
* IMPORTANT DATES
June 28, 2013: Submission Deadline
September 27, 2013: Notification about Acceptance
October 25, 2013: Deadline for Final Proceedings Versions
January 25-30, 2014: Conference (January 25: arrival, January 30:
departure)
* SUBMISSIONS
https://www.easychair.org/conferences/?conf=sofsem2014
5TH BLAST CONFERENCE (BLAST 2013)
Call for Abstracts and Participation
August 5 - 9, 2013
at Chapman University, Orange, California, USA.
http://www.chapman.edu/events/blast-2013/
* SERIES
The BLAST conference series brings together researchers in
B = Boolean algebra
L = Lattice theory, algebraic and quantum Logic
A = Universal Algebra
S = Set theory
T = Set theoretic and point-free Topology
The first four BLAST conferences were at the University of Denver,
New <http://subsessile.nmsu.edu/blast/index.htm>
Mexico State University
<http://subsessile.nmsu.edu/blast/index.htm>, the University
of Colorado at Boulder <http://euclid.colorado.edu/~kasterma/blast/> and
the
University of Kansas <http://www.math.ku.edu/conferences/blast2011/>.
* INVITED TALKS
BLAST 2013 will feature invited talks by
- Bernhard Banaschewski (McMaster University)
- William DeMeo (University of South Carolina)
- Francois Dorais (Dartmouth College)
- Mai Gehrke (Université Diderot - Paris 7 and CNRS)
- Steven Givant (Mills College)
- Steve Jackson (University of North Texas)
- Michael Pinsker (Technische Universität Wien)
- Dima Sinapova (University of Illinois at Chicago)
- Sam van Gool (Radboud Universiteit Nijmegen)
and invited tutorials by
- Martin Escardo (University of Birmingham)
- Heinz-Peter Gumm (Universität Marburg)
- Hilary Priestley (University of Oxford)
The conference is funded by NSF, Chapman University and the Center for
Excellence in Computation, Algebra and Topology (CECAT).
* SUBMISSION
Abstract submission is through Atlas-conferences by July 1 at
http://atlas-conferences.com/cgi-bin/abstract/submit/cbgq-01.
* REGISTRATION
Registration will be $90 before July 1, 2013, and $110 after
that. Electronic registration is available on the conference
web page http://www.chapman.edu/events/blast-2013/.
A limited amount of financial support is available for graduate
students and recent PhDs. To apply for support, send an email of
request to blast2013 at chapman.edu<mailto:blast2013 at chapman.edu>
by May 15, 2013 (see web page for details).
More information can be found at the conference web page:
http://www.chapman.edu/events/blast-2013/
COMPUTABILITY IN EUROPE 2013: THE NATURE OF COMPUTATION (CIE)
Call for Participation
Milan, Italy
July 1 - 5, 2013
http://cie2013.disco.unimib.it
(co-located with Unconventional Computation and Natural Computation 2013)
* AIMS
CiE serves as an interdisciplinary forum for research in all aspects
of computability and foundations of computer science, as well as the
interplay of these theoretical areas with practical issues in computer
science and with other disciplines such as biology, mathematics,
philosophy, or physics.
* TUTORIAL SPEAKERS
Gilles Brassard (Universite de Montreal) and Grzegorz Rozenberg
(Leiden Institute
of Advanced Computer Science and University of Colorado at Boulder)
* PLENARY TALKS
Ulle Endriss (University of Amsterdam)
Lance Fortnow (Georgia Institute of Technology)
Anna Karlin (University of Washington)
Bernard Moret (Ecole Polytechnique Federale de Lausanne)
Mariya Soskova (Sofia University)
Endre Szemeredi (Hungarian Academy of Sciences, Rutgers University)
* SPECIAL SESSIONS
- Algorithmic Randomness (organizers: Mathieu Hoyrup, Andre Nies)
Speakers: Johanna Franklin (University of Connecticut, USA), Noam
Greenberg
(Victoria University, New Zealand), Joseph S. Miller (University of
Wisconsin, USA), Nikolay Vereshchagin (Moscow State University, Russia)
- Computational Complexity in the Continuous World (organizers: Akitoshi
Kawamura, Robert Rettinger)
Speakers: Mark Braverman (Princeton University, USA), Daniel S. Graca
(Universidade do Algarve), Joris van der Hoeven (Ecole polytechnique,
France), Chee K. Yap (New York University, USA)
- Computational Molecular Biology (organizers: Alessandra Carbone, Jens
Stoye)
Speakers: Sebastian Boecker (University of Jena, Germany), Marilia D. V.
Braga (Inmetro, Brazil), Andrea Pagnani (Human Genetics Foundation,
Italy),
Laxmi Parida (IBM Thomas J. Watson Research Center, USA)
- Computation in Nature (organizers: Mark Daley, Natasha Jonoska)
Speakers: Jerome Durand-Lose (Univ. of Orleans, France), Giuditta Franco
(Univ. of Verona Italy), Lila Kari (Univ. of Western Ontario, Canada),
Darko Stefanovic (Univ. of New Mexico, USA)
- Data Streams and Compression (organizers: Paolo Ferragina, Andrew
McGregor)
Speakers: Graham Cormode (AT&T Labs, USA), Irene Finocchi (University of
Rome, Italy), Andrew McGregor (University of Massachusetts, USA),
Marinella
Sciortino (University of Palermo, Italy).
- History of Computation (organizers: Gerard Alberts, Liesbeth De Mol)
Speakers: David Alan Grier (George Washington University, USA), Thomas
Haigh (University of Wisconsin, USA), Ulf Hashagen (Deutsches Museum,
Germany), Matti Tedre (Stockholm University, Sweden).
* WOMEN IN COMPUTABILITY
Women in Computability Workshop, July 2, 2013:
We continue the programme "Women in Computability" supported by the
journal "Annals of Pure and Applied Logic" (Elsevier).
Speakers: Irene Finocchi, Laxmi Parida, Liesbeth De Mol
The Women in Computability workshop aims to bring together women in
Computing and Mathematical research to present and exchange their academic
and scientific experience with young researchers. The meeting will offer
the CIE scientific community the opportunity to encourage young students,
especially young female researchers, to have active careers in the
mathematical and computational sciences.
19TH INTERNATIONAL CONFERENCE ON LOGIC FOR PROGRAMMING, ARTIFICIAL
INTELLIGENCE AND REASONING (LPAR-19)
Call for Papers
Stellenbosch, South Africa,
14-19 December 2013
http://www.LPAR-19.info
* SERIES
The series of International Conferences on Logic for Programming,
Artificial
Intelligence and Reasoning (LPAR) is a forum where, year after year, some
of
the most renowned researchers in the areas of logic, automated reasoning,
computational logic, programming languages and their applications come to
present cutting-edge results, to discuss advances in these fields, and to
exchange ideas in a scientifically emerging part of the world. The 19th
LPAR
will be held in Stellenbosch, South Africa.
* TOPICS
New results in the fields of computational logic and applications are
welcome.
Also welcome are more exploratory presentations, which may examine open
questions and raise fundamental concerns about existing theories and
practices.
* PROGRAMME CHAIRS
- Ken McMillan
- Aart Middeldorp
- Andrei Voronkov
* CONFERENCE CHAIRS
- Bernd Fischer
- Geoff Sutcliffe
* WORKSHOP CHAIR
- Laura Kovacs
* SUBMISSION DETAILS
Submissions of two kinds are welcome:
- Regular papers that describe solid new research results. They can be
up to 15 pages long in LNCS style, including figures and references,
but excluding appendices (that reviewers are not required to read).
- Experimental and tool papers that describe implementations of systems,
report experiments with implemented systems, or compare implemented
systems. They can be up to 8 pages long in the LNCS style.
Both types of papers can be electronically submitted in PDF via EasyChair:
http://www.easychair.org/conferences/?conf=lpar19.
Prospective authors are required to register a title and an abstract a
week
before the paper submission deadline (see below).
* IMPORTANT DATES
- Abstract submission: 22nd July
- Paper submission: 2nd August
- Notification of acceptance: 27th September
- Camera-ready papers: 9th October
- Conference: 14th-19th December
- Workshop proposals: 15th July
- Notification of workshops proposals: 29th July
* WORKSHOP PROPOSALS
LPAR-19 workshops will be held on 14th December either as one-day or
half-day
events. If you would like to propose a workshop for LPAR-19, please
contact
the workshop chair via email (lkovacs at complang.tuwien.ac.at), by the
proposal
deadline.
2ND INTERNATIONAL WORKSHOP ON DESIGN AND IMPLEMENTATION OF FORMAL
TOOLS AND SYSTEMS (DIFTS'13)
Call for Papers
Portland, OR, USA
October 19, 2013
(co-located with FMCAD and MEMOCODE 2013)
http://www.cmpe.boun.edu.tr/difts13/
* IMPORTANT DATES
Paper submission: July 24, 2013
Author notification: August 24, 2014
* WORKSHOP SCOPE
DIFTS (Design and Implementation of Formal Tools and Systems) workshop
emphasizes insightful experiences in formal tools and systems design.
The first DIFTS workshop was held in 2011. It provides a forum for
sharing
challenges and solutions that are original with ground breaking results.
Often the design and implementation of tools for formal analysis require
non-trivial engineering decisions. Many challenges are faced, which
often can only be met with ingenious implementation techniques. These
techniques actually play a crucial role in making the idea work in
practice.
The workshop provides an opportunity for discussing engineering aspects
and
various design decisions required to put such formal tools and systems
into
practical use.
* TOPICS OF INTEREST
DIFTS takes a broad view of the formal tools/systems area, and solicits
contributions from domains including, but not restricted to, decision
procedures, verification, testing, validation, diagnosis, debugging, and
synthesis.
This workshop encourages and appreciates system development activities,
and facilitates transparency in the experimentation. It will also serve
as
a platform to discuss open problems and future challenges in practicing
formal methods.
* SUBMISSION
The workshop specifically solicits contributions with substantial
engineering details that often do not get published but has significant
practical impact. Papers in the following two categories are solicited:
(a) system category (10 pages, double column, 11pt), and
(b) tool category (8 pages, double column, 11pt).
In the system category, we invite papers that have original ideas
accompanied with novel integration techniques, adequate
design/implementation
details, important design choices made and explored, and good experimental
results.
In the tool category, we invite papers that focus primarily on the
engineering aspects of some known/popular algorithm, with significant
emphasis on the design/implementation details, and various design choices
made to advance current state-of-the-art approaches.
The page limit for submissions in the system category is 10 pages in
double column format and for submissions in the tool category is 8 pages
in double column format.
Submission of papers should be made electronically in PDF format via
EasyChair. More details will be provided on the DIFTS web site.
* EVALUATION
To keep maintain uniformity and fairness in the reviewing process, the
program committee will evaluate the technical contribution of each
submission
based on the following guidelines: the paper should provide enough
details for
others to reproduce the results; and should solve a clearly-stated problem
that is significant and has wide interest; and the paper should provide
enough
motivation for the design choices made. Overall, the paper should also
clearly identify what the main contributions of the work are.
* PUBLICATION
All accepted contributions will be included in informal proceedings.
High quality submissions will be considered for a special issue
of journals such as FMSD (Formal Methods in System Design) or
IEEE TC (Transactions on Computers).
* PROGRAM CHAIRS
Malay K. Ganai, NEC Labs America, USA
Alper Sen, Bogazici University, Turkey
HORIZONS IN TCS: A CELEBRATION OF MIHALIS YANNAKAKIS's 60TH BIRTHDAY
Call for Participation
Workshop at Center for Computational Intractability (CCI)
Princeton University, NJ, USA
August 27-29, 2013.
http://intractability.princeton.edu/blog/2013/01/mihalisfest-2013/
* See the workshop's webpage for further information,
including list of speakers.
14TH INTERNATIONAL CONFERENCE ON RELATIONAL AND ALGEBRAIC METHODS IN
COMPUTER SCIENCE (RAMiCS 2014)
Call for Papers
27 April - 1 May 2014
Marienstatt im Westerwald, Germany
http://mathcs.chapman.edu/ramics2014
* SCOPE
We invite submissions in the general area of Relational and Algebraic
Methods
in Computer Science. Special focus will lie on formal methods for software
engineering, logics of programs and links with neighbouring disciplines.
* HISTORY
Since 1994, the RelMiCS meetings on Relational Methods in Computer Science
have been a main forum for researchers who use the calculus of relations
and similar algebraic formalisms as methodological and conceptual tools.
The AKA workshop series on Applications of Kleene algebra started with a
Dagstuhl seminar in 2001 and was co-organised with the RelMiCS conference
until 2009. Since 2011, joint RAMiCS conferences continue to encompass
the scope of both RelMiCS and AKA.
* STUDENT PROGRAM
The conference will be accompanied by a PhD training program. Details will
be published in due time in a special call and on the conference website.
* PROCEEDINGS AND SUBMISSION
All papers will be formally reviewed. We plan to publish the
proceedings in the series Lecture Notes in Computer Science ready at
the conference. Submissions must be in English, in Postscript or PDF
format, and provide sufficient information to judge their merits.
They must be unpublished and not submitted for publication elsewhere.
Submission is via EasyChair at the following address:
https://www.easychair.org/conferences/?conf=ramics2014
* IMPORTANT DATES
Title and abstract submission: October 25, 2013
Submission of full papers: November 1, 2013
Notification: December 13, 2014
Final versions due (firm deadline): January 17, 2014
Conference April 27 - May 1, 2014
You are subscribed to the lics mailing list because you have signed up for
it in the past.
Submissions to the newsletter:
Send an email to las-lics at lists.tu-berlin.de.
Unsubscribe:
To unsubscribe, please send an email to las-lics-request at lists.tu-berlin.dewith
the keyword 'unsubscribe' in the message body (without ').
Subscribe:
To subscribe, please send an email to las-lics-request at lists.tu-berlin.dewith
the keyword 'subscribe' in the message body (without ').
-------------- next part --------------
An HTML attachment was scrubbed...
URL: </pipermail/fom/attachments/20130531/59842f94/attachment-0001.html>
More information about the FOM
mailing list