Mostrando entradas con la etiqueta September 2009. Mostrar todas las entradas
Mostrando entradas con la etiqueta September 2009. Mostrar todas las entradas

Simpósio de Computação Aplicada

miércoles, 17 de junio de 2009

Simpósio de Computação Aplicada
CHAMADA DE TRABALHOS
I SCA - Simpósio de Computação Aplicada (SCA - 2009)
22 - 25 de Setembro 2009, Passo Fundo, Brasil

Web Site: http://www.upf.br/sca/index.php

A 1a edição do Simpósio de Computação Aplicada (SCA'2009) -- antigo SIPM -- é um evento que marca os 25 anos do Curso de Ciência da Computação da Universidade de Passo Fundo e que conta com o apoio da SBC (Sociedade Brasileira de Computação). "Computação a serviço do desenvolvimento social e econômico" é o tema principal do SCA2009. O principal objetivo do SCA é divulgar a produção científica nacional nas áreas de computação aplicada, principalmente, à educação, ciências exatas, agricultura e saúde, por meio de um ambiente da troca de experiências e ideias entre profissionais, estudantes e pesquisadores nacionais e estrangeiros.

*Novidade*

Os autores dos melhores artigos serão convidados a submeter versões estendidas e revisadas destes artigos para uma edição da RITA (Revista de Informática Teórica e Aplicada: http://www.seer.ufrgs.br/index.php/rita/index).


*TÓPICOS DE INTERESSE*

O SCA está organizado em dois principais grupos de interesse:
- Modelos e métodos computacionais aplicados
- Metodologias e tecnologias educacionais

O grupo de *Modelos e métodos computacionais aplicados* visa a divulgação de pesquisas, técnicas e metodologias computacionais fundamentado em estudos científicos, básicos e/ou aplicados, e em princípios matemáticos e computacionais, para a análise e resolução de problemas de *natureza multidisciplinar*, em especial nas áreas de ciências exatas, agrárias e da saúde.
Os tópicos do grupo incluem (não são limitados a):
- Computação Científica;
- Modelagem e Simulação;
- Modelos de Aprendizagem de Máquina;
- Gestão de Dados;
- Linguagens de programação.

O grupo de *Metodologias e tecnologias educacionais* visa a divulgação de pesquisas, técnicas e metodologias computacionais fundamentado em estudos científicos, básicos e/ou aplicados, de tecnologias computacionais com vistas à qualificação do processo de aprendizagem.
Os tópicos do grupo incluem (não são limitados a):
- Educação a distância;
- Inclusão digital e software livre na educação;
- Inteligência artificial aplicada à educação;
- Objetos educacionais digitais;
- Avaliação de sistemas educacionais

*FORMATOS DE SUBMISSÃO*

O SCA aceitará duas categorias de submissão:
- Artigo completo: trabalhos com contribuição científica relevante. (15 páginas)
- Pôster de IC: trabalhos desenvolvidos por alunos de iniciação científica (IC) ou graduação (TC) com mérito técnico-científico. (2 páginas)

Os artigos submetidos ao SCA devem ser originais, não podendo ter sido submetidos simultaneamente a outras conferências ou periódicos, nem ter sido publicados. A aceitação de um artigo implica que ao menos um dos autores se inscreva no simpósio e o apresente durante a programação organizada. Os artigos serão avaliados segundo critérios específicos de cada grupo entre os quais se incluem originalidade, relevância, correção e clareza da apresentação. Os artigos submetidos deverão observar o limite máximo de 15 páginas (artigo completo) e 2 páginas (pôster), com fonte tamanho 12 pt, espaçamento de linha 1,5 e coluna simples, seguindo o formato padrão disponibilizado pela SBC para artigos dos seus eventos em http://www.sbc.org.br/sbc/eventos/templates.html. Artigos que excederem o limite de páginas serão automaticamente rejeitados sem serem revisados pelo comitê de programa. Todos os artigos devem ser submetidos em formato PDF sendo que artigos em outros formatos não serão aceitos.

*DATAS IMPORTANTES*

Submissão de artigos (completo): 30 de junho
Submissão de pôsters: 30 de junho
Notificação de aceitação: 30 de julho
Envio da versão final: 15 de agosto

Dúvidas sobre submissão de artigos:
Carina F. Dorneles (dorneles@upf.br)
Coordenadora do CP

*COMITÊ DE PROGRAMA*

Adriano Teixeira - Universidade de Passo Fundo (UPF)
Ana Bertoletti De Marchi - Universidade de Passo Fundo (UPF)
Andre Zanki Cordenonsi - Universidade Federal de Santa Maria (UFSM)
Andrea Charao - Universidade Federal de Santa Maria (UFSM)
Benjamin Callejas Bedregal - Universidade Federal do Rio Grande do Norte (UFRN)
Carina F. Dorneles - Universidade de Passo Fundo (UPF) - Coordenadora do CP
Carlos Holbig - Universidade de Passo Fundo (UPF)
Carlos Zeve - Universidade Luterana do Brasil (Ulbra)
Carolina Minte-Vera - Universidade Estadual de Maringá (UEM)
Clyde Fraisse - University of Florida (UFL)
Daniela Buske - Universidade Federal de Pelotas (UFPEL)
Deise Saccol - Universidade Federal dos Pampas (UNIPAMPA)
Graçaliz Dimuro - Universidade Católica de Pelotas (UCPel)
Italo Dutra - Universidade Federal do Rio Grande do Sul (UFRGS)
José Maurício Fernandes - Embrapa Trigo
Juliano Tonezer da Silva - Universidade de Passo Fundo (UPF)
Julio Bertolin - Universidade de Passo Fundo (UPF)
Karin Becker - Quality Knowledge
Lea Fagundes - Universidade Federal do Rio Grande do Sul (UFRGS)
Lucimar de Carvalho - Universidade de Passo Fundo (UPF)
Marco Trentin - Universidade de Passo Fundo (UPF)
Marcus Basso - Universidade Federal do Rio Grande do Sul (UFRGS)
Maria Helena Bonilla - Universidade Federal da Bahia (UFBA)
Marlise Geller - Universidade Luterana do Brasil (Ulbra)
Márcia Cristina Moraes - Pontifícia Universidade Católica (PUCRS)
Mirella Moro - Universidade Federal de Minas Gerais (UFMG)
Patricia Alejandra Behar - Universidade Federal do Rio Grande do Sul (UFRGS)
Paulo Sérgio Sausen - Universidade de Ijuí (UNIJUI)
Raquel Stasiu - Pontifícia Universidade Católica do Parana (PUCP/RR)
Rejane Frozza - Universidade de Santa Cruz do Sul (UNISC)
Renata Galante - Universidade Federal do Rio Grande do Sul (UFRGS)
Renata Hax Sander Reiser - Universidade Católica de Pelotas (UCPel)
Renato Fileto - Universidade Federal de Santa Catarian (UFSC)
Ronaldo Mello - Universidade Federal de Santa Catarina (UFSC)
Roseclea Duarte Medina - Universidade Federal de Santa Maria (UFSM)
Sílvio Cazella - Universidade do Vale dos Sino (Unisinos)
Silvia Modesto Nassar - Universidade Federal de Santa Catarina (UFSC)
Vanessa Braganholo - Universidade Federal do Rio de Janeiro (UFRJ)
Willingthon Pavan - Universidade de Passo Fundo (UPF)

Publicado por unimauro en 17:12 0 comentarios  

WeeP 2009: 1st Workshop on Dependability and Security in P2P

martes, 9 de junio de 2009

Weep 2009 Call for Papers
******************************

******************************************************
We apologize if you received multiple copies of this CFP
Please feel free to distribute it to those who might be interested
************************************************************************************

CALL FOR PAPERS
WeeP 2009: 1st Workshop on Dependability and Security in P2P

In conjunction with LADC 2009 (Fourth Latin-American Symposium on Dependable Computing)
ORGANIZED BY: Federal University of Campina Grande (UFCG)
CO-SPONSORED BY: SBC - Brazilian Computing Society and IEEE Computer Society Technical Committee on Dependable Computing and Fault Tolerance

João Pessoa, Paraíba, BRAZIL
September 1 - 4, 2009
http://www.sbc.org.br/ladc

Peer to peer and self-organizing systems hold the promise of offering services and information anywhere and anytime, with better scalability, improved reliability and lower costs. This is done by eliminating the necessity of any statically designed infrastructure or any centralized administrative authority. It is in the nature of such networks to be self-organizing, since additionally, entities are allowed to join or leave the network in an arbitrary manner, making the whole system highly dynamic. Nonetheless, the issue of designing dependable and secure systems that can cope with the high dynamism and self-organization nature of overlay networks is a real challenge. Therefore, many problems should be addressed. What models are most appropriate for dynamic systems? What kind of consistency requirements can be ensured? How to deploy services and data in order to achieve high availability and better utilization of peer capacities? How to construct an overlay and routing infrastructure which is scalable and fault-tolerant? How to build efficient and secure search mechanisms? How can applications adapt themselves to the instability of the system and links, due to arbitrary leaves and joins, mobility, failures, congestion and collisions.

This workshop aims to bring together researchers from different domains to create a forum for investigating the many aspects of providing dependability and security in self-organizing, large-scale and dynamic systems. Contributions may span a broad range of topics, including:

- models for dynamic and self-organizing systems;
- scalability and reliability of dynamic systems;
- P2P storage and content distribution;
- P2P performance and robustness;
- security and trust management in dynamic systems;
- P2P Grids;
- P2P over Manets;
- applications and tests.

Only original papers (not published or under review elsewhere) should be submitted. All submissions must be made electronically through the conference web site.

INSTRUCTIONS TO CONTRIBUTORS
Papers should be written in English and can be submitted in the following categories: Regular Papers describing original research, Practical Experience Reports describing an experience or a case study. Regular Papers and Practical Experience Reports should be no longer than 6 pages, IEEE style double-column format, respectively, including figures, tables, references, and appendices. The font size should be 10 points. The first page should include an abstract, authors' names, addresses and affiliations, and specify whether the submission is a Regular Paper or a Practical Experience Report. The full mailing address, telephone and FAX numbers, as well as e-mail address of the contact author should also be indicated.

IMPORTANT DATES
Submission deadline: June 30th
Authors notification: July 20th
Camera ready: July 30th

PROGRAM COMMITTEE (In formation)
Co-Chairs:
Emmanuelle Anceaume (IRISA/CNRS, France)
Fabíola Greve (UFBA, Brazil)

Members:
Jussara Marques de Almeida (UFMG, Brazil)
Marinho Barcellos (UFRGS, Brazil)
Luís Carlos Erpen de Bona (UFPR, Brazil)
Pascal Felber (U. Neuchatel, Switzerland)
Mark Jelasity (U. Szeged, Hungary)
Elias Procópio Júnior (UFPR, Brazil)
Christian Scheideler (TU München, Germany)
Stefan Schmid (TU München, Germany)
Valérie Viet Triem Tong (SUPELEC, France)

MORE INFORMATION
More information about WeeP'2009 can be found in http://ladc2009.lsd.ufcg.edu.br

Publicado por unimauro en 12:07 0 comentarios  

Third Workshop on Formal Languages and Analysis of Contract-Oriented Software

jueves, 4 de junio de 2009

Third Workshop on Formal Languages and Analysis of
Contract-Oriented Software (FLACOS'09)

24-25 September 2009, Toledo - Spain
http://www.ifi.uio.no/flacos09


The ability to negotiate contracts for a wide range of aspects and to provide services conforming to them is a most pressing need in service-oriented architectures. High-level models of contracts are making their way into service-oriented architectures, but application developers are still left to their own devices when it comes to writing code that will comply with a contract concluded just before service provisioning. At the programming language level, contracts appear as separate concerns that cut across application logic, while analysis requires that contracts are abstracted from applications to become amenable to formal reasoning using formal language techniques. The aim of this workshop is to bring together researchers and practitioners working on language-based solutions to the above issues through formalization of contracts, design of appropriate abstraction mechanisms, and formal analysis of contract languages and software.

The workshop will consist mainly of a number of presentations by invited speakers. A small number of additional sessions will be reserved for other researchers in the field who are encouraged to submit a short abstract of their work as an expression of interest in participating in the workshop by 8 June 2009. The number of participants in the workshop is strictly limited.

The previous editions of the workshop were held in Oslo in 2007 (FLACOS'07) and Malta in 2008 (FLACOS'08). The FLACOS workshops are partially supported by Nordunet3, under the project COSoDIS.


IMPORTANT DATES

Paper Submission Deadline: 8 June 2009
Notification of Acceptance: 15 June 2009
Registration Closes: 15 August 2009
WORKSHOP: 24-25 September 2009


SCOPE

Topics of the workshop include (but are not limited to):
  • Formal languages for contracts
  • Contract-oriented software development
  • Formal analysis of contracts, including static analysis, run-time verification, and model checking techniques
  • Contract synthesis
  • Contract transformation and contract refinement
  • Contract negotiation, discovery and monitoring

INVITED PARTICIPANTS

SUBMISSIONS

Authors wishing to give a talk at the workshop are invited to submit an extended abstract of their work (3-8 pages, in PDF format, one column, without page numbers, and printable on A4 paper) to flacos-09@dsi.uclm.es by 8 June 2009. Submission of work submitted for formal publication elsewhere and work in progress is permitted.

The abstracts of the accepted contributions will be available at the workshop. After the workshop, selected papers will be published in a special issue of the Journal of Logic and Algebraic Programming (Elsevier), following the standard reviewing process of the journal.


REGISTRATION INFORMATION
  • More information to follow.

2009 IEEE Toronto International Conference Science and Technology for Humanity

viernes, 29 de mayo de 2009

2009 IEEE Toronto International Conference Science and Technology for Humanity
(TIC-STH 2009)

http://www.TIC-STH2009.org

September 27-29 2009, Toronto Marriott Downtown Eaton Centre, Toronto, Canada

Symposium on Human and Socio-Cultural Service Oriented Computing


The primary aim of the symposium is to provide a forum that examines the technology, application and management of Service Oriented Computing for the benefit of mankind. Unlike other Software Engineering conferences and journals, where the issues are generally technical, this symposium will focus on obtaining solutions that promote the good of society. As in the case of any Engineering product, the end result is only valuable if the scientific, corporate and social
goals are aligned.


Call for Papers
Papers are invited in the areas related to Service Oriented Computing, but are not limited, to security, privacy, protection, trust and governance, service composition, ontology and semantic techniques, and Web Services modeling, development, usability and evolution. Examples of areas under which papers are sought include:

- Environmental and sustainability management
- Healthcare, homecare, aging, seniors and special needs support
- Global, cross-cultural and interdisciplinary applications
- Clinical decision support design, development and implementation
- Management of emerging health care technologies
- Telemedicine
- Technologies for cultural heritage dissemination
- Technologies to promote local community development
- Platforms to facilitate access to basic services and interactivity
- Digital inclusion
- Socio-technical issues of IS/IT governance
- QoS for human aspects in Service Oriented Computing
- Open Government
- Free Software

All submissions must conform to the TIC-STH 2009 submission policy and should be
in English language.

Symposium Technical Program Committee
Chair:

Miriam A. M. Capretz, University of Western Ontario, Canada

Co-Chairs:

Maria Beatriz Felgar de Toledo, University of Campinas, Brazil
Mark Perry, University of Western Ontario, Canada

ICCV09 Workshop on Video-Oriented Object and Event Classification (VOEC’09)

miércoles, 27 de mayo de 2009

ICCV09 Workshop on Video-Oriented Object and Event Classification (VOEC’09)

http://www.lv-nus.org/voec09/index.html

Techniques for video oriented object and event classification have attracted much attention owing to the great potentials in surveillance, video summarization, video semantic understanding and search, advertisement, robotics, and human computer interface. Recent rapid advances have paved roads for video-oriented object and event recognition. However, there still exist many key issues unsolved, e.g. How to design effective and efficient features dedicated to video data? How to manage large-scale video database? How to handle low-quality videos? How to preserve privacy in surveillance application? The main purpose of this one day workshop is to provide a forum for researchers to discuss the latest progress in video based object and event classification, and also provide a platform for researchers to understand the main challenges and key issues in this area.

Original high-quality papers are solicited on topics including, but not limited to

1. Feature design for video-based object and event classification

2. Machine learning techniques for video-based object and event classification

3. Video-based biometric (e.g. face, gesture, gait, etc)

4. Video-based object detection (e.g. human, car, etc)

5. Motion analysis in video (e.g. motion segmentation, structure from motion, etc)

6. Action, activity, and event classification in videos

7. Techniques for large-scale video analysis

8. Techniques for low-quality video analysis (e.g. super-resolution, video stabilization, etc)

9. Techniques for extracting semantics yet preserving privacy (e.g. blind vision middleware)

10. Other video based applications

Important Dates:

1. Paper Submission: June 14, 2009

2. Notification of Acceptance: July 05, 2009

3. Camera-ready Version: July 14, 2009

4. Workshop Date: September 28, 2009

Advisory Board:

· Thomas Huang, University of Illinois at Urbana-Champaign, USA

· Dimitris N. Metaxas, Rutgers University, USA

· Xiaoou Tang, the Chinese University of Hong Kong, Hong Kong

· Songde Ma, National Laboratory of Pattern Recognition, Chinese Academy of Sciences, China

Workshop Co-Chairs:

· Shuicheng Yan, National University of Singapore, Singapore

· Qingshan Liu, Rutgers University, USA

· Changsheng Xu, National Laboratory of Pattern Recognition, Chinese Academy of Sciences, China

Web Co-Chair:

· Ju Sun, National University of Singapore, Singapore.

Best Paper Award:

The best paper award sponsored by IBM is set up to encourage submission of high-quality papers on related research.

Publicado por unimauro en 14:52 0 comentarios  

3rd European Symposium on Mobile Media Delivery

3rd European Symposium on Mobile Media Delivery (EUMOB) 2009
in conjunction with MobiMedia 2009
7-9 September, 2009, Kingston University, UK


http://www.mobimedia.org/eumob2009.shtml

The delivery of multimedia content to every mobile handset on every mobile network, anytime and anywhere is still a major challenge. Several European research projects from the FP6 and
the FP7 programme are addressing the challenges of mobile media delivery. Due to the interdisciplinary nature of mobile media delivery, projects from the mobile and wireless area, from the networked media area as well as from the content technologies area, not neglecting security and experimental facilities, are dealing with mobile media delivery.

One of the goals of the symposium is to allow exchange of ideas and interaction among the different European Projects on the topic in question, with a special focus on recently started FP7
projects. European technology platforms are also invited to present their views in the area.

Besides these projects, other research work about mobile media delivery is carried out in academia, research institutes and industrial companies. EUMOB 2009 will give researchers the
opportunity to present their latest results on this topic.
Researchers active in FP6 and FP7 research projects as well as other leading international researchers are invited to participate and share their latest findings.

Authors are invited to submit original, unpublished contributions dealing with topics on mobile media delivery, including, but not limited to:
  • - Architectures for mobile media delivery
  • - Mobile media delivery over next generation systems
  • - Peer-to-peer networks for mobile media delivery
  • - Solutions for optimized media delivery and transport over heterogeneous networks
  • - Quality of Service/Experience issues and solutions, including video quality assessment methods
  • - Network convergence for media delivery
  • - Media adaptation to networks and devices
  • - Cross-layer communication for mobile media delivery
  • - (Scalable) source coding for mobile media
  • - Source/channel coding and joint optimizations
  • - Efficient usage of radio and spectrum resources
  • - Mobile media delivery to multiple users
  • - Interactive mobile broadcast and Mobile TV
  • - Security and protection for mobile media delivery
  • - Content-aware and context-aware mobile media delivery
  • - Standards for mobile media delivery
  • - Health, transport and environment applications

Important Dates
- Paper Submission: May 31, 2009
- Review Results: June 26, 2009
- Submission of Camera-ready Papers: July 23, 2009

Contact
- Christian Timmerer, christian.timmerer@itec.uni-klu.ac.at
- Jyrki Huusko, Jyrki.Huusko@vtt.fi

Submissions should be full-length papers of up to 5 pages (including all figures and references) formatted according to ACM publication template. Papers will be accepted only by electronic
submission through the ASSYST system and the instructions can be found at http://www.mobimedia.org/eumob2009.shtml. Accepted papers will be published in Springer LNICST (Lecture Notes of ICST) and will be made available in ACM Digital Library.

Publicado por unimauro en 14:34 0 comentarios  

10th INTERNATIONAL CONFERENCE ON INTELLIGENT DATA ENGINEERING AND AUTOMATED LEARNING

10th INTERNATIONAL CONFERENCE ON INTELLIGENT DATA ENGINEERING AND
AUTOMATED LEARNING (IDEAL'09)

23-26 September, 2009, Burgos, Spain
URL: http://gicap.ubu.es/ideal2009

*** Extended Paper Submission Deadline: 30th May, 2009 ***
**********************************************************


*** GENERAL INFORMATION ***
IDEAL is an annual conference dedicated to emerging and challenging topics in intelligent data analysis and engineering and their associated learning paradigms. Its recent events have enjoyed huge successes in many parts of the world such as Daejeon (2008), Birmingham (2007), Burgos (2006), Brisbane (2005), Exeter (2004), Hong Kong (2003), and Manchester (2002).

IDEAL 2009 will be held in the medieval capital of Spain, Burgos, for the second time thanks to its previous achievement. IDEAL 2009 will provide a stimulating and fruitful forum for presenting and discussing the latest theoretical advances and real-world applications in
Intelligent Data Engineering and Automated Learning.

*** TOPICS ***
The main themes of the conference are (but not limited to):
LEARNING AND INFORMATION PROCESSING
DATA MINING & INFORMATION MANAGEMENT
BIOINFORMATICS & NEUROINFORMATICS
AGENTS & DISTRIBUTED SYSTEMS
FINANCIAL ENGINEERING AND MODELLING

For details please visit http://gicap.ubu.es/ideal2009

*** PAPER SUBMISSION ***
All submissions will be refereed by experts in the field based on originality, significance, quality and clarity. Accepted papers will be included in IDEAL'09 Proceedings, that will be published by Springer in the prestigious Lecture Notes in Computer Science series. Papers should not exceed 8 pages and should comply with the format of LNCS/LNAI proceedings (see http://www.springer.com). All manuscripts should be submitted through the on-line submission system - available shortly.

*** JOURNAL SPECIAL ISSUES ***
All accepted contributions will be considered for extension and expansion for publication in a special issue of the following established international journals:

  • - INTERNATIONAL JOURNAL OF NEURAL SYSTEMS
  • - INTEGRATED COMPUTER-AIDED ENGINEERING
  • - KNOWLEDGE AND INFORMATION SYSTEMS -AN INT. JOURNAL

*** SPECIAL SESSIONS ***
  • - SS01: Soft Computing Techniques in Data Mining
  • - SS02: Recent Advances on Swarm-based Computing
  • - SS03: Nature-inspired models: evolutionary computation and quantum algorithms
  • - SS04: Intelligent Computational Techniques in Medical Image Processing
  • - SS05: Advances on Ensemble Learning and Information Fusion
  • - SS06: Financial and Business Engineering (Modeling and Applications)

*** WORKSHOPS ***
  • - 2nd International Workshop on Computational Intelligence in Security for Information Systems CISIS'09 (http://gicap.ubu.es/cisis2009)
  • - MIR Day 2009 - Burgos
  • - Workshop on Bioinformatics
*** IMPORTANT DATES ***
Submission of papers: 30th May 2009
Notification of acceptance: 23rd June 2009
Camera-ready papers due: 1st July 2009
IDEAL 2009 Conference and Workshops: 23rd-26th September 2009

Third Workshop on Formal Languages and Analysis of Contract-Oriented Software (FLACOS'09)

martes, 26 de mayo de 2009

Third Workshop on Formal Languages and Analysis of
Contract-Oriented Software (FLACOS'09)

24-25 September 2009, Toledo - Spain
http://www.ifi.uio.no/flacos09


The ability to negotiate contracts for a wide range of aspects and to provide services conforming to them is a most pressing need in service-oriented architectures. High-level models of contracts are making their way into service-oriented architectures, but application developers are still left to their own devices when it comes to writing code that will comply with a contract concluded just before service provisioning. At the programming language level, contracts appear as separate concerns that cut across application logic, while analysis requires that contracts are abstracted from applications to become amenable to formal reasoning using formal language techniques. The aim of this workshop is to bring together researchers and practitioners working on language-based solutions to the above issues through formalization of contracts, design of appropriate abstraction mechanisms, and formal analysis of contract languages and software.

The workshop will consist mainly of a number of presentations by invited speakers. A small number of additional sessions will be reserved for other researchers in the field who are encouraged to submit a short abstract of their work as an expression of interest in participating in the workshop by 8 June 2009. The number of participants in the workshop is strictly limited.

The previous editions of the workshop were held in Oslo in 2007 (FLACOS'07) and Malta in 2008 (FLACOS'08). The FLACOS workshops are partially supported by Nordunet3, under the project COSoDIS.


IMPORTANT DATES

Paper Submission Deadline: 8 June 2009
Notification of Acceptance: 15 June 2009
Registration Closes: 15 August 2009
WORKSHOP: 24-25 September 2009


SCOPE

Topics of the workshop include (but are not limited to):
  • Formal languages for contracts
  • Contract-oriented software development
  • Formal analysis of contracts, including static analysis, run-time verification, and model checking techniques
  • Contract synthesis
  • Contract transformation and contract refinement
  • Contract negotiation, discovery and monitoring

INVITED PARTICIPANTS

SUBMISSIONS

Authors wishing to give a talk at the workshop are invited to submit an extended abstract of their work (3-8 pages, in PDF format, one column, without page numbers, and printable on A4 paper) to flacos-09@dsi.uclm.es by 8 June 2009. Submission of work submitted for formal publication elsewhere and work in progress is permitted.

The abstracts of the accepted contributions will be available at the workshop. After the workshop, selected papers will be published in a special issue of the Journal of Logic and Algebraic Programming (Elsevier), following the standard reviewing process of the journal.


REGISTRATION INFORMATION
  • More information to follow.

PROGRAMME COMMITTEE
  • Björn Bjurling, SICS, Sweden
  • Olaf Owe, University of Oslo, Norway
  • Gordon Pace, University of Malta, Malta (co-chair)
  • Anders P. Ravn, Aalborg University, Denmark
  • Gerardo Schneider, University of Oslo, Norway (co-chair)
  • Valentín Valero Ruiz, University of Castilla-La Mancha, Spain

LOCAL ORGANIZATION CHAIR

  • M. Emilia Cambronero Piqueras, University of Castilla-La Mancha, Spain

CONTACT INFORMATION

Publicado por unimauro en 14:31 0 comentarios