Call for Paper Conference

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.

INVITATION:

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

Please consider to contribute to and/or forward to the appropriate groups the following opportunity to submit and publish original scientific results.

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


============== ICWMC 2010 | Call for Papers ===============

CALL FOR PAPERS, TUTORIALS, PANELS

ICWMC 2010: The Sixth International Conference on Wireless and Mobile Communications

September 20-25, 2010 - Valencia, Spain


General page: http://www.iaria.org/conferences2010/ICWMC10.html

Call for Papers: http://www.iaria.org/conferences2010/CfPICWMC10.html


Submission deadline: April 20, 2010

Sponsored by IARIA, www.iaria.org


Extended versions of selected papers will be published in IARIA Journals: http://www.iariajournals.org

Publisher: CPS ( see: http://www2.computer.org/portal/web/cscps )

Archived: IEEE CSDL (Computer Science Digital Library) and IEEE Xplore

Submitted for indexing: Elsevier's EI Compendex Database, EI's Engineering Information Index

Other indexes are being considered: INSPEC, DBLP, Thomson Reuters Conference Proceedings Citation Index


Please note the Poster Forum and Work in Progress options.

The topics suggested by the conference can be discussed in term of concepts, state of the art, research, standards, implementations, running experiments, applications, and industrial case studies. Authors are invited to submit complete unpublished papers, which are not under review in any other conference or journal in the following, but not limited to, topic areas.

All tracks are open to both research and industry contributions, in terms of Regular papers, Posters, Work in progress, Technical/marketing/business presentations, Demos, Tutorials, and Panels.

Before submission, please check and conform with the Editorial rules: http://www.iaria.org/editorialrules.html


ICWMC 2010 Tracks (tracks' topics and submission details: see CfP on the site)

Wireless Communications Basics

Coding & modulation & equalization; Channel modeling and characterization; Equalization/Synchronization; Transform-domain communication; Multiple access algorithms and schemes; Antenna and RF subsystems; Smart antennas, adaptive antennas, MIMO and beam forming; MIMO and OFDM Based PHY Layer technologies; CDMA Systems

Radio Interfaces and Systems

Radio communications systems; Radio resource management; Radio transmission technologies; Power and interference control; Interference Cancellation for Wireless Mobile Systems; Power management for small terminals; Energy map; Channel Measurement and Characterization

Spectrum Allocation and Management

Spectrum efficiency analyses; Dynamic spectrum access networks; Spectrum management; Interference mitigation and management techniques

Circuits for Wireless Communications

Wireless ASICs; Wireless technologies; RF Design issues

Wireless and Mobility

Mobility management; Location-based services and positioning; Micro and macro-mobility; Mobility, location and handoff management; Mobile and wireless IP; Wireless broadband mobile access; Routing in multihop, ad hoc and sensor networks; Wireless multicasting; Wireless mesh networks; Topology control in wireless

Protocols for wireless and mobility

Wireless protocols, architectural and design concepts; Protocols for air interfaces and networks; Wireless MAC protocols: Design and analysis; Transport layer issues in mobile and wireless networks; Middleware for handhelds and mobile services nodes; Proxies and middleware for wireless networks

Traffic and congestion control, QoS, Resource Management

Traffic Modeling and Analysis; 3G/4G Bandwidth on Demand; QoS and mobility; End-to-end QoS; QoS profiling and pricing; Traffic Engineering; Congestion and admission control

Wireless and mobile technologies

Wireless LANs; Home and Personal Area Networks: Bluetooth, ZigBeee, etc; Wireless MANs:802.16, 802.20; Wireless WANs: 2G/3G/4G; Mobile ad hoc networks and multi-hop wireless; Sensor networks and applications; Ultra-wideband and short-range networks; High altitude platforms and satellites; Emergency wireless communications; Wireless real-time communications

Performance Evaluation, Simulation and Modeling of wireless networks and systems

Performance and QoS in wireless networks; Radio channel modeling (wave propagation and measurements); Mobile/wireless networks modeling and simulation; Performance of end-to-end protocols over wireless networks

Management of wireless and mobile networks

Mobility and QoS management; Billing technologies and tools; Policy Based Management in wireless LANS and MANs; Wireless and Mobile Network Planning; Mobile Database Access and Design

Security in wireless and mobile environment

Security and robustness in wireless networks; Privacy, Authentication Authorization and Accounting (AAA); Encryption and Cryptography; Key Management Protocols; Digital Rights Management and Multimedia Protection

Networks convergence and integration

2G/3G/4G integration; Convergence of 3G wireless and Internet cross-layer design in wireless networks; WLAN/3G/4G integration; Wireless-wireline convergence; Heterogeneous Networks (WAN, Wireless MAN, WLAN); IP Multimedia subsystems (IMS); Next Generation Network Architecture- mobility issues; Coexistence of mobile radio networks; End to End QoS in Heterogeneous environment; Signaling for integrated wireline/wireless networks

Applications and services based on wireless infrastructures

Mobile & Wireless applications & services; Service discovery: protocols and frameworks; Personalized services and applications; Audio-visual and mobile multimedia applications; Media and content distribution over wireless networks

Standardization and regulations

Position on standards & fora on wireless and mobile networks; Wireless Networks Standards and Protocols; Communications regulations; 802.11 WLAN Standards; 802.16 WMAN Standards; 3GPP and 3GPP2 standards; HSDPA Technology and Standards; Next Generation Network standards

Design and implementation

Emerging wireless technologies; Cross-layer optimizations in wireless networks; Design and implementation of mobile information systems; Software defined radio and re-configurability; Joint PHY/MAC design

Wireless and mobile network deployment

Business models on wireless networks; Market trends and regional developments; M-commerce; Lessons learnt for wireless deployment in schools Lessons learnt for wireless deployment in special regions; Specialized wireless networks; Heterogeneous wireless network deployment (e.g., combining 802.11, 802.16 and 3G networks)

Cooperative and Cognitive Vehicular Networks

Architectures and platforms of cognitive vehicular network; Distributed artificial intelligence techniques for cognitive networks; Cognitive vehicular routing metrics and supporting protocols; Reduced complexity cognitive networks; Physical and MAC layer issues; Protocols design for cognitive vehicular networks; Cross-layer optimization in cognitive networks; Security issues for vehicular and cognitive networks; Testbed experiment, applications and new advances; Cooperative vehicular networks; QoS provisioning in heterogeneous networks ; Managing vertical handover; Multihoming; IPv6 GeoNetworking; Vehicular network architectures and protocols ; Cross-layer design and optimization for vehicular networks and cognitive networks; Mobility management and topology control; Standardization and Development of vehicular networks

Convergence and social mobility

Convergence of mobile networks with the Web 2.0; Convergence on architecture and services; Open service capabilities; Open exposure of telco capabilities; Open Web APIs, SOA and SDP); Interworking strategies; Mobile terminals as sources for User-generated content; Architecture and services for user-generated content; Auto-description and metadata synthesis for telecom-generated for user-generated content; Social mobile networks; User behavior profiling; Social connections (social graphs, contacts, etc); Services and architectures/solutions for social mobile services

CALL FOR PAPERS, TUTORIALS, PANELS

MESH 2010: The Third International Conference on Advances in Mesh Networks

July 18-25, 2010 - Venice, Italy


General page: http://www.iaria.org/conferences2010/MESH10.html

Call for Papers: http://www.iaria.org/conferences2010/CfPMESH10.html


Submission deadline: February 28, 2010

Sponsored by IARIA, www.iaria.org


Extended versions of selected papers will be published in IARIA Journals: http://www.iariajournals.org

Publisher: CPS ( see: http://www2.computer.org/portal/web/cscps )

Archived: IEEE CSDL (Computer Science Digital Library) and IEEE Xplore

Submitted for indexing: Elsevier's EI Compendex Database, EI's Engineering Information Index

Other indexes are being considered: INSPEC, DBLP, Thomson Reuters Conference Proceedings Citation Index


Please note the Poster Forum and Work in Progress options.

The topics suggested by the conference can be discussed in term of concepts, state of the art, research, standards, implementations, running experiments, applications, and industrial case studies. Authors are invited to submit complete unpublished papers, which are not under review in any other conference or journal in the following, but not limited to, topic areas.

All tracks are open to both research and industry contributions, in terms of Regular papers, Posters, Work in progress, Technical/marketing/business presentations, Demos, Tutorials, and Panels.

Before submission, please check and conform with the Editorial rules: http://www.iaria.org/editorialrules.html


MESH 2010 Tracks (tracks' topics and submission details: see CfP on the site)

Architectures and algorithms

Frameworks

- Wireless interference models

- Topology models

- Large-scale networks

- Real-time and non-real-time communications

- Channel assignment schemes

- Resource allocation

- Centralized and distributed scheduling

- Performance

- Static/mobile scenarios

- Access control

- Service differentiation

- Security, Privacy, and Trust


Protocols

- Protocol interference models

- Access and routing protocols

- Single-channel multihop / multi-channel routing

- Joint routing and scheduling

- Routing metrics

- Multichannel routing

- Quality of Services routing

- Multimedia-centric routing

- Fast-link quality metrics

- Bandwidth estimation

- Cross-layer multicast routing

- QoS-based access protocols for mesh networks

- Multi-channel access protocols


Applications

- Multimedia services

- Home IPTV

- WiMax

- Broadband home networking communications

- Emergency/disaster

- Telemedicine and e-health

- Smart buildings

- Broadband Internet access

==========

MESH Advisory Chairs

Eugen Borcoci, University "Politehnica" of Bucharest (UPB), Romania

Petre Dini, IARIA / Concordia University, Canada

Dan Harkins, Aruba Networks, USA

Andreas J. Kassler, Karlstad University, Sweden


MESH 2010 Research/Industry Chair

Mathilde Benveniste, InterDigital Communications LLC, USA


MESH 2010 Industry Liaison Chairs

Michael Bahr, Siemens AG - München, Germany

Vladimir Sulc, Microrisc s. r. o. - Jicin, Czech Republic


Committee members: http://www.iaria.org/conferences2010/ComMESH10.html

Call for Workshop Proposals - SBIA - SBRN - JRI - EXTENDED DEALINE

Introduction

The Joint Conference Organizing Committee invites proposals for Workshops,
which will happen immediately prior to the technical conferences and should
address complementary topics of the main conferences. The workshops will
provide an informal setting where participants will have the opportunity to
discuss specific technical topics and exchange research ideas. Workshops
that focus on new and emerging topics or applications are particularly
encouraged. Members of the Artificial Intelligence, Neural Network and
Intelligent Robotics community are invited to submit a proposal.


Requirements for Submission

Proposals (2 to 5 pages) should contain the following information:
. The name and a brief technical description of the workshop;
. A brief discussion of why and to whom the workshop is of interest;
. Description of the workshop, previous similar events, relevance and
significance for the joint conference attendees;
. A preliminary workshop agenda, a proposed schedule for organizing
the workshop and a draft of workshop call for papers regarding the dates
below;
. People involved in the organization and a tentative program
committee of the workshop (name, e-mail, affiliations);
. The expected number of attendees;
. Description of papers reviewing process.


IMPORTANT DATES

**NEW** Proposal Submission Deadline: March 1st, 2010

**NEW** Acceptance Notification: March 15, 2010

Deadline to launch Call for Participation: April 05, 2010

Deadline for Paper Submission: June 28, 2010 Workshop Program Announcement:
August 09, 2010


http://www.jointconference.fei.edu.br/

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

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

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

The ICITST is an international refereed conference dedicated
to the advancement of the theory and practical implementation
of secured Internet transactions and to fostering discussions
on information technology evolution. The ICITST aims to provide
a highly professional and comparative academic research forum
that promotes collaborative excellence between academia and
industry. The objectives of the ICITST are to bridge the
knowledge gap between academia and industry, promote research
esteem in secured Internet transactions and the importance of
information technology evolution to secured transactions.
The ICITST-2010 invites research papers that encompass conceptual
analysis, design implementation and performance evaluation.
All the accepted papers will appear in the proceedings published
by IEEE and fully indexed by IEEE Xplore. All the ICITST papers
are indexed by DBLP.


The topics in ICITST-2010 include but are not confined to the
following areas:

* Application of agents
* Application security
* Blended Internet security methods
* Biometrics
* Boundary issues of Internet security
* Broadband access technologies
* Challenges of content authoring
* Data mining security
* E-society
* Globalisation of information society
* Government, and corporate Internet security policy
* Internet architecture
* Infonomics
* IPSec quality of services
* Patentability
* Regulation, self-regulation, and co-regulation Web services
* Secured database systems
* Synchronising e-security
* Software Architectures
* Technology-enabled information
* Trust, privacy, and data security
* Wireless transactions
* Context-Awareness and its Data mining for Ubi-com service
* Human-Computer Interface and Interaction for Ubi-com
* Smart Homes and its business model for Ubi-com service
* Intelligent Multimedia Service and its Data management for Ubi-com
* USN / RF-ID for Ubi-com service
* Network security issues, protocols, data security in Ubi-com
* Database protection for Ubi-com
* Privacy Protection and Forensic in Ubi-com
* Multimedia Security in Ubi-com
* Quality of Service Issues
* Authentication and Access control for data protection in Ubi-com
* Information visualization
* Web services
* Service, Security and its Data management for U-commerce
* New novel mechanism and Applications for Ubi-com
* Information Management
* Multimedia Information Systems
* Information Retrieval
* Natural Language Processing
* Digital Libraries
* Data and Information Quality Management
* Data Grids, Data and Information Quality
* Database Management
* Web Databases
* Temporal and Spatial Databases
* Data Mining
* Web Mining including Web Intelligence and Web 3.0
* E-Learning, eCommerce, e-Business and e-Government
* Web Metrics and its applications
* XML and other extensible languages
* Semantic Web and Ontology
* Human-Computer Interaction
* Artificial Intelligence and Expert Systems
* Knowledge Management
* Ubiquitous Systems
* Peer to Peer Data Management
* Interoperability
* Mobile Data Management
* Data Models for Production Systems and Services
* Data Exchange issues and Supply Chain
* Data Life Cycle in Products and Processes
* Case Studies on Data Management, Monitoring and Analysis
* Security and Access Control
* Embedded Systems
* Defence Systems
* Information Content Security
* Software Architecture
* System design and verification
* Mobile, Ad Hoc and Sensor Network Security
* Distributed information systems

IMPORTANT DATES


Full Paper Submission Date: May 31, 2010
Extended Abstract (Work in Progress) Submission Date: April 01, 2010
Proposal for Workshops and Tutorials: April 30, 2010
Notification of Workshop and Tutorial Acceptance: March 15, 2010
Proposal for Industrial Presentation: April 30, 2010
Notification of Extended Abstract Acceptance/Rejection: May 15, 2010
Notification of Industrial Presentation Acceptance: May 15, 2010
Notification of Paper Acceptance/Rejection: June 30, 2010
Camera Ready Extended Abstract Due: July 31, 2010
Camera Ready Paper Due: July 31, 2010
Early Registration Deadline: January 01 to July 31, 2010
Late Registration Deadline: July 31 to November 08, 2010
Conference Dates: November 08-11, 2010

The ICITST also encourages organisations to submit their Job Fair
Booth Reservations and/or Exhibit Proposals. If your organisation
is interested, kindly submit a brief Proposal (not more than 1 side
of A4 page) to jobfair@icitst.org

For more details, please visit www.icitst.org

3rd International Conference on Software Language Engineering

http://planet-sl.org/sle2010/

Co-located with the International Conference on Generative
Programming and Component Engineering (GPCE'10).
------------------------------------------------------------
DATES

Jun 28: Abstract submission (required)
Jul 05: Paper submission (midnight Apia Samoa time)
Aug 27: Author notification
Sep 17: Paper submission for online proceedings
Oct 12-13: SLE 2010
Dec 03: Camera-ready copy submission for post-proceedings
------------------------------------------------------------
Software language engineering is devoted to topics related
to artificial languages in software engineering. The foremost
mission of the International Conference on Software Language
Engineering (SLE) is to encourage and organize communication
between communities that traditionally have looked at soft-
ware languages from different, more specialized, and yet
complementary perspectives. Thus, technologies, methods,
experiments and case studies from modelware, grammarware,
and ontologyware serving the objectives of software languages
are of particular relevance to SLE.

We invite high-quality submissions to all conference tracks.
Submissions must be PDF files following the Springer LNCS
style and will be managed using the EasyChair submission system.
Please check the conference web site for further information.

New at SLE 2010 is a Doctoral Symposium that will provide
a supportive yet questioning setting in which PhD students
can present their work, including goals, methods, and
preliminary results. The Symposium aims to provide students
with useful guidance and feedback on various aspects of their
research from established researchers and the other student
attendees.

Please forward this call to anyone who might be interested.

http://planet-sl.org/sle2010/
------------------------------------------------------------
PAPER SUBMISSION

Submitted papers must be original work and must not be
previously published in, currently submitted to, or currently
in consideration for any journal, book, conference, or
workshop. Each submitted paper will be reviewed closely by
at least three members of the program committee. Accepted
papers will be distributed at the conference via the online
proceedings as well as published in the post-proceedings,
which will appear in the Springer Lecture Notes in Computer
Science (LNCS) series. Authors will have the opportunity
to revise their accepted paper(s) for the pre- and post-
proceedings. For an accepted paper to appear in the proceedings,
at least one author must attend the event and present the work.
------------------------------------------------------------
RESEARCH PAPERS

Research papers should report a substantial research contribution
to SLE and/or a successful application of SLE techniques. We
solicit high-quality contributions in the area of SLE ranging
from theoretical and conceptual contributions to tools, techniques,
and frameworks that support the aforementioned lifecycle activities.
We list examples of tools, techniques, applications, and problems of
interest to clarify the types of contributes that we seek:

* Formalisms used in designing and specifying languages and
tools that analyze such language descriptions
* Language implementation techniques
* Program and model transformation tools
* Composition, integration, and mapping tools for managing
different aspects of software languages or different
manifestations of a given language
* Transformations and transformation languages between
languages and models
* Language evolution
* Approaches to elicitation, specification, or verification
of requirements for software languages
* Language development frameworks, methodologies, techniques,
best practices, and tools for the broader language lifecycle
covering phases such as analysis, testing , and documentation.
* Design challenges in SLE
* Applications of languages including innovative domain-specific
languages or "little" languages

The preceding list is not exclusive or exhaustive. Visit
the conference web site for more information about the scope
and topics of interest of SLE, or contact the program co-chairs
with questions.

Page limit: 20
------------------------------------------------------------
SHORT PAPERS

Short paper may describe interesting or thought-provoking
concepts that are not yet fully developed or evaluated, make
an initial contribution to challenging research issues in SLE,
or discuss and analyze controversial issues in the field.

Page limit: 10
------------------------------------------------------------
TOOL DEMONSTRATION PAPERS

Because of SLE's ample interest in tools, we seek papers
that present software tools related to the field of SLE.
These papers will accompany a tool demonstration to be given
at the conference. The selection criteria include the
originality of the tool, its innovative aspects, the relevance
of the tool to SLE, and the maturity of the tool. Submissions
may also include an appendix (that will not be published)
containing additional screen-shots and discussion of
the proposed demonstration.

Page limit: 10
------------------------------------------------------------
MINI-TUTORIAL PAPERS

SLE is composed of various research areas, such as grammarware,
modelware, language schemas, and semantic technologies. The
cross product of attendees at SLE creates a situation where
the contribution from one session may be difficult to
understand by those not initiated to the area. To help unite
the various communities of SLE 2010, we solicit mini-tutorials
that provide discussion points for mapping common ideas between
related and complementary research topics of SLE.

A mini-tutorial submission should be between 15 and 20 pages.