Newsletter 147 June 1, 2013 ******************************************************************* * Past issues of the newsletter are available at http://lics.siglog.org/newsletters/ * Instructions for submitting an announcement to the newsletter can be found at http://lics.siglog.org/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://lics.siglog.org/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://lics.siglog.org/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://lics.siglog.org/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 email@example.com
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 (firstname.lastname@example.org), 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.