VII Sessão de Demos do XXV Simpósio Brasileiro de Banco de Dados (SBBD 2010)
============================================================================
Promovido pela SBC - Sociedade Brasileira de Computação
Belo Horizonte, MG
5 a 8 de Outubro de 2010


Datas Importantes
=================
Submissão de Artigos: 18 de junho de 2010 (https://submissoes.sbc.org.br)
Notificação aos Autores: 6 de agosto de 2010
Envio da Versão Final: 30 de agosto de 2010


Informações Gerais
==================
O SBBD é o evento oficial da SBC na área de Banco de Dados e o maior evento na América Latina nesta área. O simpósio visa a divulgação de resultados de pesquisa nesta área, sendo um importante fórum para aquisição de conhecimento e troca de experiências. O evento reúne pesquisadores, estudantes e profissionais do Brasil e do exterior para discutir problemas relacionados aos tópicos maisatuais da tecnologia de banco de dados. Este ano, o simpósio será realizado na cidade de Belo Horizonte, capital do estado de Minas Gerais e terceira maior cidade do Brasil. A sessão de Demos do SBBD promove, desde 2004, a mostra de soluções automatizadas para pesquisadores, desenvolvedores e profissionais, tanto da academia quanto do mercado, interessados em implementações práticas e funcionais para problemas não triviais que envolvam tecnologias para gerência de dados e/ou informações.


Submissão e Avaliação
=====================
O processo de avaliação e de seleção das demonstrações ocorre em 2 etapas. Na primeira etapa, os autores submetem um artigo descrevendo as principais características de suas demos. Cada artigo submetido é analisado por pelo menos 3 membros do Comitê de Programa quanto à originalidade, alcance prático do software, contribuição técnica e apresentação. Na segunda etapa, as demos selecionadas serão apresentadas durante o simpósio, quando são novamente analisadas por um Comitê de Julgamento. Os resultados das 2 avaliações são utilizados pelo Comitê de Julgamento para escolher e premiar a melhor demo.


Outline
=======
A Sessão de Demos será realizada em 2 dias durante o SBBD 2010. Pelo menos um dos autores de cada demo deve estar presente na Conferência para fazer uma apresentação prática do software.

Adicionalmente, cada demo deve ter um poster para exibição durante a sua apresentação prática. O poster, no tamanho de 0.70 cm x 1.00 m (width x height), deverá incluir a seguinte informação:
- nome do software
- logo da SBBD 2010
- nomes e afiliações dos autores
- informações sobre financiamento para construção do software, se aplicável
- e-mail de contato e URL para maiores informações sobre o software
- resumo
- principais características/funcionalidades do software
- principais referências

É desejável que os autores utilizem equipamento próprio (laptop) para a realização das apresentações práticas. Se necessário, equipamento específico poderá estar disponível para instalação e execução do software, se previamente solicitado à organização (junto à submissão do artigo final).


Instruções para Submissão
=========================
Artigos podem ser escritos em Português ou Inglês, e devem estar no formato PDF. Outros formatos não são aceitos. Os artigos devem ter até 6 (seis) páginas, incluindo: resumo (português), abstract (inglês), objetivos do trabalho, descrição detahada da demo e de suas funcionalidades (incluindo figuras e diagramas) e referências. Artigos devem ser formatados segundo templates da SBC, disponível em http://www.sbc.org.br/sbc/eventos/templates.html. Submissões devem ser feitas eletronicamente através da página https://submissoes.sbc.org.br/.


Publicação
==========
Os artigos descrevendo as demos aceitas serão publicados eletronicamente. A publicação de um trabalho implica que pelo menos um (1) de seus autores se inscreverá no Simpósio para apresentá-lo.


Coordenação do SBBD Demos 2010
==============================
Ronaldo Mello (UFSC)
Viviane Moreira (UFRGS)

Para maiores informações, contacte a coordenação (Ronaldo Mello) atraves do
e-mail: ronaldo@inf.ufsc.br.

HeteroPar'2010

8th International Workshop on Algorithms, Models and Tools
for Parallel Computing on Heterogeneous Platforms

HeteroPar'2010

August 30, 2010, Ischia-Naples, Italy
in conjunction with EuroPar 2010

http://heteropar2010.ens-lyon.fr
======================================================================

* Submission of manuscripts: Friday, May 21, 2010
* Notification of acceptance: Friday, July 2, 2010
* Deadline for final version: Friday, July 30, 2010
* Date of workshop: Monday, August 30, 2010

Networks of computers are the most common and available parallel architecture now. Unlike dedicated parallel computer systems, networks are inherently heterogeneous. They consist of diverse computers of different performances interconnected via heterogeneous network equipment providing communication links with different latencies and bandwidths. Traditional parallel algorithms and tools are aimed at homogeneous multiprocessors and cannot be efficiently used for parallel computing on heterogeneous networks. New ideas, dedicated algorithms and tools are needed to efficiently use this new type of parallel architectures. The workshop is intended to be a forum for people working on algorithms, programming languages, tools, and theoretical models aimed at efficient problem solutions on heterogeneous networks.

Authors are encouraged to submit original, unpublished research or overviews on Algorithms, Models and Tools for Parallel Computing on Heterogeneous Platforms. Manuscripts should be limited to 10 pages in Springer LNCS style sheet and submitted through the EasyChair Conference System: https://www.easychair.org/login.cgi?conf=heteropar2010. Accepted papers that are presented at the workshop will be published in revised form in a special Euro-Par Workshop Volume in the Lecture Notes in Computer Science (LNCS) series after the Euro-Par conference.


The topics to be covered include but are not limited to:

* Heterogeneous parallel programming paradigms and models;

* Languages, libraries, and interfaces for different heterogeneous parallel programming models;

* Performance models and their integration into the design of efficient parallel algorithms for heterogeneous platforms;

* Parallel algorithms for heterogeneous and/or hierarchical multi-core systems;

* Parallel algorithms for efficient problem solving on heterogeneous platforms (numerical linear algebra, nonlinear systems, fast transforms, computational biology, data mining, multimedia, etc.);

* Software engineering for heterogeneous parallel systems;

* Applications on heterogeneous platforms;

* Integration of parallel and distributed computing on heterogeneous platforms;

* Experience of porting parallel software from supercomputers to heterogeneous platforms;

* Fault tolerance of parallel computations on heterogeneous platforms;

* Algorithms, models and tools for grid, desktop grid, cloud, and green computing.


Program Chair

* Frédéric Vivien, École normale supérieure de Lyon, and INRIA, France

Steering Committee

* Domingo Giménez, University of Murcia, Spain
* Alexey Kalinov, Cadence Design Systems, Russia
* Alexey Lastovetsky, University College Dublin, Ireland
* Yves Robert, Ecole Normale Supérieure de Lyon, France
* Leonel Sousa, INESC-ID/IST, TU Lisbon, Portugal
* Denis Trystram, LIG, Grenoble, France

(WCGA 2010)

Apresentação

A série WCGA tem por objetivo atuar como um fórum para apresentações técnicas de pesquisas em andamento e atividades relevantes nas áreas de infra-estrutura e infra-estrutura virtualizada, serviços e aplicações em áreas diversas, congregando pesquisadores e profissionais que atuam ativamente nessas áreas. O workshop também procura estabelecer redes colaborativas multi-institucionais e grupos de competência técnico-científica, bem como fortalecer atividades em andamento.

O VIII Workshop em Clouds, Grids e Aplicações (WCGA 10) será realizado durante o 28º Simpósio Brasileiro de Redes de Computadores e Sistemas Distribuídos (SBRC 2010), em Gramado, RS.

Tópicos

Para a edição deste ano, autores são particularmente encorajados a submeter trabalhos originais em tópicos relacionados com suporte de rede e de middleware para grades, bem como aplicações em grade que demandem suporte de nível de rede. Mais especificamente, os tópicos de interesse incluem (mas não estão limitados a):

Avaliação de Desempenho Balanceameto de Carga Gerência de Políticas Tolerância a Falhas Provisão de QoS Infraestrutura Virtualizada Portais IaaS, Paas, Saas, NaaS APIs e Controle de uso Integração Ótica de Sem-fio Gerenciamento de Energia Orquestração e Coreografia de Serviços Gerência e Escalonamento de Recursos Ferramentas e Modelos de Programação

Ferramentas de Gerencia de Infraestrutura Virtualizada Segurança em Infraestrutura Virtualizada Gerenciamento de Recursos Virtualizados Gerenciamaneto de DataCenters Computacao e Comunicacao Verdes Modelos de Contabilidade e Economia Gerencia de Metadados, Schemas e Ontologias Aplicações e Serviços habilitados pela Infraestrutura Virtualizada Aplicações, Comunidades e Testbeds

Informação para Autores

A submissão de trabalhos será exclusivamente eletrônica. Autores devem usar a URL https://submissoes.sbc.org.br/home.cgi?c=1046. Os artigos podem ser em português ou inglês, exclusivamente nos formatos Postscript (generic postscript) ou PDF. O texto deve conter no máximo 12 páginas, incluindo resumo (e abstract para artigos em português), figuras, diagramas, referências e anexos. A formatação deve seguir o padrão da SBC, disponível em http://www.sbc.org.br/index.php?language=1&subject=60&content=downloads.

Artigos submetidos ao WCGA serão avaliados pelo corpo de revisores, sendo os selecionados organizados para apresentação e publicação nos anais do Workshop. Ao menos um dos autores de cada artigo selecionado deverá se inscrever no SBRC e no WCGA, bem como apresentá-lo no evento.

Datas Importantes

• Submissão de artigos: 02 de abril de 2010
• Comunicação dos resultados: 23 de abril de 2010
• Envio da versão final dos artigos: 27 de abril de 2010
• Data do workshop: 28 de maio de 2010

Organização

Coordenação Geral do SBRC

• Luciano Paschoal Gaspary, Universidade Federal do Rio Grande do Sul (UFRGS)
• Marinho Pilla Barcellos, Universidade Federal do Rio Grande do Sul (UFRGS)

Coordenação de Workshops

• Antônio Jorge Gomes Abelém, Universidade Federal do Pará (UFPA)

Coordenação de Programa do WCGA

• Alfredo Goldman, Universidade de São Paulo (USP)
• Bruno Schulze, Laboratório Nacional de Computação Cientítica (LNCC)

Comitê de Programa

• Antônio Tadeu Gomes, Laboratório Nacional de Computação Científica (LNCC)
• Antonio Mury, Laboratório Nacional de Computação Científica (LNCC)
• Artur Ziviani, Laboratório Nacional de Computação Científica (LNCC)
• Celso Mendes, University of Illinois, Estados Unidos
• Cesar De Rose, Pontifícia Universidade Católica do Rio Grande do Sul (PUCRS)
• Claudio Geyer, Pontifícia Universidade Católica do Rio Grande do Sul (PUCRS)
• Cristina Boeres, Universidade Federal Fluminense (UFF)
• Edmundo Madeira, Universidade Estadual de Campinas (UNICAMP)
• Fabio Costa, Universidade Federal de Goiás (UFG)
• Fabio Porto, Laboratório Nacional de Computação Científica (LNCC)
• Fabiola Greve, Universidade Federal da Bahia (UFBA)
• Fabricio Alves Barbosa da Silva, TU Lisbon, Portugal
• Francisco José Silva, Universidade Federal do Maranhão (UFMA)
• Hélio Guardia, Universidade Federal de São Carlos (UFSCar)
• José Neuman, Universidade Federal do Ceará (UFC)
• Leonel Sousa, TU Lisbon, Portugal
• Lúcia Drummond, Universidade Federal Fluminense (UFF)
• Luis Carlos De Bona, Universidade Federal do Paraná (UFPR)
• Marcelo Pasin, TU Lisbon, Portugal
• Philippe Navaux, Universidade Federal do Rio Grande do Sul (UFRGS)
• Raphael Camargo, Universidade Federal de Bacabal (UFBAC)
• Rossana Andrade, Universidade Federal do Ceará (UFC)
• Vinod Rebello, Universidade Federal Fluminense (UFF)
• Wagner Meira Jr., Universidade Federal de Minas Gerais (UFMG)

Contato

Chamada de Trabalhos do VI Workshop de Redes Dinâmicas e Sistemas P2P

(WP2P 2010)

Apresentação

Redes e sistemas distribuídos dinâmicos têm se tornado mais importantes e presentes no dia-a-dia de indivíduos e organizações. Neste contexto estão incluídas as redes móveis e Ad Hoc, além dos sistemas P2P (Par-a-Par ou Peer-to-Peer). De forma geral, são sistemas tipicamente descentralizados, construídos a partir da interconexão de um grande número de nodos capazes de se auto-organizar, mantendo desempenho aceitável, mesmo frente a padrões de comportamento altamente dinâmicos. Este paradigma apresenta atualmente uma gama muito variada de aplicações e serviços, incluindo compartilhamento de conteúdo e serviços, streaming de áudio e vídeo al&eac ute;m de máquinas de busca. Destaca-se que diversos problemas de redes dinâmicas ainda estão em aberto, para os quais não há soluções clássicas estabelecidas.

O objetivo do VI Workshop de Redes Dinâmicas e Sistemas P2P (WP2P) é constituir um fórum para discussão do estado da arte em tecnologias, aplicações, sistemas e redes dinâmicas e identificar os desafios de pesquisa nesta área. O WP2P 2009 é o fórum ideal para que pesquisadores, alunos e profissionais apresentem trabalhos que estão sendo desenvolvidos nas universidades e centros de pesquisa brasileiros. O workshop será realizado dentro da semana de 24 a 28 de maio de 2010, em Porto Alegre, Rio Grande do Sul, fazendo parte da vasta grade de atividades do XXVIII Simpósio Brasileiro de Redes de Computadores e Sistemas Distribuídos.

Tópicos de Interesse

Autores são convidados a submeter trabalhos de pesquisa, resultados experimentais e desenvolvimentos que incluam tópicos da lista não exaustiva a seguir:

• Avaliação de Desempenho
• Novas aplicações e serviços para redes dinâmicas e P2P
• Arquiteturas e topologias de redes de sobreposição
• Armazenamento e distribuição de conteúdo em redes P2P
• Fluxos de dados em sistemas P2P
• Desempenho e robustes de redes P2P
• Tolerância a falhas em redes P2P
• Descoberta e composição de serviços P2P
• Segurança e gerenciamento de confiança em sistemas dinâmicos
• Economia em sistemas P2P
• Técnicas, ambientes e toolkits para programação P2P
• Roteamento e multicast em redes móveis, ad hoc e P2P
• Redes P2P sobre redes móveis e sem-fio
• Gerenciamento de redes dinâmicas
• Análise de tráfego em sistemas dinâmicos
• Caracterização de carga e simulação de redes em sistemas dinâmicos

Informações para Autores

A submissão de trabalhos será exclusivamente eletrônica, através do site de submissões da SBC (https://jems.sbc.org.br/sbrc2010). Os artigos podem ser escritos em português ou inglês, exclusivamente em formato PDF padrão. O texto deve conter no máximo 12 páginas, incluindo resumo (e abstract para artigos em português), figuras, diagramas, referências e anexos. A formatação do texto deve seguir o padrão da SBC, disponível em http://www.sbc.org.br/template.

Os artigos submetidos ao WP2P serão avaliados por um corpo de revisores e os trabalhos selecionados serão organizados para apresentação e publicação nos anais do evento. No mínimo um dos autores de cada artigo selecionado deverá inscrever-se no SBRC e no WP2P e comparecer ao evento para apresentar seu trabalho.

Datas Importantes

• Submissão de artigos: 02/04/2010 (23:55)
• Comunicação dos resultados: 23/04/2010
• Envio da versão final dos artigos: 27/04/2010
• Data do workshop: 28/05/2010

Organização

Coordenação Geral do SBRC

• Luciano Paschoal Gaspary, Universidade Federal do Rio Grande do Sul (UFRGS)
• Marinho Pilla Barcellos, Universidade Federal do Rio Grande do Sul (UFRGS)

Coordenação de Workshops

• Antônio Jorge Gomes Abelém, Universidade Federal do Pará (UFPA)

Cordenação de Programa do WP2P

• Luis Carlos Erpen De Bona, Universidade Federal do Paraná (UFPR)

Comitê de Programa do WP2P

• Alexandre Sztajnberg, Universidade do Estado do Rio de Janeiro (UFRJ)
• Artur Ziviani, Laboratório Nacional de Computação Científica (LNCC)
• Carlos Kamienski, Universidade Federal do ABC (UFABC)
• Daniel Figueiredo, Universidade Federal do Rio de Janeiro (UFRJ)
• Djamel Sadok, Universidade Federal do Pernambuco (UFPE)
• Eduardo de Almeida, Universidade Federal do Paraná (UFPR)
• Elias P. Duarte Jr., Universidade Federal do Paraná (UFPR)
• Fabíola Greve, Universidade Federal da Bahia (UFBA)
• Francisco Brasileiro, Universidade Federal de Campina Grande (UFCG)
• Joni da Silva Fraga, Universidade Federal de Santa Catarina (UFSC)
• José Neuman, Universidade Federal do Ceará (UFC)
• Jussara Almeida, Universidade Federal de Minas Gerais (UFMG)
• Lisandro Granville, Universidade Federal do Rio Grande do Sul (UFRGS)
• Marinho Barcellos, Universidade Federal do Rio Grande do Sul (UFRGS)
• Marta Mattoso, Universidade Federal do Rio de Janeiro (UFRJ)
• Ronaldo Ferreira, Universidade Federal de Mato Grosso do Sul (UFMS)
• Rossana Andrade, Universidade Federal do Ceará (UFC)
• Thais Vasconcelos Batista, Universidade Federal do Rio Grande do Norte (UFPR)

Contato

• Luis Carlos Erpen De Bona
• E-mail: bona@inf.ufpr.br

http://www.cs.bgu.ac.il/~dolev/OSC10

SCOPE:

OSC, the International Workshop on Optical SuperComputing, is an annual forum for research presentations on all facets of optical computing for solving hard computation tasks. Optical computing devices have the potential to be the very next computing infrastructure. Optical computing presents an alternative to the frequency limitations, cross-talk phenomena and soft-errors of electronic devices. The natural parallelism of optical computing devices, coupled with the advance in fiber optics and optical switches make optical computing commercially viable. Research contributions to the theory, design, specification, analysis, implementation, or application of optical supercomputers are solicited.

Topics of interest include, but are not limited to:

• Designs or demonstrations of optical computing devices and systems

• Algorithmics and complexity issues of optical computing

• Computation representation by photons and holograms

• Neural and brain inspired architectures

• Electro-optic devices for interacting with optical computing devices

• Practical implementations

• Analysis of existing devices and case studies

• Optical photonics and laser switching technologies

• Optical and photonic memories

• Optical signal processing subsystems

• Optical networks for high-performance computing

• Optical interconnections

• Quantum optical systems

• Applications and algorithms for optical devices

• Alpha particles, X-Rays and nano-technologies for optical computing

Dates:

Submission deadline: June 3, 2010

Acceptance notification August 10, 2010

Camera-ready copy due September 03, 2010

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

in Conjunction with

The Twenty-Second International Conference on Software Engineering and Knowledge Engineering (SEKE 2010)Hotel Sofitel. San Francisco Bay, USA , July 1– July 3, 2010
(URL: http://www.ksi.edu/seke/seke10.html)

Organized by Knowledge Systems Institute, U.S.A.

THEME

For decades software systems suffer from poor reliability. Billions of dollars and even lives are lost annually due to software errors. According to the report by NIST in 2002, poor software quality costs 60 billion dollars yearly to US economy, and 22 billion dollars can be regained by improving infrastructure for detecting errors using testing closer to the development phase. With the quick increase of software complexity and scale, test automation is becoming an emerging and effective solution in software quality assurance to meet tight project schedules with quality.

Today, there are many published research papers addressing software test automation issues and solutions, numerous test automation tools are available for quality assurance engineer. However, there are many open issues, obstacles, and challenges in software test automation, practice, and standardization. Moreover, there is an emerging need in software test automation standardization to reduce test automation efforts by increasing standardization of test process, test design, and test tools. This workshop is set up to meet these emerging needs.

GOALS

This international workshop on software test automation, practice, and automation brings together software test automation researchers and industry practitioners to exchange innovative ideas, practical solutions, and test automation tools to cope with practical issues and challenges in the real world. Moreover, this workshop is set-up to provide an effective forum for researchers and industry practitioners to discuss the diversity of test automation standards in software projects, test automation standardization needs, challenges, and importance. Furthermore, this workshop provides a great platform for engineers and researchers to report innovative software test automation solutions, and tools, and share practical project experience and lessons, as well as, exchange well-defined test automation standards.

TOPIC OF INTEREST

This international workshop seeks original papers, which propose new test automation ideas, solutions and tools, report practical experience in test automation projects, discuss new test automation processes, standards, models, and test criteria. The typical scope includes different perspectives in test automation, including auto-test infrastructure, standards, models, test generation, test execution, test management, and test coverage analysis and measurement. In addition, it also seeks practice reports that present the current issues, challenges, experience and lessons on software test automation projects.

The topics for submissions include but are not limited to the followings:

1. Auto-test solutions and tools:
* Software test automation tools and solutions for unit testing (black-box/white-box)
* Automatic techniques and tools for testing software production lines, such as installation testing, and configuration testing
* Automatic software regression test techniques and tools
* System load testing tools and performance evaluation tools for non-functional requirements and features
* Software simulation and tools for software auto-testing
* Software security testing techniques and tools
* User-oriented and requirements-based test automation approaches and tools
* Program-based software test automation methods, tools, and experience
* Language-based software test automation techniques and tools
* Software test automation cost analysis and complex evaluation tools
* Innovative software test languages, scripting techniques, and tools
* Automatic software test coverage analysis and monitoring tools

2. Test automation standardization:
* Test automation standardization issues, challenges, motivations, and needs
* Test automation standards in test processes, test models, test languages, coverage criteria, and documentation
* Test automation standards for test planning, design & analysis, test generation and scripting, test complexity and cost evaluation, and tools
* Test automation techniques, experience, lessons and case studies
* General and domain-specific standardization for test automation and tools

3. Emerging test automation methods and tools:
* Automatic validation techniques and technology for emerging software technologies
* SOA-based software test automation methods, techniques, and tools
* Model-based software test automation methods, techniques, and tools
* Component-based software test automation methods and tools
* Web-based and agent-based software test automation methods and tools
* Wireless-based software test automation approaches and tools

4. Test automation management and practice:
* Issues, challenges, and needs in software test automation and practice
* Test-driven-development techniques and project experience
* Software test automation case studies and empirical studies
* Software test automation project issues, experience and lessons learned

IMPORTANT DATES
* Paper submission due: March 2, 2010
* Notification of acceptance: April, 15, 2010
* Camera-ready copy: May 10, 2010
* Workshop and conference date: July 1-3, 2010

SUBMISSION OF PAPERS:

Papers must be written in English. An electronic version (Postscript, PDF, or MS Word format) of the full paper should be submitted using the following URL: http://conf.ksi.edu/seke2010/submit/SubmitPaper.php. Please use Internet Explorer as the browser, and select the paper type "Workshop: Software Test Automation, Practice, and Standardization - Gao, Muccini and Bai". Manuscript must include a 200-word abstract and no more than 6 pages of IEEE double column text (include figures and references). In the final version, you have option to buy extra pages (up to 2 pages).

PAPER REVIEW, WORKSHOP PROGRAM, AND PUBLICATION

All submitted papers will be reviewed by the workshop PC committee and SEKE2010 program committee. The accepted papers will be published in the SEKE2010 conference proceedings. The workshop program will be set up as a part of SEKE 2010 Conference Program.

The best papers and their extended versions will be recommended for the publication on a special issue on Software Test Automation, Practice, and Standardization in International Journal of Software Engineering and Knowledge Engineering in 2010.

http://www.dimap.ufrn.br/~marcel/events/gcvs2010/

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

DAIS 2010

"Applications and services for a complex world"

In-cooperation with ACM SIGSOFT and SIGAPP

Amsterdam, The Netherlands
June 7-9, 2010

http://discotec.project.cwi.nl/DAIS.htm

To be held in conjunction with
FMOODS/FORTE 2010 and Coordination 2010
http://discotec.project.cwi.nl/


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

#################################################################

June 28 - June 30, 2010, Larissa (Greece)
http://www.sel.uniroma2.it/CoMetS10

#################################################################
# Papers Due: *** March 2, 2010 ***
# Accepted papers will be published in the conference proceedings
# by the IEEE Computer Society Press and indexed by EI.
#################################################################

Modeling and Simulation (M&S) is increasingly becoming a central
activity in the design of new systems and in the analysis of
existing systems because it enables designers and researchers to
investigate systems behavior through virtual representations. For
this reason, M&S is gaining a primary role in many industrial and
research fields, such as space, critical infrastructures,
manufacturing, emergency management, biomedical systems and
sustainable future. However, as the complexity of the
investigated systems increases and the types of investigations
widens, the cost of M&S activities increases because of the more
complex models and of the communications among a wider number and
variety of M&S stakeholders (e.g., sub-domain experts, simulator
users, simulator engineers, and final system users). To address
the increasing costs of M&S activities, collaborative
technologies must be introduced to support these activities by
fostering the sharing and reuse of models, by facilitating the
communications among M&S stakeholders, and more generally by
integrating processes, tools and platforms.

Aside from seeking applications of collaborative technologies to
M&S activities, the workshop seeks innovative contributions that
deal with the application of M&S practices to the design of
collaborative environments. These environments are continuously
becoming more complex and therefore their design requires
systematic approaches to meet the required quality of
collaboration. This is important for two reasons: to reduce
rework activities on the actual collaborative environment, and to
maximize the productivity and the quality of the process the
collaborative environment supports. M&S offers the methodologies
and tools for such investigations and therefore it can be used to
improve the quality of collaborative environments.

A non-exhaustive list of hi-level topics includes:

* collaborative environments for M&S
* agent-based M&S
* collaborative distributed simulation
* net-centric M&S
* web-based M&S
* model sharing and reuse
* model building and evaluation
* modeling and simulation of business processes
* modeling for collaboration
* simulation-based performance evaluation of collaborative
networks
* model-driven simulation engineering
* domain specific languages for the simulation of collaborative
environments
* domain specific languages for collaborative M&S

To stimulate creativity, however, the workshop maintains a wider
scope and invites interested researchers to present contributions
that offer original perspectives on collaboration and M&S.

+++++++++++++++++++++++++++++++++++
On-Line Submissions and Publication
+++++++++++++++++++++++++++++++++++

CoMetS'10 intends to bring together researchers and practitioners
to discuss key issues, approaches, open problems, innovative
applications and trends in the workshop research area.

Papers should contain original contributions not published or
submitted elsewhere. Papers up to six pages (including figures,
tables and references) can be submitted. Papers should follow the
IEEE format, which is single spaced, two columns, 10 pt
Times/Roman font. All submissions should be electronic (in PDF)
and will be peer-reviewed by at least three program committee
members.

Full papers accepted for the workshop will be included in the
proceedings, published by the IEEE Computer Society Press (IEEE
approval pending). Note that at least one author from each
accepted paper should register to attend WETICE 2010 to get the
paper published in the proceedings.

Authors may contact the organizers for expression of interests
and content appropriateness at any time. Papers can be submitted
in PDF format at the submission site
(http://www.easychair.org/conferences/?conf=comets10), which is
supported by the EasyChair conference management system. Please
contact the workshop chairs (comets10@easychair.org) if you
experience problems with the EasyChair Web site.

+++++++++++++++
Important Dates
+++++++++++++++

* Submission Deadline: March 2, 2010
* Decision to paper authors: April 2, 2010
* Final version of accepted papers due to IEEE: April 14, 2010
* Conference dates: June 28 - June 30, 2010

Pisa, Italy, 17-18 September, 2010
http://www.di.unipi.it/FLACOS2010


ABOUT FLACOS:

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, but application developers are still left to their
own devices when it comes to writing code that will comply with a
contract. 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.

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. Such languages include, but are not limited to SLA, BPEL,
behavioral interfaces, deontic logic for services, social contracts
(multi-agent systems), formalised legal contracts and other
prescriptive formalisms.

The workshop will include presentations by a number of invited
speakers and others from researchers in the field who are encouraged
to submit an abstract of their work as an expression of interest in
participating in the workshop. The number of participants in the
workshop is strictly limited.


IMPORTANT DATES

Paper Submission Deadline: April 15, 2010
Notification of Acceptance: June 1, 2010
Final Version Due: July 1, 2010
Early registration: July 15, 2010
WORKSHOP: September 17-18, 2010


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


CONFIRMED INVITED PARTICIPANTS

* Fabio Massacci, Università di Trento
* Michael Papazoglou, Tilburg University
* Andreas Roth, SAP Research
* Marek Sergot, Imperial College London
* More to be announced


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, printable on A4 paper) to flacos2010@di.unipi.it by 15 April
2010. 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.

Evento integrante da X Escola Regional de Computação
Bahia-Alagoas-Sergipe (X ERBASE)
Maceió - Alagoas
26 a 30 de abril de 2010
http://www.cesmac.com.br/erbase2010


** Chamada de Trabalhos **

O WEIBASE é um fórum regional que visa divulgar e discutir os avanços
político-pedagógicos na educação superior em cursos de informática. O
público alvo deste evento constitui-se de coordenadores de curso,
professores, estudantes e profissionais da área de computação
interessados em técnicas inovadoras voltadas à melhoria do ensino de
graduação. A programação do WEIBASE contará com a apresentação de
palestras convidadas, painéis, artigos completos e de ferramentas de
auxílio à atividades de graduação.

Submissão de trabalhos relacionados aos seguintes temas (não exaustivos):
conter no máximo 10 páginas, incluindo resumo, abstract, figuras,
diagramas e referências. Os artigos selecionados serão apresentados em
sessões técnicas de trabalhos e publicados em meio digital. A
publicação do artigo nos anais do evento estará condicionada à
inscrição de, pelo menos, um dos autores no evento.


** Datas Importantes **
19/02/2010 -Prazo final para submissão de trabalhos
22/03/2010 -Notificação de trabalhos aceitos
26/03/2010 -Entrega da versão final dos trabalhos aceitos

http://www.iapma2010.dcu.ie/
held in conjunction with ECIR 2010, March 28-31, 2010, Milton Keynes, U.K.
*=*=*=*=*=*=*=*=*=*=*=*=*=*=*=*=*=*=*=*=*=*=*=*=*=*=*=*=*=*=*=*=*=*=*=*=*=*=*=

*** Apologies for any cross-postings ***

Important Dates
---------------
*** Submission of papers: Friday 15th January, 2010 ***
Notification of acceptance: Monday 15th February, 2010
Camera ready papers: Friday 26th February, 2010
Workshop at ECIR : Sunday 28th March, 2010



Workshop Description
--------------------
There has been a relative explosion of personal multimedia data in recent times e.g. work documents, e-mail, personal images/videos, sensing devices to record biometric data when we go running, cell phone text messages, sensed data from the environment around us (air quality, our home energy usage), etc. Some of these technologies already potentially offer great assistance to those with memory impairments, with emerging results from the cognitive psychology field being very encouraging. The most significant missing element is the technologies to give end users reliable, efficient and high-quality information retrieval over these personal media archives.

These archives pose new and unique challenges in that: data is likely to be multi-modal in nature (text, audio, photo, video, biometric, location, etc.); there may be a vast number of data items (a lifetime of data); items will often not be joined by inter-document links; the archive will contain much non-useful data that users will never want to see again; the archive will contain data about the user’s environment that they may not understand; the user may be unable to describe clearly what they are looking for; they may not even be aware that the data was captured and is available; and it may often be helpful to recommend content related to the user’s current context.

This workshop will provide a forum for researchers from different backgrounds to present and discuss their ideas relating to the IR challenges of effectively accessing personal media archives. We are interested in the report of current work including: development of new sensing devices and technologies to capture novel data of personal interest, algorithmic
research, user studies on the real-life benefits of efficiently accessing personal media archives, and also position papers on the place of personal media archive research within IR
or proposals for research strategies in this area. Submissions will be selected for presentation to reflect a spectrum of work and to encourage cross-disciplinary discussion in the workshop.



Aim & Topics
------
The aim of this one-day workshop is to foster discussion on issues related to personal media archives which capture access mechanisms to life’s experiences. We invite regular and position papers as well as demonstrations (accompanied by descriptive papers) on relevant topics, including, but not limited to:

- IR challenges in personal media archives (indexing and search)
- User studies on the human benefits of being able to efficiently access personal media data
- Scaling up to large archives (a lifetime of data)
- E-memories
- Sensors to record new pieces of information about our lives e.g. biometric, environmental, or reporting on those who are around us
- Accessing e-mails and personal desktop data
- Retrieval of personal feelings/annotations from blogs, twitter, and social networking websites
- Multi-modal and context sensitive retrieval
- Semantic concept detection within personal media archives
- Social network analysis for personal media archives
- Summarisation / re-telling of personal media data
- Structuring and organisation of personal media archives for browsing, search and retrieval
- Evaluation issues in accessing personal media data
- Challenges of retrieval in personal media archives from multiple devices (mobile devices, desktops, tabletops, display walls, etc.)
- Novel methods for interacting with personal media archives
- Usability and design of technology for personal digital memories



Author Information
-----------------------------------------
Submissions for the workshop must follow the standard ACM double column style guidelines. They shall be submitted in PDF format and not be longer than 8 pages. Papers will be submitted using the EasyChair system, http://www.easychair.org/conferences/?conf=iapma2010. In submitting a manuscript to this workshop, the authors acknowledge that no paper substantially similar in content has been submitted to another workshop, conference, or journal.

All submitted papers will undergo a double-blind peer review process. At least three reviewers from the PC members and external reviewers will evaluate the originality, significance, clarity, soundness, relevance, and technical contents of the submitted manuscripts.

Accepted papers will be published in the workshop proceedings together with the proceedings of the ECIR 2010 conference. Based on the quality of the manuscripts, selected papers may be invited to submit to a special journal issue.

Ninth International Workshop on Low Temperature Electronics - WOLTE 9
Guarujá, Brazil - June 21-23, 2010
The objective of the Workshop is to provide an international forum for discussing recent research and development results in the area of low temperature electronics including, amongst others: semiconductor devices; low and high TC superconductor devices, molecular and biogenic devices, circuits and systems. Papers with system and application aspects are highly appreciated. However, they do not constitute a requirement for paper submission.

Topics of interest include, but are not limited to:
Semiconductor devices at low temperatures
Cryogenic amplifiers
Interfacing of superconducting circuitry by semiconductor
Digital electronics at low temperatures, both semiconducting and superconducting (RSFQ)
Quantum limited detectors and detector readout
Optoelectronics at low temperatures
Cryogenic MEMS and NEMS and coupling to electronic read out

Paper Submission and Deadlines:
Contributed papers will be selected based on submitted two-page abstracts in A4 format. Electronically submissions will only be accepted in pdf format and must be submitted prior to March 5, 2010. Further information about submission as well as the template for papers will be available at the conference webpage.
An extended version of the accepted papers with up to 4 pages will be requested upon acceptance in camera-ready format no later than May 10, 2010 to be available at the Workshop.

Submission Deadline: March 5th, 2010
Notification of Acceptance: April 23rd, 2010
Camera-Ready Deadline: May 10th, 2010

Location:
The city of Guarujá is located in the beautiful seaside of the Sao Paulo state in Southeast of Brazil, only 89 km far from the Sao Paulo city, taking about 2 hours from the Sao Paulo International Airport. The city is easily accessed both by car or bus service. Guarujá is known as "Pearl of Atlantic". This city is fully oriented to tourism and counts with several clean and free beaches extended all along urbanized roads. It has an excellent tourist infrastructure including a variety of hotels, bars, restaurants, supermarkets and commercial centres.

General Chair:
Marcelo Antonio Pavanello (FEI, Brazil)
pavanello@fei.edu.br

Program Chair:
João Antonio Martino (USP, Brazil)
martino@lsi.usp.br

Local Arrangements:
Michelly de Souza (FEI, Brazil)
Renato Camargo Giacomini (FEI, Brazil)

Sponsored by:
SBMicro - Brazilian Microelectronics Society
Co-Sponsored by:
IEEE Electron Devices Society
Organized by:
Centro Universitario da FEI, Brazil
University of Sao Paulo, Brazil
Supported by:
CNPq, CAPES, FAPESP

26th October 2009, Orlando, Florida, USA
Co-located with: 24th ACM Conference on Object-Oriented Programming Systems
and Applications (OOPSLA 2009)
Workshop Web-site: http://www.comp.lancs.ac.uk/computing/ACoM.09/
------------------------------