VSTTE Conference | 23 Apr 11:20 2015
Picon

Extended Deadline (May 1), VSTTE'15

[apologies for cross posting]

**********************************************************************
7th Working Conference on Verified Software: Theories, Tools, and Experiments
July 18 - 19, 2015
San Francisco, California, USA

Co-located with 25th Conference on Computer Aided Verification
**********************************************************************

Abstract submission: Extended to April 27, 2015
Full Paper Submission Deadline: Extended to May 1, 2015


SCOPE:

The Seventh Working Conference on Verified Software: Theories, Tools,
and Experiments follows a successful inaugural working conference at
Zurich in 2005 followed by conferences in Toronto (2008), Edinburgh
(2010), Philadelphia (2012), Atherton (2013), and Vienna (2014). The
goal of this conference is to advance the state of the art in the
science and technology of software verification, through the
interaction of theory development, tool evolution, and experimental
validation.

We welcome submissions describing significant advances in the
production of verified software, i.e., software that has been
proved to meet its functional specifications.  We are
especially interested in submissions describing large-scale
verification efforts that involve collaboration, theory unification,
tool integration, and formalized domain knowledge.  We welcome papers
describing novel experiments and case studies evaluating verification
techniques and technologies.  Topics of interest include education,
requirements modeling, specification languages,
specification/verification case-studies, formal calculi, software
design methods, automatic code generation, refinement methodologies,
compositional analysis, verification tools (e.g., static analysis, dynamic
analysis, model checking, theorem proving, satisfiability), tool
integration, benchmarks, challenge problems, and integrated
verification environments.


PAPER SUBMISSION

Papers will be evaluated by at least three members of the
Program Committee. We are accepting both long (limited to 16 pages)
and short (limited to 10 pages) paper submissions, written in English.
Short submissions also cover Verification Pearls describing an
elegant proof or proof technique.  Submitted research papers and
system descriptions must be original and not submitted for publication
elsewhere.

Research paper submissions must be in LNCS format and must
include a cogent and self-contained description of the ideas, methods,
results, and comparison to existing work.  Submissions of theoretical,
practical, and experimental contributions are equally encouraged,
including those that focus on specific problems or problem domains.

Papers should be submitted through:


Submissions that arrive late, are not in the proper format, or are too
long will not be considered.  The post-conference proceedings of VSTTE
2015 will be published by Springer-Verlag in the LNCS series.  Authors
of accepted papers will be requested to sign a form transferring
copyright of their contribution to Springer-Verlag.  The use of LaTeX
and the Springer LNCS class files, obtainable
encouraged.

PUBLICATION

Accepted  papers will be  published as post-Proceedings, to
appear in Springer's Lectures Notes in Computer Science.

IMPORTANT DATES:

Abstract submission: Extended to April 27, 2015
Full paper submission: Extended to May 1, 2015
Notification: June 8, 2015


ORGANIZATION:
General Chair:          
Martin Schaef (SRI International)

Program Chairs: 
Arie Gurfinkel (Software Engineering Institute, Carnegie Mellon University)
Sanjit A. Seshia (University of California, Berkeley)

Publicity Chair:        
Daniel Bundala (University of California, Berkeley)

PROGRAM COMMITTEE:
Elvira Albert (Complutense University of Madrid)
Nikolaj Bjorner (Microsoft Research)
Evan Chang (University of Colorado, Boulder)
Ernie Cohen (University of Pennsylvania)
Jyotirmoy Deshmukh (Toyota)
Jin Song Dong (National University of Singapore)
Vijay D'Silva (Google)
Vijay Ganesh (University of Waterloo)
Alex Groce (Oregon State)
Arie Gurfinkel (Software Engineering Institute, Carnegie Mellon University) (co-chair)
Bill Harris (Georgia Institute of Technology)
Chris Hawblitzel (Microsoft Research)
Bart Jacobs (Katholieke Universiteit Leuven, Belgium)
Susmit Jha (United Technologies)
Rajeev Joshi (Laboratory for Reliable Software, Jet Propulsion Laboratory)
Vladimir Klebanov, Karlsruhe Institute of Technology, DE
Akash Lal (Microsoft Research India)
Ruzica Piskac (Yale)
Zvonimir Rakamaric (University of Utah)
Kristin Yvonne Rozier (University of Cincinnati)
Sanjit A. Seshia (UC Berkeley) (co-chair)
Natarajan Shankar (SRI)
Carsten Sinz (KIT)
Nishant Sinha (IBM Research Labs)
Alexander Summers (ETH Zurich)
Zachary Tatlock (University of Washington)
Sergey Tverdyshev (Sysgo AG)
Arnaud Venet (CMU / NASA Ames Research Center)
Karen Yorav (IBM Haifa Research Lab)

**********************************************************************
Please contact vstte2015 <at> easychair.org  for further information
**********************************************************************
------------------------------------------------------------------------------
One dashboard for servers and applications across Physical-Virtual-Cloud 
Widest out-of-the-box monitoring support with 50+ applications
Performance metrics, stats and reports that give you Actionable Insights
Deep dive visibility with transaction tracing using APM Insight.
http://ad.doubleclick.net/ddm/clk/290420510;117567292;y
_______________________________________________
hol-info mailing list
hol-info <at> lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/hol-info
Geoff Sutcliffe | 22 Apr 16:22 2015
Picon

TABLEAUX - Call for Papers

                     SECOND CALL FOR PAPERS 

                         TABLEAUX 2015

         24th 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 24th 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 24th 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 Delahaye, 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. 

------------------------------------------------------------------------------
One dashboard for servers and applications across Physical-Virtual-Cloud 
Widest out-of-the-box monitoring support with 50+ applications
Performance metrics, stats and reports that give you Actionable Insights
Deep dive visibility with transaction tracing using APM Insight.
http://ad.doubleclick.net/ddm/clk/290420510;117567292;y
Xinyu Feng | 22 Apr 05:37 2015
Picon

APLAS 2015: Call for Papers

*********************************************************************
APLAS 2015, Call for Papers
13th Asian Symposium on Programming Languages and Systems
Pohang, Korea, November 30 - December 2, 2015
*********************************************************************

*IMPORTANT DATES*
Submission deadline: June 5, 2015 
Author notification: August 17, 2015
Final version: September 7, 2015
Conference: November 30 - December 2, 2015

*INVITED SPEAKERS*
Peter O'Hearn, Facebook
Sukyoung Ryu, KAIST
Eran Yahav, Technion
Hongseok Yang, University of Oxford

*ABOUT*
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.

APLAS is sponsored by the  Asian Association for Foundation of 
Software (AAFS), founded by Asian researchers in cooperation with 
many researchers from Europe and the USA. Past APLAS symposiums were 
successfully held in Singapore ('14), Melbourne ('13), Kyoto ('12), 
Kenting ('11),  Shanghai ('10),  Seoul ('09),  Bangalore ('08), 
Singapore ('07),  Sydney ('06),  Tsukuba ('05),  Taipei ('04)  and 
Beijing ('03) after three informal workshops. Proceedings of the past 
symposiums were published in Springer's LNCS.

*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
Topics are not limited to those discussed in previous symposiums. 
Papers identifying future directions of programming and those 
addressing the rapid changes of the underlying computing platforms 
are especially welcome. Demonstration of systems and tools in the 
scope of APLAS are welcome to the System and Tool presentations 
category. Authors concerned about the appropriateness of a topic are 
welcome to consult with program chair prior to submission.

*SUBMISSION*
We solicit submissions in two categories:
a) Regular research papers
 - describing original scientific research results, including tool 
   development and case studies. Regular research papers should not 
   exceed 18 pages in the Springer LNCS format, including 
   bibliography and figures. They should clearly identify what has 
   been accomplished and why it is significant. Submissions will be 
   judged on the basis of significance, relevance, correctness, 
   originality, and clarity. In case of lack of space, proofs, 
   experimental results, or any information supporting the technical 
   results of the paper could be provided as an appendix or a link to 
   a web page, but reviewers are not obliged to read them.
b) System and tool presentations
 - describing systems or tools that support theory, program 
   construction, reasoning, or program execution in the scope of 
   APLAS. System and Tool presentations are expected to be centered 
   around a demonstration. The paper and the demonstration should 
   identify the novelties of the tools and use motivating examples. 
   System and Tool papers should not exceed 8 pages in the Springer 
   LNCS format, including bibliography and figures. Submissions will 
   be judged based on both the papers and the described systems or 
   tools. It is highly desirable that the tools are available on the 
   web.
Submitted papers must be unpublished and not submitted for 
publication elsewhere. Papers must be written in English. 
The proceedings will be published as a volume in Springer's 
LNCS series. Accepted papers must be presented at the conference.

*ORGANIZERS*
General Chair:
Sungwoo Park (Pohang Univ. of Science and Technology (POSTECH), Korea)

Program Chair:
Xinyu Feng (Univ. of Science and Technology of China, China)

Program Committee:
James Brotherston (Univ. College London, UK)
James Cheney (Univ. of Edinburgh, UK)
Huimin Cui (Institute of Computing Technology, CAS, China)
Mike Dodds (Univ. of York, UK)
Xinyu Feng (Univ. of Science and Technology of China, China)
Nate Foster (Cornell Univ., USA)
Alexey Gotsman (IMDEA Software Institute, Spain)
Aquinas Hobor 
(School of Computing, National Univ. of Singapore / Yale-NUS College)
Chung-Kil Hur (Seoul National Univ., Korea)
Radha Jagadeesan (DePaul Univ., USA)
Annie Liu (Stony Brook Univ., USA)
Andreas Lochbihler (ETH Zurich, Switzerland)
Santosh Nagarakatte (Rutgers Univ., USA)
David A. Naumann (Stevens Inst. of Tech., USA)
Michael Norrish (NICTA, Australia)
Hakjoo Oh (Seoul National Univ., Korea)
Murali Krishna Ramanathan (Indian Institute of Science, India)
Xavier Rival (CNRS / ENS / INRIA, France)
Kohei Suenaga (Kyoto Univ., Japan)
Gang Tan (Lehigh Univ., USA)
Alwen Tiu (Nanyang Technological University, Singapore)
Martin Vechev (ETH Zurich, Switzerland)
Bow-Yaw Wang (Academia Sinica, Taiwan)
Nobuko Yoshida (Imperial College London, UK)
Lijun Zhang (Institute of Software, CAS, China)

------------------------------------------------------------------------------
BPM Camp - Free Virtual Workshop May 6th at 10am PDT/1PM EDT
Develop your own process in accordance with the BPMN 2 standard
Learn Process modeling best practices with Bonita BPM through live exercises
http://www.bonitasoft.com/be-part-of-it/events/bpm-camp-virtual- event?utm_
source=Sourceforge_BPM_Camp_5_6_15&utm_medium=email&utm_campaign=VA_SF
_______________________________________________
hol-info mailing list
hol-info <at> lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/hol-info
Serge Autexier | 21 Apr 09:10 2015
Picon

CICM 2015 - Call for Work-in-Progress Papers

                   Call for Work-in-Progress 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.

CICM has been held annually as a joint meeting since 2008, co-locating
related   conferences  and   workshops  to   advance  work   in  these
subjects. Previous  meetings have been  held in Birmingham  (UK 2008),
Grand Bend (Canada 2009), Paris (France 2010), Bertinoro (Italy 2011),
Bremen (Germany 2012), Bath (UK 2013), and Coimbra (Portugal 2014).

This is a (short version of  the) call for Work-in-Progress papers for
CICM 2015,  which will be held  in Washington, D.C., 13-17  July 2015.
We  solicit  for  papers  which  describe  work  in  progress,  recent
developments, and other work of interest to our communities which does
not yet have the maturity for archival proceedings.

The full version of the CFP  is available from the conference web page
at http://cicm-conference.org/2015/cicm.php

**********************************************************************
The principal tracks of the conference will be:
**********************************************************************

* Calculemus (Symbolic Computation and Mechanised Reasoning)
  Chair: Jacques Carette
* DML (Digital Mathematical Libraries)
  Chair: Volker Sorge
* MKM (Mathematical Knowledge Management)
  Chair: Cezary Kaliszyk
* Systems and Data
  Chair: Florian Rabe

Publicity  chair is  Serge Autexier.  The local  arrangements will  be
coordinated  by  the  Local   Arrangements  Chairs,  Bruce  R.  Miller
(National  Institute  of  Standards  and Technology,  USA)  and  Abdou
Youssef (The George Washington  University, Washington, D.C.), and the
overall programme  will be organized  by the General  Programme Chair,
Manfred Kerber (U. Birmingham, UK).

**********************************************************************
Important Dates
**********************************************************************

Work-in-progress and Doctoral Programme submissions:
Submission deadline:
Full Work-in-Progress submission*   4 May      2015
Notification of acceptance:        25 May      2015
Camera ready copies due:            1 June     2015
Conference:                     13-17 July     2015

* or for the Doctoral Programme: Abstract+CV

More detailed  information, e.g. on  submission via EasyChair,  can be
found on http://cicm-conference.org/2015/cicm.php

------------------------------------------------------------------------------
BPM Camp - Free Virtual Workshop May 6th at 10am PDT/1PM EDT
Develop your own process in accordance with the BPMN 2 standard
Learn Process modeling best practices with Bonita BPM through live exercises
http://www.bonitasoft.com/be-part-of-it/events/bpm-camp-virtual- event?utm_
source=Sourceforge_BPM_Camp_5_6_15&utm_medium=email&utm_campaign=VA_SF
Iain Whiteside | 21 Apr 10:58 2015
Picon
Picon

AI4FM 2015: Call for Short Contributions

-------------------------------------------------
AI4FM 2015 - the 6th International Workshop on
the use of AI in Formal Methods

  http://www.ai4fm.org/ai4fm-2015/

Edinburgh, 1st September, 2015
In association with AVoCS 2015
https://sites.google.com/site/avocs15
-------------------------------------------------
  --- First Call for Contributions ---

Important Dates
---------------
Submission deadline: 1st August, 2015
Notification of acceptance: 10th August, 2015
Final version due: 21st August, 2015
Workshop: 1st September, 2015

General
---------------
This workshop will bring together researchers from formal methods, 
automated reasoning and AI; it will address the issue of how AI can 
be used to support the formal software development process, including 
requirement analysis, modelling and proof. Previous AI4FM workshops 
have included a mix of industrial and academic participants and we 
anticipate attracting a similarly diverse audience. 

Rigorous software development using formal methods allows the construction 
of an accurate characterisation of a problem domain that is firmly based 
on mathematics; by applying standard mathematical analyses, these methods 
can be used to prove that systems satisfy formal specifications. Research 
has shown that with tools backed by mature theory, formal methods are 
becoming cost effective and their use is easier to justify, not as an 
academic exercise, legal requirement or niche markets -- but as part of 
a business case. However, while industrial use of formal methods is 
increasing, in order to make it more mainstream, the cost of applying 
formal methods, in terms of mathematical skill level and development 
time, must still be reduced. We believe that AI can help with these 
issues.

Scope
---------------
We encourage submissions presenting work in progress, tools under
development, and PhD projects, in order that the workshop can become 
a forum for active dialogue between the groups involved in  automated 
reasoning, formal methods and artificial intelligence.  Particular 
areas of interest include, but are not limited to:

- The use of AI and automated reasoning to support and guide the formal 
modelling process.
- The use of AI and automated reasoning in the requirement capture process.
- The use of AI to reuse formal models, programs and proofs.
- The use of machine learning to support interactive theorem proving.
- The use of machine learning to enhance automated theorem proving.
- The development of search heuristics.
- The use of AI for term synthesis, invariant generation, lemma discovery 
and concept invention.
- The use of AI for counter-example generation.
- The use of constraint solvers in formal methods. 
- The role of AI planning for formal systems developments, from requirements 
to the end product (including software and hardware).
- The interplay between reasoning and modelling and the role of AI in this 
framework.
- Ontologies in the formal engineering process.
- Novel ideas on how to use AI (e.g. machine learning, pattern recognition) 
in proof automation.
- Use of cloud elasticity for: scalability on large scale developments, 
proof/lemma exploration.
- Techniques for bridging the development to maintenance gap.

We want to continue the area of research beyond our sponsored project 
(at Newcastle and Edinburgh universities), which has come to an end.
This means we would particularly encourage the submission of position 
papers on new ideas or research directions for the use of AI techniques 
in the proof discovery process as well as in modelling best practices. 

Student grants
---------------

Thanks to sponsorships from FME and SICSA we can offer financial support 
for a limited number of students registering for AVoCS in the form of a 
registration fee waiver (full or partial). As this is limited, we ask the students 
that would like to take the advantage of this support to submit a short application. 
The details on how to apply will be available in due course from the AVoCS 
webpage.

History
---------------
This will be the fifth workshop in the series. Previous workshops were held at:
- Singapore, May 2014  <at>  FM (www.ai4fm.org/ai4fm-2014/)
- Rennes, France, July 2013  <at>  ITP (www.ai4fm.org/ai4fm-2013/)
- Schloss Dagstuhl, Germany, July 2012 (www.dagstuhl.de/12271)
- Edinburgh, UK, April 2011 (www.ai4fm.org/ai4fm-2011.php)
- Newcastle, UK, May 2010 (www.ai4fm.org/ko-meeting.php)

Submission
---------------
The main aim for the workshop is discussion, thus submissions do not 
need to be original. Extended versions of submissions may have been 
published previously, or submitted concurrently with or after AI4FM 
2015 to another workshop, conference or a journal.

Submission is by email to:

ai4fm2015 <at> ai4fm.org

Please submit an abstract up to 3 pages in a PDF format. The extended 
abstracts will be handed out to all participants, and will be made 
into a technical report prior to the workshop. 

Acceptance for presentation at the workshop will be made by the 
organisers based on relevance to the workshop.

Organisers
---------------
* Leo Freitas (Newcastle University, UK)
* Iain Whiteside (University of Edinburgh, UK)
* Gudmund Grov (Heriot Watt University, UK)

Contact Details
----------------
If you have any queries, please email the organisers at the following 
email address:

ai4fm2015 <at> ai4fm.org
------------------------------------------------------------------------------
BPM Camp - Free Virtual Workshop May 6th at 10am PDT/1PM EDT
Develop your own process in accordance with the BPMN 2 standard
Learn Process modeling best practices with Bonita BPM through live exercises
http://www.bonitasoft.com/be-part-of-it/events/bpm-camp-virtual- event?utm_
source=Sourceforge_BPM_Camp_5_6_15&utm_medium=email&utm_campaign=VA_SF
Michael Winter | 15 Apr 20:02 2015
Picon

2nd CALL FOR PhD/MSc Contributions (RAMiCS 2015)

----------------------------------------------------------------------------------

               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

            ======= Student Track (PhD / MSc) ======= 

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

----------------------------------------------------------------------------------               

------------------------------------------------------------------------------
BPM Camp - Free Virtual Workshop May 6th at 10am PDT/1PM EDT
Develop your own process in accordance with the BPMN 2 standard
Learn Process modeling best practices with Bonita BPM through live exercises
http://www.bonitasoft.com/be-part-of-it/events/bpm-camp-virtual- event?utm_
source=Sourceforge_BPM_Camp_5_6_15&utm_medium=email&utm_campaign=VA_SF
_______________________________________________
hol-info mailing list
hol-info <at> lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/hol-info
Jean-Pierre Talpin | 13 Apr 16:49 2015
Picon
Picon

[Memocode] ACM-IEEE MEMOCODE’14 — PRELIMINARY CALL FOR PAPERS

To unsubscribe, just enter your email address at the bottom of the following page:  https://lists.cs.columbia.edu/mailman/listinfo/memocode
and click "Unsubscribe or edit options."
On the next page, just click "Unsubscribe." You do not have to register or enter a password.

Unsubscribe: <mailto:memocode-unsubscribe <at> lists.cs.columbia.edu>

Thirteenth ACM/IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE 2015)
University of Texas at Austin, 21-23 September 2015.
Collocated with Formal Methods in Computer-Aided Design (FMCAD 2015)
URL: http://www.memocode-conference.com

The 13th ACM-IEEE International Conference on Methods and Models for System Design (MEMOCODE’15) will
be held at the University of Texas at Ausin,  21-23 September 2015. This year, for the second time,
MEMOCODE’15 will be collocated with FMCAD'15, the 15th Conference on Formal Methods in
Computer-Aided Design, SAT'15, the 18th International Conference on Theory and Applications of
Satisfiability Testing, DIFTS'15, the International Workshop on Design and Implementation of Formal
Tools and Systems, and ACL2'15, the 13th International Workshop on the ACL2 Theorem Prover and Its
Applications. MEMOCODE’15 provides an excellent venue for researchers working on formal methods for
CAD, and methodologies and models for embedded hardware and/or software design.

Over the last decade, the boundaries between computer system components, such as  hardware, software,
firmware, middleware, and applications, have blurred. This evolution in system design and development
practices led in 2014 to a change in the title and scope of the MEMOCODE conference from its original focus
on hardware/software co-design to its new focus on formal methods and models for developing computer
systems and their components. MEMOCODE’s objective is to emphasize the importance of models and
methodologies in correct system design and development, and to bring together researchers and industry
practitioners interested in all aspects of computer system development, to exchange ideas, research
results and lessons learned.

TOPICS

MEMOCODE 2015 seeks research contributions on all aspects of methods and models for system, hardware, and
software design and development: formal foundations, engineering methods, tools, and experimental
case studies. Research areas of interest include but are not limited to the following:

- Modeling Languages, Methods and Tools:  Programming languages and models; software and system modeling
languages; architecture and high-level hardware description languages; timing models; model and
program synthesis methods; model transformation methods

- Formal Methods and Tools: Correct-by-construction; static, dynamic, and type theoretic analysis;
verification; validation; test generation; platform-based design; refinement-based,
component-based, and compositional approaches to design and verification

- Models and Methods for Developing Critical Systems:  Fault-tolerant systems; security-critical and
safety-critical systems; cyber-physical systems; autonomous and unmanned systems; assurance cases

- Quantitative/Qualitative Reasoning: Power/performance/cost/latency trade-off methods; power
models; reasoning techniques, data mining, and other analytical methods for predicting
power/performance; system models for quantitative design space exploration

- Formal Methods/Models in Practice:  Design case studies; empirical case studies

SUBMISSIONS

Submit technical papers through Easychair. Submissions must be no longer than 10 pages, written in
English and formatted following IEEE Computer Society guidelines. They must describe original work
that does not overlap a publication, or submission under review or accepted for publication by another
conference or journal. For questions regarding technical submissions, contact C. Heitmeyer or E.
Leonard ({constance.heitmeyer, elizabeth.leonard} <at> nrl.navy.mil).  Accepted papers will be
published as IEEE conference proceedings and in IEEE Xplore. Selected papers will be invited for
publication in a special issue of ACM Trans. on Embedded Computing Systems.

DESIGN CONTEST

MEMOCODE has a long history of a successful co-design contest section. Even within this design contest, we
have seen an evolving trend. Initially the challenge problem started to be implemented as synthesis of
co-processors for co-designing a specific computation intensive system. Today, with GPUs, FPGA boards
and other flexible hardware add-ons, we often find even software solutions that compete well with the
purely co-processor based co-design solutions.

As in previous years, MEMOCODE'15 will include a design contest, which will pose a computational
challenge that participants may solve using hardware or software on FPGAs, GPUs, and CPUs. The
conference will sponsor at least one prize with a monetary award for the contest winners. Additionally,
each team delivering a complete and working solution will be invited to prepare an abstract and present it
at the conference, and the winning teams will be invited to contribute a short paper for presentation in
the conference program.

Detailed information on the design contest challenge will be made available on the conference website by
May 21, 2015.

DATES

  Abstract submission deadline:  			June 5, 2015
  Final submission deadline:				June 12, 2015 
  Notification sent to authors:			July 17, 2015
  Camera-ready copies due: 				August 7, 2015
  Conference: 					September 21-23 2015

ORGANIZATION

  General and Finance Chair: Andreas Gerstlauer, U. Texas, Austin
  Program Chairs: Constance Heitmeyer and Elizabeth Leonard, Naval Research Lab
  Design Contest Chair:  Peter Milder, Stony Brook U.
  Local Chair: Mohit Tiwari, U. Texas, Austin
  Publicity Chair: Jean-Pierre Talpin, INRIA
  Publications Chair: Yi Deng, Virginia Tech

_______________________________________________
Memocode mailing list
Memocode <at> lists.cs.columbia.edu
------------------------------------------------------------------------------
BPM Camp - Free Virtual Workshop May 6th at 10am PDT/1PM EDT
Develop your own process in accordance with the BPMN 2 standard
Learn Process modeling best practices with Bonita BPM through live exercises
http://www.bonitasoft.com/be-part-of-it/events/bpm-camp-virtual- event?utm_
source=Sourceforge_BPM_Camp_5_6_15&utm_medium=email&utm_campaign=VA_SF
_______________________________________________
hol-info mailing list
hol-info <at> lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/hol-info
Marco Bozzano | 16 Apr 13:03 2015
Picon

xSAP 1.0.0 has been released

The Embedded Systems Unit at Fondazione Bruno Kessler, Trento, Italy
is happy to announce the availability of

    xSAP 1.0.0

xSAP is a tool for safety assessment of synchronous finite-state and
infinite-state systems, based on symbolic model checking techniques.

xSAP provides the following main capabilities:

* Library-based specification of faults, fault effects, and fault
  dynamics

* Automatic model-extension with fault specifications

* Fault Tree Analysis (FTA) and generation of Minimal Cut Sets (MCS)
  for dynamic systems, for both the monotonic and non-monotonic case

* Failure Modes and Effects Analysis (FMEA)

* Fault propagation analysis based on Timed Failure Propagation Graphs
  (TFPG)

* Common Cause Analysis (CCA) 

xSAP is currently licensed in binary form, for non-commercial or
academic purposes.

Inquiries about other usages of xSAP should be addressed to

	  xsap <at> fbk.eu

The list of xSAP users is open for registration and discussion

          xsap-users <at> list.fbk.eu

Visit http://xsap.fbk.eu/ for more detailed information and download.

Other useful links:

* Feature requests and bug reports: http://es.fbk.eu/tools/xsap/index.php?n=BugReport.Home

------------------------------------------------------------------------------
BPM Camp - Free Virtual Workshop May 6th at 10am PDT/1PM EDT
Develop your own process in accordance with the BPMN 2 standard
Learn Process modeling best practices with Bonita BPM through live exercises
http://www.bonitasoft.com/be-part-of-it/events/bpm-camp-virtual- event?utm_
source=Sourceforge_BPM_Camp_5_6_15&utm_medium=email&utm_campaign=VA_SF
fabio.zanasi | 15 Apr 13:25 2015
Picon
Picon

CALCO Early Ideas 2015 : Call for Contributions


**********************************************************

    CALL FOR CONTRIBUTIONS: CALCO Early Ideas 2015

***********************************************************

           A satellite event of CALCO 2015

           6th International Conference on 
      Algebra and Coalgebra in Computer Science

             In cooperation with ACM SIGLOG

                 June 24 - 26, 2015

                Nijmegen, Netherlands

             http://coalg.org/calco15/ei.html

==========================================================

       Submission:            May 8, 2015
       Author notification:   May 22, 2015
       Final version:         June 5, 2015

==========================================================

The programme of CALCO 2015 will include special sessions reserved for the 
CALCO Early Ideas Workshop, featuring presentations of work in progress 
and original research proposals. PhD students and young researchers 
are particularly encouraged to contribute. Attendance at the workshop is 
open to all conference participants.

The CALCO Early Ideas Workshop invites submissions on the same topics as 
the CALCO conference: reporting results of theoretical work, the way these 
results can support methods and techniques for software development, as well 
as experience with the transfer of the resulting technologies into industrial 
practice.

CALCO Early Ideas presentations will be selected according to originality, 
significance, and general interest, on the basis of submitted 2-page short 
contributions. It can be work in progress, a summary of work submitted to 
a conference or workshop elsewhere, or work that in some other way might be 
interesting to the CALCO audience. A booklet with the accepted short 
contributions will be available at the workshop.

SUBMISSION INFORMATION

Submissions will be handled via the CALCO 2015 Early Ideas EasyChair site 

https://www.easychair.org/conferences/?conf=calco2015ei

and will be evaluated by the CALCO PC chairs. Submissions should be 
no more than 2 pages long in the format specified by LIPIcs. The volume of 
selected papers will be made available in the arXiv and on the CALCO pages. 
Authors will retain copyright, and are also encouraged to disseminate the 
results by subsequent publication elsewhere.

------------------------------------------------------------------------------
BPM Camp - Free Virtual Workshop May 6th at 10am PDT/1PM EDT
Develop your own process in accordance with the BPMN 2 standard
Learn Process modeling best practices with Bonita BPM through live exercises
http://www.bonitasoft.com/be-part-of-it/events/bpm-camp-virtual- event?utm_
source=Sourceforge_BPM_Camp_5_6_15&utm_medium=email&utm_campaign=VA_SF
VSTTE Conference | 21 Apr 04:52 2015
Picon

VSTTE 2015 Final Call For Papers

**********************************************************************
7th Working Conference on Verified Software: Theories, Tools, and Experiments
July 18 - 19, 2015
San Francisco, California, USA

Co-located with 25th Conference on Computer Aided Verification
**********************************************************************

Full Paper Submission Deadline: April 27, 2015


SCOPE:

The Seventh Working Conference on Verified Software: Theories, Tools,
and Experiments follows a successful inaugural working conference at
Zurich in 2005 followed by conferences in Toronto (2008), Edinburgh
(2010), Philadelphia (2012), Atherton (2013), and Vienna (2014). The
goal of this conference is to advance the state of the art in the
science and technology of software verification, through the
interaction of theory development, tool evolution, and experimental
validation.

We welcome submissions describing significant advances in the
production of verified software, i.e., software that has been
proved to meet its functional specifications.  We are
especially interested in submissions describing large-scale
verification efforts that involve collaboration, theory unification,
tool integration, and formalized domain knowledge.  We welcome papers
describing novel experiments and case studies evaluating verification
techniques and technologies.  Topics of interest include education,
requirements modeling, specification languages,
specification/verification case-studies, formal calculi, software
design methods, automatic code generation, refinement methodologies,
compositional analysis, verification tools (e.g., static analysis, dynamic
analysis, model checking, theorem proving, satisfiability), tool
integration, benchmarks, challenge problems, and integrated
verification environments.


PAPER SUBMISSION

Papers will be evaluated by at least three members of the
Program Committee. We are accepting both long (limited to 16 pages)
and short (limited to 10 pages) paper submissions, written in English.
Short submissions also cover Verification Pearls describing an
elegant proof or proof technique.  Submitted research papers and
system descriptions must be original and not submitted for publication
elsewhere.

Research paper submissions must be in LNCS format and must
include a cogent and self-contained description of the ideas, methods,
results, and comparison to existing work.  Submissions of theoretical,
practical, and experimental contributions are equally encouraged,
including those that focus on specific problems or problem domains.

Papers should be submitted through:


Submissions that arrive late, are not in the proper format, or are too
long will not be considered.  The post-conference proceedings of VSTTE
2015 will be published by Springer-Verlag in the LNCS series.  Authors
of accepted papers will be requested to sign a form transferring
copyright of their contribution to Springer-Verlag.  The use of LaTeX
and the Springer LNCS class files, obtainable
encouraged.

PUBLICATION

Accepted  papers will be  published as post-Proceedings, to
appear in Springer's Lectures Notes in Computer Science.

IMPORTANT DATES:

Abstract submission: April 20, 2015
Full paper submission: April 27, 2015
Notification: June 8, 2015


ORGANIZATION:
General Chair:          
Martin Schaef (SRI International)

Program Chairs: 
Arie Gurfinkel (Software Engineering Institute, Carnegie Mellon University)
Sanjit A. Seshia (University of California, Berkeley)

Publicity Chair:        
Daniel Bundala (UC Berkeley)

PROGRAM COMMITTEE:
Elvira Albert (Complutense University of Madrid)
Nikolaj Bjorner (Microsoft Research)
Evan Chang (University of Colorado, Boulder)
Ernie Cohen (University of Pennsylvania)
Jyotirmoy Deshmukh (Toyota)
Jin Song Dong (National University of Singapore)
Vijay D'Silva (Google)
Vijay Ganesh (University of Waterloo)
Alex Groce (Oregon State)
Arie Gurfinkel (Software Engineering Institute, Carnegie Mellon University) (co-chair)
Bill Harris (Georgia Institute of Technology)
Chris Hawblitzel (Microsoft Research)
Bart Jacobs (Katholieke Universiteit Leuven, Belgium)
Susmit Jha (United Technologies)
Rajeev Joshi (Laboratory for Reliable Software, Jet Propulsion Laboratory)
Vladimir Klebanov, Karlsruhe Institute of Technology, DE
Akash Lal (Microsoft Research India)
Ruzica Piskac (Yale)
Zvonimir Rakamaric (University of Utah)
Kristin Yvonne Rozier (University of Cincinnati)
Sanjit A. Seshia (UC Berkeley) (co-chair)
Natarajan Shankar (SRI)
Carsten Sinz (KIT)
Nishant Sinha (IBM Research Labs)
Alexander Summers (ETH Zurich)
Zachary Tatlock (University of Washington)
Sergey Tverdyshev (Sysgo AG)
Arnaud Venet (CMU / NASA Ames Research Center)
Karen Yorav (IBM Haifa Research Lab)

**********************************************************************
Please contact vstte2015 <at> easychair.org  for further information
**********************************************************************
------------------------------------------------------------------------------
BPM Camp - Free Virtual Workshop May 6th at 10am PDT/1PM EDT
Develop your own process in accordance with the BPMN 2 standard
Learn Process modeling best practices with Bonita BPM through live exercises
http://www.bonitasoft.com/be-part-of-it/events/bpm-camp-virtual- event?utm_
source=Sourceforge_BPM_Camp_5_6_15&utm_medium=email&utm_campaign=VA_SF
_______________________________________________
hol-info mailing list
hol-info <at> lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/hol-info
alexander.perucci | 20 Apr 10:57 2015
Picon

Projects Showcase at STAF'15 - Reminder Abstract Submission

********** Projects Showcase at STAF'15 - Call for Paper **********

--- Goals and Scope
During the last decade a number of national and international financial instruments have been funding
research, innovation and development programmes. From local to global scales, many projects have been
funded delivering research and industrial innovation through reinforcing the excellence of science,
speeding up the industrial leadership, and supporting the growth of new markets. These initiatives have
been driving economic growth and creating employment opportunities, by addressing societal
challenges, boosting productivity and securing competitiveness. 

The Projects Showcase event at STAF'15 (http://www.disim.univaq.it/staf2015/projects-showcase/)
is dedicated to national and international projects dissemination and cooperation. The event provides
the opportunity for researchers and practitioners (from both academia and industry) involved in
completed, to be started or ongoing research projects related to Software Technologies - Applications
and Foundations, and hence to the topics of the leading conferences federated by STAF'15 and other
co-located events.

The Projects Showcase welcomes contributions disseminating the objectives of the project, outcomes of
specific deliverables, the final outcome of the project, as well as, advances beyond the state of the art,
overall innovation potential, exploitation approach and (expected) impact, marketing value,
barriers and obstacles. Thus, the Projects Showcase at STAF'15 represents a concrete opportunities for
participants to share experience, ideas, on-going work, and knowledge that can lead to fruitful
collaborations and cross-sectoral concertations among projects.

--- Paper Organization
Each submission should follow the following structure and clearly indicate:

- name and acronym of the project;
- source and amount of funding as well as overall total budget (if possible);
- consortium of the project or involved people;
- link to the official project web site (if available);
- current status of the project and its duration; 
- brief description of the project overall; 
- objectives of the projects overall;
- final (expected) outcomes of the project overall;
- the following information (or part of):
	o description of the (expected) outcomes of specific work package(s);
	o description of the (expected) outcomes of specific task(s);
	o description of the (expected) outcomes of specific deliverable(s); 
	o (expected) advances beyond the state of the art; 
	o overall (expected) innovation potential; 
	o exploitation approach and (expected) impact; 
	o barriers and obstacles, and (expected) marketing value;
- references to related work and related projects;

--- Paper Format
Each submission must be a (max) 8-pages paper formatted according to the Springer LNCS formatting
instructions (http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0), be in PDF, and
should include the authors' names, affiliations and contact details.

All submissions must be in English. All submissions will be peer reviewed by three members of the
international Program Committee of the Projects Showcase track. The reviewers will assess the
completeness, the quality of and the relevance of the submission for the target audience. 

--- Submission
Please submit via EasyChair https://easychair.org/conferences/?conf=projectsshowcaseatst 

Each accepted submission will be part of the Projects Showcase proceedings. At least one author of the
accepted submission has to register at the conference and present the accepted submission during the
Projects Showcase track.

--- Important Dates
- Abstract submission: 24 April 2015
- Paper submission:  8 May 2015
- Author notification: 5 June 2015
- Camera-ready version: 19 June 2015

--- Chairs
- Marco Autili - www.di.univaq.it/marco.autili 
- Tom Ritter - http://www.fokus.fraunhofer.de/usr/tom.ritter 
- Andrey Sadovykh - https://fr.linkedin.com/in/sadovykh 
- Massimo Tivoli - http://www.di.univaq.it/tivoli 

--- Program Committee
- Nikolaos Georgantas, INRIA, Paris - Rocquencourt, France
- Rocco Oliveto, University of Molise, Italy
- Valerie Issarny, INRIA, Paris - Rocquencourt, France
- Paolo Falcarin, University of East London, UK
- Luciano Baresi, Politecnico di Milano, Italy
- Antonio Brogi, University of Pisa, Italy
- Massimiliano Di Penta, University of Sannio, Italy
- Apostolos Zarras, University of Ioannina, Greece 
- Geir Horn, University of Oslo, Norway
- Sebastien Gerard, CEA List, France
- Holger Giese, HPI, University of Potsdam, Germany
- Reda Bendraou, UniversitΓ© Pierre et Marie Curie, France
- Alexander Viehl, FZI, Germany

------------------------------------------------------------------------------
BPM Camp - Free Virtual Workshop May 6th at 10am PDT/1PM EDT
Develop your own process in accordance with the BPMN 2 standard
Learn Process modeling best practices with Bonita BPM through live exercises
http://www.bonitasoft.com/be-part-of-it/events/bpm-camp-virtual- event?utm_
source=Sourceforge_BPM_Camp_5_6_15&utm_medium=email&utm_campaign=VA_SF
_______________________________________________
hol-info mailing list
hol-info <at> lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/hol-info

Gmane