Sunday, February 28, 2010

Network Protocols and Algorithms, deadline extension, Special Issue on Surveys and Tutorials

*** Call for Papers, Special Issue on Surveys and Tutorials (Volume 2, Issue 1) ***

Network Protocols and Algorithms

ISSN 1943-3581

http://www.macrothink.org/journal/index.php/npa/

Network Protocols and Algorithms is a free online international journal, peer-reviewed and published by Macrothink Institute. It publishes papers focused on the design, development, manage, optimize or monitoring any type of network protocol, communication system, algorithm for communication and any protocol and algorithm to communicate network devices in a computer network.

We solicit survey papers and tutorial papers of any topic related with Network Protocols or Algorithms.

Survey papers give an overview of all the research papers done on a particular topic. They should introduce the most relevant achievements from various researchers in a topic. They usually do not contribute anything new but try to sum up what is known about a subject. Survey papers provide a compact overview about the current state of the art in a specific or new emerging area, such as technology, algorithms, systems, etc.

Tutorial papers may address mature or emerging topics of interest related to a particular research or technology area of the journal. They must provide an in-depth survey of a well-defined topic with the option of describing a particular a particular technology or system. Tutorial papers may provide the reader some basic technical understanding and the breadth of research in an existing or emerging technology. Tutorial paper gives the readers the opportunity to gain new insights, knowledge and skills on evolving and emerging research topics in the scope of the journal. They are intended to inspire and guide the readers to better understand existing areas of research or pursue emerging research topics that can lead to creative solutions.

The scope of the journal include, but are not limited to, the following topic areas:

- Synchronization Protocols and Algorithms
- Security Protocols and Algorithms
- QoS Protocols and Algorithms
- Ad-Hoc and Sensor Network Protocols and Algorithms
- Content Delivery Networks Protocols and Algorithms
- P2P Protocols and Algorithms
- Cluster-Based Protocols and Algorithms
- Real-Time Protocols and Algorithms
- Wireless Protocols and Algorithms
- MAC Protocols and Algorithms for Wired Networks
- Mobile wireless internet protocols and algorithms
- Delay Tolerant protocols and algorithms
- Mesh network protocols and algorithms
- Protocols and algorithms for Voice over IP delivery
- Cognitive Radio Network Protocols and Algorithms
- Monitoring and management protocols and algorithms
- optical networking protocols and algorithms
- Scalable Network Protocols and Algorithms
- Protocols and algorithms for Green Computing and Resource Allocation
- Routing Protocols and Algorithms
- Tree-based Protocols and Algorithms
- Distributed/Decentralized Algorithms for Networks
- Fault tolerant Protocols and Algorithms
- Protocols and algorithms for Mobile and Dynamic Networks
- Cross-Layer Collaborative Protocols and Algorithms
- Formal methods and cryptographic algorithms for communication

You are welcome to submit a paper or forward this call for papers to any people working in Network Protocols and Algorithms that may be interested in submitting a paper.

A meaningful summary of open issues in the topic in the paper would be a plus.

Important Dates:

- Manuscript Due: March 7, 2010 (Extended Deadline)
- Notification: March 21, 2010
- Final Manuscripts Due: March 31, 2010
- Tentative Publication: April 2010

Submission Information:
Only original and unpublished research papers will be considered in this journal. Manuscripts must be writen in English. All submissions will be reviewed based on technical merit and relevance. Instructions for authors and submissions can be found in http://www.macrothink.org/journal/index.php/npa/about/submissions


Jaime Lloret Mauri
Editor in Chief of Network Protocols and Algorithms
Associate Professor
Department of Communications
Polytechnic University of Valencia

FAW'2010: Paper submission deadline extended

The paper submission deadline of FAW 2010 has been extended to

March 15, 2010


The Fourth International Frontiers of Algorithmics Workshop (FAW 2010)
August 11-13, 2010
Wuhan University, Wuhan, China
http://www.faw2010.org

The Fourth International Frontiers of Algorithmics Workshop (FAW 2010) will be
held on August 11-13, 2010 at Wuhan University, Wuhan, China.

The Workshop will provide a focused forum on current trends of research on
algorithms, discrete structures, and their applications, and will bring
together international experts at the research frontiers in these areas to
exchange ideas and to present significant new results.

The mission of the Workshop is to stimulate the various fields for which
algorithmics can become a crucial enabler, and to strengthen the ties between
the Eastern and Western research communities of algorithmics and applications.

Interesting new results in all areas of algorithmics and their applications
are welcome. In addition to theoretical work, we are also interested in
results that report on experimental
and applied research of general algorithmic interest. Special considerations
will be given to algorithmic research that is motivated by real-world
applications. Experimental and applied papers are expected to show
convincingly the usefulness and efficiency of the target algorithms in
practical settings.

Typical, but not exclusive, topics of interest include:

Algorithms and data structures;
Algorithmic game theory and incentive analysis;
Approximation algorithms and online algorithms;
Automata, languages, logic, and computability;
Bioinformatics, computational biology and medicine, and biomedical
applications;
Biomedical imaging algorithms;
Combinatorics and discrete structures related to algorithms and complexity;
Communication networks and optimization;
Complexity theory;
Computational algebra, geometry, number theory, and statistics;
Computational learning theory, knowledge discovery, and data mining;
Cryptography, reliability, and security;
Database theory, large databases, and natural language processing;
Experimental algorithmic methodologies;
Geometric information processing and communication;
Graph algorithms and theory;
Graph drawing and information visualization;
Internet algorithms and protocols;
Large graph algorithms and social network analysis;
Optimization algorithms in economic and operations research;
Parallel and distributed computing and multicore algorithms;
Parameterized algorithms, heuristics, and analysis;
Pattern recognition algorithms;
Trustworthy algorithms and trustworthy software.


Submissions:

The submission deadline is March 1, 2010. FAW'2010 will only accept
electronic (PS or PDF) submissions. For on-line submission, please go to
http://www.faw2010.org/ for detailed instructions on submissions.

E-mails will be sent to the authors to confirm the receipt of their
submissions within 24 hours. For any problem or question on submissions,
please send e-mails to faw2010@sklse.org.

Only previously unpublished new results will be considered for publication.
Papers that have already been published at another journal or conference with
proceedings, or simultaneously submitted or accepted to another conference
with proceedings will not be considered.

A submission should start with the title of the paper, each author's name,
affiliation, and e-mail address, and a one-paragraph summary of the results.
This should be followed by a scholarly exposition of the ideas, techniques,
and a full description of the results achieved. A clear indication of the
motivation and comparison with prior or related work should be presented.
The paper should not exceed 10 pages, excluding bibliography and appendices,
formatted for letter-size paper using 11 point or larger font, with at least
one inch margins around.

Submissions that deviate significantly from these guidelines or are
unprintable risk rejection without consideration of their merit.

The proceedings of the Workshop will be published by Springer-Verlag in the
Lecture Notes in Computer Science series, and will be available for
distribution at the Workshop.


Invited Speakers:

To be announced at the Workshop web page.


Special Issues:

Selected high quality papers will be invited to a special issue in the journal
of Theoretical Computer Science and in the Journal of Combinatorial
Optimization, respectively. The invited papers
will go through the normal reviewing process.


Awards

The Best Paper and the Best Student Paper will be selected for award.
A paper is eligible for the Best Student Paper Award only if all authors are
full-time students at the time of submission. To indicate the eligibility of a
submission for the Best Student Paper Award, please add the phrase "Eligible
for Best Student Paper Award" in a separate line at the end of the "Abstract"
field in the web form on the submission server as well as in the submitted
paper. The Committee reserves the right to decide whether to make an award or
not.


Advanced Research Experience for Students and Young Researchers

To provide a unique opportunity for students and young researchers to
learn and develop advanced research perspective and skills, several world
leading algorithmic researchers and experts will offer training sessions (1 or
2 hours per session) on how to conduct research and solve problems. The
discussions include how to choose research topics, how to formulate models,
how to identify specific research problems, how to approach solutions for the
target problems, etc. Open problems will be posted, and preliminary possible
directions for solving the posted problems will be suggested and discussed.
Since the main
purpose of these training sessions is to help students and young researchers
to develop research experience, the style of the sessions will be highly
flexible. Professor John Hopcroft, a world famous researcher in the
algorithmics field and a Turing Award recipient, will offer a special
interactive session called "Round Table with John Hopcroft". Interested
researchers will be able to interact closely and work on selected research
problems with world class research leaders during the Workshop or even after.


After-workshop Tour

A four-day tour will be organized after the Workshop to visit the beautiful
Three Gorges scenic region along the Yangtze River,
which is historically and culturally very famous in China and in
the world.


Important Dates:

New Paper Submission Deadline: March 15, 2010
Notification of Acceptance/Rejection: April 30, 2010
Final Camera-ready Version Due: May 21, 2010
Conference: August 11-13, 2010


Conference Committees:


General Conference Co-chairs:
John E. Hopcroft, Cornell University, USA
Deyi Li, Wuhan University, China


Program Committee:

PC Chair: D.T. Lee, Academia Sinica and National Taiwan University, Taiwan

PC Co-chairs:
Danny Z. Chen, University of Notre Dame, USA
Shi Ying, Wuhan University, China

Program Committee Members:

Nancy Amato, Texas A&M University, USA
Tetsuo Asano, Japan Advanced Institute of Science and Technology, Japan
Franz Aurenhammer, Technische Universitaet Graz, Austria
Gill Barequet, Technion---Israel Institute of Technology, Israel
Amitabh Chaudhary, University of Notre Dame, USA
Ning Chen, Nanyang Technological University, Singapore
Siu-Wing Cheng, Hong Kong University of Science and Technology, Hong Kong
Francis Chin, University of Hong Kong, Hong Kong
Kyung-Yong Chwa, Korea Advanced Institute of Science and Technology, Korea
Ovidiu Daescu, University of Texas at Dallas, USA
Peter Eades, University of Sydney, Australia
Qizhi Fang, Ocean University of China, China Rudolf Fleischer, Fudan
University, China
Subir Ghosh, Tata Institute of Fundamental Research, India
Sun-Yuan Hsieh, National Cheng Kung University, Taiwan
Ming-Yang Kao, Northwestern University, USA
Naoki Katoh, Kyoto University, Japan
Angsheng Li, Chinese Academy of Sciences, China
Lian Li, Hefei University of Technology, China
Xuemin Lin, University of New South Wales, Australia
Zhiyong Liu, Chinese Academy of Sciences, China
Chi-Jen Lu, Academia Sinica, Taiwan
Pinyan Lu, Microsoft Research Asia, China
Shuang Luan, University of New Mexico, USA
Martin Noellenburg, University of Karlsruhe, Germany
Rong Peng, Wuhan University, China
Peter Rossmanith, Aachen University, Germany
Michiel Smid, Carleton University, Canada
Takeshi Tokuyama, Tohoku University, Japan
Feng Wang, Wuhan University, China
Haitao Wang, University of Notre Dame, USA
Lusheng Wang, City University of Hong Kong, Hong Kong
Sue Whitesides, University of Victoria, Canada
Xiaodong Wu, University of Iowa, USA
Jinhui Xu, State University of New York at Buffalo, USA
Jinyun Xue, Jiangxi Normal University, China
Jianping Yin, National University of Defense Technology, China
Guochuan Zhang, Zhejiang University, China
Jian Zhang, Chinese Academy of Science, China
Luoxin Zhang, National University of Singapore, Singapore
Xiao Zhou, Tohoku University, Japan.
Binhai Zhu, Montana State University, USA
Hong Zhu, East China Normal University, China


Steering Committee:

Steering Committee Co-chairs:
Xiaotie Deng, City University of Hong Kong, Hong Kong
Franco P. Preparata, Brown University, USA

Steering Committee Members:

Danny Z. Chen, University of Notre Dame, USA
Qizhi Fang, Ocean University of China, China
John E. Hopcroft, Cornell University, USA
D.T. Lee, Academia Sinica and National Taiwan University, Taiwan
Hao Li, Paris-Sud 11 University and CNRS, France
Detlef Seese, University Karlsruhe, Germany
Jianping Yin, National University of Defense Technology, China


Organizing Committee:

Organizing Committee Chair: Rong Peng, Wuhan University, China

Organizing Committee Members:

Feng Wang, Wuhan University, China
Ying Zheng, Wuhan University, China
Mao Ye, Wuhan University, China


Further Information:

The Workshop web site http://www.faw2010.org provides more
information about the Workshop. For any questions, please e-mail to
faw2010@sklse.org. For more information and pictures of Wuhan and the Three
Gorges region, please go to Local Information and Scenery.

Saturday, February 27, 2010

MSFP: Call for Papers

Third Workshop on
MATHEMATICALLY STRUCTURED FUNCTIONAL PROGRAMMING
25 September 2010, Baltimore, USA
A satellite workshop of ICFP 2010

PRESENTATION
The workshop on Mathematically Structured Functional Programming is
devoted to the derivation of functionality from structure. It is a
celebration of the direct impact of Theoretical Computer Science on
programs as we write them today. Modern programming languages, and in
particular functional languages, support the direct expression of
mathematical structures, equipping programmers with tools of remarkable
power and abstraction. Monadic programming in Haskell is the
paradigmatic example, but there are many more mathematical insights
manifest in programs and in programming language design:
Freyd-categories in reactive programming, symbolic differentiation
yielding context structures, and comonadic presentations of dataflow, to
name but three. This workshop is a forum for researchers who seek to
reflect mathematical phenomena in data and control.

The first MSFP workshop was held in Kuressaare, Estonia, in July 2006.
Selected papers were published as a special issue of the Journal of
Functional Programming (volume 19, issue 3-4).
The second MSFP workshop was held in Reykjavik, Iceland as part of ICALP
2008.

SUBMISSIONS
Papers must report previously unpublished work and not be submitted
concurrently to another conference with refereed proceedings. Programme
Committee members, barring the co-chairs, may (and indeed are encouraged
to) contribute. Accepted papers must be presented at the workshop by one
of the authors.

There is no specific page limit, but authors should strive for brevity.

We are using the EasyChair software to manage submissions.
To submit a paper, please log in at:
http://www.easychair.org/conferences/?conf=msfp2010

The workshop proceedings will be published by ACM.

TIMELINE:
Submission of abstracts: 9 April
Submission of papers: 16 April
Notification: 28 May
Final versions due: 25 June
Workshop: 25 September

For more information about the workshop, go to:
http://cs.ioc.ee/msfp/msfp2010/

Programme Committee

* Andreas Abel, LMU Munich, Germany
* Ana Bove, Chalmers University of Technology, Gothenburg, Sweden
* Andrej Bauer, University of Ljubljana, Slovenia
* Venanzio Capretta (co-chair), University of Nottingham, UK
* James Chapman (co-chair), Institute of Cybernetics, Tallinn, Estonia
* Adam Chlipala, Harvard University, Cambridge, MA, USA
* Catarina Coquand, Chalmers University of Technology, Gothenburg, Sweden
* Karl Crary, Carnegie Mellon University, Pittsburgh, USA
* Manuel Alcino Cunha, Universidade do Minho, Braga, Portugal
* Andy Gill, University of Kansas, USA
* Mauro Jaskelioff, Universidad Nacional de Rosario, Argentina
* Oleg Kiselyov, FNMOC, Monterey, California, USA
* Lionel Elie Mamane, Radboud University Nijmegen, The Netherlands
* Conor McBride, University of Strathclyde, Glasgow, UK
* Greg Morrisett, Harvard University, Cambridge, MA, USA
* Russell O'Connor, McMaster University, Hamilton, Ontario, Canada
* Benoit Razet, TIFR (Tata Institute of Fundamental research), India
* Carsten Schrmann, IT University of Copenhagen, Denmark
* Wouter Swierstra, Chalmers University of Technology, Gothenburg, Sweden
* Tarmo Uustalu, Institute of Cybernetics, Tallinn, Estonia
* Varmo Vene, University of Tartu, Estonia

[DMANET] EURO XXIV Lisbon -- 3rd announcement, and deadline extension

24TH EUROPEAN CONFERENCE ON OPERATIONAL RESEARCH (EURO XXIV)
Lisbon, Portugal, July 11-14, 2010
www.euro2010lisbon.org


3RD ANNOUNCEMENT, AND EXTENSION OF THE SUBMISSION DEADLINE


*** The extended, and final deadline for the submission of abstracts
is March 22, 2010 ***
(Other deadlines were changed accordingly)


The 24th European Conference on Operational Research, EURO XXIV, will
be held at the Faculty of Sciences of the University of Lisbon, FCUL.
This large conference is organized by EURO (The Association of
European OR Societies) and APDIO (The Portuguese OR Society), with the
support of FCUL and CIO (Operational Research Centre, Portugal).


The Programme and Organizing Committees, chaired by Silvano Martello
and Jose Paixao, respectively, are preparing a high quality scientific
programme and an exciting social programme for the Conference.


Plenary Speakers:
- Harold W. Kuhn; John F. Nash, Jr.


Invited Speakers:
- Fran Ackermann; Noga Alon; James Cochran; Elena Fernandez; Pierre
Hansen; Martine Labbe; Nelson Maculan; Michel Minoux; Arkadi
Nemirovski; Stefan Reichelstein; Alexander Shapiro; Stef Tijs.


CALL FOR PAPERS AND SESSIONS:


We invite all researchers, academicians, practitioners, as well as
students interested in any branch of operational research,
mathematical modelling or economic analysis to participate in the
conference and to present their papers.


Invited and contributed papers will be organized in parallel sessions.
In general, sessions will be a part of conference streams, and streams
are grouped by areas.
Researchers who want to organize an invited session or contribute a
paper within an invited session should contact the appropriate stream
organizers.
The list of areas, and the current list of accepted streams can be
consulted at:
http://www.euro2010lisbon.org/index.php?content=streams
Contributed papers can be submitted freely.


Abstract submission and registration are done online, via the
Conference web page.
No participant can present more than one paper at the Conference (but
may be a co-author for other papers).
Abstracts are limited to max. 600 characters.


Deadline for abstract submission: March 22, 2010,
- Notification of acceptance: March 31, 2010,
Deadline for early registration: April 15, 2010,
Deadline for author registration (for inclusion in the programme): May
7, 2010.


REGISTRATION FEES:
- Regular: 320 Euros (early); 420 Euros (late),
- Student (full-time): 170 Euros (early); 220 Euros (late),
- Accompanying persons: 120 Euros,
- Early fees applicable until April 15, 2010,
- The Conference dinner is charged separately, at 70 Euros per person.


CONTACTS:
- prog@euro2010lisbon.org (Programme),
- registration@euro2010lisbon.org (Registration, travel & accommodation),
- info@euro2010lisbon.org (General enquiries).


For more detailed information, namely the full Call for Papers and a
list of Frequently Asked Questions, please consult the conference
site, www.euro2010lisbon.org.


Further proposals for Book or Software Exhibitions, Workshops, and the
edition of special issues of Journals are welcome.


We hope that the unique yet heterogeneous character of seductive
Lisbon will tempt you to come, and help turning this into a memorable
event, both scientifically and socially. See you soon !


----------------------------------------------------------------
This message was sent using IMP, the Internet Messaging Program.


**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************

Friday, February 26, 2010

PhD position in ICT on Formal Verification via SMT available in Trento

---------------------------------------------------------------------------
[[[ We apologize if you receive multiple copies of this message ]]]
---------------------------------------------------------------------------

--------------------------------------------------------------
PLEASE FORWARD THIS EMAIL TO WHOEVER YOU MAY THINK INTERESTED.
--------------------------------------------------------------

Posted: February 26, 2010

One Doctoral Student Position in Information and Communication Technologies
on the research project "WORD-LEVEL FORMAL VERIFICATION VIA SMT SOLVING"

is available at the International Doctorate School in Information and
Communication Technologies (http://www.ict.unitn.it/) of the
University of Trento, Italy, under the joint supervision of

Dr. ALESSANDRO CIMATTI,
Embedded Systems Research Unit,
FBK-Irst,
via Sommarive 18, I-38100 Povo, Trento, Italy
http://sra.fbk.eu/people/cimatti/,
cimatti[at]fbk[dot]eu
Prof. ROBERTO SEBASTIANI
Software Engineering & Formal Methods Research Program
DISI, University of Trento,
via Sommarive 14, I-38100 Povo, Trento, Italy
http://disi.unitn.it/~rseba/.
rseba[at]disi[dot]unitn[dot]it

The research activity will be carried out jointly within the Embedded Systems
(ES) Research Unit of the Center for Scientific and Technological
Research of the Fondazione Bruno Kessler (FBK), Trento, and the
Software Engineering & Formal Methods (SE&FM) Research Program,
at Department of Information Engineering and Computer Science (DISI) of
University of Trento.

The research activity will aim at investigating and developing novel
techniques, methodologies and support tools for Satisfiability Modulo
Theories (SMT) for the verification of WORD-level circuit designs.
This work will be part of the "Word-Level Formal Verification via SMT
Solving" (WOLFLING) project, a three-year custom research project
supported by SRC/GRC (http://grc.src.org/fr/S200802_Call.asp), in
strict collaboration with the Formal Verification Group at Intel,
Haifa, Israel.

SMT tools will be developed on top of the MathSAT SMT platform
(http://mathsat4.disi.unitn.it), and Formal Verification tools will be
developed on top of the NuSMV Model Checking platform (http://nusmv.fbk.eu).
Both platforms are jointly developed and maintained by ES and SE&FM.

The selected candidate will be initially enrolled in a stage and, if
he/she passes the selection of the Ph.D. school, he/she will be enrolled as
Ph.D. students. Ph.D. courses will start in Autumn 2010, and the
thesis must be completed in three or four years. People enrolled in a
stage and subsequent Ph.D. courses are expected to move to Trento, and
will receive monetary support during both phases of their activity.

Candidate Profile
=================

The ideal candidate should have an MS or equivalent degree in computer
science, mathematics or electronic engineering, and combine solid
theoretical background and excellent software development skills.

The candidate should be able to work in a collaborative environment,
with a strong commitment to reaching research excellence and achieving
assigned objectives.

Background knowledge and/or previous experience in the following areas
(in order of preference), though not strictly mandatory, will be considered
very favorably:
- Satisfiability Modulo Theory (SMT)
- Propositional Satisfiability (SAT)
- Embedded Systems Design Languages (e.g. Verilog, VHDL)
- Symbolic Model Checking
- Automated Reasoning
- Constraint Solving and Optimization

Applications and Inquiries
==========================

Interested candidates should inquire for further information and/or
apply by sending email to Prof. Sebastiani (rseba[at]disi[dot]unitn[dot]it)
with Dr. Cimatti (cimatti[at]fbk[dot]eu) in CC.

Applications should contain a statement of interest, with a Curriculum
Vitae, and three reference persons. PDF format is strongly encouraged.

Emails will be automatically processed and should have

'PHD ON WOLFLING PROJECT'

as subject.

Contact Person
==============

Prof. ROBERTO SEBASTIANI
Software Engineering & Formal Methods Research Program
DISI, University of Trento,
via Sommarive 14, I-38100 Povo, Trento, Italy
http://disi.unitn.it/~rseba/.
mailto: rseba[at]disi[dot]unitn[dot]it

The Embedded Systems Research Unit at FBK
=========================================

The Embedded Systems Unit consists of about 15 persons, including
researchers, post-Doc, Ph.D. students, and programmers. The
Unit carries out research, tool development and technology transfer in
the fields of design and verification of embedded systems.

Current research directions include:

* Satisfiability Modulo Theory, and its application to the
verification of hardware, embedded critical software, and hybrid
systems (Verilog, SystemC, C/C++, StateFlow/Simulink).

* Formal Requirements Analysis based on techniques for temporal logics
(consistency checking, vacuity detection, input determinism,
cause-effect analysis, realizability and synthesis).

* Formal Safety Analysis, based on the integration of traditional
techniques (e.g. Fault-tree analysis, FMEA) with symbolic
verification techniques.

The Embedded Systems Unit is part of Fondazione Bruno Kessler,
formerly Istituto Trentino di Cultura, a public research institute of
the Autonomous Province of Trento (Italy), founded in 1976. The
institute, through its center for the scientific and technological
research, is active in the areas of Information Technology,
Microsystems, and Physical Chemistry of Surfaces and
Interfaces. Today, FBK is an internationally recognized research
institute, collaborating with industries, universities, and public and
private laboratories in Italy and abroad. The institute's applied and
basic research activities aim at resolving real-world problems, driven
by the need for technological innovation in society and industry.

The SW Engineering & Formal Methods Research Program at DISI
============================================================

The SW Engineering & Formal Methods R. P. at DISI currently
consists on 5 faculties, 4 post-docs and 19 PhD students. The
Unit carries out research, tool development and technology transfer in
the fields of Goal-Oriented Requirements Engineering, Agent-oriented
SW engineering, Security, and Formal Methods.

Referring to formal methods, current research directions include:

* Satisfiability Modulo Theory, and its application to the
verification of hardware, embedded critical software, and hybrid
systems.

* Advanced Model Checking Techniques for Formal Verification of
hardware, embedded critical software, and hybrid systems.

* Applications of Propositional Satisfiability (SAT) to various
domains.

The R.P. is part of the Department of Information Engineering and
Computer Science, DISI (http://disi.unitn.it/) of University of Trento.
University of Trento in the latest years has always been rated among the
top-three small&medium-size universities in Italy.
DISI currently consists of 50 faculties, 68 research staff and support
people, 21 postdocs and 146 Doctoral students, plus administrative and
technical staff. DISI covers all the different areas of information
technology (computer science, telecommunications, and electronics)
and their applications. These disciplines above are studied
individually but also with a strong focus on their integration,

Location
========

Trento is a lively town of about 100.000 inhabitants, located 130 km
south of the border between Italy and Austria. It is well known for
the beauty of its mountains and lakes, and it offers the possibility
to practice a wide range of sports. Trento enjoys a rich cultural and
historical heritage, and it is the ideal starting point for day trips
to famous towns such as Venice or Verona, as well as to enjoy great
naturalistic journeys. Detailed information about Trento and its
region can be found at http://www.trentino.to/home/index.html?_lang=en.

ICALP 2010 Second Call for Workshop Proposals

=============================================
ICALP 2010 Second Call for Workshop Proposals
=============================================

ICALP 2010 37th International Colloquium on Automata, Languages and Programming

5-11 July 2010, Bordeaux, France
Supported by the European Association for Theoretical Computer Science (EATCS)

http://icalp10.inria.fr/

The 37th International Colloquium on Automata, Languages and Programming, the main
conference and annual meeting of the European Association for Theoretical Computer
Science (EATCS), will take place from 5-11 July 2010 in Bordeaux, France. The main
conference will be preceded and followed by a series of Workshops. The workshops
will take place on Monday 5 July 2010, and on Sunday 11 July 2010 (i.e., one day
before and one day after ICALP).

Workshop proposals are invited for workshops

***** !!! TO BE HELD ON SUNDAY 11 JULY 2010 ONLY !!! ******

on topics related to all aspects of theoretical computer science. (A workshop may
relate to any of the three tracks of ICALP, but also workshop proposals related
to other aspects of theoretical computer science will be considered.) Typically,
ICALP workshops feature a number of invited speakers and a number of contributed
presentations. ICALP workshops do not necessarily produce formal proceedings. However,
in the past there have been e.g. LNCS proceedings or special issues of journals based
in part on some ICALP workshops. Workshop proposals should include:

* Title of the workshop
* Person responsible for the workshop (name + email address)
* A short scientific summary and justification of the proposed topic. This should
include a discussion of the particular benefits of the topic to the ICALP community.
* A discussion of the proposed format and agenda.
* The proposed duration (e.g. half a day or one day). This is important!
(Please, note again that this 2nd call for workshops only concerns workshops to be
held on Sunday 11 July 2010.)
* Procedures for selecting participants and papers.
* Expected number of participants. This is important!
* If the workshop has taken place before, please provide the following information:
- How often has the workshop taken place so far?
- Which conference(s) has the workshop been collocated with so far?
- Please provide the web address of the last workshop, if available.
- How many participants took part in the last workshop?
* Potential invited speakers.
* Plans for dissemination (for example, special issues of journals).

Proposals are due on 15 March 2010, and should be submitted electronically to the Workshops
Chair:

Ralf Klasing
Ralf.Klasing@labri.fr

Workshops Chair, ICALP 2010

Notifications will be sent by 31 March 2010. The Workshops selection committee consists
of the ICALP Conference Chairs and the ICALP Workshops Chair.


Further information:
-------------------
In accordance with EATCS policies, any workshop collocated with ICALP is expected to be
financially independent. However, the registration fee should be as low as possible.

We provide the following aspects of the workshop organisation:
- registration
- coffee breaks, wireless access, conference rooms, lunches, booklet, ... (as for ICALP)
- a link to the web page of the workshop

We do NOT provide:
- hotel reservation (as for ICALP)
- All scientific aspects of the program of the workshop
(e.g. call for papers, notification, program, workshop webpage, ...)
are managed by the responsible of the workshop.
- Call for Papers, neither Call for Participation
- publicity for the workshop

ICALP 2010 is organised by the INRIA Bordeaux - Sud-Ouest research center in collaboration
with the LaBRI, computer science laboratory of CNRS and the University of Bordeaux.

[qest-announce] CFP: NSMC 2010

Apologies for multiple mailing
----

Call for Papers
6th International Workshop on the Numerical Solution of Markov Chains
NSMC 2010

College of William & Mary, Computer Science Department
16th-17th September, 2010, Williamsburg, VA, USA

http://www.cs.bilkent.edu.tr/~nsmc10

*** co-located with the 7th International Conference on the ***
*** Quantitative Evaluation of SysTems (QEST'10) *


TOPICS OF INTEREST
Include, but are not limited to:
- Matrix generation techniques and storage
- Stochastic automata networks
- Application-oriented interfaces
- Sparse matrix technologies
- Very large state spaces
- Computation of stationary probability vectors
- Direct solution methods
- Iterative solution methods
- Matrix geometric solutions
- Domain decomposition methods
- Hierarchical andaggregation/disaggregation methods
- Preconditioning and incomplete factorizations
- Computation of transient solutions
- Randomization/uniformization
- O.D.E. & P.D.E. Solvers
- Computation of other measures: first passage times, etc.
- Approximations
- Aggregation/disaggregation
- Truncations
- Bounds
- Kronecker approximations
- Markov reward models
- Sensitivity analysis
- Optimization
- Simulations
- Parallel implementations
- Markov chain applications to:
- Information retrieval
- Computer performance modelling
- Telecommunication modelling
- Biological systems
- Financial and economic applications
- Others ... not necessarily from the CS area
- P.C. Demonstrations

SUBMISSIONS
For the workshop, (extended) abstracts are to be submitted. They must
be in English and should not exceed 4 pages in IEEE double column
format. They must be unpublished and must not be submitted for
publication elsewhere. Those that are accepted will appear in the
workshop proceedings, and must be presented by one of the authors.
Submissions will be handled by the EasyChair system. Full papers will be
submitted to a special issue of the journal Numerical Linear
Algebra with Applications (NLAA) after the workshop.

INVITED SPEAKER
William J. Stewart (US)

DEADLINES
(Extended) abstracts : April 2, 2010
Notification : May 14, 2010
Workshop : September 16-17, 2010
Full papers : October 1, 2010

GENERAL CHAIRS
Peter Kemper (US)
Evgenia Smirni (US)

PROGRAM CO-CHAIRS
Michele Benzi (US)
Tugrul Dayar (TR)

LOCAL ORGANIZATION CHAIR
Ruth Lamprecht (US)

PUBLICITY CHAIR
Giuliano Casale (UK)

PROGRAM COMMITTEE
Nail Akar (TR)
Dario Bini (IT)
Peter Buchholz (DE)
Susanna Donatelli (IT)
Jean-Michel Fourneau (FR)
Reinhard German (DE)
Wilfried Gansterer (AT)
Boudewijn Haverkort (NL)
Holger Hermanns (DE)
Jane Hillston (UK)
Ilse Ipsen (US)
Joost-Pieter Katoen (DE)
Stephen Kirkland (IE)
William J. Knottenbelt (UK)
Udo R. Krieger (DE)
Amy N. Langville (US)
Ivo Marek (CZ)
Raymond Marie (FR)
Beatrice Meini (IT)
Carl D. Meyer (US)
Andrew S. Miner (US)
Harry Perros (US)
Brigitte Plateau (FR)
Ivana Pultarova (CZ)
William H. Sanders (US)
Roger B. Sidje (US)
Daniel B. Szyld (US)
Miklos Telek (HU)
Kishor S. Trivedi (US)
Benny Van Houdt (BE)
Jean-Marc Vincent (FR)
Verena Wolf (DE)


_______________________________________________
qest-announce mailing list
qest-announce@iti.uiuc.edu
http://mailman.crhc.uiuc.edu/mailman/listinfo/qest-announce

[qest-announce] CFP: QEST 2010

Apologies for multiple copies
----

Call for Papers
7th International Conference on Quantitative Evaluation of SysTems
QEST 2010

http://www.qest.org/qest2010/

College of William & Mary, Computer Science Department
15th-18th September, 2010, Williamsburg, VA, USA


*** co-located with the 6th International Workshop on the ***
*** Numerical Solution of Markov Chains (NSMC'10) ***

in cooperation with ACM SIGMETRICS

DEADLINES:

Abstract submission by 22 March, 2010
Paper and tool submission by 29 March, 2010
Tutorial submission by 26 April, 2010
Author notification by 24 May, 2010
Camera ready version by 14 June, 2010

Selected papers will appear in a special issue of the Elsevier Performance
Evaluation Journal.


SCOPE AND TOPICS:

The International Conference on Quantitative Evaluation of SysTems (QEST)
is the leading forum on evaluation and verification of computer systems
and networks, through stochastic models and measurements. QEST has a broad
range of interest - the common thread is that the evaluation be
quantitative. The range of performance metrics of interest spans classical
measures involving performance and reliability, as well as quantification
of properties that are classically qualitative, such as safety,
correctness, and security. QEST welcomes measurement-based studies as well
as analytic studies. QEST welcomes diversity in the model formalisms and
methodologies employed, as well as development of new formalisms and
methodologies. QEST is keenly interested in case studies that highlight
the role of quantitative evaluation in the design of "systems", where the
notion of system is broad. Systems of interest include computer hardware
and software architectures, communication systems, embedded systems, and
biological systems. Moreover, tools for supporting the practical
application of research results in all of the above areas are of special
interest, and therefore tool papers are sought. Tool demonstration papers
that describe a relevant tool, as well as its features,
evaluation, or any other information that may demonstrate the merits of
the tool.
In short, QEST aims to create a sound methodological basis for assessing
and designing systems using quantitative means.


SUBMISSIONS:

Submissions must be in English, IEEE double-column format, and
must indicate the above paper type. Electronic submission instructions may
be found at www.qest.org. Submitted papers should not exceed 10 pages (2
for tool demonstrations). Additional material for the aid of the reviewers
(e.g., proofs) can be included in a clearly marked appendix. Papers must
be unpublished and must not be submitted for publication elsewhere. PC
members, except program co-chairs, may submit papers.

All accepted papers (including tool demonstrations) will appear in the
Conference Proceedings published by the IEEE Computer Society Press, and
must be presented at the conference by one of the authors. A best-paper
award will be presented at the conference.

TUTORIALS:

There will be one day of tutorials at the start of the conference.
Tutorial proposals (up to 4 pages) should be sent to the Tutorial Chair.

TOOL PRESENTATIONS:

Sessions will be arranged to present and demonstrate tools relevant to any
conference topic. Accepted tool descriptions will appear in the conference
proceedings.


GENERAL CO-CHAIRS:
Peter Kemper (US)
Evgenia Smirni (US)

PROGRAM CO-CHAIRS:
Gianfranco Ciardo (US)
Roberto Segala (IT)

TOOL CHAIR:
William Knottenbelt (UK)

TUTORIAL CHAIR:
Susanna Donatelli (IT)

LOCAL ORGANIZATION CHAIR:
Ruth Lamprecht (US)

PUBLICITY CHAIR:
Giuliano Casale (UK)


STEERING COMMITTEE:

Gianfranco Balbo (IT)
Gianfranco Ciardo (US)
Pedro D'Argenio (AR)
Boudewijn Haverkort (NL, chair)
Holger Hermanns (DE)
Jane Hillston (UK)
Joost-Pieter Katoen (DE)
William Knottenbelt (UK)
Marta Kwiatkowska (UK)
Gerardo Rubino (FR)
William Sanders (US)
Miklos Telek (HU)


PROGRAM COMMITTEE:

Christel Baier (DE)
Nathalie Bertrand (FR)
Andrea Bondavalli (IT)
Patricia Bouyer (FR)
Peter Buchholz (DE)
Giuliano Casale (UK)
Ivana Cerna (CZ)
Pedro D'Argenio (AR)
Vittoria de Nitto Persone` (IT)
Kousha Etessami (UK)
Tony Field (UK)
Giuliana Franceschinis (IT)
Jean-Michel Fourneau (FR)
Shravan Gaonkar (US)
Leana Golubchik (US)
Serge Haddad (FR)
Armin Heindl (DE)
Holger Hermanns (DE)
Jane Hillston (UK)
Michael Huth (UK)
Radha Jagadeesan (US)
Alain Jean-Marie (FR)
Joost-Pieter Katoen (DE)
Peter Kemper (US)
Gabriele Kotsis (AT)
Marta Kwiatkowska (UK)
Kim Larsen (DK)
Ningfang Mi (US)
Andrew Miner (US)
Gethin Norman (UK)
Alma Riska (US)
William Sanders (US)
Matteo Sereno (IT)
Jeremy Sproston (IT)
Marielle Stoelinga (NL)
Miklos Telek (HU)
Yann Thierry-Mieg (FR)
Franck van Breugel (CA)
Carey Williamson (CA)
Verena Wolf (DE)
Murray Woodside (CA)
_______________________________________________
qest-announce mailing list
qest-announce@iti.uiuc.edu
http://mailman.crhc.uiuc.edu/mailman/listinfo/qest-announce

COLT 2010 open problems - deadline Mar 13

COLT 2010 will include a session devoted to the presentation of open
problems.
A description of these problems will also appear in the COLT
proceedings.

The write-up of an open problem should include the following:

1. A clear, self-contained description of an open problem
2. Motivation for the study of this problem
3. The current state of understanding for this problem, including
known partial solutions and citations of related published work

We especially encourage people to propose descriptions of new
interesting research directions in areas that are currently outside
the scope of COLT, such as bioinformatics, privacy and security, and
vision, to name a few. Ideally, your open problems or research
directions should include well-defined mathematical questions,
nontrivial, and explainable without requiring too much specialized
background knowledge in a 5-10 minutes talk. Monetary rewards for
solving an open problem are encouraged but not required. Format and
submission: The open problems should be 1-2 pages long in the COLT
proceedings format.

Please submit them electronically to open@colt2010.org with subject line
"open problem for Colt2010". The submissions, in pdf or ps, should be
attached to the email.

Deadline: March 13, 2010.

[DMANET] position announcement: chaire CNRS

Position Announcement : « Chaire Mixte CNRS-Université »


LIMOS Laboratory, UMR CNRS 6158, INS2I, University Blaise Pascal
Clermont-Ferrand FRANCE

The CNRS/University LIMOS Laboratory : Informatics, Modelling,
Optimization, Systems, located in Clermont-Ferrand, proposes a Chaire
Mixte CNRS/Université en Computer Sciences

This position is a mixed University/CNRS permanent position, which,
besides, offers during a 5 year duration the following advantages:
- a 64 h/year teaching duty ;
- an individual 6000 Euros/year bonus for a young doctor and a 10000
Euros/year bonus for an experienced searcher (at least 5 in a previous
academic position) ;
- a 15000 Euros/year subside dedicated to scientific activity.

Applying for this position is open to young doctors as well as to
experienced searchers, independently of their origin and nationality.

Profile: The candidate should be able to identify his activity with at
least one of the following keywords : Operations Research, Combinatorial
Optimization, Graphs/Algorithms, Applications to Emerging Systems (Web,
Sensors Networks, Transportation Systems…).

Commentary.
The LIMOS laboratory structures its activity around algorithm and
sofware design for application related to the management of complex
systems (telecommunication networks, transportation networks,
ecosystems, production systems). So, it mixes fundamental and
application oriented approaches, and focuses on the following topics:

- Combinatorial Optimization/Operations Research
- Graphs/Algorithms and Datamining
- Imagery and Automated Learning
- BioInformatics and Simulation
- Web Services, DataBases
- Mobile Networks, Sensor Networks
- Production Systems.

The common feature which those projects share is related to modelling
and to combinatorial algorithm and software design. The laboratory is
interested in recruiting some high level searcher, who might be either a
young doctor or some experienced searcher, with focus on discrete
algorithms (Operations Research, Disc. Maths.) and who would try to link
this research with new applications related to emerging data management
technologies : sensor networks, web services, transportation systems,
while contributing to the development of international partnerships with
China, Canada, Australia.

For any contact : Alain QUILLIOT, LIMOS Head
Tel : 04 73 40 50 04
Email : alain.quilliot@isima.fr


**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************

Thursday, February 25, 2010

5th Conference on Logic, Computation and Randomness

The 5th Conference on Logic, Computability and Randomness will be held at Notre Dame May 24-28, 2010.  The arrival day is May 23 and the meeting will end by 1pm on the 28th. The meeting web page is http://math.nd.edu/conferences/AlgoRandomness/. This web page has new information about speakers, lodging, and the conference dinner.

This meeting is supported by the National Science Foundation via NSF-DMS-0652669, FRG: Collaborative Research: Algorithmic Randomness.

postdoc at UT Austin

David Zuckerman seeks a postdoc for the 2010-11 academic year. For more
information, see http://www.cs.utexas.edu/~diz/postdoc.html

[DMANET] Ph.D. Positions in Algorithms University of Lugano, Switzerland

Ph.D. Positions in Algorithms, Computational Geometry at University of
Lugano, Switzerland


At the Faculty of Informatics, University of Lugano, Switzerland,
http://www.inf.usi.ch/, there is an immediate opening for a PhD student
in Computer Science in the area of Algorithms and Computational Geometry
under a project entitled: "Generalized Voronoi diagrams of polygonal
objects: algorithms and applications". The project is funded by the
Swiss National Science Foundation for a time period of three years
(extension possible). More positions in the area of Algorithms may
become available this Spring.

This project will investigate open problems on generalized Voronoi
diagrams of polygonal objects as motivated by concrete applications.
Voronoi diagrams are among the most fundamental structures in
Computational Geometry and they have proved to be powerful tools in
solving diverse and seemingly unrelated computational problems. Research
will combine the design and analysis of efficient algorithms,
combinatorial issues, as well as implementation and application issues.

Applicants should have a Masters degree in Computer Science (or
equivalent) and an affinity with algorithms. Some experience in
implementation and experimentation is expected. Candidates with a strong
background in the design and analysis of algorithms will be preferred.
Fluency in English is required.

Interested candidates should apply as soon as possible, for full
consideration by March 31st. For further information please contact
Professor Evanthia Papadopoulou, e-mail: evanthia.papadopoulou@usi.ch,
phone: +41(0)58 666 4122, http://www.inf.unisi.ch/faculty/papadopoulou/.
The Faculty application procedure is described in
http://www.inf.usi.ch/presentazionetudiare/container_education_phd/dottorato_regolamenti.htm


Annual Ph.D. salary is CHF 39'600 for the 1st year, growing to CHF
45'600 for the 3rd and 4th year.


--
Evanthia Papadopoulou
Associate Professor
Faculty of Informatics
University of Lugano (USI), Switzerland
Tel / Fax : +41 58 666 4122 / 4536
http://www.inf.unisi.ch/faculty/papadopoulou/

**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************

Wednesday, February 24, 2010

CFP: NASSLLI 2010 Student Session

CALL FOR PAPERS
NASSLLI 2010 STUDENT SESSION

June 26, 2010

The Student Session is organized as part of the Fourth North American
Summer School in Logic, Language, and Information to be held in
Bloomington, IN USA from June 20-26, 2010.


ABOUT THE STUDENT SESSION

The NASSLLI Student Session provides an opportunity for pre-doctoral
students to present original, unpublished work to an interdisciplinary
audience. Authors will also receive useful feedback on their
submissions from multiple reviewers. We invite submissions in all
areas related to the school: logic, computation, language, and any
combinations thereof.

Papers to the Student Session must represent original work. They
should be written with an eye towards two audiences: the wide
multi-disciplinary body of students and researchers who will attend
NASSLLI, and also the narrower set of people in the particular area of
the paper. In short, they should be substantial contributions that can
be appreciated by both insiders and outsiders.

The organizers anticipate accepting between 10 and 20 papers.


PROGRAM COMMITTEE

Joey Frazee, UT Austin
Joshua Herring, Indiana University
Wes Holliday, Stanford University
Thomas Icard, Stanford University
Joshua Sack, Reykjavík University
Robert Rose (chair), Indiana University
Elizabeth Allyn Smith, Ohio State University
Andreas Stuhlmüller, MIT


SUBMISSION DETAILS

Submissions should be formatted as PDF files, and should not exceed 10
pages.

All authors on the papers need to be pre-doctoral students.

Please make your submission at the EasyChair site for the NASSLLI
Student Session by the deadline listed below. Submissions will be
reviewed by the Student Session's program committee and additional
reviewers.


IMPORTANT DATES

* Submissions: April 5, 2010
* Notification: April 19, 2010
* Presentation Date: June 26, 2010


LOCAL ARRANGEMENTS

All presenters at the Student Session will be required to register for
NASSLLI.

The registration fee for authors presenting a paper will correspond to
the early student registration fee. There will be no reimbursement for
travel costs and accommodation. Presenters who have difficulty in
finding funding should contact the local organizing committee to ask
for the possibilities for a grant.

[DMANET] PostDoc position at Universite Libre de Bruxelles (ULB), Brussels, Belgium

PostDoc position available at

Universite Libre de Bruxelles (ULB)
Brussels, Belgium

within the "Action de Recherche Concertee" (ARC):
"Hard Combinatorial Problems: Geometry and Algorithms".

The position is for a period of 12 months (or less) and can start as
soon as April 1st, 2010.

The candidates are expected to have expertise in at least one of the
following research areas:

- combinatorial optimization
- computational geometry
- combinatorial algorithms
- polyhedral combinatorics
- approximation algorithms

Research will be conducted in collaboration with the following research
groups:

- CS Department,
"Algorithms" Group (http://www.ulb.ac.be/di/algo/)
- CS Department,
"Graphs and Optimization" Group (http://www.ulb.ac.be/di/gom/)
- Department of Mathematics,
"Geometry, Combinatorics and Group Theory" Research Group

Applications should be sent to one of the project managers, as soon as
possible.:

- Jean Cardinal <jcardin@ulb.ac.be>
- Jean-Paul Doignon <doignon@ulb.ac.be>
- Samuel Fiorini <sfiorini@ulb.ac.be>
- Bernard Fortz <bfortz@ulb.ac.be>
- Martine Labbe <mlabbe@ulb.ac.be>
- Stefan Langerman <slanger@ulb.ac.be>
- Dimitri Leemans <dleemans@ulb.ac.be>

---
Samuel Fiorini
Assistant Professor
Department of Mathematics
Universite Libre de Bruxelles
URL : http://homepages.ulb.ac.be/~sfiorini
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************

Call for Papers: 20th WADT (Workshop on Algebraic Development Techniques)

[sorry if you receive this more than once]


CALL FOR PAPERS


WADT 2010
20th International Workshop on
Algebraic Development Techniques


July 1-4, 2010, Etelsen, Germany

http://www.informatik.uni-bremen.de/WADT2010/

Aims and Scope:
The algebraic approach to system specification encompasses many
aspects of the formal design of software systems. Originally born
as formal method for reasoning about abstract data types, it now
covers new specification frameworks and programming paradigms
(such as object-oriented, aspect-oriented, agent-oriented, logic
and higher-order functional programming) as well as a wide range
of application areas (including information systems, concurrent,
distributed and mobile systems).

The workshop will provide an opportunity to present recent and
ongoing work, to meet colleagues, and to discuss new ideas and
future trends.

Topics of interest:
Typical, but not exclusive topics of interest are:
- Foundations of algebraic specification
- Other approaches to formal specification, including process
calculi and models of concurrent, distributed and mobile computing
- Specification languages, methods, and environments
- Semantics of conceptual modelling methods and techniques
- Model-driven development
- Graph transformations, term rewriting and proof systems
- Integration of formal specification techniques
- Formal testing and quality assurance, validation, and verification

INVITED SPEAKERS
Hans-Dieter Ehrich, Institut f\"ur Informationssysteme, Braunschweig
Frantisek Plasil, Charles University, Prague
Martin Wirsing, Ludwig-Maximilians-Universit\"at, M\"unchen

IMPORTANT DATES
Submission deadline for abstracts: April 30, 2010
Notification of acceptance: May 23, 2010
Final abstract due: June 13, 2010
Workshop: July 1-4, 2010

Workshop Format and Location:
The workshop will take place over four days, Thursday to Sunday,
at Schloss Etelsen, www.schloss-etelsen.de, a castle located near
Bremen. Presentations will be selected on the basis of submitted
abstracts. Three talks will be given by invited speakers.

Submissions:
The scientific program of the workshop will include presentations
of recent results and ongoing research. The presentations will be
selected by the Steering Committee on the basis of the submitted
abstracts according to originality, significance, and general
interest.

The abstracts have to be submitted electronically according to the
instructions published on the workshop web site. The final
versions of the selected abstracts will be included in a hand-out
for the workshop participants.

After the workshop, selected authors will be invited to submit
full papers for the refereed proceedings, which is expected to be
published as a volume of Lecture Notes in Computer Science
(Springer Verlag).

Sponsorship:
The workshop takes place under the auspices of IFIP WG 1.3, and is
sponsored by IFIP TC1, University of Bremen, and DFKI GmbH. The
event is organized by the Computer Science Department of the
University of Bremen and the DFKI Bremen group Safe and Secure
Cognitive Systems.

WADT Steering Committee:
Michel Bidoit (France)
Andrea Corradini (Italy)
Jos\'e Fiadeiro (UK)
Rolf Hennicker (Germany)
Hans-J\"org Kreowski (Germany)
Till Mossakowski (Germany) [chair]
Fernando Orejas (Spain)
Francesco Parisi-Presicce (Italy)
Andrzej Tarlecki (Poland)

PROCEEDINGS

The abstracts accepted for presentation will be available at the
workshop. Refereed LNCS proceedings are planned for full versions
of submissions solicited after the workshop.

CONTACT
WADT 2010
Fachbereich 3 Mathematik und Informatik
Enrique-Schmidt-Str. 5
D-28359 Bremen, Germany
Phone: +49 421 218 64226
Fax: +49 421 218 98 64226
Email: wadt2010@informatik.uni-bremen.de

[qest-announce] CfP Quantitative Models for Performance and Dependability (QPMD)

**************************************************************************
CALL FOR PAPERS

Quantitative Models for Performance and Dependability (QMPD)

Sept 1-3 2010, Munich, Germany

http://or2010.informatik.unibw-muenchen.de/topics/quantitative-models-for-performance-and-dependability

QMPD is one out of 21 topics at the
INTERNATIONAL CONFERENCE ON OPERATIONS RESEARCH 2010
www.or2010.de

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

SCOPE OF WORKSHOP

In many ways, our society relies on the correct and timely functioning
of large-scale distributed information and communication systems. We
therefore solicit original contributions which address the model-based
quantitative analysis of such concurrent systems, with the focus on
performance, dependability, energy-efficiency, cost-optimal operation,
vulnerability and safety. Systems of interest include parallel or
distributed computing systems, web-based systems, production systems,
logistics systems, wired or wireless communication systems,
soft-real-time systems, safety-critical systems. The considered
modelling formalisms are, among others, Markov chains, Markov Decision
processes, Stochastic Petri Nets, Stochastic Process Algebra, (layered)
queueing networks, fluid and hybrid stochastic models.

Both theoretical papers and practical case studies are called for.
Reports on new modelling approaches, solution techniques, optimization
methods, verification algorithms, data structures and tools are sought.

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

SUBMISSION DETAILS:

There will be an on-site book of abstracts. Post-conference proceedings
of selected extended abstracts (6 pages) will be published by Springer.
All accepted abstracts shall be presented at the conference.

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

IMPORTANT DATES

Abstract submission (max 1800 characters) *April 30, 2010*

Extended Abstract submission (6 pages) *July 15, 2010*

Final Extended Abstracts
for post-conference proceedings (6 pages) *Oct 15, 2010*

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

TOPIC MINI PROGRAM COMMITTEE:

Hans Daduna (Germany)
Susanna Donatelli (Italy)
William Knottenbelt (UK)
Markus Siegle (Germany, chair)
Katinka Wolter (Germany)

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


_______________________________________________
qest-announce mailing list
qest-announce@iti.uiuc.edu
http://mailman.crhc.uiuc.edu/mailman/listinfo/qest-announce

Tuesday, February 23, 2010

SSS 2010 CFP

12th International Symposium on Stabilization,
Safety, and Security of Distributed Systems (SSS 2010)

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

New York City, USA
September 20-22, 2010
Davis Auditorium, Columbia University
_________________________________________________________________
Invited speakers

Leonid Levin, Boston University, USA
Mihalis Yannakakis, Columbia University, USA
Yechiam Yemini, Columbia University, USA

_________________________________________________________________
Important Dates

* Submission deadline: May 21, 2010
* Acceptance notification: July 05, 2010
* Camera-ready copy due: July 14, 2010

* Arrival date: September 19, 2010
* Conference begins: September 20, 2010
* Conference ends: September 22, 2010

____________________________________________________________

General Chair
Shlomi Dolev Ben-Gurion Univ., Israel

Program Co-Chairs
Jorge Cobb U of Texas at Dallas, USA
Michael Fischer Yale Univ., USA
Moti Yung Google and Columbia Univ., USA

Track chairs:

Self-Stabilization track
Franck Petit UMPC Paris 6, France
Philippas Tsigas Chalmers University, Sweden

Self-Organization track
Kirstie L. Bellman Aerospace Corporation, USA
Mark Jelasity University of Szeged, Hungary

Ad-Hoc, Sensor, and Dynamic Networks track
Jie Gao Stony Brook University, USA
Sandeep Kulkarni Michigan State University, USA

Peer to Peer track
Cédric Tedeschi INRIA, France
Thomas Fuhrmann Technical Univ. Munich, Germany

Fault-Tolerance and Dependable Systems track
Brian Coan Telcordia Technologies, USA
Sergio Rajsbaum National Autonomous Univ. of Mexico, México

Safety and Verification track
Benjamin Goldberg New York University, USA
Oliver E. Theel Univ. of Oldenburg, Germany
Lenore Zuck University of Illinois at Chicago, USA

Swarm, Amorphous, Spatial, and Complex Systems track
Yanner Bar-Yam NECSI and Harvard Univ., USA
Jacob Beal BBN Technologies and MIT CSAIL, USA

Security track
Mohamed Gouda National Science Foundation, USA
Rebecca Wright Rutgers University, USA

Cryptography track
Gene Itkis MIT Lincoln Laboratory, USA
Jonathan Katz University of Maryland, USA

Discrete Distributed Algorithms track
Amotz Bar-Noy City Univ. of New York, USA
Paul Spirakis University of Patras, Greece

Local Arrangements Chair
Gil Zussman Columbia Univ., USA

Publicity Chair
Doina Bein Pennsylvania State Univ., USA

Administration
Rachel Chinkis Ben-Gurion Univ., Israel
Elsa Sanchez Columbia Univ., USA

[DMANET] EWMINLP10: Call for participation

European Workshop on Mixed Integer Nonlinear Programming
Centre International de Rencontres Mathematiques
Marseille, France
April 12-16, 2010
http://sites.google.com/site/ewminlp/

Apologies for potential multiple receptions.

We invite you to participate in the upcoming European Workshop on
Mixed Integer Nonlinear Programming. To register for the
workshop, please go to
http://sites.google.com/site/ewminlp/Home/registration.

For a complete list of speakers, please see
http://sites.google.com/site/ewminlp/Home/confirmed-speakers.

Space is still available for those wishing to participate in the
workshop and stay at CIRM, especially if you are willing to share
a double room. The price for a shared double room is 67 euros per
night and per person. (It seems likely that the capacity for
single rooms at CIRM has already been fully filled by those
already registered.)

We hope to see you in Marseilles!

Sincerely,

The EWMINLP Program Committee

Pierre Bonami
Leo Liberti
Andrew Miller
Annick Sartenaer
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************

[DMANET] Presidential Endowed Chair

*LEHIGH UNIVERSITY*
*Presidential Endowed Chair: Professorship in
Health-related Sciences/Engineering Search*


Lehigh University is seeking applications and nominations for a
Presidential Endowed Professorship in Health in the Natural Sciences or
Engineering fields as an important component of a university-wide health
initiative. We encourage applications from established scholars open to
cross-disciplinary collaboration and whose research activities intersect
with those of existing groups at Lehigh University. We offer a uniquely
supportive environment for cross-disciplinary research over a broad
range of fields, and we seek a dynamic individual who would thrive in
such an environment and could serve as a catalyst for new cross-cutting
research collaborations. Candidates for the Presidential Chair must have
a distinguished record in health-related research in the natural
sciences or engineering disciplines and a record of external funding to
support their research endeavors.

Appointment, at the Associate or Full Professor rank, will include a
competitive salary and start-up package, and will be in the appropriate
disciplinary department. A concurrent search is also underway in the
social sciences and humanities. Additional information about the health
initiative is available at
*http://www.lehigh.edu/healthsearches/scienceandengineering/*.

Applications should be sent by email to
*presidentialchairhealthscieng@lehigh.edu
<mailto:presidentialchairhealthscieng@lehigh.edu>*. Please include a
cover letter, CV, and the names of three potential references.

Nominations are also welcome, and will be reviewed and contacted by the
Search Committee. Names of potential candidates can be sent to
*presidentialchairhealthscieng@lehigh.edu
<mailto:presidentialchairhealthscieng@lehigh.edu>*.

Review of applications will be ongoing until the position is filled.

--
********************************************************
Tamas Terlaky, George N. and Soteria Kledaras '87 Endowed Chair Professor.
Chair, Department of Industrial and Systems Engineering
P.C. Rossin College of Engineering and Applied Science
Lehigh University, Harold S. Mohler Laboratory
200 West Packer Avenue, Bethlehem, PA 18015-1582
Phone: (610) 758-4050
Email: terlaky@lehigh.edu
Fax: (610) 758-4886
http://www.lehigh.edu/~tat208
http://coral.ie.lehigh.edu/~mopta
http://www3.lehigh.edu/News/V2news_story.asp?iNewsID=2723
**********************************************************

**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************

2nd Student Contest on Software Engineering (SCORE 2011), part of ICSE 2011

**********************************************************************
FIRST CALL FOR PARTICIPATION
Student Contest on Software Engineering
SCORE 2011
http://score-contest.org/2011

part of the
33rd International Conference in Software Engineering (ICSE 2011)
21-28 May 2011, Waikiki, Honolulu, Hawaii
http://2011.icse-conferences.org/content/score
**********************************************************************

Finals of the second Student Contest on Software Engineering (SCORE)
will be held at ICSE 2011 in Waikiki. Teams of undergraduate and
M.S. students from all over the world will compete on projects chosen
from a diverse list. SCORE projects can be undertaken in the context
of software engineering courses, and student teams will also interact
with a project stakeholder from the SCORE committee.

The SCORE Contest is aimed at promoting and fostering software
engineering in universities worldwide. Evaluation of submitted
projects includes an assessment of overall project quality (not only
code). Overall awards and special recognitions for projects using
formal methods and geographically distributed projects will be made.
Students and instructors have enthusiastically reported that
participating in SCORE enlivens the project experience.

FOR FURTHER INFORMATION ON SCORE 2011:
Call For Participation (including contest rules and awards):
http://score-contest.org/2011/CFP.php
List of available projects:
http://score-contest.org/2011/Projects.php
Useful information for instructors of Software Engineering classes:
http://score-contest.org/2011/ForSEInstructors.php
Information for teams interested in competing for the Formal Methods award:
http://score-contest.org/2011/FM.php


IMPORTANT DATES:
* February 2010: Publication of the project topics on the SCORE website;
team registrations open.
* March 2010: Teams may start to submit summary reports
(submissions open).
* 30 November 2010: Registration for participation closes.
* 15 January 2011: Submission for the summary reports closes.
* 15 February 2011: Selection of the semi-finalist teams, among which
the finalists of the contest will be selected.
* 28 February 2011: Deadline for the submission of the
final deliverable.
* 28 March 2011: Announcement of the finalists, who will be invited
to ICSE 2011.
* ICSE 2011 (May 21-28 2011): Final evaluation and presentation of
the awards.

The submission deadlines are designed to accommodate participation
by teams in one-semester software engineering courses worldwide.

PROGRAM CHAIRS:
Matteo Rossi, Politecnico di Milano, Italy
Michal Young, University of Oregon, USA
_______________________________________________
events mailing list
events@fmeurope.org
http://fmeurope.hosting.west.nl/mailman/listinfo/events

ALGOSENSORS 2010 Call for Papers

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

ALGOSENSORS 2010 Call for Papers

6th International Workshop on Algorithms for Sensor Systems,
Wireless Ad Hoc Networks and Autonomous Mobile Entities

Bordeaux, France
July 5, 2010
http://www.algosensors.org

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

ALGOSENSORS 2010 is co-located with ICALP 2010.

SCOPE:

The ALGOSENSORS workshop series aims to bring together research
contributions related to diverse algorithmic and complexity theoretic
aspects of wireless sensor networks. Starting with ALGOSENSORS 2010, we
also strongly encourage submissions about related types of networks
such as ad hoc wireless networks, mobile networks, radio networks and
distributed systems of robots. Topics include but are not limited to:

- Models for wireless networks
- Virtual infrastructures
- Infrastructure discovery
- Methods for ad-hoc deployment/topology control
- Data propagation and routing
- Data aggregation/data compression
- Error and erasure correcting codes for information dispersal
- Energy management
- Power saving schemes
- Communication protocols
- Medium access control
- Localization
- Tracking
- Fault tolerance and dependability
- Self-stabilization
- Adaptiveness and self-organization
- Game theoretic aspects
- Cryptography, security and trust
- Distributed computing issues
- Time synchronization
- Swarm computing
- Mobile robotic sensors
- Algorithms for RFID
- Obstacle avoidance

IMPORTANT DATES:

Submission deadline: April 30, 2010
Notification: June 7, 2010
Camera-ready copy: June 25, 2010

SUBMISSIONS:

Authors are invited to submit manuscripts reporting original research
on topics related to the workshop. Simultaneous submission to other
conferences is not allowed. Papers should not exceed twelve (12) pages
of text using at least 11 point size type, including references,
figures, tables, etc., preferably formatted in the LNCS style.
Additional material may be added at a clearly marked appendix to be
read at the discretion of the program committee members. Authors must
submit their papers electronically via Web page:
http://www.algosensors.org. All papers will be peer reviewed and
comments will be provided to the authors. Authors need to make sure
that for each accepted paper at least one author will attend the
workshop.

PROGRAM COMMITTEE:

Matthew Andrews, Bell Labs
Novella Bartolini, University of Rome "La Sapienza"
Prosenjit Bose, Carleton University
Ioannis Caragiannis, University of Patras
Bogdan Chlebus, University of Colorado at Denver
Sandor Fekete, TU Braunschweig
Hannes Frey, University of Paderborn
Jie Gao, SUNY Stony Brook
Ralf Klasing, LaBRI
Miroslaw Korzeniowski, Wroclaw University of Technology
Pierre Leone, University of Geneva
Xu Li, University of Ottawa
Zvi Lotker, Ben-Gurion University
Alberto Marchetti-Spaccamela, University of Rome "La Sapienza"
Thomas Moscibroda, Microsoft Research
Pekka Orponen, Aalto University
Victor Prasanna, University of Southern California
Liam Roditty, Bar-Ilan University
Paolo Santi, CNR
Gabriel Scalosub, Ben-Gurion University
Christian Scheideler, University of Paderborn (PC Chair)
Christian Schindelhauer, University of Freiburg
Stefan Schmid, Deutsche Telekom Labs
Berthold Vöcking, RWTH Aachen

STEERING COMMITTEE:

Josep Diaz, Technical University of Catalonia
Jan van Leeuwen, University of Utrecht
Sotiris Nikoletseas, University of Patras and CTI (Chair)
Jose Rolim, University of Geneva
Paul Spirakis, University of Patras and CTI

--------------------------------------------------------------------
Prof. Dr. Christian Scheideler Phone: +49-5251-606728
Institut für Informatik Fax: +49-5251-606697
Universität Paderborn Email: scheideler@upb.de
Fürstenallee 11
33102 Paderborn, Germany

http://wwwcs.uni-paderborn.de/cs/scheideler
--------------------------------------------------------------------

[DMANET] ALGOSENSORS 2010 Call for Papers

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

ALGOSENSORS 2010 Call for Papers

6th International Workshop on Algorithms for Sensor Systems,
Wireless Ad Hoc Networks and Autonomous Mobile Entities

Bordeaux, France
July 5, 2010
http://www.algosensors.org

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

ALGOSENSORS 2010 is co-located with ICALP 2010.

SCOPE:

The ALGOSENSORS workshop series aims to bring together research
contributions related to diverse algorithmic and complexity theoretic
aspects of wireless sensor networks. Starting with ALGOSENSORS 2010, we
also strongly encourage submissions about related types of networks
such as ad hoc wireless networks, mobile networks, radio networks and
distributed systems of robots. Topics include but are not limited to:

- Models for wireless networks
- Virtual infrastructures
- Infrastructure discovery
- Methods for ad-hoc deployment/topology control
- Data propagation and routing
- Data aggregation/data compression
- Error and erasure correcting codes for information dispersal
- Energy management
- Power saving schemes
- Communication protocols
- Medium access control
- Localization
- Tracking
- Fault tolerance and dependability
- Self-stabilization
- Adaptiveness and self-organization
- Game theoretic aspects
- Cryptography, security and trust
- Distributed computing issues
- Time synchronization
- Swarm computing
- Mobile robotic sensors
- Algorithms for RFID
- Obstacle avoidance

IMPORTANT DATES:

Submission deadline: April 30, 2010
Notification: June 7, 2010
Camera-ready copy: June 25, 2010

SUBMISSIONS:

Authors are invited to submit manuscripts reporting original research
on topics related to the workshop. Simultaneous submission to other
conferences is not allowed. Papers should not exceed twelve (12) pages
of text using at least 11 point size type, including references,
figures, tables, etc., preferably formatted in the LNCS style.
Additional material may be added at a clearly marked appendix to be
read at the discretion of the program committee members. Authors must
submit their papers electronically via Web page:
http://www.algosensors.org. All papers will be peer reviewed and
comments will be provided to the authors. Authors need to make sure
that for each accepted paper at least one author will attend the
workshop.

PROGRAM COMMITTEE:

Matthew Andrews, Bell Labs
Novella Bartolini, University of Rome "La Sapienza"
Prosenjit Bose, Carleton University
Ioannis Caragiannis, University of Patras
Bogdan Chlebus, University of Colorado at Denver
Sandor Fekete, TU Braunschweig
Hannes Frey, University of Paderborn
Jie Gao, SUNY Stony Brook
Ralf Klasing, LaBRI
Miroslaw Korzeniowski, Wroclaw University of Technology
Pierre Leone, University of Geneva
Xu Li, University of Ottawa
Zvi Lotker, Ben-Gurion University
Alberto Marchetti-Spaccamela, University of Rome "La Sapienza"
Thomas Moscibroda, Microsoft Research
Pekka Orponen, Aalto University
Victor Prasanna, University of Southern California
Liam Roditty, Bar-Ilan University
Paolo Santi, CNR
Gabriel Scalosub, Ben-Gurion University
Christian Scheideler, University of Paderborn (PC Chair)
Christian Schindelhauer, University of Freiburg
Stefan Schmid, Deutsche Telekom Labs
Berthold Voecking, RWTH Aachen

STEERING COMMITTEE:

Josep Diaz, Technical University of Catalonia
Jan van Leeuwen, University of Utrecht
Sotiris Nikoletseas, University of Patras and CTI (Chair)
Jose Rolim, University of Geneva
Paul Spirakis, University of Patras and CTI

--------------------------------------------------------------------
Prof. Dr. Christian Scheideler Phone: +49-5251-606728
Institut fuer Informatik Fax: +49-5251-606697
Universitaet Paderborn Email: scheideler@upb.de
Fuerstenallee 11
33102 Paderborn, Germany

http://wwwcs.uni-paderborn.de/cs/scheideler
--------------------------------------------------------------------

**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************

10th Canadian Summer School on Quantum Information at UBC Vancouver

We would like to inform you of the upcoming 10th Canadian Summer School on
Quantum Information & Research Workshop.

Save the dates: July 17-30, 2010
Location: University of British Columbia, Vancouver, BC
For more information, visit our website: qi10.ca
Contact us: info@qi10.ca

This summer school on quantum information marks the 10th anniversary of the
highly renowned series. This year the emphasis will be on quantum algorithms
and models of quantum computation, with particular attention to mathematical
methods. This summer school also includes a research workshop on quantum
algorithms, computational models, and foundations of quantum mechanics, held
during July 23 - 25. We would appreciate that you help to disseminate the
information of this event to your colleauges, postdocs and students.

Confirmed speakers include:
* Boris Altshuler, Columbia University, New York, NY, USA
* Hans J. Briegel, Universität Innsbruck, Innsbruck, Austria
* Daniel E. Browne, University College London, UK
* Andrew Childs, University of Waterloo, Canada
* Steve Flammia,Perimeter Institute, Waterloo, ON, Canada
* Chris Godsil, University of Waterloo, Canada
* Daniel Gottesman, Perimeter Institute, Waterloo, ON, Canada
* Daniel Lidar, University of Southern California, Los Angeles, CA, USA
* Maarten van den Nest, Max-Planck-Institut für Quantenoptik, Garching, Germany
* David Poulin,Université de Sherbrooke, Sherbrooke, QC, Canada
* Frank Verstraete, Universität Wien, Austria
* Pawel Wocjan, University of Central Florida, Orlando, FL, USA

Please feel free to contact us if you have questions regarding the summer
school and research workshop. For more information, visit our website at
qi10.ca, or give us an email at info@qi10.ca.

Sincerely,
QI10 Organizing Committee
* Barry Sanders, University of Calgary
* Robert Raussendorf, University of British Columbia
* Petr Lisonek, Simon Fraser University
* Mohammad Amin, D-Wave Systems Inc., Burnaby, BC
* Tzu-Chieh Wei, University of British Columbia
* Pradeep Kiran Sarvepalli, University of British Columbia
* Theresa Liao, University of British Columbia
* Rebecca Cadwalader, Pacific Institute for Mathematical Sciences

[DMANET] Workshop on Intelligent Sensor and Wireless Networks (Ext. Deadline: Mar. 15, 2010)

[Please accept our apologies if you receive multiple copies of this email]

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

CALL FOR PAPERS


The 2010 International Workshop on Intelligent Sensor and Wireless Networks
(IntelNet 2010)


To be held in conjunction with CIT'10 (Supported by IEEE Computer
Society), June 29 - July 1, 2010, Bradford, UK

http://www.inf.brad.ac.uk/~xjin/IntelNet10/index.html
http://www.scim.brad.ac.uk/~ylwu/CIT2010/


SCOPE:

Modern sensor and wireless networks have been becoming more and more
large-scaled and
complicated. Due to their rapidly increasing scale and complexity, the
management and
maintenance of sensor and wireless networks have posed many grand challenges
to both industrial
and academic communication communities. To overcome these challenges, it is
very necessary to
find new levels of autonomy and intelligence in deploying, managing, and
maintaining sensor and
wireless networks.

The purpose of the 2010 International Workshop on Intelligent Sensor and
Wireless Networks
(IntelNet 2010) is to bring together scientists, researchers, professionals,
and practitioners from
both industry and academia to exchange ideas, discuss solutions, share
experiences, and report
state-of-the-art research results on various aspects of intelligent sensor
and wireless networks.
The topics of interest include, but are not limited to:

-- Advanced Technologies for Enabling Intelligent and Autonomic
Communications
-- Autonomy-Oriented Sensor/Wireless Networks
-- Biological, Social, and Economic Models for Intelligent Networks
-- Bio-Inspired Network Protocol Design
-- Bio-Inspired Network Services
-- Bio-Inspired Sensor/Wireless Networks
-- Characterization and Detection of Emergent Properties in
Self-Organizing Networks
-- Complex Dynamics of Autonomous Communication Networks
-- Experimental Case Studies and Testbeds of Intelligent Networks
-- Novel Design and Management Technologies for Autonomic
Sensor/Wireless Networks
-- Scalability and Complexity of Self-Organizing Communication Networks
-- Self-Organization in Autonomic Communication Networks
-- Self-Organizing, Self-Adaptive and Self-Tuning Sensor/Wireless
Networks
-- Sensing, Monitoring, Evaluation, and Measurements of Intelligent
Networks
-- Stability and Dependability of Intelligent Sensor/Wireless Networks
-- Tools and Techniques for Designing, Implementing, and Analyzing
Intelligent Sensor/Wireless Networks


STEERING COMMITTEE:

Duncan F. Gillies, Imperial College London, UK
Jiming Liu, Hong Kong Baptist University, Hong Kong
Ruqian Lu, Chinese Academy of Sciences, China
Geyong Min, University of Bradford, UK
Jie Wu, Temple University, USA

GENERAL CHAIR:

Xiaolong Jin
School of Informatics
University of Bradford
Bradford, BD7 1DP, U.K.
E-mail: x.jin@brad.ac.uk

PROGRAM CHAIRS:

Lei Liu
Department of Computing
University of Bradford
Bradford, BD7 1DP, U.K.
E-mail: l.liu6@brad.ac.uk

Hui Cheng
Department of Computer Science
University of Leicester
Leicester, LE1 7RH
U.K.
E-mail: hc118@le.ac.uk

PAPER SUBMISSION:

Authors are invited to submit manuscripts reporting original unpublished
research and recent
developments in the topics related to the workshop. The length of the papers
should not
exceed 6 pages + 2 pages for overlength charges (IEEE Computer Society
Proceedings
Manuscripts style: two columns, single-spaced), including figures and
references, using 10
fonts, and number each page. Papers should be submitted electronically in
PDF format by
sending it as an e-mail attachment to Xiaolong Jin (x.jin@bradford.ac.uk).
All papers will be
peer reviewed and the comments will be provided to the authors. The accepted
papers will
be published together with those of other workshops by the IEEE Computer
Society Press.

Distinguished papers, after further extensions, will be published in CIT
2010's special issues of
the following prestigious SCI-indexed journals:

-- The Journal of Supercomputing - Springer
-- Journal of Computer and System Sciences - Elsevier
-- Concurrency and Computation: Practice and Experience - John Wiley & Sons


IMPORTANT DATES:

Submission Deadline: March 15, 2010
Author Notification: April 2, 2010
Final Manuscript Due: April 18, 2010
Registration Due: April 18, 2010
Conference Date: June 29 - July 1, 2010

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

**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************

Monday, February 22, 2010

Emerging Computing Models and Technologies

Dear Colleagues,

 

Many positive changes in the last two years at NSF and CISE have led to increased funding opportunities for researchers in the areas of emerging computing models and technologies.  These changes also serve to align better the intellectual agenda of these research areas with programs in the CISE Division of Computing and Communications Foundations (CCF).

 

First, widespread recognition that the era of continuous performance improvements in computing hardware is coming to an end led NSF to initiate a multi-directorate investment in Science and Engineering Beyond Moore's Law (SEBML).  SEBML challenged the community not only to address how to exploit and manage parallelism in the multi- and many-core architectures of today, but also to explore non-silicon substrates of tomorrow, e.g., bio, nano, and quantum.  The FY11 President's Request to Congress for SEBML is over $70 million, an increase of 50% over the FY10 level.  FY11 funding will continue to support all areas in SEBML as before, with a specific spotlight on quantum information science.

 

Second, programmatic changes within CCF meant that research areas funded within the single former Emerging Models and Technologies (EMT) program are now funded by multiple CCF programs, to reflect a better alignment of shared research sensibilities and interests in the different communities.  The realignment also enables former EMT researchers increased funding opportunities.

 

In the interests of transparency, we provide you with the details of this realignment.  The core programs in CCF are now Algorithmic Foundations (AF), Communication and Information Foundations (CIF), and Software and Hardware Foundations (SHF).  The former EMT program grouped together three different research areas: quantum computing and communication; nanocomputing, bionanocomputing and biocomputing; and computational biology. While the unifying theme for all areas (except computational biology) was that they had the goal of building computers with non-silicon substrates, we felt that in terms of research techniques and approaches these areas were not so closely related.  The main criterion for our programmatic changes was to group together areas that had close intellectual affinity into the same programs.

 

Thus, quantum computing (where the major research emphasis is on algorithms and complexity) was put in the Algorithmic Foundations (AF) program and quantum communication (with its focus on topics like channel capacity) was put in the Communication and Information Foundations (CIF) program.

 

Since much of the CISE research on nanocomputing seeks to engineer nano "hardware" it was put in the Software and Hardware Foundations (SHF) program alongside other program areas focused on nanotechnology and design automation for nanotechnology. Similarly, bionanocomputing and biocomputing, which also explore building computing devices possibly out of biological molecules and/or inspired by living systems were placed in the SHF program. 

 

Computational biology based on algorithmic research for biological problems naturally fit in with AF. Applications of formal methods to biology, along with other formal methods research falls within SHF. Research on communication and signal processing in biological systems naturally fit in CIF.

 

In summary, research in emerging models and technologies is classified into AF, CIF, and SHF by the CISE techniques and concepts used.

 

While we feel that this taxonomy makes scientific sense, the research community does not really need to remember the details of the changes. A small group of CCF Program Directors spanning the three core programs—AF, CIF, and SHF—handle all proposals in the former EMT. There is a lot of communication within this group to effect the optimal programmatic placement of proposals received. There is also a lot of communication with PDs in allied areas such as bioinformatics in CISE's Division of Information and Intelligent Systems (IIS).  With the synchronized deadlines for all CISE core and cross-cutting programs, we make a concerted effort to ensure that your proposal will be managed by the most appropriate Program Director and get assigned reviewers with the relevant expertise.

           

Perhaps surprisingly, the former EMT did not jointly fund many proposals with other directorates or divisions within CISE.  This new structure creates more opportunities for individual areas to build such bridges.  In this past year, we have made concrete progress on two fronts.  First, we work closely with the Directorates for Engineering, and Mathematical and Physical Sciences, and the Office for Cyberinfrastucture on research in quantum information science; indeed, NSF, with CISE leadership, also works with other federal agencies on QIS.   Second, a team of Program Directors in CISE and the Directorate for the Biological Sciences (BIO) work closely to highlight the deep connections between fundamental concepts in the two fields; their aim is to encourage a new kind of partnership to jointly investigate these concepts.   Overall, CISE and CCF continue to make a significant investment in the areas of the former EMT program and expect to support research in these areas at a level more than in previous years.         

 

Sincerely,

 

Sampath Kannan                                     

Director, Division of Computing and Communication Foundations

 

Jeannette M. Wing

Assistant Director, Computer and Information Science and Engineering Directorate

 

National Science Foundation