Michael Winter | 2 Sep 20:40 2015
Picon

2nd CALL FOR PARTICIPATION (RAMiCS 2015)

                 
                      2nd CALL FOR PARTICIPATION

                 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.

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

Registration, venue, travel information and accommodation
---------------------------------------------------------
    Please visit http://ramics2015.di.uminho.pt

Registration deadline
---------------------
    4 September 2015

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

RAMiCS 2015 Programme

Monday
------
    8:00-9:00 
(Continue reading)

rim.abid | 4 Sep 08:53 2015
Picon
Picon

Software Verification and Testing Track, ACM SAC 2016 (Pisa, Italy) - Final CFP


==================================================
FINAL CALL FOR PAPERS -- ACM SAC-SVT 2016

31st Annual ACM Symposium on Applied Computing
Software Verification and Testing Track
April 3 - 8, 2016, Pisa, Italy

More information:
http://antares.sip.ucm.es/svt16/ and
http://www.acm.org/conferences/sac/sac2016/
===================================================

Important dates
---------------

* September 21, 2015: Paper submission (EXTENDED DEADLINE)
* November 13, 2015: Paper notification
* December 11, 2015: Camera-Ready Copies

ACM Symposium on Applied Computing
----------------------------------

The ACM Symposium on Applied Computing (SAC) has gathered scientists
from different areas of computing over the thirty years. The forum
represents an opportunity to interact with different communities
sharing an interest in applied computing.

SAC 2016 is sponsored by the ACM Special Interest Group on Applied
Computing (SIGAPP), and will be hosted by the University of Pisa and
(Continue reading)

Geoff Sutcliffe | 3 Sep 17:05 2015
Picon

LPAR-20 Short Presentation Papers

===============================================================================
                   The 20th International Conference on
        Logic for Programming, Artificial Intelligence and Reasoning
                   Suva, Fiji, 23rd-28th November 2015
                             www.LPAR-20.info

                    CALL FOR SHORT PRESENTATION PAPERS

In keeping with the tradition of LPAR, researchers and practitioners are
invited to submit short presentation papers (the papers can be full length, the
presentation slots will be short), reporting on interesting work in progress,
system and tool descriptions, experimental results, etc. They need not be 
original, and extended or revised versions of the papers may be submitted 
concurrently with or after LPAR to another conference or a journal. Authors of
accepted papers are required to ensure that at least one of them will be
present at the conference. Papers that do not adhere to this policy will not
be published.

The short presentation papers will be published electronically as a volume in 
the EPiC series, see http://www.easychair.org/publications/EPiC. The LaTeX 
and Microsoft Word templates for the EPiC series can be downloaded from 
http://www.easychair.org/publications/for_authors. Short papers may be up to 
15 pages long, and must be submitted through the EasyChair system using the 
web page https://www.easychair.org/conferences/?conf=lpar20.

Paper submission deadline: 19th October 2015
Notification of acceptance: 2nd November 2015
Final version: 9th November 2015

... however, in order to facilitate authors making travel arrangements, papers
(Continue reading)

Chantal Keller | 31 Aug 20:53 2015
Picon

Post-doctoral position in interactive theorem proving at the University of Iowa

-----------------------------------------------------
Post-doctoral position in interactive theorem proving
Computational Logic Center
Department of Computer Science
The University of Iowa
-----------------------------------------------------

Applications are invited for a post-doctoral research position in the 
Computational Logic Center at the University of Iowa in the area of 
interactive theorem proving and verification.

The position is funded by DARPA through the HACMS program. The work will 
be done in collaboration with researchers at New York University, the 
Université Paris Sud and Princeton University. The main goal of the 
project is to increase the level of automation in the Coq proof 
assistant by soundly integrating SMT solvers into it. Our immediate 
emphasis is on supporting software verification efforts by other 
research groups currently funded by HAMCS. However, we expect that the 
results of the integration will benefit Coq users in general.

The ideal candidate will have a Ph.D. in Computer Science, general 
knowledge of formal methods, and expertise in interactive theorem 
proving in higher-order logics, with substantial experience in using 
Coq, Isabelle, or similar tools. Candidates should demonstrate strong 
programming and formal modeling skills. Previous experience in writing 
Coq tactics and plug-ins is a considerable plus. Familiarity with SMT is 
welcome but not required.

The position is a full time appointment that runs initially through 
August 2016 and could be renewed for another year subject to 
(Continue reading)

GRLMC | 29 Aug 12:11 2015

LATA 2016: 1st call for papers

*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line*

 

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

10th INTERNATIONAL CONFERENCE ON LANGUAGE AND AUTOMATA THEORY AND APPLICATIONS

 

LATA 2016

 

Prague, Czech Republic

 

March 14-18, 2016

 

Organized by:

               

Department of Theoretical Computer Science

CzechTechnicalUniversity in Prague

 

Research Group on Mathematical Linguistics (GRLMC)

Rovira i Virgili University

 

http://grammars.grlmc.com/lata2016/

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

 

AIMS:

 

LATA is a conference series on theoretical computer science and its applications. Following the tradition of the diverse PhD training events in the field developed at Rovira i VirgiliUniversity in Tarragona since 2002, LATA 2016 will reserve significant room for young scholars at the beginning of their career. It will aim at attracting contributions from classical theory fields as well as application areas.

 

VENUE:

 

LATA 2016 will take place in Prague, a city full of history and cultural attractions, and one of the political and economic cores of central Europe. The venue will be the campus of the CzechTechnicalUniversity in the Dejvice quarter.

 

SCOPE:

 

Topics of either theoretical or applied interest include, but are not limited to:

 

algebraic language theory

algorithms for semi-structured data mining

algorithms on automata and words

automata and logic

automata for system analysis and programme verification

automata networks

automata, concurrency and Petri nets

automatic structures

cellular automata

codes

combinatorics on words

computational complexity

data and image compression

descriptional complexity

digital libraries and document engineering

foundations of finite state technology

foundations of XML

fuzzy and rough languages

grammars (Chomsky hierarchy, contextual, unification, categorial, etc.)

grammatical inference and algorithmic learning

graphs and graph transformation

language varieties and semigroups

language-based cryptography

parallel and regulated rewriting

parsing

patterns

power series

string and combinatorial issues in bioinformatics

string processing algorithms

symbolic dynamics

term rewriting

transducers

trees, tree languages and tree automata

unconventional models of computation

weighted automata

 

STRUCTURE:

 

LATA 2016 will consist of:

 

invited talks

invited tutorials

peer-reviewed contributions

 

INVITED SPEAKERS:

 

tba

 

PROGRAMME COMMITTEE:

 

(to be completed)

 

Dana Angluin (YaleUniversity, New Haven, USA)

Franz Baader (Technical University of Dresden, Germany)

Christel Baier (Technical University of Dresden, Germany)

Hans L. Bodlaender (UtrechtUniversity, The Netherlands)

Jean-Marc Champarnaud (University of Rouen, France)

Rod Downey (VictoriaUniversity of Wellington, New Zealand)

Frank Drewes (Umeå University, Sweden)

Ding-Zhu Du (University of Texas, Dallas, USA)

Michael Fellows (CharlesDarwinUniversity, Darwin, Australia)

Mohammad Taghi Hajiaghayi (University of Maryland, College Park, USA)

Yo-Sub Han (Yonsei University, Seoul, South Korea)

Oscar H. Ibarra (University of California, Santa Barbara, USA)

Jan Janoušek (CzechTechnicalUniversity in Prague, Czech Republic)

Galina Jirásková (SlovakAcademy of Sciences, Košice, Slovakia)

Ming-Yang Kao (Northwestern University, Evanston, USA)

Juhani Karhumäki (University of Turku, Finland)

Joost-Pieter Katoen (RWTH Aachen University, Germany)

Martin Kutrib (University of Giessen, Germany)

Zhiwu Li (Xidian University, Xi'an, China)

Oded Maler (VERIMAG, Gières, France)

Carlos Martín-Vide (Rovira i Virgili University, Tarragona, Spain, chair)

Ugo Montanari (University of Pisa, Italy)

František Mráz (CharlesUniversity in Prague, Czech Republic)

Mitsunori Ogihara (University of Miami, Coral Gables, USA)

Alexander Okhotin (University of Turku, Finland)

Doron A. Peled (BarIlanUniversity, Ramat Gan, Israel)

Martin Plátek (CharlesUniversity in Prague, Czech Republic)

Daniel Reidenbach (University of Loughborough, UK)

Antonio Restivo (University of Palermo, Italy)

Kai Salomaa (Queen’s University, Kingston, Canada)

Davide Sangiorgi (University of Bologna, Italy)

Uli Sattler (University of Manchester, UK)

Pierre Wolper (University of Liège, Belgium)

Zhilin Wu (Chinese Academy of Sciences, Beijing, China)

Mengchu Zhou (New Jersey Institute of Technology, Newark, USA)

 

ORGANIZING COMMITTEE:

 

Adrian Horia Dediu (Tarragona)

Jan Janoušek (Prague, co-chair)

Carlos Martín-Vide (Tarragona, co-chair)

Radomír Polách (Prague)

Eliška Šestáková (Prague)

Jan Trávníček (Prague)

Bianca Truthe (Giessen)

Florentina Lilica Voicu (Tarragona)

 

SUBMISSIONS:

 

Authors are invited to submit non-anonymized papers in English presenting original and unpublished research. Papers should not exceed 12 single-spaced pages (including eventual appendices, references, proofs, etc.) and should be prepared according to the standard format for Springer Verlag's LNCS series (see http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0).

 

Submissions have to be uploaded to:

 

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

 

PUBLICATIONS:

 

A volume of proceedings published by Springer in the LNCS series will be available by the time of the conference.

 

A special issue of a major journal will be later published containing peer-reviewed substantially extended versions of some of the papers contributed to the conference. Submissions to it will be by invitation.

 

REGISTRATION:

 

The period for registration is open from August 28, 2015 to March 14, 2016. The registration form can be found at:

 

http://grammars.grlmc.com/lata2016/Registration.php

 

DEADLINES:

 

Paper submission: October 19, 2015 (23:59 CET)

Notification of paper acceptance or rejection: November 27, 2015

Final version of the paper for the LNCS proceedings: December 7, 2015

Early registration: December 7, 2015

Late registration: February 29, 2016

Submission to the journal special issue: June 18, 2016

 

QUESTIONS AND FURTHER INFORMATION:

 

florentinalilica.voicu <at> urv.cat

 

POSTAL ADDRESS:

 

LATA 2016

Research Group on Mathematical Linguistics (GRLMC)

Rovira i Virgili University

Av. Catalunya, 35

43002 Tarragona, Spain

 

Phone: +34 977 559 543

Fax: +34 977 558 386

 

ACKNOWLEDGEMENTS:

 

České vysoké učení technické v Praze

Universitat Rovira i Virgili

 

 
------------------------------------------------------------------------------
_______________________________________________
hol-info mailing list
hol-info <at> lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/hol-info
Crossfyre Committee | 21 Aug 17:08 2015
Picon

Call for Papers: CrossFyre Workshop, Nov 2-3, 2015 - Radboud University, Nijmegen, Netherlands


***********************************
Call for Papers

CrossFyre 2015

5th Workshop on Cryptography, Robustness, and Provably Secure Schemes
for Female Young Researchers (CrossFyre)

November 2-3, 2015
Radboud University, Nijmegen, Netherlands
http://crossfyre15.cs.ru.nl/

*****************************************************************
Extended Abstract deadline: September 4, 2015
Registration Deadline: September 18, 2015
*****************************************************************

The Digital Security group at Radboud University, Nijmegen will
organize the fifth International Workshop on Cryptography, Robustness,
and Provably Secure Schemes for Female Young Researchers (CrossFyre).
This 2-day workshop will be held at Huize Heyendael (of Radboud University),
Nijmegen, Netherlands, on 2-3 November 2015, with the support and funding of
Microsoft Research.

This workshop aims to bring female researchers in the field of
Cryptography and Information Security together to promote their research
topics and their careers as women in science and engineering. We hope to
encourage a tighter cooperation between women in Cryptography and
Information Security, and to motivate joint papers. In this spirit, you
are kindly invited to attend and give a short presentation of your
research topic to your fellow participants.

Though the workshop is primarily aimed at female researchers, male
researchers are also invited to take part.

We also welcome undergraduate students to this workshop and strongly
encourage supervisors to support participation, be it passive (mainly
listening) or active (all students are encouraged to submit abstracts
and give talks during the workshop).

Format:
 * 2 keynote talks,
 * Fellow researchers introducing themselves: selected fields in
cryptography, security, robustness, provable security etc. are briefly
outlined,
 * A plenary discussion on positions and perspectives of women in research

IMPORTANT: A few grants will be awarded for those students who are
presenting and least able to attend.

Important dates:
-- September 04, 2015: Deadline for extended abstract of your talk
-- October 01, 2015: Notification for grant applicants + Announcement of the program
-- November 2-3, 2015: CrossFyre workshop

Website: http://crossfyre15.cs.ru.nl/

Contact: crossfyre2015(at)gmail(dot)com

Disclaimer: This workshop aims at bringing women together to discuss
their career opportunities, make contacts, and exchange experiences. The
workshop does NOT intend to discriminate men. Male researchers are of
course welcome to attend.
------------------------------------------------------------------------------
_______________________________________________
hol-info mailing list
hol-info <at> lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/hol-info
Schmaltz, J. | 28 Aug 13:18 2015
Picon
Picon

CFP DATE 16 - Formal Methods and System Verification

*******************  DATE 16  Call for Papers  – D4 Topic Formal Methods and System Verification ******************

Formal Methods and System Verification
Design Methods and Tools Track  <at>  DATE 2016
Dresden, Germany - March 14-18, 2016

IMPORTANT DATES:
Submission by Sunday September 13, 2015 23:59:59 CET

The Design, Automation and Test in Europe conference and exhibition is the main European event bringing
together designers and design automation users, researchers and vendors, as well as specialists in the
hardware and software design, test and manufacturing of electronic circuits and systems.  The Design
Methods and Tools Track is devoted to design automation and design tools for electronic and embedded
systems. Emphasis is on methods and tools related to the use of computers in designing products. This
includes designer feedback on existing design methods and tools as well as to initiate discussions on
requirements of future system architectures, design flows and environments The Formal Methods and
System Verification topic (D4) is one of the twelve topics foreseen in the Design Methods and Tools Track.

This five-day event consists of a conference with plenary keynotes, regular papers, interactive
presentations, panels and hot-topic sessions, tutorials, master courses and workshops.  The
scientific conference is complemented by a commercial exhibition showing the state-of-the-art in
design and test tools, methodologies, IP and design services. Both the conference and the exhibition,
together with the many user group meetings, fringe meetings, university booth and social events offer a
wide variety of opportunities to meet and exchange information.

TOPIC DESCRIPTION

The Formal Methods and System Verification Track (D4) is devoted to the presentation and discussion of
state-of-the-art advances in the theory and practice of formal verification methods. Topics of
interest include, but are not limited to:

- Formal verification and specification techniques including equivalence checking, model checking,
symbolic simulation, theorem-proving, abstraction and refinement techniques, and real time verification.
- Technologies supporting formal verification, including SMT, SAT, BDD, ATPG, and related work.
- Applications of formal and semi-formal techniques to verify functional and non-functional aspects of
hardware and software systems.  This includes practical applications and case-studies about
verification of IPs, SoCs, cores and real-time/embedded systems.
- Verification in practice, namely the integration of verification into the design flow.
- Applications of formal and semi-formal techniques into new and challenging areas, like multi-core and
parallel architectures,
asynchronous designs, analog and mixed-signal designs, power modelling and analysis, hardware and
software security, etc.

TOPIC TECHNICAL COMMITTEE

Armin Biere, Universitaet Linz
Per Bjesse, Synopsys
Christoph Scholl, Albert-Ludwigs-University Freiburg (co-chair)
Gianpiero Cabodi, Politecnico di Torino
Alessandro Cimatti, Fondazione Bruno Kessler
Marijn Heule, The University of Texas at Austin
John O’Leary, Intel Corporation
Julien Schmaltz, Eindhoven University of Technology (chair)
Anna Slobodova, Centaur Technology
Daryl Stewart, ARM
Markus Wedler, Synopsys

SUBMISSION INSTRUCTIONS

To be a valid submission, a full paper must be submitted before Sunday September 13, 2015 23:59:59 CET.
Submission instructions can be found on the conference Web page:

www.date-conference.com<http://www.date-conference.com/>

The accepted file format is PDF.  Any other format and manuscripts received in hard-copy form will not be processed.
Papers can be submitted for either formal oral presentation or for interactive presentation.  Oral
presentations require novel and complete research work supported by experimental results.
Interactive presentations are expected to articulate emerging and future design, verification and
test problems including work in progress and identify open problems that merit innovative future
research.  These presentations are given on a laptop in a face-to-face discussion area.
Submissions should not exceed 6 pages in length for oral-presentation papers and 4 pages in length for
interactive-presentation papers, and should be formatted as close as possible to the final format: A4 or
letter sheets, double column, single spaced, Times or equivalent font of minimum 10pt (templates are
available on the DATE Web site for your convenience). To permit blind review, submissions should not
include the author names.  Any submission not in line with the above rules will be discarded.
All papers will be evaluated with regard to their suitability for the conference, originality, and
technical soundness.  The Programme Committee reserves the right to reorient oral-presentation papers
to interactive-presentation and vice versa, to obtain the most suitable presentation format.
------------------------------------------------------------------------------
_______________________________________________
hol-info mailing list
hol-info <at> lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/hol-info
Geoff Sutcliffe | 24 Aug 16:33 2015
Picon

TABLEAUX/FroCoS 2015 - Call for Participation

Registration for TABLEAUX/FroCoS 2015 in Wroclaw is Open
--------------------------------------------------------

Dates:
   20-24 september 2015.

Invited Speakers:
   Christoph Benzmueller: On a (Quite) Universal Theorem Proving Approach
                          and its Application to Metaphysics
   Roy Dyckhoff:  Coherentisation of First-Order Logic 
   Andreas Herzig: Knowledge and Action: How should we combine their logics?
   Oliver Ray: Symbolic Support for Scientific Discovery in Systems Biology
   Philipp Ruemmer: Free variables and theories: Revisiting Rigid E-Unification
   Thomas Sturm: From Complete Elimination Procedures to Subtropical 
                 Decisions over the Reals

Tutorials:
   - The distributed Ontology, Modeling and Specification Language (DOL),
       Till Mossakowski
   - Lean Theorem Proving and Connection Tableaux,
        Jens Otten
   - Formal Representation of Inductive and Coinductive Datatypes with
     Applications to Modelling Tableaux Structures,
       Andrei Popescu
   - Automated Reasoning Building Blocks,
       Christoph Weidenbach
   - A Taste of CVC4,
       Cesare Tinelli, Andrew Reynolds, Clark Barrett

Wroclaw:
   Wroclaw is a pleasant, moderately sized town in the center
   of Europe, approximately 350 km from Berlin, Prag and
   Warsaw. The old town is nice, and the conference is
   only 20 minutes walking away. 

TABLEAUX 2015: 
   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. 

FroCoS 2015:
   In various areas of computer science, such as logic, computation, 
   program development and verification, artificial intelligence, 
   knowledge representation, and automated reasoning, there is an obvious 
   need for using specialized formalisms and inference systems for selected 
   tasks. To be usable in practice, these specialized systems must be 
   combined with each other and integrated into general purpose systems. 
   This has led---in many research areas---to the development of techniques 
   and methods for the combination and integration of dedicated formal 
   systems, as well as for their modularization and analysis.
   The International Symposium on Frontiers of Combining Systems (FroCoS) 
   traditionally focusses on these types of research questions and activities. 
   Like its predecessors, FroCoS 2015 seeks to offer a common forum for 
   research in the general area of combination, modularization, and 
   integration of systems, with emphasis on logic-based ones, and of their 
   practical use. 

Early Registration:
   Early registration costs 1200 PLN (292 euro, 330 US dollar).
   That's a bargain!

Travel Awards:
   There are some travel awards for young researchers
   (students/PhD students/postdocs), sponsored by
   Springer Verlag. application deadline is September 1st. 

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

------------------------------------------------------------------------------
Alwen Tiu | 22 Aug 06:11 2015
Picon

Call for Papers: Doctoral Symposium of ICECCS 2015

[Apologies for multiple postings]

==================================================
Doctoral Symposium
of the 20th International Conference on Engineering of Complex Computer Systems
(ICECCS), December 9-12 2015, Gold Coast, Australia

http://iceccs2015.monash.edu.au
==================================================

---------------
Aims
---------------
A Doctoral Symposium will be held in conjunction with the 20th
International Conference on Engineering of Complex Computer Systems
(ICECCS), which will take place in Melbourne, Australia, from December
9th to 12th. The Doctoral Symposium provides an opportunity for PhD
students to present and discuss their research. It is meant to promote
a friendly and supportive environment for students to exchange ideas
and to receive feedbacks from researchers in the fields and their
fellow students on their future research directions.

---------------
Submission information
---------------
We invite students to submit abstracts of their work (in
progress). The topics of the abstract should be broadly relevant to
the topics of the conference, that is, related to complex
computer-based systems, including the causes of complexity and means
of avoiding, controlling, or coping with complexity. Please refer to
the ICECCS website for a list of suggested topics:
http://iceccs2015.monash.edu.au/2015/index.jsp.

Your submission should clearly identify the problem you are working
on, related work and existing solutions (if any), your approach and
methodology, and contributions you have made or expect to make should
the problem be solved. If it is still a work-in-progress, please also
discuss the current stage of research and future work to be done.

Submitted manuscripts should be in English and formatted in the style
of the double-column IEEE format. Each submission must not be longer
than 4 pages, including figures, references, and appendices. All
submissions should be in PDF format. The IEEE templates for the
submission can be found here
http://www.ieee.org/conferences_events/conferences/publishing/templates.html.
All submissions must be done through the EasyChair website of the
conference:

https://easychair.org/conferences/?conf=iceccs20150
(Make sure that you submit to the ICECCS 2015 doctoral symposium.)

---------------
Important dates
---------------
* September 14th 2015: Submission deadline
* October 16th 2015: Notification of acceptance/rejection

---------------
Program committee
---------------
Aldeida Aleti, Monash University, Australia
Étienne André,    Université Paris 13, France
Guangdong Bai, National University of Singapore, Singapore
Fei He, Tsinghua University, China   
Andrzej Mizera, University of Luxembourg, Luxembourg
Jun Pang (co-chair), University of Luxembourg, Luxembourg
Alwen Tiu (co-chair), Nanyang Technological University, Singapore
Tian Zhang, Nanjing University, China


------------------------------------------------------------------------------
_______________________________________________
hol-info mailing list
hol-info <at> lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/hol-info
Werner Damm | 20 Aug 10:00 2015
Picon

Invitation to AVACS Final Colloquium on September 29, 2015 in Oldenburg/Germany


Dear Sir or Madam,

We would like to invite you to the 12 years celebration of the Transregional Collaborative Research Center
AVACS - Automatic Verification and Analysis of Complex Systems, see www.avacs.org with a final colloquium
held on September 29, 2015 at the University of Oldenburg, Germany.

Please see the attached program.

This event is followed by the three days AVACS Autumn School - see http://www.avacs.org/autumn2015/.

Please register for participation by sending an e-mail to Mrs. Kathrin Kuper: kathrin.kuper <at> uni-oldenburg.de
by September 18, 2015.


Kind regards,


Prof. Dr. Werner Damm
Coordinator SFB/TRR 14 AVACS

Carl von Ossietzky Universitaet Oldenburg Fakultaet II Department fuer Informatik Abteilung Sicherheitskritische Eingebettete Systeme Ammerlaender Heerstrasse 114-118 26129 Oldenburg/Germany













































------------------------------------------------------------------------------
_______________________________________________
hol-info mailing list
hol-info <at> lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/hol-info
宋丹 | 10 Aug 10:30 2015
Picon

CFP: The 7th International Symposium on Symbolic Computation in Software Science

(Apologies for multiple posting)
=====================
First Call for Papers
=====================

SCSS 2016
The 7th International Symposium on
Symbolic Computation in Software Science

Ochanomizu University, Tokyo, Japan
March 28 - 31, 2016
http://www.i-eos.org/conferences/SCSS2016

Important Dates
---------------
November 13, 2015: Abstract submission
November 20, 2015: Paper submission
January 5, 2016: Notification
March 28-31, 2016: SCSS 2016 in Ochanomizu University, Tokyo

Invited Speakers
----------------
Jacques Fleuriot (University of Edinburgh, UK)
TBA

Tutorials
---------
There will be tutorial lectures on symbolic computation. p>

Scope
--------
The purpose of SCSS 2016 is to promote research on theoretical and
practical aspects of symbolic computation in software science. The
symposium provides a forum for active dialog between researchers from
several fields of computer algebra, algebraic geometry, algorithmic
combinatorics, computational logic, and software analysis and verification.

SCSS 2016 solicits regular papers on all aspects of
symbolic computation and their applications in software science. The
topics of the symposium include, but are not limited to the following:

- automated reasoning
- algorithm (program) synthesis and/or verification
- formal methods for the analysis of network and system security
- termination analysis and complexity analysis of algo rithms (programs)
- extraction of specifications from algorithms (programs)
- related theorem proving methods and techniques
- proof carrying code
- generation of inductive assertion for algorithm (programs)
- algorithm (program) transformations
- formalization and computerization of knowledge (maths, medicine, economy, etc.)
- component-based programming
- computational origami
- query languages (in particular for XML documents)
- semantic web and cloud computing


Program Chair
-------------
James Davenport (University of Bath, UK)

Honorary Chair
---------------
Bruno Buchberger (Johannes Kepler University, Austria)

General Chair
-------------
Tetsuo Ida (University of Tsukuba, Japan)

Program Committee
------- ----------
Kenichi Asai (Ochanomizu University, Japan)
Adel Bouhoula (Carthage University, Tunisia)
Changbo Chen (Chinese Academy of Sciences, China)
Matthew England (Coventry University, UK)
Jacques Garrigue (Nagoya University, Japan)
Cezary Kaliszyk (University of Innsbruck, Austria)
Yukiyoshi Kameyama (University of Tsukuba, Japan)
Michael Kohlhase (Jacobs University, Germany)
Temur Kutsia (Johannes Kepler University, Austria)
Assia Mahboubi (Inria, France)
Yasuhiko Minamide (Tokyo Institute of Technology, Japan)
Yoshihiro Mizoguchi (Kyushu University, Japan)
Julien Narboux (Strasbourg University, France)
Renaud Rioboo (ENSIIE, France)
Tateaki Sasaki (University of Tsukuba, Japan)
Dongming Wang (Beihang University and CNRS, China and Fra nce)
Stephen Watt (University of Waterloo, Canada)
Kazuhiro Yokoyama (Rikkyo University, Japan)

Local Arrangement Committee
---------------------------
Kenichi Asai (Ochanomizu University, Japan)
Houssem Chatbri (University of Tsukuba, Japan)
Fadoua Ghourabi (Ochanomizu University, Japan) (Chair)
Sosuke Moriguchi (Kwansei Gakuin University, Japan)
Akira Terui (University of Tsukuba, Japan)

Submission
----------
Submission is via EasyChair:

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

Submissions of regular research papers are invited. Regular research papers must not exceed 12 pages in the EasyChair LaTeX Class format (www.easychair.org/publications/easychair.zip), with up to 3 additional pages for technical appendices.

Publication
----------
The proceedings of SCSS 2016 will be published in the EasyChair Proceedings in Computing (EPiC).

After the symposium, we will have a combined special issue of the Journal of Symbolic Computation on SCSS 2014 & 2016. The full version of selected papers at SCSS 2014 & 2016 will be considered for the publication of the special issue subjected to the normal peer review process of the journal. The submission deadline of the special issue will be 2 months after the symposium.

------------------------------------------------------------------------------
_______________________________________________
hol-info mailing list
hol-info <at> lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/hol-info

Gmane