List of workshops - page 2


DICE-FOPARA 2017: 8th Workshop on Developments in Implicit Computational complExity and 5th Workshop on Foundational and Practical Aspects of Resource Analysis
by Hans-Wolfgang Loidl, Feb. 23, 2017

The first joint international workshop on Developments in Implicit
Computational complExity and
FOundational and Practical Aspects of Resource Analysis (DICE-FOPARA)
will be held in Uppsala, Sweden, from April 22-23, 2017 as part of ETAPS.

DICE-FOPARA serves as a forum for presenting results relevant to the
implicit computational complexity theory *and* to the analysis of
resource consumption by computer programs (e.g. time, space, energy).
The workshop aims to bring together the researchers that work on
foundational issues with the researchers that focus more on practical
results.

10th Interaction and Concurrency Experience
by Massimo Bartoletti, Jan. 17, 2017

June 22, 2017, Neuchâtel, Switzerland

Satellite workshop of DisCoTec 2017

April 18, 2017.........................Abstract submission (EXTENDED)
April 21, 2017........................Full paper submission (EXTENDED)
May 19, 2017..........................Notification to authors

WAPL 2017 - 6th Workshop on Advances in Programming Languages
by Maria João Varanda Pereira, Jan. 16, 2017

Organized within the framework of FedCSIS,the Federated Conference on Computer Science & Information Systems, Prague, Czech Republic, 3-6 September, 2017.
http://www.fedcsis.org/

Next 40 Years of Abstract Interpretation Workshop
by Caterina Urban, Dec. 16, 2016

[iFM 2017] Final Call for Workshops Proposals
by ChristophSeidl, Dec. 2, 2016

The 13th International Conference on integrated Formal Methods (iFM 2017)

iFM 2017 is concerned with how the application of formal methods may involve modelling different aspects of a system which are best expressed using different formalisms. Correspondingly, different analysis techniques may be used to examine different system views, different kinds of properties, or simply in order to cope with the sheer complexity of the system. The iFM conference series seeks to further research into hybrid approaches to formal modelling and analysis; i.e., the combination of (formal and semi-formal) methods for system development, regarding modelling and analysis, and covering all aspects from language design through verification and analysis techniques to tools and their integration into software engineering practice.

Workshops can have the duration of one or two days. Prospective workshop organizers are requested to follow the guidelines below and are encouraged to contact the workshop chairs if any questions arise.

The purpose of the workshops is to provide participants with a friendly, interactive atmosphere for presenting novel ideas and discussing their application.

The workshops take place on September 18-19, 2017.

1st Workshop on Trusted Smart Contracts
by Andrea Bracciali, Nov. 1, 2016


----------------------------------------------------------
1st Workshop on Trusted Smart Contracts

April 07, 2017
The Palace Hotel & Spa
Malta

http://fc17.ifca.ai/wtsc/

in association with Financial Cryptography 17
http://fc17.ifca.ai
----------------------------------------------------------

ECOOP 2017 - Call for Workshop Proposals
by crafa, Oct. 31, 2016

In 2017, the European Conference on Object-Oriented Programming
(ECOOP), will be held in Barcelona, Spain. ECOOP will host an array of workshops on a variety of topics in computing from June 19th through 20th.
The deadline for workshop proposals will be ***January 31st, 2017***
Typically, a workshop either addresses a focused topic in depth
or explores connections between object-oriented technologies and other areas.

[iFM'17] Call for Workshops at International Conference on integrated Formal Methods 2017
by ChristophSeidl, Oct. 28, 2016

CALL FOR WORKSHOPS
(http://ifm2017.di.unito.it/callForWorkshops.php)

Submission of workshop proposals: Monday, 19 December, 2016
Workshop proposals notification: Monday, January 16, 2017
Workshops: September 18-19, 2017

iFM 2017 is concerned with how the application of formal methods may involve modelling different aspects of a system which are best expressed using different formalisms. Correspondingly, different analysis techniques may be used to examine different system views, different kinds of properties, or simply in order to cope with the sheer complexity of the system. The iFM conference series seeks to further research into hybrid approaches to formal modelling and analysis; i.e., the combination of (formal and semi-formal) methods for system development, regarding modelling and analysis, and covering all aspects from language design through verification and analysis techniques to tools and their integration into software engineering practice.

Workshops can have the duration of one or two days. Prospective workshop organizers are requested to follow the guidelines below and are encouraged to contact the workshop chairs if any questions arise.

The purpose of the workshops is to provide participants with a friendly, interactive atmosphere for presenting novel ideas and discussing their application.

The workshops take place on September 18-19, 2017.