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@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@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




Back to the LICS web page.