[NPA] CFP: Network Protocols and Algorithms

********************* Call for Papers *********************

Network Protocols and Algorithms

ISSN 1943-3581

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

Network Protocols and Algorithms is a free-access 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.

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
- Power Efficient and Energy Saving Network Protocols and Algorithms
- Multimedia Network Protocols and Algorithms
- Network Protocols and Algorithms for Context-Aware and Semantic Networks
- Localized Network Protocols and Algorithms
- Transport Layer Protocols

Network Protocols and Algorithms appears in the next search engines: Google Scholar, Bing, Yahoo and Ask.

Network Protocols and Algorithms is added and indexed in Index Copernicus, ProQuest, EBSCO, Ulrichsweb.com, Directory of Open Access Journals (DOAJ), Open J-Gate, Gale, io-port Database, NewJour - Electronic Journals and Newsletters, Public Knowledge Project metadata harvester and PublicationsList.org. It is also requested to be included in other major Indexing Databases.

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.

The topics suggested by the journal can be discussed in term of concepts, state of the art, standards, implementations, running experiments and applications. Proposals and deployments are also welcome.

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 the International Journal of Network Protocols and Algorithms
Associate Professor
Department of Communications
Polytechnic University of Valencia

[DMANET] Post-doctoral vacancies at the University of Nottingham

Research Associate/Fellow in Computer Science (3 years)
Transitional Fellow in Computer Science - Senior Postdoc (5 years)
University of Nottingham - Horizon Digital Economy Research Institute

Horizon is a Digital Economy Research Institute that focuses on the role
of 'always-on always with you' ubiquitous computing in the Digital Economy.

Horizon has a vacancy for a Research Associate/Fellow with expertise in
data modelling and analysis, who will work closely with the Intelligent
Modelling and Analysis group (http://ima.ac.uk) within Computer Science
and provide a critical link between the two activities. The position
will require knowledge of, and hands-on experience in, intelligent
analysis of real-world data and knowledge in the presence of uncertainty
and noise. Rare event detection and real-time analysis may be of
particular interest. Methodologies may include Fuzzy Reasoning or
bio-inspired computing, but the research will also require knowledge of
statistical research methods.

Additionally, Horizon is looking for two senior post-doctoral
Transitional Fellows. As a Horizon Transitional Fellow in Computing you
will be initially focussed on the Horizon research agenda, and over five
years transition to the normal duties of a Lecturer within the School of
Computer Science. Candidates should have a PhD and a track record of
internationally leading research. Key computing research challenges
within Horizon include: mobile and ubiquitous computing; networking and
distributed systems; data modelling and analysis. Candidates should have
skills and experience in one or more of these fields and be keen to
bring their expertise into the interdisciplinary team addressing the
overall socio-technical challenges of the future Digital Economy.

Further details are available from:

Research Associate/Fellow:
http://www.jobs.ac.uk/job/ABE881/research-associate-fellow-in-computer-science/

Transitional Fellows:
http://www.jobs.ac.uk/job/ABE879/transitional-fellow-in-computer-science-two-posts/

Closing date for both vacancies: 5 July 2010.
--
________________________________________________________________
Professor Uwe Aickelin
School of Computer Science
The University of Nottingham
Jubilee Campus, Wollaton Road
Nottingham, NG8 1BB, UK.

tel: +44 (0)115 95 14215
e-mail: uwe.aickelin@nottingham.ac.uk
web: http://www.aickelin.com
________________________________________________________________

This message has been checked for viruses but the contents of an attachment
may still contain software viruses which could damage your computer system:
you are advised to perform your own checks. Email communications with the
University of Nottingham may be monitored as permitted by UK legislation.
**********************************************************
*
* 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/
*
**********************************************************

CFPart: 5th International Summer School "Advanced Course on Petri Nets"

+----------------------------------------------+
| 5th International Summer School |
| Advanced Course on Petri Nets |
| ============================= |
| Sep 13-24, 2010 in Rostock, Germany |
+----------------------------------------------+
http://www.petrinet-summerschool.org

Highlights:
===========
* From zero knowledge to the state of the art in an important
area of Concurrency
* Interleaved presentation of theory and application
* fee between 150€ and 250€
* Located in a Baltic Sea city with rich history
* 3 to 6 ECTS granted by Rostock University

Targeted Audience
=================
First week:
PhD students interested in concurrent systems,
with little background on Petri nets
Second week:
People with background in Petri nets, including
the participants of the first week

Successful participants get 3 ECTS per week, certified by University of
Rostock

Fee
====
One week: 150€ Two weeks: 250€, including lectures, course material,
social events, proceedings; not including travel and accommodation

Content
=======

Week 1:
We introduce to four successful application areas of Petri nets:
Protocol verification, Business Process modeling and verification,
Synthesis of asynchronous circuits, Performance evaluation.
In the context of these applications, we motivate and develop core
elements of Petri net theory. In the end of the week, leading tools
in the area can be experienced.

Week 2:
We present the state of the art in four recently very active research
directions in the area of Petri nets. Each area is covered by at least
two lecturers. In addition, there is a hands-on session on modeling
complex systems with Petri nets.

Lecturers
=========

Wil van der Aalst (Netherlands), Eike Best (Germany), Susanna Donatelli
(Italy), Giuliana Franceschinis (Italy) , Serge Haddad (France), Kees
van Hee (Netherlands), Keijo Heljanko (Finland), Jetty Kleijn
(Netherlands), Lars Kristensen (Norway), Maciej Koutny (UK), Marta
Kwiatkowska (UK), Robert Lorenz (Germany), Wojciech Penczek (Poland),
Wolfgang Reisig (Germany), Antti Valmari (Finland), Michael Westergaard
(Denmark), Alex Yakovlev (UK)

Location

Rostock is situated in the north east of Germany, close to the coast of
the Baltic Sea. Airports of Hamburg and Berlin are in reasonable distance.
Rostock has about 200.000 inhabitants. Its center is quite compact, so
participants will have chances to run into each other during the
evenings. Yet, Rostock is large enough to offer a variety of hotels,
sights, restaurants, shops, and other things to spend the spare time on.

Rostock offers rich history and beautiful countryside. It used to be a
major stronghold of the Hanseatic League, a medieval association of
wealthy cities that dominated sea trade in the Baltic and Northern Sea
region. From that time, proud churches and parts of the city
fortifications can be visited. Rostock is situated in touch with the
coast of the Baltic Sea and has beautiful beaches and steep coast areas
in reach.

Organisers
==========
Director: Karsten Wolf
Scientific Board: Wil van der Aalst,
Gianfranco Balbo,
Maciej Koutny

Contact
=======
Karsten Wolf,
Institut für Informatik, Universität Rostock,
Schwaansche Str. 2,
D-18051 Rostock

Phone: +49 381 4987670
Fax: +49 381 4987642

e-mail:
karsten.wolf@uni-rostock.de
Home page Karsten Wolf:
http://wwwteo.informatik.uni-rostock.de/ls_tpp/

Home page Advanced Course:
http://www.petrinet-summerschool.org/

[DMANET] CSDM 2010 Conference 27-29 October 2010 -Registration_is_now_open

*First International Conference on *

*Complex Systems Design and Management (CSDM 2010)*

October 27-29, 2010 – Cité Universitaire, Paris (France)

Registration information: http://www.csdm2010.csdm.fr/-Registration-.html

The ambition of the CSDM (Complex Systems Design & Management)
conference is to be */the meeting point reference/* for industrial and
academic environments working on all dimensions of *design and
management of complex industrial systems.*

From October, 27^th to October, 29^th , and for the first edition, more
than 200 academics and industrialists are expected to attend conferences
and debates that will be led by 16 international keynote speakers on the
following topics:

· *Societal challenges*

o *Energy: *_Thierry Nkaoua
<http://www.csdm2010.csdm.fr/Thierry-Nkaoua,124.html>_, deputy senior
vice president for research and innovation, AREVA, France

o *Finance: *_Danièle Nouy
<http://www.csdm2010.csdm.fr/Daniele-Nouy,123.html>_, chairman of the
board, National Banking Commission, France

o *Health : *_Jean de Kervasdoué
<http://www.csdm2010.csdm.fr/Jean-de-Kervasdoue,118.html>_, professor,
Conservatoire National des Arts et Métiers, France

o *Transportation: *_Florian Guillermet
<http://www.csdm2010.csdm.fr/Florian-Guillermet,127.html>_, chief
programme officer, SESAR Joint Undertaking, EEC

* *

· *Industrial challenges*

o *Systems integration: *_Marko Erman
<http://www.csdm2010.csdm.fr/Leon-A-Kappelman,94.html>_, technical
director, Thales, France

o *Systems conception**: *_Jacques Pellas
<http://www.csdm2010.csdm.fr/Jacques-Pellas,122.html>_, general
secretary, Dassault Aviation, France

o *Data Management: *_Yannick Cras
<http://www.csdm2010.csdm.fr/Yannick-Cras,58.html>_, technical director,
SAP, Germany

*· **Scientific state of the art*

*o **Systemic: *_Farhad Arbab
<http://www.csdm2010.csdm.fr/Farhad-Arbab.html>_*, professor, National
Research Institute for Mathematics and Computer Science (CWI), Netherlands *

*o **System Design: *_Bran Selic
<http://www.csdm2010.csdm.fr/Bran-Selic,120.html>_*, director of
advanced technology, Zeligsoft, Canada*

*o **System Optimization: *_Olivier de Weck
<http://www.csdm2010.csdm.fr/Marco-Erman.html>_*, professor,
Massachusetts Institute of Technology, USA*

*o **System verification: *_Kim G. Larsen_*, professor, Aalborg
University, Denmark*

* *

*· **Methodological state of the art***

*o **Enterprise Architecture: *_Leon A. Kappelman
<http://www.csdm2010.csdm.fr/Leon-A-Kappelman,126.html>_*, Professor of
Information Systems, University of North Texas, USA*

*o **Systems Engineering: *_Catherine Devic
<http://www.csdm2010.csdm.fr/Catherine-Devic.html>_*, Vice-Chairman of
AFIS in association with DGA, France*

*o **Metrics: *_Tom Gilb
<http://www.csdm2010.csdm.fr/Tom-Gilb.html>_*,** **INCOSE Fellow, Norway*

*o **Systems architecture and engineering tools: *_Jacques Ariel Sirat
<http://www.csdm2010.csdm.fr/Jacques-Ariel-Sirat,119.html>_*,
vice-president "Systems & Products Architecture & Engineering", EADS,
Europe*

Please, find as an attached document, a detailed agenda of the CSDM 2010
conference with all topics and speakers contributing to the event. In
order to make the conference a great success, feel free to communicate
this programme to all academics and industrialists interested in Complex
Systems Design & Management.

We are looking forward to meeting you in October.
Please, feel free to contact us for any question or information.

Regards,

Marc Aiguier,

Francis Bretaudeau,

Daniel Krob,

/Chairmen of CSDM 2010 Program and Organizing Committees./

Web: http://www.csdm2010.csdm.fr <http://www.csdm2010.csdm.fr/>

Email: contact@csdm.fr <mailto:contact@csdm.fr>

Registration information: http://www.csdm2010.csdm.fr/-Registration-.html

Acknowledgments: CSDM 2010 is organized with the support of Ecole
Polytechnique, Thales, Institut Carnot C3S, Région Ile de France (DIM),
Digiteo, Ecole Centrale de Paris, ENSTA Paristech, MEGA International,
BelleAventure, Centre National de la Recherche Scientifique, Réseau
National des Systèmes Complexes, Institut des Systèmes Complexes Paris
Ile de France, Commissariat à l'Energie Atomique, Chaire Microsoft
"Optimization for Sustainable Development", Ministère de l'Enseignement
Supérieur et de la Recherche.
**********************************************************
*
* 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/
*
**********************************************************

Fully-funded PhD in programming languages at Oxford

FULLY-FUNDED DOCTORAL STUDENTSHIP
IN PROGRAMMING LANGUAGES AT OXFORD

I have just obtained funding for a DPhil studentship at Oxford. The
studentship is open in terms of topic; I would welcome applications
for research in any of my areas of interest. These include:

functional programming
generic programming
dependent types
design patterns
model-driven development

For more information about topics, please visit my web page

http://web.comlab.ox.ac.uk/people/Jeremy.Gibbons/

or discuss with me.

The successful candidate will have a good bachelor's or master's
degree in CS, and a strong background in the principles of programming
languages. The funding covers stipend, fees (at the home/EU rate),
equipment, and travel, and is for three and a half years from October
2010 (or as soon as possible after that).

Please do contact me with any questions, and in any case before
applying. Please also pass this note on to anyone who might be
interested.

Jeremy.Gibbons@comlab.ox.ac.uk, Deputy Director
Oxford University Computing Laboratory, TEL: +44 1865 283508
Wolfson Building, Parks Road, FAX: +44 1865 283531
Oxford OX1 3QD, UK.
URL: http://www.comlab.ox.ac.uk/oucl/people/jeremy.gibbons.html

[ICALP 2010] THIRD CALL FOR PARTICIPATION

 *** Apologies for multiple copies ***

______________________________________________________________________

CALL FOR PARTICIPATION
______________________________________________________________________

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

July 5-10, 2010
Bordeaux, France
http://icalp10.inria.fr/

Registration url:http://icalp2010.dakini.fr

Supported by the European Association for Theoretical Computer Science (EATCS) and organized by the INRIA research center in Bordeaux (http://www.inria.fr/bordeaux) with the participation of LaBRI (http://www.labri.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 the 5th to the 10th of July 2010 in Bordeaux, France. The main conference will be preceded by a series of five workshops.

*106 contributed papers will be presented in three tracks
* 6 invited plenary talks will be given by Pierre Fraigniaud, Jean Goubault-Larrecq, Burkhard Monien, Joel Ouaknine, Roger Wattenhofer, Emo Welzl.
* Three prestigious awards will be presented: the Gödel prize, the EATCS award and the Presburger award to young scientists.
* Three best contributed papers will be awarded as well.
The program is available here:http://icalp10.inria.fr/index.php?n=Main.Program-AllTracks

_____________________________________________________________________

The city of Bordeaux is known worldwide for its architecture (listed on the UNESCO World Heritage), quality of life and of course its wines.
All informations can be found here:http://www.bordeaux-tourisme.com

The conference will be held at the Cité Mondiale (http://www.citemondiale.com/) at the hearth of the city, next to the river.

The social program will include an excursion in the old Bordeaux city as well as the diner conference given in the remarkable Château Cazeneuve.

If you plan to stay arround before or after the conference, you will enjoy an exceptional environment and variety of activities (http://www.francekeys.com/english/regions/aquitaine.shtml).

Bordeaux is one hour from Paris by plane, two hours of Toulouse by train. There are direct connections to cities like Paris, London, Amsterdam and Bruxelles but also for FLOC’2010 attendees to Edinburgh (http://www.bordeaux.aeroport.fr/en)
______________________________________________________________________

Accomodations, look athttp://icalp10.inria.fr/index.php?n=Main.Venue  and find the hotel that best fits your needs.

______________________________________________________________________

Cancellation Policy:  If a participant is unable to attend ICALP because of force majeure (e.g., volcanic ash causing flight cancellation) or because
of visa denial, their registration fee and accommodation payments will be refunded in full, except for a Euro 50 administrative charge.

[Mycolleagues] Research Fellow Position Opening (GNU, South Korea)

GNU Embedded Software Research Center for Avionics (Jinju, South
Korea) is seeking a highly motivated and capable research fellow to
join its research team in the area of avionics software.

Title
=====

Development of High Performance for Avionics Software

Location
========
GESCA (GNU Embedded Software Center for Avionics)
Gyeongsang National University, Jinju, South Korea

Application
===========

Please send your CV, a list of publications to kikim@gnu.ac.kr,
kikim93@gmail.com. Salaries are competitive and are determined
according to the successful applicant's accomplishments, experience
and qualifications.
Abstract
========

In this project, we focus on development of software for avionics
especially by using multicore technologies. The avionics system is
evolving to IMA (Integrated Modular Avionics) architecture, which is
different from typical one, federated system. For IMA architecture,
the ARINC 653 standard and operating system has been proposed by many
venders such as VxWorks. Since ARINC 653 is operated on
MMU-Partitioning operating System, multicore programming is expected
to play a great role in avionics systems on modern aircraft. Thus, the
objective of this project is to 1) conduct research to seek solution
for potential problems while multicore technology is adapted in
avionics system, 2) develop applications for aircraft based on
multicore technologies such as multi-function display, missile control
and so on. To achieve this goal, we divide our research areas into
four major categories, 1) system software for IMA, 2) Development of
independent software on type of aircraft, 3) Development of dependent
software dependent on type of aircraft, 4) Development of technology
to integrate system.

Qualifications
===============
A researcher in any relevant field of system software, embedded
systems, multicore programming, avionics software and software
development. A knowledge of avionics system would be a plus.

Prof. Yong-Kee Jun
Director of GNU Embedded Software Center for Avionics
Gyongsang National University
900 Gajwa-dong, Jinju, 660-701, Korea
_______________________________________________
Mycolleagues mailing list
Mycolleagues@mailman.ufsc.br
http://mailman.ufsc.br/mailman/listinfo/mycolleagues

from Meena Mahajan: 30th FSTTCS at The Institute of Mathematical Sciences, Chennai

This is to encourage you to make a contribution to the 30th FSTTCS,
to be held at The Institute of Mathematical Sciences, Chennai, during
15 to 18 December. As you know, FSTTCS has a long tradition of excellent
invited talks and high quality submissions over a wide range of areas
in the foundations of computer science and software technology.
We are pleased to announce invited talks by:

Rajeev Alur (U Penn)
Bruno Courcelle (LaBRI, Bordeaux)
Pavel Pudl\'ak (Academy of Sciences, Czech Rep)
Santosh Vempala (Georgia Tech)
Wies{\l}aw Zielonka (LIAFA, Paris)

The submission server opens on June 1, and the deadline is July 7.
The proceedings will take the form of a free, open, electronic
archive with access to all in the Leibniz International Proceedings
in Informatics (LIPIcs) series. In addition to being permanently archived
on ArXiV and other online servers, the proceedings of the Conference
will be hosted on the Dagstuhl Research Online Publication Server
(DROPS), with an ISBN number provided by DROPS. Over the last two
years, the open access proceedings of FSTTCS and STACS have been
indexed by all the major scientific indices.

Please do consider submitting a paper to the conference and encourage
your colleagues to do so as well. Submissions restricted to
12 pages using the FSTTCS style file available on the website.
Submission will be electronic, via the EasyChair site.
Concurrent submissions are not allowed until notification
(or submission of the final version, if accepted).

The call for papers with full details is available at our website
http://www.fsttcs.org

Regards,
Kamal Lodaya and Meena Mahajan
Co-Chairs, Programme Committee

Important dates:
Server opens 1 June
Submission Deadline 7 July
Notification to Authors 13 September
Final Version due 8 October

The conference is on 15 to 18 December. There will be a workshop
preceding FSTTCS on some current areas of research (topics to be
announced on the conference web page). The 5th IPEC 2010 symposium
is co-located with FSTTCS in Chennai from 13 to 15 December.

Programme Committee:
Sanjeev Arora (Princeton U)
Eike Best (U Oldenburg)
Ahmed Bouajjani (LIAFA Paris)
Amit Chakrabarti (Dartmouth)
V\'eronique Cortier (LORIA-CNRS)
Luca de Alfaro (Google/UCSC)
Xiaotie Deng (C U Hong Kong)
Khaled Elbassioni (MPII Saarbr\"ucken)
Zolt\'an \'Esik (U Szeged)
Fedor Fomin (U Bergen)
Martin F\"urer (Penn State U)
Naveen Garg (IIT Delhi)
Joachim von zur Gathen (U Bonn)
Valentine Kabanets (SFU Vancouver)
T Kavitha (TIFR Mumbai)
Kamal Lodaya (IMSc), co-chair
P Madhusudan (UIUC)
Meena Mahajan (IMSc), co-chair
Damian Niwi\'nski (U Warsaw)
Prakash Panangaden (McGill Montr\'eal)
Paritosh Pandya (TIFR Mumbai)
G\"unter Rote (F U Berlin)
Anil Seth (IIT Kanpur)
Wolfgang Thomas (Aachen)

Organizing Committee:
K. Narayan Kumar (CMI)
Meena Mahajan (IMSc), chair
R. Ramanujam (IMSc)
Saket Saurabh (IMSc)
Vikram Sharma (IMSc)

Contact:
FSTTCS '10
The Institute of Mathematical Sciences,
CIT Campus,
Chennai 600113, INDIA
Email : fsttcs AT imsc.res.in
URL: http://www.fsttcs.org

Deadline Extended for COCOA 2010

** Apologies for cross-posting **

Dear all,

The 4th Annual International Conference on Combinatorial Optimization
and Applications (COCOA'10) will be held during December 18-20, 2010,
in The Big Island,Hawaii, USA.

Important Dates:

*** (Extended) Paper Submission Deadline: July 15, 2010 (by
11:59:59 PM, CEST)
*** Notification of Acceptance: August 15, 2010
*** Final Version Due: September 1, 2010

Conference website: http://theory.utdallas.edu/COCOA2010/

COCOA 2010 Publicity Committee

********************
CALL FOR PAPERS
********************
Original research papers in the areas of combinatorial optimization
and its applications are solicited. In addition to theoretical
results, we are particularly interested in submissions that report on
experimental and applied research of general algorithmic interest.
Special consideration will be given to research that is motivated by
real-world problems. Experimental and applied papers are expected to
show convincingly the usefulness and efficiency of the algorithms
discussed in a practical setting.
The conference proceedings will be published by Springer-Verlag in the
Lecture Notes in Computer Science series. Typical, but not exclusive,
topics of interest include:
* Algorithms and Data Structures
* Approximation Algorithms
* Bioinformatics
* Communication Networks
* Computational Algebra
* Computational Biology
* Computational Financing
* Computational Game Theory
* Computational Geometry
* Computational Learning Theory
* Computational Number Theory
* Extremal Graph Theory
* Graph Searching
* Graph Theory
* Network Flow
* Network Optimization Problems
* Operation Research
* Optimal Resource Management
* Parallel and Distributed Computing
* Scheduling

Paper Submission:
The submission should contain a scholarly exposition of ideas,
techniques, and results, including motivation and a clear comparison
with related work. The length of the submission should not exceed 15
pages in LNCS style. Submitted papers must describe work not
previously published. They must not be submitted simultaneously to
another conference with refereed proceedings or to a journal. We
regard the following case as a simultaneous submission. Submission of
drafts which contain the essentially same results from papers under
review in other conferences or journals at the moment of the
submission. Only electronic submission (pdf) will be allowed via the
Springer Online Conference System (OCS).
Publication:
The conference proceedings will be published by Springer-Verlag in the
Lecture Notes in Computer Science (LNCS) series. After the conference,
some selected papers will be published in special issues of
Theoretical Computer Science, Journal of Combinatorial Optimization,
Optimization Letters, and Discrete Mathematics, Algorithms and
Applications.

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

Organizing Committee

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

General co-Chairs:
Ding-Zhu Du (University of Texas at Dallas, USA)
Panos M. Pardalos (University of Florida, USA)
Bhavani Thuraisingham (University of Texas at Dallas, USA

PC co-Chairs:
Ovidiu Daescu (University of Texas at Dallas, USA)
Weili Wu (University of Texas at Dallas, USA)

Dr. Weili Wu
Dept of Computer Science at The University of Texas at Dallas
Mail Station EC 31, P.O.Box 830688
2601 North Floyd Road
Richardson, TX 75083-0688

[DMANET] WDDS 2010 - Deadline: June 20, 2010 - FINAL

Our apologies for multiple receptions of this message

WDDS 2010 - 4th Workshop on Distributed Software Development
(In conjunction with the 1st Brazilian Conference on Software)
Salvador, BA - Brazil - September 27, 2010

http://www.wdds.ufpb.br/2010/en_index.php

Call for Papers
Submission Deadline: ***June 20, 2010***

----------------------------------------------------------------------
PRESENTATION
----------------------------------------------------------------------
The requirements and complexity of current software systems
impose the cooperation of several development teams with
different skills, and more recently, which take place in
geographically distributed settings. Nowadays, the software
industry has been exploring distributed resources as a mean
to reduce cost and development time, and also to expand to
new markets. However, geographical distance has a significant
impact on the process of coordination and communication
between members of the dispersed development teams. Thus,
problems and challenges intrinsic to software development
processes become more critical in Distributed Software
Development (DSD).

Currently, DSD is already a reality in the national and
international context. In Brazil, it is becoming a common
practice to find companies located in different regions
that jointly develop software projects. Besides that,
several multinational organizations have been developing
Software projects in Brazil. In order to deal with
distribution issues, several technological, organizational
and social approaches and solutions have been proposed.
The study of such proposals is aligned with Brazilian
government programs that aim to increase the quality of
software processes, products and services, making more
competitive the national software industry in the global
software development context.

Following the world-wide trend of scientific events on DSD,
the fourth edition of the Workshop on Distributed Software
Development (IV WDDS 2010) constitutes a forum for
researchers and industry practitioners to present and
discuss their results and experiences in the area. The goal
is to provide an opportunity to generate knowledge and to
exchange experiences, facilitating the adoption, evaluation
and execution of academic and industrial DSD projects in
Latin America.

Authors are invited to submit technical papers describing
research results and innovation on the state-of-the-art in
DSD. Experience reports are welcome, particularly those
which bring advancements on the state-of-the-practice in DSD.

----------------------------------------------------------------------
TOPICS OF INTEREST (non-exhaustive list):
----------------------------------------------------------------------
The IV WDDS 2010 invites researchers, students and
practitioners to submit papers related to innovation
and consolidation in the DSD area. Topics of interest
include, but are not limited to:
- Empirical studies of DSD projects (quantitative and
qualitative);
- Tools for DSD (requirements management, configuration
management, distributed teams management, document sharing);
- Communication, collaboration and coordination in DSD
projects;
- Reports on industrial experiences presenting lessons
learned;
- Teaching distributed and global software development;
- Models and environments for DSD (internal offshoring,
offshore outsourcing, outsourcing);
- Case studies of successful and unsuccessful DSD projects;
- Management of the variety of DSD projects (culture,
technical, social and organizational);
- Project management in DSD (human resources, project
planning, mentoring, awareness);

----------------------------------------------------------------------
FORMAT AND PAPER SUBMISSION
----------------------------------------------------------------------
Papers can be written either in Portuguese or in English.
All submissions must follow the guidelines established by
the Brazilian Computer Society (SBC) (available at:
http://www.sbc.org.br/index.php?language=1&subject=60&content=downloads&id=286
).
Submitted papers must be unpublished original work.

Two types of submissions are expected:
- Technical papers;
- Experience reports on industrial case studies.

All submitted papers will be evaluated by at least three
members of the Program Committee, on the basis of originality
and contribution to the DSD area. Technical papers will
be judged according to their adequacy to workshop scope,
originality, relevance, technical soundness and clarity
of expression. Experience reports will be judged based on
their adequacy to workshop scope, practical applicability,
clarity of expression and contribution to advancements on
the state-of-the-practice.

Papers should not exceed 08 pages and must be in Adobe
Portable Document Format (PDF). The paper must be submitted
using the JEMS system (https://submissoes.sbc.org.br)
For accepted submissions, at least one of the authors must
register in the workshop for presenting the paper.

For further information, contact the Program Committee Chair
at wdds2010@ufla.br.

----------------------------------------------------------------------
PUBLICATION
----------------------------------------------------------------------
All accepted papers will be published in the I CBSoft
2010 conference CD.

The best papers of the IV WDDS 2010 may be published
in a journal.

----------------------------------------------------------------------
DATAS IMPORTANTES
----------------------------------------------------------------------
- Paper submission: June 20, 2010
- Author notification: July 14, 2010
- Camera-ready copy: July 28, 2010
- Workshop: September 27, 2010

----------------------------------------------------------------------
COORDINATION
----------------------------------------------------------------------
- Heitor Augustus Xavier Costa - UFLA - Brazil
- Leonardo Gresta Paulino Murta - UFF - Brazil

----------------------------------------------------------------------
STEERING COMMITTEE
----------------------------------------------------------------------
- Cleidson Ronald Botelho de Souza - IBM Brasil - Brazil
- Elisa Hatsue Moriya Huzita - UEM - Brazil
- Heitor Augustus Xavier Costa - UFLA - Brazil
- Jorge Luis Nicolas Audy - PUC-RS - Brazil
- Leonardo Gresta Paulino Murta - UFF - Brazil
- Rafael Prikladnicki - PUC-RS - Brazil

----------------------------------------------------------------------
PROGRAM COMMITTEE
----------------------------------------------------------------------
- Alberto Avritzer, Siemens Corporate Research, USA
- Alexander Boden, University of Siegen, Alemanha
- Antonio Maria Pereira de Resende, UFLA, Brazil
- Cleidson Ronald Botelho de Souza, IBM, Brazil
- Daniel Lucrédio, UFSCar, Brazil
- Eduardo Santana de Almeida, UFBA, Brazil
- Elisa Hatsue Moriya Huzita, UEM, Brazil
- Elisa Yumi Nakagawa, USP, Brazil
- Gledson Elias da Silveira, UFPB, Brazil
- Heitor Augustus Xavier Costa, UFLA, Brazil
- Jones Oliveira de Albuquerque, UFRPE, Brazil
- Jorge Luis Nicolas Audy, PUC-RS, Brazil
- Marcelo Cataldo, Carnegie Mellon University, USA
- Rafael Prikladnicki, PUC-RS, Brazil
- Renata Potim de Mattos Fortes, ICMC-USP, Brazil
- Rodrigo Quites Reis, UFPA, Brazil
- Sabrina Marczak, UVIC, Canada
- Tania Fatima Calvi Tait, UEM, Brazil
- Tayana Uchôa Conte, UFAM, Brazil

**********************************************************
*
* 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] Assistant Professor, Postdoc, Lecturer in Operations Research at Maastricht University

Assistant Professor/Postdoc/Lecturer in Operations Research, 38hours a week

The Department of Quantitative Economics (http://www.fdewb.unimaas.nl/ke) at Maastricht University, The Netherlands is looking for an Assistant Professor (tenure track), a Postdoc (3 years) and a lecturer (tenure track) in Operations Research.

The department consists of 3 research groups, namely Mathematical Economics & Game Theory, Econometrics, and Operations Research. The Operations Research group has currently 6 faculty members and around 9 PhD students. Our working language is English. We are strongly research oriented. The main research areas are combinatorial optimization, algorithmic mechanism design, and operations / supply chain management. In these fields we do both fundamental and applied research.

The department is part of the School of Business and Economics (http://www.maastrichtuniversity.nl/web/Faculties/SBE.htm), which is a highly international with AACSB, EQUIS and AMBA accreditation. All programs are taught in English.

Tasks:
For the assistant professor:
Contribute to research of the department and teaching in operations research and operations management for undergraduate and graduate students in econometrics and OR, economics and international business (salary scales 11-12, Dutch government, 3200-5000 Euro).
For the postdoc:
Contribute to the research of the department. The postdoc will also have a minor teaching duty in operations research and/or operations management. (salary scales 10-12, Dutch government, 3000-5000 Euro)
For the lecturer:
Contribute to the teaching in operations research and operations management for undergraduate students in econometrics and OR, economics and international business. (salary scales 10-11, Dutch government, 2400-4400 Euro)

Requirements:
For the assistant professor and postdoc:
PhD degree in Operations Research, mathematics, computer science or related fields, (completed before January 1st 2011), strong research orientation, willingness to work in teams. Professorial potential to work in the department fields of expertise.
For the lecturer:
MSc degree in Operations Research, mathematics, computer science or related fields.

Non-Dutch applicants could be eligible for a tax treatment (30% rule).

Information:
Prof. dr. Ir. Stan van Hoesel, tel.: ++ 31 43 388 3727, e-mail: s.vanhoesel <at> maastrichtuniversity.nl,
Prof. dr. Rudolf Mueller, tel.: ++ 31 43 388 3799, e-mail: r.muller <at> maastrichtuniversity.nl,

Applications:
Your application should be sent to prof. Stan van Hoesel by Email or hardcopy. The deadline for application is July 19, 2010. However, we will continue to evaluate applications until the positions have been filled.

Stan van Hoesel
Operations Research
School of Business and Economics
Maastricht University
e-mail: s.vanhoesel <at> maastrichtuniversity.nl

P.O. Box 616
6200 MD Maastricht
The Netherlands
**********************************************************
*
* 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/
*
**********************************************************

ACAC 2010: Call for contributions and participation

5th Athens Colloquium on Algorithms and Complexity (ACAC 2010)

27 - 28 August 2010, NTUA, Athens, Greece

http://www.corelab.ece.ntua.gr/acac10

CALL FOR CONTRIBUTIONS AND PARTICIPATION

SCOPE: ACAC is an annual meeting in Athens aiming to bring together
researchers working in all areas of the theory of algorithms and
computational complexity. It serves as a lively forum for presenting
research results that are in a preliminary stage or have been recently
accepted / presented in some major conference. Contributions may appear,
fully or partially, in informal electronic proceedings available only to the
participants (subject to authors' approval). The language of the workshop is
English.

VENUE: National Technical University of Athens, Greece, Zografou Campus,
Multimedia room (under the Central Library Building). For directions on how
to reach the conference site see http://www.ntua.gr/en_ntua/campus.htm.

REGISTRATION: There will be no registration fees. However, participants
should register for administrative purposes no later than August 10, by
filling the registration form at
http://www.corelab.ece.ntua.gr/acac10/registration.

CONTRIBUTIONS: Participants interested in giving a presentation should
provide a tentative title and a short abstract no later than July 20, by
sending an e-mail to acac10[AT]corelab[DOT]ntua[DOT]gr. The organizers will
make every possible effort so that all interested participants present their
work (subject to schedule constraints).

ORGANIZING COMMITTEE: Dimitris Fotakis, Elias Koutsoupias, Evangelos
Markakis, Ioannis Milis, Aris Pagourtzis, Stathis Zachos (chair), Vassilis
Zissimopoulos.

LOCAL ARRANGEMENTS: Andreas Goebel, Paris Koutris, Thanasis Lianeas, Eleni
Mpakali.

CONTACT: For registration and further details please contact the organizers
by email to acac10[AT]corelab[DOT]ntua[DOT]gr.

[DMANET] ACAC 2010: Call for contributions and participation

5th Athens Colloquium on Algorithms and Complexity (ACAC 2010)

27 - 28 August 2010, NTUA, Athens, Greece

http://www.corelab.ece.ntua.gr/acac10

CALL FOR CONTRIBUTIONS AND PARTICIPATION

SCOPE: ACAC is an annual meeting in Athens aiming to bring together
researchers working in all areas of the theory of algorithms and
computational complexity. It serves as a lively forum for presenting
research results that are in a preliminary stage or have been recently
accepted / presented in some major conference. Contributions may appear,
fully or partially, in informal electronic proceedings available only to the
participants (subject to authors' approval). The language of the workshop is
English.

VENUE: National Technical University of Athens, Greece, Zografou Campus,
Multimedia room (under the Central Library Building). For directions on how
to reach the conference site see http://www.ntua.gr/en_ntua/campus.htm.

REGISTRATION: There will be no registration fees. However, participants
should register for administrative purposes no later than August 10, by
filling the registration form at
http://www.corelab.ece.ntua.gr/acac10/registration.

CONTRIBUTIONS: Participants interested in giving a presentation should
provide a tentative title and a short abstract no later than July 20, by
sending an e-mail to acac10[AT]corelab[DOT]ntua[DOT]gr. The organizers will
make every possible effort so that all interested participants present their
work (subject to schedule constraints).

ORGANIZING COMMITTEE: Dimitris Fotakis, Elias Koutsoupias, Evangelos
Markakis, Ioannis Milis, Aris Pagourtzis, Stathis Zachos (chair), Vassilis
Zissimopoulos.

LOCAL ARRANGEMENTS: Andreas Goebel, Paris Koutris, Thanasis Lianeas, Eleni
Mpakali.

CONTACT: For registration and further details please contact the organizers
by email to acac10[AT]corelab[DOT]ntua[DOT]gr.

**********************************************************
*
* 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] Permanent academic position in combinatorics/graph theory or similar

Applications are invited for a permanent position at the
Lecturer/Senior Lecturer level in the Department of Mathematics,
University of Auckland.

This position is intended for candidates who have a
PhD in Mathematics and who can demonstrate a strong
commitment to excellence in research and teaching at all
levels of Mathematics. The successful applicant will have
research interests in combinatorics or graph theory,
or a field closely related to these.

The Department of Mathematics offers a full range of courses
at the undergraduate and postgraduate levels, and has a growing
PhD programme and a vibrant research culture spanning pure and
applied mathematics and mathematics education. It is closely
affiliated to, and hosts the offices of, the New Zealand Institute
for Mathematics and Its Applications (http://www.nzima.org).

More details about the Department and this vacancy may be found at
http://www.math.auckland.ac.nz/

Closing date: 20th August 2010

Informal inquiries: Professor Eamonn O'Brien <e.obrien@auckland.ac.nz>
**********************************************************
*
* 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/
*
**********************************************************

POPL 2010: Call for Papers

*********************************************************************
* 38th ACM SIGPLAN-SIGACT Symposium
* on
* Principles of Programming Languages
*
* January 26-28, 2011
* Austin, Texas, USA.
*
* Call for Papers
*
* http://www.cse.psu.edu/popl/11
*
*********************************************************************

Important dates:

Abstract submission 9pm PST, July 8, 2010 (Thurs)
Paper submission 9pm PST, July 15, 2010 (Thurs)
Author response period September 15-16, 2010 (Wed-Thurs)
Author notification October 8, 2010 (Fri)
Camera ready November 9, 2010 (Tue)
Conference January 26-28, 2011

Scope

The annual Symposium on Principles of Programming Languages is a forum
for the discussion of all aspects of programming languages and
systems, with emphasis on how principles underpin practice. Both
theoretical and experimental papers are welcome, on topics ranging
from formal frameworks to experience reports.

Advice to Authors

Submissions on a diversity of topics are sought, particularly ones
that identify new research directions. POPL 2011 is not limited to
topics discussed in previous symposia. Authors concerned about the
appropriateness of a topic may communicate by electronic mail with the
program chair prior to submission.

Explaining a known idea in a new way may make as strong a contribution
as inventing a new one. Continuing a tradition established in POPL
2008, we encourage the submission of pearls: elegant essays that
illustrate an idea, for example by developing a short program.
(Advice on writing pearls can be found in the ICFP 2008 Call for
Papers.) However, there is no formal separation of categories and no
need to explicitly label pearls as such: ALL papers, whether pearl or
otherwise, will be judged on a combination of correctness,
significance, novelty, clarity, and elegance.

Each paper should explain its contributions in both general and
technical terms, identifying what has been accomplished, explaining
why it is significant, and comparing it with previous work. Authors
should strive to make their papers understandable to a broad audience.
More advice on writing technical papers can be found on the SIGPLAN
Author Information page.

Submission Guidelines

Authors should submit an abstract of at most 300 words and a full
paper of no more than 12 pages (including bibliography and
appendices). The submission deadline and length limitations are firm.
Submissions that do not meet these guidelines may not be considered.

Submissions should be in standard ACM SIGPLAN conference format: two
columns, nine-point font on a ten-point baseline, with columns 20pc
(3.33in) wide and 54pc (9in) tall, with a column gutter of 2pc
(0.33in). Detailed formatting guidelines are available on the SIGPLAN
Author Information page
(http://www.sigplan.org/authorInformation.htm), along with a LaTeX
class file and template.

Papers must be submitted in PDF format and printable on US Letter size
paper. Individuals for whom this requirement is a hardship should
contact the program chair at least one week before the deadline.

Submitted papers must adhere to the SIGPLAN Republication
Policy. Concurrent submissions to other conferences, workshops,
journals, or similar forums of publication are not allowed.

The ACM copyright notice is not required of submissions, only of
accepted papers. Authors of accepted papers will be required to sign
the ACM copyright form. Proceedings will be published by ACM Press.
Categories and keywords need not be included in the submission.

The URL for submission of abstracts and papers is
http://www.cs.tau.ac.il/conferences/popl11/.

Author Response Period

Authors will have a 48-hour period to read and respond to the reviews
of their papers before the PC meeting. Details of the response process
will be announced by e-mail a few days beforehand.

Student Attendees

Students with accepted papers or posters are encouraged to apply for a
SIGPLAN PAC grant that will help to cover travel expenses to POPL. Details
on the PAC program and the application can be found at
http://www.sigplan.org/PAC.htm. PAC also offers support for companion
travel.

Conference Chair:

Thomas Ball
Microsoft Research
One Microsoft Way, Redmond, WA 98052, USA.
tball at microsoft.com

Program Chair:

Mooly Sagiv
Schreiber 317, School of Computer Science
Tel-Aviv University,
Tel-Aviv 69978, Israel
msagiv at post.tau.ac.il

Program Committee:

Radhia Cousot (Ecole Normale Superieure)
Oege de Moor (Oxford University Computing Laboratory)
Derek Dreyer (MPI-SWS)
Azadeh Farzan (University of Toronto)
Kathleen Fisher (AT&T Laboratories)
Matthew Fluet (Rochester Institute of Technology)
Jeff Foster (University of Maryland)
Stephen Freund (Williams College)
Philippa Gardner (Imperial College, London)
Dan Grossman (University of Washington)
Sumit Gulwani (Microsoft Research)
Tim Harris (Microsoft Research)
Naoki Kobayashi (Tohoku University)
Viktor Kuncak (EPFL)
Ken McMillan (Cadence Research Laboratories)
Anders Moeller (Aarhus University)
Peter Muller (ETH Zurich)
Aleks Nanevski (IMDEA Software)
David Naumann (Stevens Institute of Technology)
Prakash Panangaden (McGill University)
G. Ramalingam (Microsoft Research)
Jan Vitek (Purdue University)
Eran Yahav (IBM Research)
Hongseok Yang (Queen Mary, University of London)
Steve Zdancewic (University of Pennsylvania)

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

FICS 2010 : submission deadline extension (June 20)

/* Apologies for multiple posting */

Last Call for Papers (Extended Abstracts)

7th Workshop on Fixed Points in Computer Science, FICS 2010
Brno, Czech Republic, August 21-22 2010
a satellite workshop to MFCS & CSL 2010

http://www.lif.univ-mrs.fr/fics2010/

Important dates

June 20 : paper submission deadline (extended)
July 10 : author notification
August 21-22 : workshop in Brno

Background

Fixed points play a fundamental role in several areas of computer
science and logic by justifying induction and recursive
definitions. The construction and properties of fixed points have been
investigated in many different frameworks such as: design and
implementation of programming languages, program logics,
databases. The aim of the workshop is to provide a forum for
researchers to present their results to those members of the computer
science and logic communities who study or apply the theory of fixed
points. Previous workshops were held in Brno (1998, MFCS/CSL
workshop), Paris (2000, LC workshop), Florence (2001, PLI workshop),
Copenhagen (2002, LICS (FLoC) workshop), Warsaw (2003, ETAPS
workshop), Coimbra (2009, CSL workshop).

Topics include, but are not restricted to:

* categorical, metric and ordered fixed point models
* fixed points in algebra and coalgebra
* fixed points in languages and automata
* fixed points in programming language semantics
* the mu-calculus and fixed points in modal logic
* fixed points in process algebras and process calculi
* fixed points in the lambda-calculus,
functional programming and type theory
* fixed points in relation to dataflow and circuits
* fixed points in logic programming and theorem proving
* finite model theory, descriptive complexity theory,
fixed points in databases

Invited speakers

* Arnaud Carayol, Laboratoire d'informatique Gaspard-Monge.
* Panos Rondogiannis, University of Athens.
* Dale Miller, INRIA and LIX.

Contributed talks

Selection of contributed talks is based on extended abstracts/short
papers of 3...6 pp formatted with easychair.cls. Submission is via
EasyChair, by *June 13 2010*. The authors will be notified of
acceptance/rejection by July 10 2010. Camera-ready versions of the
accepted contributions will be published for distribution at the
workshop as a technical report.

Journal publication

If the number and quality of submissions and accepted talks warrant
this, EDP Sciences will publish a special issue of Theoretical
Informatics and Applications. With one exception, the special issues
of the previous FICS editions appeared in this journal. The special
issue of FICS 2009 will also appear there.

FICS Program Committee

Thorsten Altenkirch (University of Nottingham)
Giovanna d'Agostino (University of Udine)
Peter Dybjer (Chalmers University of Technology)
Zoltán Ésik (University of Szeged)
Anna Ingólfsdóttir (Reykjavík University)
Gerhard Jäger (University of Bern)
Ralph Matthes (IRIT, Toulouse)
Andrzej Murawski (University of Oxford)
Damian Niwinski (Warsaw University)
Luigi Santocanale (LIF, Marseille)
Alex Simpson (University of Edinburgh)
Jean-Marc Talbot (LIF, Marseille)
Tarmo Uustalu (Institute of Cybernetics, Tallinn)
Yde Venema (University of Amsterdam)
Igor Walukiewicz (LaBRI, Bordeaux)

Sponsors

Laboratoire d'Informatique Fondamentale de Marseille
Université de Provence

--
Luigi Santocanale

LIF/CMI Marseille Tél: 04 91 11 35 74
http://www.cmi.univ-mrs.fr/~lsantoca/ Fax: 04 91 11 36 02

WPMSIIP 2010: 2nd announcement

==============================================================
WPMSIIP 2010 (6-10 Sept 2010, Durham, UK) --- 2nd Announcement
==============================================================

General information
-------------------

The Department of Mathematical Sciences, Durham University, organizes
a workshop on principles and methods of statistical inference with
interval probability, jointly with the interval probability research
group of Ludwig-Maximilians University of Munich. The workshop runs
from Monday 6 September until Friday 10 September 2010. This workshop
is a follow-up to two earlier WPMSIIPs held in Durham, UK, May 2008,
and Munich, Germany, September 2009.

Programme and Aims
------------------

Day Subject Led by
-----------+-------------------------+--------------------------------
Mon 6th research presentations matthias.troffaes@gmail.com
Tue 7th prior-data conflict Gero.Walter@stat.uni-muenchen.de
Wed 8th sequential decisions nathan.huntley@durham.ac.uk
Thu 9th classification r.j.crossman@durham.ac.uk
Fri 10th open topics Frank.Coolen@durham.ac.uk

The major aim of the WPMSIIP workshop is to stimulate discussion of
ongoing research in imprecise/interval probability theories, providing
a platform to discuss unsolved problems and to address unanswered
questions.

The first day of WPMSIIP overlaps with the SIPTA summer school and
will be a day of research presentations (by summerschool participants)
aimed at a general audience.

For the remainder of the week, we intend to have a day for prior-data
conflict, which naturally requires imprecise probability for a proper
treatment, and raises interesting fundamental questions. The following
day will be devoted to sequential decisions, including but not limited
to philosophical issues which arise when looking at sequential
problems with imprecision, and algorithmic approaches for solving
them. The topic for one further day will be imprecise classification,
where we will also invite practitioners with interesting
classification problems with the idea to set out an agenda for future
research.

The last day of the workshop is reserved for participants to present
other work on open topics, with emphasis on challenging open questions
and with ample time reserved for discussions.

Registration
------------

Everyone, including PhD students, is welcome to participate and/or to
present their views on one or more of the above topics, on one or more
days! If you want to join the workshop, please send an email to Frank
Coolen, or the appropriate session organizer, with a brief explanation
of your intended contribution, preferably before Friday 30 July 2010.

For more information, visit:

http://www.maths.dur.ac.uk/users/matthias.troffaes/wpmsiip2010/

Best wishes,

The organizing committee

Thomas Augustin
Frank Coolen
Richard Crossman
Nathan Huntley
Matthias Troffaes
Gero Walter

CFP:: MATCOS 2010 -- deadline extension!!

Announcement and Call for Papers

Mini-conference on Applied Theoretical Computer Science
(MATCOS-10)
Koper, Slovenia, October 13th and 14th, 2010.

matcos.pint.upr.si

Held in conjunction with the 13th Multi-Conference on Information
Society, October 11-15, 2010, Ljubljana, Slovenia. (http://is.ijs.si/)

Scope and Topics

During the past years, several subjects, methods and approaches of
Theoretical Computer Science have been used by other fields, and
several results have been integrated into real world
applications. Some examples for the above nature are practical
solutions for NP-hard problems, algorithmics oriented AI and data
mining solutions, new models and methods in system biology and
bioinformatics, automata theory solutions in software and hardware
verification, prospective new models of computation and future
computer architecture.

The scope of the conference is to collect ideas and solutions from the
field of Theoretical Computer Science which can be directly applied in
other fields or being potential to be integrated in real world
applications.

Suggested, but not exclusive, topics of interest include:

* automata and formal languages, computability
* algorithms and data structutes
* computational complexity
* artificial intelligence, machine learning
* optimization, approximation methods, NP-hard problems
* graph theory

Special emphasis on use in applications such as simulation,
Bioinformatics, Digital signal and image processing, logistics etc.

Program Committee:
Andrej Brodnik (Ljubljana, Koper, Slovenia), co-chair
Gábor Galambos (Szeged, Hungary), co-chair
Gabriel Istrate (Timisoara, Romania)
Miklós Krész (Szeged, Hungary)
Gerhard Reinelt (Heidelberg, Germany)
Borut Robič, (Ljubljana, Slovenia)
Magnus Steinby (Turku, Finland)
Borut Žalik (Maribor, Slovenia)

Keynote speaker:
András Recski (Budapest, Hungary)

Paper submission:

Papers presenting original research in conference topics are being
sought. Papers must be in English and provide sufficient details to
allow the program committee to assess their merits. Submissions, as
well as final versions, are limited to 4 pages sharp long abstracts
and will be published in an Information Society multiconference
proceedings. Revised versions of selected full papers will appear in a
special issue of the journal Informatica (www.informatica.si). The
instructions and the format for preparing the papers can be downloaded
from:

http://matcos.pint.upr.si/

Only electronic submissions will be accepted (in pdf format), via

http://www.easychair.org/conferences/?conf=matcos10

or

by email (matcos@upr.si) with the subject "MATCOS submission".

Organized by Primorska Institute of Natural Sciences and Technology

Important dates:
11th of July: submission deadline (extended!!)
27th of August: notification to authors
13th of October: student session
14th of October: regular session

Website and Contacts:

More detailed on-line information will be displayed at

http://matcos.pint.upr.si

Personal inquires should be sent to: matcos@upr.si

[DMANET] CFP:: MATCOS 2010 -- deadline extension!!

Announcement and Call for Papers

Mini-conference on Applied Theoretical Computer Science
(MATCOS-10)
Koper, Slovenia, October 13th and 14th, 2010.

matcos.pint.upr.si

Held in conjunction with the 13th Multi-Conference on Information
Society, October 11-15, 2010, Ljubljana, Slovenia. (http://is.ijs.si/)

Scope and Topics

During the past years, several subjects, methods and approaches of
Theoretical Computer Science have been used by other fields, and
several results have been integrated into real world
applications. Some examples for the above nature are practical
solutions for NP-hard problems, algorithmics oriented AI and data
mining solutions, new models and methods in system biology and
bioinformatics, automata theory solutions in software and hardware
verification, prospective new models of computation and future
computer architecture.

The scope of the conference is to collect ideas and solutions from the
field of Theoretical Computer Science which can be directly applied in
other fields or being potential to be integrated in real world
applications.

Suggested, but not exclusive, topics of interest include:

* automata and formal languages, computability
* algorithms and data structutes
* computational complexity
* artificial intelligence, machine learning
* optimization, approximation methods, NP-hard problems
* graph theory

Special emphasis on use in applications such as simulation,
Bioinformatics, Digital signal and image processing, logistics etc.

Program Committee:
Andrej Brodnik (Ljubljana, Koper, Slovenia), co-chair
Gábor Galambos (Szeged, Hungary), co-chair
Gabriel Istrate (Timisoara, Romania)
Miklós Krész (Szeged, Hungary)
Gerhard Reinelt (Heidelberg, Germany)
Borut Robič, (Ljubljana, Slovenia)
Magnus Steinby (Turku, Finland)
Borut Žalik (Maribor, Slovenia)

Keynote speaker:
András Recski (Budapest, Hungary)

Paper submission:

Papers presenting original research in conference topics are being
sought. Papers must be in English and provide sufficient details to
allow the program committee to assess their merits. Submissions, as
well as final versions, are limited to 4 pages sharp long abstracts
and will be published in an Information Society multiconference
proceedings. Revised versions of selected full papers will appear in a
special issue of the journal Informatica (www.informatica.si). The
instructions and the format for preparing the papers can be downloaded
from:

http://matcos.pint.upr.si/

Only electronic submissions will be accepted (in pdf format), via

http://www.easychair.org/conferences/?conf=matcos10

or

by email (matcos@upr.si) with the subject "MATCOS submission".

Organized by Primorska Institute of Natural Sciences and Technology

Important dates:
11th of July: submission deadline (extended!!)
27th of August: notification to authors
13th of October: student session
14th of October: regular session

Website and Contacts:

More detailed on-line information will be displayed at

http://matcos.pint.upr.si

Personal inquires should be sent to: matcos@upr.si

--
Andrej Brodnik

University of Ljubljana
Faculty of Computer and Information Science
**********************************************************
*
* 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/
*
**********************************************************

CFP: OPODIS 2010

[Apologies if you receive multiple copies of this]

OPODIS 2010 Call for Papers

The 14th International Conference On Principles Of Distributed Systems (OPODIS 2010)
December 14-17, 2010, Tozeur, Tunisia
http://www.opodis.net

Scope:
OPODIS is an open forum for the exchange of state-of-theart knowledge on distributed
computing and systems among researchers from around the world. This conference is
the 14th in a series of annual conferences. Following the tradition of the previous
events, its program will be composed of high-quality contributed and invited papers.
The program committee is soliciting original and significant research contributions
to the theory, specification, design and implementation of distributed systems,
including:
- communication and synchronization protocols
- distributed algorithms, multiprocessor algorithms
- distributed cooperative computing
- embedded systems
- fault-tolerance, reliability, availability
- grid and cluster computing
- location- and context-aware systems
- mobile agents and autonomous robots
- mobile computing and networks
- peer-to-peer systems, overlay networks
- complexity and lower bounds
- performance analysis of distributed systems
- real-time systems
- security issues in distributed computing and systems
- sensor networks: theory and practice
- specification and verification of distributed systems
- testing and experimentation with distributed systems

Important dates:
Submission deadline: July 25, 2010
Acceptance notification: September 2, 2010
Camera-ready copy due: September 22, 2010

Submission:
Submitted papers must be written in English and must not exceed 12 letter-size pages
using 11-point font and reasonable margins, including figures, tables and references.
The first page must include the title of the paper, author(s) names and affiliation,
an abstract, address for correspondence, fax number, email, and a list of keywords.
The papers must be submitted electronically per instructions at www.opodis.net.
Authors who cannot submit electronically must contact the OPODIS chairs at
contact@opodis.net.

Publication:
The selection of contributions to be presented at the conference and published in
the proceedings will be based on peer-review by the Programme Committee. The proceedings
volume will be published in the Springer's Lecture Notes in Computer Science series.
It is required that each accepted paper be presented at the conference by one of
its authors. Authors of accepted papers are required to submit the final, camera-ready
versions of their papers (in LNCS format, see authors instructions at
http://www.springer.de/comp/lncs/authors.html), including an electronic version as
specified in the authors' instructions.

Committee (Preliminary Version)

General Chair
Mohamed Mosbah, U. Bordeaux 1, FR

Program co-Chairs
Toshimitsu Masuzawa, U. Osaka, JP
Chenyang Lu, Washington U., US

Program Committee
Marcos Aguilera, Microsoft, US
Anish Arora, Ohio State U., US
Ted Baker, Florida State U., US
Doina Bein, Pennsylvania State U., US
Thibault Bernard, U. Reims, FR
Zinaida Benenson, University Mannheim, DE
Wei Chen, Microsoft Research Asia, CN
Xavier Defago, JAIST, JP
Carole Delporte , U. Paris 7, FR
Khalil Drira, LAAS-CNRS, FR
Pascal Felber, U. Neuchatel, CH
Antonio Fernandez, U. Juan Carlos, ES
Satoshi Fujita, Hiroshima U., JP
Chris Gill, Washington U., US
Zonghua Gu, Zhejiang U., CN
Ted Herman, U. Iowa, USA
Rachid Guerraoui, EPFL, CH
Mohamed Jemni, Univ Tunis, TU
Mohamed Jmaiel, University of Sfax, TU
Hirotsugu Kakugawa, Osaka U., JP
Boris Koldehofe, U. Stuttgart, DE
Xenofon Koutsoukos, Vanderbilt U., US
Shay Kutten, Technion, IL
Franck Petit, U. Pierre-Marie Curie, FR
Giuseppe Prencipe, U. Pisa, IT
Michel Raynal, IRISA, FR
Alex Shvartsman, U. Connecticut, US
Sebastien Tixeuil, U. Pierre-Marie Curie, FR
Eduardo Tovar, ISEP-IPP, PT
Xiaorui Wang, U. Tennessee, US
Koichi Wada, Nagoya Institute of Technology, JP

Invited speakers
John Stankovic, U. Virginia, US

Publicity Chair
Ying Lu, University of Nebraska, US
Fukuhito Ooshita, Osaka U., JP

Steering Committee
Tarek Abdelzaher, U.Illinois at Urbana-Champaign, US
Alain Bui, U. of Versailles S.Q., FR
Marc Bui, EPHE, FR
Hacene Fouchal, U. of Reims C.A., FR
Roberto Gomez, ITESM-CEM, MX
Michel Raynal, IRISA, FR
Nicola Santoro, Carleton U., CA
Sebastien Tixeuil, U. Pierre et Marie Curie, FR
Philippas Tsigas, Chalmers U. of Technology, SE