Thomas Wahl | 1 Mar 23:51 2015

Formal Methods in Computer-Aided Design (FMCAD), 2015 - First Call for Papers

CALL FOR PAPERS

International Conference on 
Formal Methods in Computer-Aided Design (FMCAD)

Austin, Texas, USA, September 27-30, 2015

http://www.fmcad.org/FMCAD15

** Note: ** FMCAD 2015 will be held at the end of September,
            several weeks earlier than in previous years!

HIGHLIGHTS

FMCAD will be co-located with the SAT conference, and with the DIFTS and
ACL2 workshops. The conference program will include, in addition to regular
paper presentations, tutorials by Isil Dillig (UT Austin), Priyank Kalla
(Utah), and Andre Platzer (CMU), among others; new editions of the Hardware
Model Checking competition and the FMCAD Student Forum; an industrial panel
discussion; and keynote talks.

A small number of outstanding FMCAD submissions will be considered for
inclusion in a Special Issue of the journal on Formal Methods in System
Design.

FMCAD 2015 has technical co-sponsorship from the IEEE Council on Electronic
Design Automation, and in-cooperation status with ACM SIGPLAN (Special
Interest Group on Programming Languages) and ACM SIGSOFT (Special Interest
Group on Software Engineering).

(Continue reading)

MUNOZ, CESAR (LARC-D320 | 2 Mar 20:18 2015
Picon

[fm-announcements] CFP: 11th International Workshop on Developments in Computational Models

======================================================
CALL FOR PAPERS -- DCM 2015
11th International Workshop on
Developments in Computational Models

October 28, 2015, Cali, Colombia
http://dcm-workshop.org.uk/2015/

A satellite event of ICTAC 2015 - http://www.ictac2015.co

<http://www.ictac2015.co/>

DEADLINE FOR SUBMISSIONS: AUGUST 3, 2015
======================================================

Several new models of computation have emerged in the last few years, and
many developments of traditional computational models have been proposed
with the aim of taking into account the new demands of computer systems
users and the new capabilities of computation engines. A new computational
model, or a new feature in a traditional one, usually is reflected in a
new family of programming languages, and new paradigms of software
development.

DCM 2015 is the eleventh in a series of international workshops focusing
on new computational models. The aim of this workshop is to bring together
researchers who are currently developing new computational models or new
features for traditional computational models, in order to foster their
interaction, to provide a forum for presenting new ideas and work in
progress, and to enable newcomers to learn about current activities in
this area.

DCM 2015 will be a one-day satellite event of ICTAC 2015, the Twelfth
(Continue reading)

Christian Urban | 2 Mar 02:07 2015
Picon

LAST CALL FOR PAPERS: ITP 2015


The 6th International Conference on Interactive Theorem Proving

24 - 27 August 2015 in Nanjing, China

ITP is the premier international conference for researchers from all
areas of interactive theorem proving and its applications. It
represents the natural evolution of the TPHOLs conference series to
include research related to all other interactive theorem provers.

 *****************************************************
 *  http://www.inf.kcl.ac.uk/staff/urbanc/itp-2015/  *
 *****************************************************


Important Dates
---------------
Title & Abstract Submission:  9 March 2015
Full Paper Submission:       13 March 2015
Author Notification:           15 May 2015
Camera-Ready Papers due:       5 June 2015
Conference:            24 - 27 August 2015
Submission Page:       https://easychair.org/conferences/?conf=itp2015

Topics
------

ITP welcomes submissions describing original research on all aspects
of interactive theorem proving and its applications. Suggested topics
include but are not limited to the following:
(Continue reading)

Geoff Sutcliffe | 23 Feb 14:06 2015
Picon

LPAR-20 Call for Workshops

                 The 20th International Conference on 
     Logic for Programming, Artificial Intelligence and Reasoning 
                              LPAR-20

             University of the South Pacific, Suva, Fiji
                        http://www.LPAR-20.org

                          CALL FOR WORKSHOPS

LPAR-20 workshops will be held either as one-day or half-day events. If you
would like to propose a workshop for LPAR-20, please contact the workshop
chair via email (Peter.Baumgartner <at> nicta.com.au), by the proposal deadline.

To help planning, workshop proposals should contain the following data:

- Name of the workshop.
- Brief description of the workshop, including workshop topics.
- Valid web address of the workshop.
- Contact information of the workshop organizers.
- An estimate of the audience size.
- Proposed format of the workshop (for example, regular talks, tool demos,
  poster presentations, etc.).
- Duration of the workshop (one-day or half-day).
- Potential invited speakers (if any).
- Procedures for selecting papers and participants.
- Special technical or AV needs.

Important dates
---------------
Workshop proposals submission deadline:     May 15, 2015
(Continue reading)

Serge Autexier | 19 Feb 15:05 2015
Picon

CFP CICM 2015 - Deadline Extension

[Apologies if you have received multiple copies of this announcement]

Following a number of requests we have extended the submission deadlines
for CICM 2015 as follows:

                              OLD           NEW
Abstract submission deadline: Mon, 16 Feb   Wed, 25 Feb
Submission deadline:          Mon, 23 Feb   Mon,  2 Mar

Kind regards,
Manfred Kerber
--------------------------------------------------------------------------------

                              Call for Papers              

                Conference on Intelligent Computer Mathematics
                                 CICM 2015

                              13-17 July 2015
                            Washington DC, USA

Digital and computational solutions are becoming the prevalent means for the
generation, communication, processing, storage and curation of mathematical
information. Separate communities have developed to investigate and build
computer based systems for computer algebra, automated deduction, and
mathematical publishing as well as novel user interfaces. While all of these
systems excel in their own right, their integration can lead to synergies
offering significant added value. The Conference on Intelligent Computer
Mathematics (CICM) offers a venue for discussing and developing solutions 
to the great challenges posed by the integration of these diverse areas.
(Continue reading)

Alexander Perucci | 19 Feb 17:01 2015
Picon

FOCLASA 2015 - 1st Call For Papers

[Apologies for multiple postings]

-- First Call for Papers --

FOCLASA 2015: 14th International Workshop on Foundations of
Coordination Languages and Self-Adaptive Systems

http://foclasa.lcc.uma.es/

5 September 2014, Madrid (Spain)
In conjunction with CONCUR 2015
==============================================================

FOCLASA 2015 is a workshop colocated with the 25th International
Conference on Concurrency Theory (CONCUR 2015 -
http://mafalda.fdi.ucm.es/concur2015). The goal of the FOCLASA workshop
is to put together researchers and practitioners to share and identify
common problems, and to devise general solutions in the context of
coordination languages and self-adaptive systems.

== IMPORTANT DATES ==

3 June 2014: Deadline for abstract submission
7 June 2014: Deadline for paper submission
12 July 2014: Notifications
22 July 2014: Final versions
5 September 2015: Workshop in Madrid

== TOPICS OF INTEREST ==

* Theoretical models and frameworks for component and service
coordination, service composition, service adaptation and concurrent
system modeling.
* Applications and usability studies for the aforementioned theoretical
models, interaction and coordination challenges in decentralized
self-adaptive systems and various application domains.
* Languages and specification protocols for component and service
interaction, their semantics, expressiveness, validation and
verification, type checking, static and dynamic analysis.
* "Software as a Service" models (e.g., cloud computing) and dynamic
software architectures, such as self-adaptive and self-organizing systems.
* Service composition and coordination for Future Internet applications,
service orchestration and choreographies, related theories and methods,
and possible model-driven development approaches.
* Tools and environments for the development of concurrent and
customizable self-monitoring, self-adaptive and self-organizing
applications.
* Algorithms, mathematical models and realization frameworks for
quality-of-service observation, storage, history-based analysis in
self-adaptive systems (queuing models, load balancing, fault-tolerance
analysis, machine learning systems).
* Formal methods for self-adaptive systems, stochastic modeling and
analysis, reasoning under uncertainty, run-time synthesis.

In particular, practice, experience and methodologies from the following areas are solicited as well:

* Cloud computing
* Service-oriented computing
* Component-based systems
* Grid computing
* Large-scale distributed systems
* Multi-agent systems
* Peer-to-peer systems
* Networked embedded systems
* Business process modeling

Survey works analysing and comparing literature on the topics of 
FOCLASA are also welcome.

== PAPER SUBMISSION ==

Submissions must describe authors' original research work and their
results. Description of work-in-progress with concrete results is also
encouraged. The contributions should not exceed 15 pages in the EPTCS
style (http://style.eptcs.org/) and should be submitted as Portable
Document Format (PDF) files using the EasyChair submission site:

http://www.easychair.org/conferences/?conf=foclasa2015

Submitting an abstract does not put any obligation on the authors to
submit a full paper. Abstracts without an accompanying full paper by 
the paper submission deadline are automatically considered withdrawn.
The authors are, however, encouraged to explicitly withdraw their
abstract, if they decide not to submit a full paper.

All submissions will be reviewed by an international program committee
who will make a selection among the submissions based on the novelty,
soundness and applicability of the presented ideas and results.
Concurrent submission to other venues (conferences, workshops or
journal) and submission of papers under consideration elsewhere are not
allowed. A printed version of the proceedings will be distributed among
participants during the workshop. The proceedings of the workshop will
be published as a separate volume. Participants will give a presentation
of their papers in twenty minutes, followed by a ten-minute round of
questions and discussion on participants' work. Following the tradition
of the past editions, we plan to have a special issue of an
international scientific journal devoted to FOCLASA 2015. Selected
participants will be invited to submit an extended version of their
papers after the workshop. These extended versions will be reviewed by
an international program committee, which will decide on their final
publication on the special issue. In the last few editions of FOCLASA, a
special issue of Science of Computer Programming has been dedicated to
this workshop.


== PROGRAM COMMITTEE CHAIRS ==

* Jose Proenca
iMinds-Distrinet, KU Leuven, Belgium and
HASLab/INESC TEC, University of Minho, Portugal
jose.proenca <at> cs.kuleuven.be

* Massimo Tivoli
University of L'Aquila, L'Aquila, Italy
massimo.tivoli <at> univaq.it

== PUBLICITY CHAIR ==

* Alexander Perucci, University of L'Aquila, Italy

== PROGRAM COMMITTEE ==

* Farhad Arbab, CWI, The Netherlands
* Marco Autili, Univ. of L'Aquila, Italy
* Luis Barbosa, Universidade do Minho, Portugal
* Steffen Becker, University of Paderborn, Germany
* Javier Camara, Carnegie Mellon University, USA
* Carlos Canal, University of Malága, Spain
* Carlos Cuesta, Rey Juan Carlos University, Spain
* David Garlan, Carnegie Mellon University, USA
* Alfredo Goldmann, University of São Paulo, Brazil
* Keijo Heljanko, Aalto University, Finland
* Jean-Marie Jacquet, University of Namur, Belgium
* Christian Krause, SAP Innovation Center, Germany
* Sun Meng, Peking University, China
* Liliana Pasquale, University of Limerick, Ireland
* Jose Proenca, iMinds-Distrinet and HASLab/INESC TEC, KU Leuven, Belgium
* Marjan Sirjani, Reykjavik University, Iceland
* Carolyn Talcott, SRI International, USA
* Massimo Tivoli, University of L'Aquila, Italy
* Mirko Viroli, University of Bologna, Italy

== STEERING COMMITTEE ==

* Farhad Arbab, CWI, The Netherlands
* Antonio Brogi, University of Pisa, Italy
* Carlos Canal, University of Malága, Spain
* Jean-Marie Jacquet, University of Namur, Belgium
* Ernesto Pimentel, University of Malága, Spain
* Gwen Salaun, Grenoble INP - INRIA Grenoble - LIG, France

------------------------------------------------------------------------------
Download BIRT iHub F-Type - The Free Enterprise-Grade BIRT Server
from Actuate! Instantly Supercharge Your Business Reports and Dashboards
with Interactivity, Sharing, Native Excel Exports, App Integration & more
Get technology previously reserved for billion-dollar corporations, FREE
http://pubads.g.doubleclick.net/gampad/clk?id=190641631&iu=/4140/ostg.clktrk
_______________________________________________
hol-info mailing list
hol-info <at> lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/hol-info
Michael Winter | 18 Feb 15:02 2015
Picon

CALL FOR PhD/MSc Contributions (RAMiCS 2015)

                 
               1st CALL FOR PhD/MSc Contributions

                15th International Conference on
  Relational and Algebraic Methods in Computer Science (RAMiCS 2015)

          28 September to 1 October 2015, Braga, Portugal
                URL:  http://ramics2015.di.uminho.pt

The RAMiCS Conference is the main forum for Relational and Algebraic Methods in Computer Science.
Special focus lies on formal methods for software engineering, logics of programs and links with neighbouring disciplines.

If you are currently doing or know somebody doing a PhD or an MSc in the research areas of the RAMiCS
conference, then please consider submitting a short description of your ongoing work for
presentation at the conference (if accepted). This is an excellent opportunity to discuss your work
with leading experts in this field.

Submissions for the student session should take the form of extended abstracts. They must be
unpublished and not submitted for publication elsewhere. They need to be in English, in
postscript or pdf format, not exceeding 6 pages produced with LaTeX in Springer LNCS style to be found under http://www.springer.de/comp/lncs/authors.html.

Student papers will not be published in the conference proceedings - they will be bound into a technical
report to become available from RepositoriUM, the University of Minho's central on-line repository.

Send submissions to         mwinter.ca or jno.uminho.pt
Submission deadline 03 July 2015
Author Notification 17 July 2015
Programme Committee
-------------------

   Rudolf Berghammer     (Kiel, Germany)
   Jules Desharnais      (Laval U., Canada)
   Marcelo Frias         (Buenos Aires, Argentina)
   Steven Givant         (Mills College, USA)
   Hitoshi Furusawa      (Kagoshima, Japan)
   Timothy G. Griffin    (Cambridge, UK)
   Walter Guttmann       (Canterbury, New Zealand)
   Robin Hirsch          (London, UK)
   Peter Höfner          (NICTA, Australia)
   Ali Jaoua             (Doha, Qatar)
   Peter Jipsen          (Chapman U., USA)
   Wolfram Kahl          (McMaster U., Canada)
   Rodger Maddux         (Iowa State U., USA)
   Ali Mili              (NJIT, U. Heights, USA)
   Bernhard Möller       (U. Augsburg, Germany)
   Martin E. Müller      (U. Augsburg, Germany)
   José N. Oliveira      (U. Minho, Portugal; General chair)
   Ewa Orlowska          (Warsaw, Poland)
   Agnieszka Rusinowska  (Univ. Paris 1, France)
   Gunther Schmidt       (Munich, Germany)
   Renate Schmidt        (Manchester, UK)
   Isar Stubbe           (U. Littoral-Côte-d'Opale, France)
   Michael Winter        (Brock U., Canada; PC chair)

------------------------------------------------------------------------------
Download BIRT iHub F-Type - The Free Enterprise-Grade BIRT Server
from Actuate! Instantly Supercharge Your Business Reports and Dashboards
with Interactivity, Sharing, Native Excel Exports, App Integration & more
Get technology previously reserved for billion-dollar corporations, FREE
http://pubads.g.doubleclick.net/gampad/clk?id=190641631&iu=/4140/ostg.clktrk
_______________________________________________
hol-info mailing list
hol-info <at> lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/hol-info
Geoff Sutcliffe | 18 Feb 15:28 2015
Picon

LPAR-20 in Fiji - Call for Papers


                 The 20th International Conference on 
     Logic for Programming, Artificial Intelligence and Reasoning 
                              LPAR-20

                University of the Pacific, Suva, Fiji
                        http://www.LPAR-20.org

                          CALL FOR PAPERS

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 20th LPAR 
will be held at the University of the South Pacific, Suva, Fiji in 2015 
(see dates below).

==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.

Topics of interest include, but are not limited to:
+ Abduction and interpolation methods 
+ Automated reasoning
+ Constraint programming 	
+ Decision procedures
+ Description logics
+ Foundations of security
+ Hardware verification
+ Implementations of logic
+ Interactive theorem proving 	
+ Knowledge representation and reasoning
+ Logic and computational complexity 	
+ Logic and databases
+ Logic and games 	
+ Logic and machine learning
+ Logic and the web 	
+ Logic and types
+ Logic in artificial intelligence 	
+ Logic of distributed systems
+ Logic programming 	
+ Logical aspects of concurrency
+ Logical foundations of programming 	
+ Modal and temporal logics
+ Model checking 	
+ Non-monotonic reasoning
+ Ontologies and large knowledge bases 	
+ Probabilistic and fuzzy reasoning
+ Program analysis 	
+ Rewriting
+ Satisfiability checking 	
+ Satisfiability modulo theories
+ Software verification 	
+ Specification using logic
+ Unification theory 	

==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 must be electronically submitted in PDF via EasyChair:

https://easychair.org/conferences/?conf=lpar20

==Participation

Prospective authors are required to register a title and an abstract a week 
before the paper submission deadline (see below).

Authors of accepted papers are required to ensure that at least one of them 
will be present at the conference.

More details about the venue and organisation can be found on the conference 
website: http://www.LPAR-20.org

==Important Dates

Abstract Submission: 30 June
Paper Submission: 7 July
Notification: 23 August
Workshops: 23 November
Conference: 24-28 November

------------------------------------------------------------------------------
Download BIRT iHub F-Type - The Free Enterprise-Grade BIRT Server
from Actuate! Instantly Supercharge Your Business Reports and Dashboards
with Interactivity, Sharing, Native Excel Exports, App Integration & more
Get technology previously reserved for billion-dollar corporations, FREE
http://pubads.g.doubleclick.net/gampad/clk?id=190641631&iu=/4140/ostg.clktrk
Geoff Sutcliffe | 16 Feb 16:05 2015
Picon

ARW'15: Call for Abstracts and Grant Applications

------------------------------------------------------------------
      [ We apologise if you receive multiple copies ]
------------------------------------------------------------------

22nd  Automated Reasoning Workshop  (ARW'15)

      9-10 April 2015
  University of Birmingham

http://www.cs.bham.ac.uk/go/sdag/arw15/

CALL FOR ABSTRACTS AND STUDENT TRAVEL GRANT APPLICATIONS

GENERAL INFORMATION

The 22nd Automated Reasoning Workshop (ARW 2015) will be held
at the University of Birmingham on 9-10 April 2015.

SCOPE

The workshop provides an informal forum for the automated reasoning
community to discuss recent work, new ideas and applications, and
current trends. It aims to bring together researchers from all areas
of automated reasoning in order to foster links among researchers from
various disciplines; among theoreticians, implementers and users
alike.

Topics include but are not limited to:

- Theorem proving in classical and non-classical logics;
- Interactive theorem proving, logical frameworks, proof assistants,
  proof planning
- Reasoning methods:
  * Saturation-based, instantiation-based, tableau, SAT
  * Equational reasoning, unification
  * Constraint satisfaction
  * Decision procedures, SMT
  * Combining reasoning systems
  * Non-monotonic reasoning, commonsense reasoning,
  * Abduction, induction
  * Model checking, model generation, explanation
- Formal methods to specifying, deriving, transforming and verifying
  computer systems, requirements and software
- Logic-based knowledge representation and reasoning:
  * Ontology engineering and reasoning
  * Domain specific reasoning (spatial, temporal, epistemic,agents, etc)
- Logic and functional programming, deductive databases
- Implementation issues and empirical results, demos
- Practical experience and applications of automated reasoning

The workshop will be highly interactive, giving all attendees an
opportunity to participate. There will be sessions for displaying
posters and presenting system demonstrations, and open discussion
sessions organised around specific topics:

Inference and Systems Biology
and
Verification of Quantum Protocols

The discussion sessions will follow the invited lectures devoted to
these topics.

INVITED SPEAKERS

Oliver Ray
University of Bristol

Florian Kammueller
Middlesex University London and TU Berlin

SUBMISSIONS

We invite the submission of camera-ready, two-page extended abstracts
about recent work, work in progress, or a system description.  The
abstract can describe work that has already been published
elsewhere. The main objective of the abstracts is to spread
information about recent work in our community, and we expect to
accept most on-topic submissions, but we may ask for revisions.

Please send you submission via Easychair at
https://www.easychair.org/conferences/?conf=arw15

To prepare your submission, please use the ARW LaTeX style file
provided from the workshop website. Each submission should include the
names and complete addresses (including email) of all authors.  For
the final versions we require all sources (tex file and any input
files).

PUBLICATION DETAILS

Abstracts will be published in informal workshop notes and will be
made available on the workshop page.

PRESENTATIONS

Each workshop participant will be asked to give a short talk (5-10
minutes) to introduce their research. Each participant will also be
allocated space in a poster session (poster size up to A0), where they
can further present and discuss their work. Please prepare posters for
the event.

STUDENT GRANTS

We have a limited number of grants available to support PhD students
in attending the event. If you are interested submit an application by
27 February. Please refer to the workshop website for details.

IMPORTANT DATES

  27 Feb 2015  Student grant application deadline
   9 Mar 2015  Abstract submission deadline
  13 Mar 2015  Abstract notification
  20 Mar 2015  Final version due
9/10 Apr 2015  Workshop

ARW ORGANISING COMMITTEE

Alexander Bolotov
Simon Colton
David Crocker
Louise Dennis
Clare Dixon
Jacques Fleuriot
Ullrich Hustadt
Mateja Jamnik
Katya Komendantskaya
Alice Miller
Renate Schmidt
Volker Sorge

LOCAL ORGANISERS

Volker Sorge

CONTACT
Please address any queries about the workshop to
arw15 <at> easychair.org.

------------------------------------------------------------------------------
Download BIRT iHub F-Type - The Free Enterprise-Grade BIRT Server
from Actuate! Instantly Supercharge Your Business Reports and Dashboards
with Interactivity, Sharing, Native Excel Exports, App Integration & more
Get technology previously reserved for billion-dollar corporations, FREE
http://pubads.g.doubleclick.net/gampad/clk?id=190641631&iu=/4140/ostg.clktrk
Geoff Sutcliffe | 19 Feb 19:50 2015
Picon

TABLEAUX 2015 - Call for Papers

                     FIRST CALL FOR PAPERS 

                         TABLEAUX 2015

         23rd International Conference on Automated Reasoning with
                Analytic Tableaux and Related Methods

                Wroclaw, Poland, September 21-24, 2015

                   http://tableaux2015.ii.uni.wroc.pl/

GENERAL INFORMATION
   TABLEAUX 2015 is the 23rd in the series of international meetings
   on Automated Reasoning with Analytic Tableaux and Related Methods,
   and will be held in Wroclaw, Poland, during September 21-24, 2015.

   TABLEAUX 2015 will be co-located with the 10th International Symposium
   on Frontiers of Combining Systems (FroCoS 2015).

   The computer science institute of Wroclaw has a large experience
   in hosting international conferences. It has hosted 
   the IEEE Symposium on Logic in Computer Science (LICS 2007), 
   the 23rd International Conference on Automated Deduction 
   (CADE 2011), and the 22nd European Symposium on Algorithms (ALGO 2014).

TOPICS
   Tableaux methods offer a convenient and flexible set of tools 
   for automated reasoning in classical logic, extensions of classical
   logic, and a large number of non-classical logics. For large 
   groups of logics, tableaux methods can be generated automatically. 
   Areas of application include verification of software and computer
   systems, deductive databases, knowledge representation and its required 
   inference engines, teaching, and system diagnosis.
   The conference series aims to bring together researchers interested in all
   aspects of tableaux - theoretical foundations, applications, 
   and implementation techniques. 

     * tableaux methods for classical and non-classical logics 
       (e.g. modal, temporal, description, intuitionistic, substructural, 
       fuzzy, paraconsistent logics) and their proof theoretic 
       foundations.
     * related methods (model elimination, model checking, connection
       methods, resolution, BDDs).
     * sequent calculi for classical and non-classical logics,
       as tools for proof search and proof representation. 
     * flexible, easily extendable, light weight methods for theorem proving.
     * novel types of calculi for theorem proving and verification
       in classical and non-classical logics.
     * systems, tools, implementations and applications (provers,
       logical frameworks, model checkers, ... ).
     * implementation techniques (data structures, efficient algorithms,
       performance measurement, extendibility, ... ).
     * extensions of tableaux procedures with conflict-driven learning, 
       generation of proofs; compact (or humanly readable) representation
       of proofs. 
     * decision procedures, theoretically optimal procedures.
     * applications of automated deduction to mathematics, software 
       development, protocol verification, or teaching. 

   TABLEAUX 2015 also welcomes papers describing applications of tableaux
   procedures to real world examples. Such papers should be tailored to 
   the tableaux community and should focus on the role of reasoning, 
   and logical aspects of the solution.

SUBMISSIONS
   Submissions are invited in two categories:

     A  Research papers, which describe original theoretical research, 
        original algorithms, or applications, with length 
        up to 15 pages.
     B  System descriptions, with length up to 10 pages.

   Submissions will be reviewed by the PC, possibly will help of
   external reviewers, taking into account readability, relevance
   and originality.

   For category A, theoretical results and algorithms must be original,
   and not submitted for publication elsewhere. Submissions will be reviewed 
   taking into account correctness, theoretical prettyness, and possible
   implementability. 

   For category B submissions, a working implementation 
   must be available on the internet, which includes sources. 
   The aim of a system description is to make the system available
   in such a way that users can use it, understand it, and build on it.

   Accepted papers in both categories will be published in the conference 
   proceedings (within the LNAI series of Springer).

   For accepted papers in both of the categories, at least one author 
   is required to attend the conference and present the paper. 

   Further information and instructions about submissions can be found
   on the conference website http://tableaux2015.ii.uni.wroc.pl

IMPORTANT DATES

Abstract submission deadline:             May 8th,   2015
Paper submission deadline:                May 15th,  2015
Author Notification:                      July 1st,  2015
Final Version:                            July 17th  2015 
Conference:                     September 21st-24th, 2015

PROGRAM COMMITTEE
-----------------

   Marc Bezem, University of Bergen, Norway 
   Agata Ciabattoni, Vienna University of Technology, Austria
   David Delayahe, National Conservatory of Arts and Professions, Paris, France
   Ulrich Furbach, University of Koblenz, Germany
   Didier Galmiche, Universite de Lorraine, Nancy, France
   Silvio Ghilardi, Universita degli Studi di Milano, Italy
   Rajeev Gore, Australian National University, Canberra, Australia
   Stephane Graham-Lengrand, Ecole Polytechnique, Palaiseau, France
   Reiner Haehnle, Darmstadt University of Technology, Germany
   Konstantin Korovin, University of Manchester, UK
   George Metcalfe, University of Bern, Switzerland
   Dale Miller, INRIA Saclay-Ile-de-France, France
   Barbara Morawska, Technische Universitaet Dresden, Germany
   Boris Motik, University of Oxford, UK
   Claudia Nalon, University of Brasilia, Brasil
   Sara Negri, University of Helsinki, Finland
   Linh Anh Nguyen, University of Warsaw, Poland
   Hans de Nivelle (chair), University of Wroclaw, Poland
   Jens Otten, University of Potsdam, Germany
   Andrei Popescu, Middlesex University London, UK
   Renate Schmidt, University of Manchester, UK
   Luca Vigano, King's College, London, UK
   Bruno Woltzenlogel-Paleo, Vienna University of Technology, Austria 

WORKSHOPS AND TUTORIALS
------------------------

Workshops have been solicited in separate call, which can
be found on http://tableaux2015.ii.uni.wroc.pl or
http://frocos2015.ii.uni.wroc.pl

Tutorials for FroCoS/TABLEAUX will be solicited in a separate call, which
will be published later. 

------------------------------------------------------------------------------
Download BIRT iHub F-Type - The Free Enterprise-Grade BIRT Server
from Actuate! Instantly Supercharge Your Business Reports and Dashboards
with Interactivity, Sharing, Native Excel Exports, App Integration & more
Get technology previously reserved for billion-dollar corporations, FREE
http://pubads.g.doubleclick.net/gampad/clk?id=190641631&iu=/4140/ostg.clktrk
Julian Tschannen | 20 Feb 14:08 2015
Picon

Special Promotion: LASER Summer School 2015 --- Concurrency: the next frontiers

LASER Summer School on Software Engineering

Concurrency: the next frontiers
September 6-12, 2015 - Elba Island, Italy

http://laser.inf.ethz.ch/2015/

Application deadline: March 31, 2015

Special Promotion
------------------------

Three registrations for the price of two. If your institution registers
three people for LASER, you only have to pay the registration fee
for two of them. All three people still have to pay their accommodation.

Goals
--------

The LASER summer school, organized by the ETH Chair of Software
Engineering, brings together the concepts and practice of software
engineering in the idyllic setting of the Elba Island off the coast of
Tuscany, easily reachable by air, car, bus or train.

The LASER school is intended for professionals from the industry
(engineers and managers) as well as university researchers, including
PhD students. Participants learn about the most important software
technology advances from the pioneers in the field. The school's focus
is applied, although theory is welcome to establish solid foundations.
The format of the school favors extensive interaction between
participants and speakers.

Topic and speakers
-------------------------

Concurrent and parallel computation is the locus of many of the
toughest challenges in computer science and software engineering.
The school brings together concurrency experts representing many
different approaches and views, and presents their answers to these
challenges. It is a unique opportunity to familiarize yourself with
the most important results in concurrency and get familiar with
work at the frontier of concurrency research.

The speakers are among the most respected experts in the field:

- Manfred Broy, TU München
- Maurice Herlihy, Brown University
- Jeff Kramer, Imperial College London
- Bertrand Meyer, ETH Zürich
- Jayadev Misra, University of Texas
- David Parnas, Middle Road Software, Inc

How to apply?
-----------------

Use the online registration form available on the LASER website
http://laser.inf.ethz.ch/2015. Registration is open until March 31,
2015. The number of participants is strictly limited to ensure quality
interaction with the lecturers and the rest of the audience. For more
information, visit our website or contact the organizers: se-laser at
lists.inf.ethz.ch

Venue
--------

The school takes place at the magnificent Hotel del Golfo
(http://www.hoteldelgolfo.it/) in Golfo di Procchio, Elba. Along with an
intensive scientific program, participants will have time to enjoy the
natural and cultural riches of this history-laden jewel of the
Mediterranean.

------------------------------------------------------------------------------
Download BIRT iHub F-Type - The Free Enterprise-Grade BIRT Server
from Actuate! Instantly Supercharge Your Business Reports and Dashboards
with Interactivity, Sharing, Native Excel Exports, App Integration & more
Get technology previously reserved for billion-dollar corporations, FREE
http://pubads.g.doubleclick.net/gampad/clk?id=190641631&iu=/4140/ostg.clktrk
_______________________________________________
hol-info mailing list
hol-info <at> lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/hol-info

Gmane