DIMACS Workshop: Parallelism: A 2020 Vision

              Parallelism: A 2020 Vision

http://dimacs.rutgers.edu/Workshops/Parallel/

Decades after its origins and its study in academia, parallel computing is
finally becoming pervasive.  Today's PCs have multiple cores, and some
predict 1000-core machines in the near future.  Google, Yahoo and others
run MapReduce or Hadoop on thousands of machines to
answer search queries, among other things.  D. E. Shaw Research is building a massively
parallel machine to simulate molecular dynamics.  Climate scientists
predict the evolution of the earth's climate on parallel machines.
Amazon's EC^2 enables users to run jobs on a "cloud" of PCs.

The evolution of parallel computing from primarily an academic subject
in the '80s to its realization today is an exciting development.
This DIMACS workshop will bring together some of the leading researchers
and practitioners involved in parallel computing to describe their
work.  Attendees will discuss, for example:
* how parallel computing in its various forms is used today;
* what new uses and programming abstractions will arise by 2020;
* what parallel computers will look like in 2020;  and
* how to model parallelism theoretically.

The workshop will occur on March 14-16, the first two days of which
will be devoted to invited talks, the last to contributed talks.

Call for ACM Award Nominations - Deadline Nov. 30, 2010

KEY PEOPLE NOMINATIONS SOLICITED

 

As part of its mission, ACM brings broad recognition to outstanding technical and professional achievements within the computing and information technology community.  Each year our award committees evaluate the contributions of candidates for various awards that span a spectrum of professional and technological accomplishments.  Nominations by ACM members of those who deserve recognition for their contributions to the field of computing are welcomed. 

 

The deadline for nominations and supporting letters for the majority of ACM awards is November 30, 2010. 

Exceptions to this deadline can be found on:  http://awards.acm.org/html/award_nominations.cfm .

 

For information on SIG Awards please see:  http://www.acm.org/sigs/sig-awards

 

Please refer to the ACM Awards page, http://www.acm.org/awards/, for:

• award descriptions, and lists containing the names of the previous ACM Award winners and their citations,
• nomination procedures for the 2010 awards, including the membership of the 2010 Award Committees, and contact information for the chairs:  http://awards.acm.org/html/award_nominations.cfm

 

Thank you.

 

C.C. Gotlieb, ACM Awards Committee Co-chair (ccg@cs.toronto.edu)

J.J. Horning, ACM Awards Committee Co-chair (horning@acm.org)

Robert A. Walker, SGB Awards Committee Liaison  (walker@cs.kent.edu)

Rosemary McGuinness, ACM Awards Committee Liaison (mcguinness@acm.org)

 

 

 

[DMANET] Rosalind Franklin Fellowships for women in Arts and Sciences (tenure-track)

Rosalind Franklin Fellowships for women in Arts and Sciences (tenure-track)
Rijksuniversiteit Groningen, The Netherlands

To promote the participation of women in Liberal Arts and Natural Sciences the University of Groningen offers a prestigious fellowship program, named after Rosalind Franklin, whose X-ray studies of DNA were crucial to solving its structure. Four fellowships are available in the Faculty of Mathematics and Natural Sciences. The fellowships at the Faculty of Mathematics and Natural Sciences are awarded to outstanding female scientists from any country and from any of the disciplines mathematics, physics, astronomy, chemistry, biology, pharmacy, environmental studies, computer science and artificial intelligence.
For further information see http://www.rug.nl/fwn/onderzoek/rff/index

Applicants must have:
* A PhD and post-doctoral experience, preferably in different research institutions (Dutch applicants should have minimally two years of post-doctoral experience outside the Netherlands)
* Publications in first rate international scientific journals
* Experience in supervising research projects
* The ability to successfully compete for external research funding
* Affinity to teaching
* International recognition
* The candidate has the potential to develop into a leader who guides and inspires

The 6-year fellowship comprises:
* a gross annual salary commensurate with experience and in accordance with national standards, starting around 4,082,- Euro per month (full time position)
* a start-up grant including a PhD student position

During these six years the fellow will be expected to focus on research, with teaching duties comprising maximally 30 percent of the time. The fellows are expected to develop their own independent line of research, while working in the unit of one of our professors.

Following a favorable evaluation at the end of the 6 years the fellow will be awarded tenure and promotion to the rank of Associate Professor for a period of 7 years. After a further 4 - 7 years another evaluation will take place and if this proves favorable, promotion to full professor will follow.

APPLICANTS SHOULD SUBMIT:

1. a full curriculum vitae including a complete list of publications
2. a list of five selected best papers (preferably including copies)
3. a 3-5 page statement of research accomplishments and future research goals
4. the names and contact information (including e-mail address) of 3 referees

The deadline for applications is January 7th, 2011.

Applications should be sent to:

Dr. L.J.A. van Putten
Faculty Board office
Faculty of Mathematics and Natural Sciences
University of Groningen
PO Box 407
9700 AK Groningen
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/
*
**********************************************************

CS Tenure Track Faculty Positions at USC

USC Viterbi School of Engineering - Computer Science

http://www.cs.usc.edu/about/appfaculty.html

The Computer Science Department of the USC Viterbi School of Engineering seeks to hire two tenure-track faculty this year. We are interested in outstanding faculty candidates at the junior faculty level, with priority in the areas of:

• Networking, cloud computing, and computer security
• Theory and algorithms, computational economics and computational social sciences

In addition, the department will also consider exceptional candidates in all areas of computer science.

Applicants should submit their applications online at: http://www.cs.usc.edu/Jobs/

Applications must include a letter indicating the area of specialization, a detailed curriculum vitae, a statement on current and future research directions, and names of at least three professional references. Evaluation of all dossiers will start in early December 2010, but later applications will also be considered.

We are also interested in exceptional senior candidates who can be transformational faculty members. They should contact the Department Chair, at cschair@usc.edu. Outstanding senior applicants who have demonstrated academic excellence and leadership, and whose past activities document a commitment to issues involving the advancement of women in science and engineering may be also considered for the Lloyd Armstrong, Jr. Endowed Chair, which is supported by the Women in Science and Engineering Program endowment.

We expect all candidates to have a strong commitment both to research and to teaching. All applicants must have earned a doctorate in computer science or a closely related field by the date of appointment.

The USC Viterbi School of Engineering is among the top tier engineering schools in the world. It counts 168 full-time, tenure-track faculty members, and it is home to the Information Sciences Institute, two National Science Foundation Engineering Research Centers, a Department of Energy EFRC (Energy Frontiers Research Center), and the Department of Homeland Security’s first University Center of Excellence, CREATE. The school is affiliated with the Alfred E. Mann Institute for Biomedical Engineering, the Institute for Creative Technologies and the USC Stevens Institute for Innovation. Research expenditures typically exceed $160 million annually.

USC values diversity and is committed to equal opportunity in employment. Women and men, and members of all racial and ethnic groups, are encouraged to apply.

[DMANET] CFP: IEEE Infocom Workshop on Wireless Sensor, Actuator and Robot Networks

------------------------------------------------------------------------
Call for Papers for the 3rd IEEE International Workshop on
Wireless Sensor, Actuator and Robot Networks (WiSARN 2011)
http://www.site.uottawa.ca/~xuli/WiSARN2011/

To be held in conjunction with the
The 30th IEEE International Conference on Computer Communications
(IEEE INFOCOM 2011)
April 10-15, 2011, Shanghai, China.

Wireless sensor and actor networks (WSAN) are the confluence point
where the traditional fields of wireless sensor networks (WSN),
robot networks and control theory meet. In WSAN, nodes collaborate
to accomplish distributed sensing and actuation tasks. Leveraged by
the control and mobility of actors, the networking process and
applications embrace a whole new set of possibilities. Actors may
deploy, repair and relocate sensors to improve coverage, build routes
and fix network partition to ensure data communication, change network
topology to shape routing patterns and balance energy consumption,
and respond to reported events in a timely and effective manner.
The benefits are limited only by imagination. As an emerging field,
WSAN are in need of new networking techniques, by which they can fully
exploit their particularities and potentials. WiSARN aims to bring
together state-of-the-art contributions on the design, specification
and implementation of architectures, algorithms and protocols for
current and future applications of WSAN.

Original, unpublished contributions are solicited in ALL aspects of
WSAN, WSN, robot networks, and robotics and automation. Possible topics
include, but are not limited to:
* Autonomous sensor networks
* Emergent behavior in WSAN
* Modeling and simulation of WSAN
* WSAN architectural and operational models
* Autonomic and self-organizing coordination and communication
* Sensor-actor (robot) and actor-actor coordination
* Energy-efficient and real-time communication protocols
* Bandwidth-efficient and delay-tolerant communication protocols
* Distributed control and management in WSAN
* Neighborhood discovery and mobility management
* Communication protocols for swarms of mobile actors (robots)
* Map exploration and pattern formation of mobile robots
* Actor (robot) task assignment
* Biologically inspired communication
* Ecological systems
* Architectures and topology control
* Localization in WSAN
* Probabilistic integration in WSAN
* Quality of service, security and robustness issues
* Applications and prototypes
* Hybrid networks and wireless Internet
* Data management, gathering, aggregation and query processing

Papers must not exceed 6 single-spaced and two-column pages using
at least 10 point size type on 8.5 x 11 inches pages, and must be
formated in strict accordance with the IEEE author guidelines.
Submissions are being considered with the understanding that they
describe original research, neither published nor under review
elsewhere. Accepted papers will be published in the IEEE Digital
Library after the conference and included in INFOCOM 2012 proceedings.
Selected best papers will be invited to a special issue of
Ad Hoc & Sensor Wireless Networks: an international journal (SCIE).

Important dates
Paper submission: Dec. 15, 2010
Author notification: Feb. 15, 2011
Camera ready: Mar. 15, 2011
Workshop date: Apr. 10, 2011

General Chair
Ivan Stojmenovic, University of Ottawa, Canada

Program Co-Chairs
Jiming Chen, Zhejiang University, China
Hannes Frey, Univerity of Paderburn, Germany
Xu Li, University of Ottawa, Canada

Submission Chair
Rafael Falcon, University of Ottawa, CA

Publicity Co-Chairs
Cailian Chen, Shanghai Jiaotong University, China
Mianxiong Dong, University of Aizu, Japan
Hangguan Shan, University of Waterloo, Canada

For further information, please refer to the above WiSARN 2011 website,
or contact the program co-chairs:
Dr. Jiming Chen at jmchen.zju@gmail.com
Dr. Hannes Frey at hannes.frey@uni-paderborn.de
Dr. Xu Li at easylix@gmail.com
**********************************************************
*
* 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] Call for Papers for the 3rd IEEE International Workshop on Wireless Sensor, Actuator and Robot Networks (WiSARN 2011)

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

------------------------------------------------------------------------
Call for Papers for the 3rd IEEE International Workshop on
Wireless Sensor, Actuator and Robot Networks (WiSARN 2011)
http://www.site.uottawa.ca/~xuli/WiSARN2011/

To be held in conjunction with the
The 30th IEEE International Conference on Computer Communications
(IEEE INFOCOM 2011)
April 10-15, 2011, Shanghai, China.

Wireless sensor and actor networks (WSAN) are the confluence point
where the traditional fields of wireless sensor networks (WSN),
robot networks and control theory meet. In WSAN, nodes collaborate
to accomplish distributed sensing and actuation tasks. Leveraged by
the control and mobility of actors, the networking process and
applications embrace a whole new set of possibilities. Actors may
deploy, repair and relocate sensors to improve coverage, build routes
and fix network partition to ensure data communication, change network
topology to shape routing patterns and balance energy consumption,
and respond to reported events in a timely and effective manner.
The benefits are limited only by imagination. As an emerging field,
WSAN are in need of new networking techniques, by which they can fully
exploit their particularities and potentials. WiSARN aims to bring
together state-of-the-art contributions on the design, specification
and implementation of architectures, algorithms and protocols for
current and future applications of WSAN.

Original, unpublished contributions are solicited in ALL aspects of
WSAN, WSN, robot networks, and robotics and automation. Possible topics
include, but are not limited to:
* Autonomous sensor networks
* Emergent behavior in WSAN
* Modeling and simulation of WSAN
* WSAN architectural and operational models
* Autonomic and self-organizing coordination and communication
* Sensor-actor (robot) and actor-actor coordination
* Energy-efficient and real-time communication protocols
* Bandwidth-efficient and delay-tolerant communication protocols
* Distributed control and management in WSAN
* Neighborhood discovery and mobility management
* Communication protocols for swarms of mobile actors (robots)
* Map exploration and pattern formation of mobile robots
* Actor (robot) task assignment
* Biologically inspired communication
* Ecological systems
* Architectures and topology control
* Localization in WSAN
* Probabilistic integration in WSAN
* Quality of service, security and robustness issues
* Applications and prototypes
* Hybrid networks and wireless Internet
* Data management, gathering, aggregation and query processing

Papers must not exceed 6 single-spaced and two-column pages using
at least 10 point size type on 8.5 x 11 inches pages, and must be
formated in strict accordance with the IEEE author guidelines.
Submissions are being considered with the understanding that they
describe original research, neither published nor under review
elsewhere. Accepted papers will be published in the IEEE Digital
Library after the conference and included in INFOCOM 2012 proceedings.
Selected best papers will be invited to a special issue of
Ad Hoc & Sensor Wireless Networks: an international journal (SCIE).

Important dates
Paper submission: Dec. 15, 2010
Author notification: Feb. 15, 2011
Camera ready: Mar. 15, 2011
Workshop date: Apr. 10, 2011

General Chair
Ivan Stojmenovic, University of Ottawa, Canada

Program Co-Chairs
Jiming Chen, Zhejiang University, China
Hannes Frey, Univerity of Paderburn, Germany
Xu Li, University of Ottawa, Canada

Submission Chair
Rafael Falcon, University of Ottawa, CA

Publicity Co-Chairs
Cailian Chen, Shanghai Jiaotong University, China
Mianxiong Dong, University of Aizu, Japan
Hangguan Shan, University of Waterloo, Canada

For further information, please refer to the above WiSARN 2011 website,
or contact the program co-chairs:
Dr. Jiming Chen at jmchen.zju@gmail.com
Dr. Hannes Frey at hannes.frey@uni-paderborn.de
Dr. Xu Li at easylix@gmail.com
**********************************************************
*
* 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] CFP: ADHOC-NOW 2011, Paderborn, Germany

-----------------------------------------------------------------------
Our apologies if you receive duplicates of this posting.
Please feel free to distribute it to those who might be interested.
-----------------------------------------------------------------------

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

CALL FOR PAPERS

ADHOC-NOW 2011
The 10th International Conference on Ad Hoc Networks and Wireless
http://researchers.lille.inria.fr/~razafind/adhocnow2011

July 18-20, 2011,
Paderborn, Germany
************************************************************************

Since its creation in 2002, ADHOC-NOW has become a well-established and
well-known international conference dedicated to wireless and mobile
computing. It serves as a forum for interesting discussions on ongoing
research and new contributions. The conference addresses both experimental
and theoretical research in the areas of ad hoc networks, sensor networks,
mesh networks and vehicular networks. It focuses on all issues from link
layer up to the application layer. In 2011, ADHOC-NOW will for the first
time be organized in Germany, in the beautiful city of Paderborn.

We seek original contributions as work in progress, experimental and
theoretical research in Wireless Sensor, Ad-Hoc, Mobile and Wireless
Networks. Submissions must not be published or under review for another
conference or journal. We are interested, but not limited to, research
papers in any of the following areas:

* Access Control
* Ad Hoc Networks of Autonomous Intelligent Systems
* Algorithmic Issues
* Analytic Methods and Modeling for Performance Evaluation
* Ad Hoc Network Applications and Architectures
* Delay-Tolerant Networking
* Distributed and Localized Algorithms
* Energy Efficiency
* Geometric Graphs
* Location Discovery and Management
* Mobility Handling and Utilization
* Mobile Ad Hoc Computing Platforms, Systems and Testbeds
* Mobile Social Networking
* Quality-of-Service
* Routing Protocols (Unicast, Multicast, etc.)
* Secure Services and Protocols
* Sensor and Actuator Networks
* Self-Configuration
* Service Discovery
* Time Synchronization
* Vehicular Networks
* Wireless Mesh Networks
* Wireless Internet

The conference proceedings will be published by Springer-Verlag, as part of
the Lecture Notes in Computer Science (LNCS) series (pending). Each
accepted paper will be included in the conference proceedings, provided at
least one author of the paper registers to present the paper at the conference.
High-quality articles will be invited for a special issue of Ad Hoc & Sensor
Wireless Networks: An International Journal (AHSWN), SCIE-indexed.

Authors can upload either regular papers or short papers. Regular papers
should not exceed 14 pages (including a 150 word abstract, all figures,
tables and references) in Springer Verlag LNCS format. Short papers must be
limited to up to 4 pages in LNCS format. Acceptable formats for papers are
PS and PDF. All papers will be reviewed for technical merit.

Important dates
Paper Submission: Feb. 24, 2011
Author Notification: Apr. 29, 2011
Camera ready: May 13, 2011

Program Co-Chairs
Hannes Frey (Univ. of Paderborn), DE
Xu Li (Univ. of Waterloo), CA

Publicity Co-Chairs
Jiming Chen (Zhejiang Univ.), CN
Nathalie Mitton (INRIA), FR
Yu Wang (UNC at Charlotte), US

Submission Co-Chairs
Cailian Chen (Shanghai Jiao Tong U), CN
Ivan Martinovic (Univ. Kaiserslautern), DE

Proceedings Chair
Stefan Ruehrup (OFFIS, Oldenburg), DE

Local Arrangement Chair
Holger Karl (Univ. of Paderborn), DE

Web Chair
Tahiry Razafindralambo (INRIA), FR

Steering Committee
Evangelos Kranakis (Carleton Univ.), CA
Michel Barbeau (Carleton Univ.), CA
S. S. Ravi (SUNY Albany), US
Ioanis Nikolaidis (Univ. of Alberta), CA
Violet Syrotiuk (Arizona State Univ.), US
Thomas Kunz (Carleton University), CA
Ivan Stojmenovic (Univ. of Ottawa), CA

**********************************************************
*
* 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] CFP: IEEE Infocom Workshop on Security in Computers, Networking and Communications

************** SCNC 2011 | Call for Papers ***************

CALL FOR PAPERS

SCNC 2011, The First IEEE International Workshop on Security in Computers,
Networking and Communications

In conjunction with IEEE INFOCOM 2011 April 10-15, 2011, Shanghai, China

Web page: http://bbcr.uwaterloo.ca/~rxlu/scnc/

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

***

SCOPE

The IEEE International Workshop on Security in Computers, Networking and
Communications (SCNC) is an international forum for researchers, developers,
and practitioners to demonstrate new ideas, techniques, and tools on secure
and usable computer and communications systems and user privacy, new threats
to confidentiality, integrity, and usability of computer and communications
systems and user privacy, for users to exchange their experience in new
tools and techniques that lead to improvement of security, integrity, and
usability of computer and communication systems. The workshop welcomes
academia, government, industry, and contributing individuals to submit
unpublished papers in theoretical and practical aspects of computer and
communications security.

***

TOPICS

Original, unpublished contributions are solicited in ALL security aspects
of computers, networking and communications. Possible topics of interest
include, but are not limited to:

* Accountability, non-repudiation, privacy, and anonymity
* Usability and security
* Computer systems security
* Software security
* Network security
* Security in networked sensing and control systems
* Attacks and counter measures
* Computer and network forensics
* Attacks, security mechanisms, and security services
* Authentication
* Access control
* Multicast security
* Security specification techniques
* Encryption and decryption
* Secure routing protocols
* Formal analyses
* Security group communications
* Intrusion detection
* Key management
* Trust establishment
* Revocation of malicious parties
* Security policies
* Fraudulent usage
* Dependability and reliability
* Prevention of traffic analysis
* Secure PHY/MAC/routing protocols
* Secure location determination
* Denial of service
* Network security performance evaluation
* Tradeoff analysis between performance and security
* Design or analysis of security protocols
* Mobile and Wireless network security, including ad hoc
networks, P2P networks, sensor networks, mesh networks
and social networks
* Trust and reputation in ubiquitous environments
* Web, eBusiness, eCommerce, eGovernment security
* Security standards

***

PUBLICATION

Accepted papers will be published in the IEEE Digital Library after the
conference and included in INFOCOM 2012 proceedings. Selected best papers
will be invited to a journal special issue.

***

SUBMISSION

Papers must not exceed 6 single-spaced and two-column pages using at least
10 point size type on 8.5 x 11 inches pages, and must be formated in
strict accordance with the IEEE Communications Society author guidelines.
Submissions are being accepted with the understanding that they describe
original research, neither published nor under review elsewhere. Detailed
submission instructions will be available at
http://bbcr.uwaterloo.ca/~rxlu/scnc/submission.htm

***

IMPORTANT DATES

* Paper submission: December 15, 2010
* Author notification: Feburary 15, 2011
* Final manuscript due: March 15, 2011

***

ORGANIZING COMMITTEE

* Steering Committee Co-Chairs:

Xuemin (Sherman) Shen, University of Waterloo, Canada
Jie Wu, Temple University, Philadelphia, USA

* General Co-Chairs:

Xiuzhen Cheng, George Washington University, USA
Xiaodong Lin, University of Ontario Institute of Technology,
Canada
Yang Xiao, University of Alabama, USA

* Program Co-Chairs:

* Computer System Security Track
Hui Chen, Virginia State University, USA

* Communications and Networking Security Track
Xu Li, INRIA Lille-Nord Europe, France

* Privacy and Trust Track
Rongxing Lu, University of Waterloo, Canada

* Information Security Technology Track
Bo Sun, Lamar University, Beaumont, USA

* Publicity Co-Chairs:

Zhenfu Cao, Shanghai Jiao Tong University, China
Nei Kato, Tohoku University, Japan
Xiaohui Liang, University of Waterloo, Canada
Haifeng Qian, East China Normal University, China

For a complete list of committee and board members, please visit http://bbcr.uwaterloo.ca/~rxlu/scnc/committee.htm
**********************************************************
*
* 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] EuroGP 2011 - new deadline 30 Nov

* Our apologies if you receive multiple copies of this announcement *

Several authors have contacted evo* to get an extension of the
submission deadline. It was therefore agreed to extend the deadline for
all events. Authors who have already submitted their work may update
their submission until the deadline.

The new submission deadline is 30 of November 2010.

***********************************
EuroGP 2011
-----> deadline extension!
***********************************

14th European Conference on Genetic Programming
27-29 April 2010, Torino - Italy
www.evostar.org

*NEW* Submission deadline:
November 30, 2010

EuroGP is the premier annual conference on Genetic Programming. EuroGP
is always a very enjoyable event, held together with the other main
european events on Evolutionary Computation, collectively designated as
EvoStar (Evo*). EvoStar 2011 takes place in Torino, Italy, which
celebrates the 150th anniversary of its unification. Torino, as the
first Italian capital, will be the center of all the celebrations, and
an ideal location to host international events.

EuroGP 2011 seeks high quality papers on topics strongly related to the
evolution of computer programs, including but not limited to:
* Theoretical developments;
* Empirical studies of GP performance and behaviour;
* Algorithms, representations and operators;
* Applications of GP to real-life problems;
* Hybrid architectures including GP components;
* Unconventional evolvable computation;
* Evolutionary design;
* Evolutionary robotics;
* Grammar-based GP;
* Evolvable hardware;
* Linear GP;
* Self-reproducing programs;
* Evolution of tree or graph structures;
* Evolution of various classes of automata or machine (e.g. cellular
automata, finite state machines, pushdown automata, Turing machines);
* Object-oriented GP.

The submissions will be peer reviewed by at least three members of the
program committee. The reviewing process will be double-blind, so please
omit information about the authors in the submitted paper. Accepted
papers will be presented orally or as posters at the conference and will
be published by Springer in the LNCS series. The papers which receive
the best reviews will be nominated for the Best Paper Award. Authors of
selected papers will be invited to submit extended descriptions of their
work to the Springer journal Genetic Programming and Evolvable Machines
(http://www.springer.com/10710).

Submission link:
http://myreview.csregistry.org/eurogp11/
Page limit: 12 pages in Springer LNCS format.

Important Dates:
* *NEW* Submission deadline: 30 November 2010
* Notification to authors: 7 January 2011
* Camera-ready deadline: 1 February 2011
* Conference: 27-29 April 2011

Programme Chairs:
* James A. Foster, University of Idaho, USA
http://people.ibest.uidaho.edu/~foster/
foster(at)uidaho.edu
* Sara Silva, INESC-ID Lisboa, Portugal
http://kdbio.inesc-id.pt/~sara/
sara(at)kdbio.inesc-id.pt

**********************************************************
*
* 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] evostar 2011: Deadline Extension

Several authors have contacted evo* to get an extension of the submission
deadline. It was therefore agreed, to extend the deadline for all events.
Authors who have already submitted their work may update their submission
until the deadline.
The new submission deadline is 30 of November 2010.

EVOSTAR 2011 LAST CALL FOR PAPERS

evostar - the main european events on evolutionary computation
eurogp, evocop, evobio and evoapplications
27-29 april 2011 - torino, italy
http://www.evostar.org

ABOUT EVO*
The evo* event comprises the premier co-located conferences in the field of
Evolutionary Computing: eurogp, evocop, evobio and evoapplications. In 2011, the
evo* will take place at the Molecular Biotechnology Center, that hosts the
School for the Biotechnologies of the University of Torino, Italy.

Featuring the latest in theoretical and applied research, evo* topics include
recent genetic programming challenges, evolutionary and other meta-heuristic
approaches for combinatorial optimization, evolutionary algorithms, machine
learning and data mining techniques in the biosciences, in numerical
optimization, in music and art domains, in image analysis and signal processing,
in hardware optimization and in a wide range of applications to scientific,
industrial, financial and other real-world problems.

The proceedings will be published by Springer Verlag in the Lecture Notes in
Computer Science series.

EVO* EVENTS

eurogp
14th European Conference on Genetic Programming
Papers are sought on topics strongly related to the evolution of computer
programs, ranging from theoretical work to innovative applications.

evocop
11th European Conference on Evolutionary Computation in Combinatorial
Optimization
Practical and theoretical contributions are invited, related to evolutionary
computation techniques and other meta-heuristics for solving combinatorial
optimization problems.

evobio
9th European Conference on Evolutionary Computation, Machine Learning and Data
Mining in Bioinformatics
Emphasis is on evolutionary computation and other advanced techniques addressing
important problems in molecular biology, proteomics, genomics and genetics, that
have been implemented and tested in simulations and on real-life datasets.

evoapplications - European Conference on the Applications of Evolutionary
Computation

evocomnet
8th European event on nature-inspired techniques for telecommunication
networks and other parallel and distributed systems

evocomplex
2nd European event on algorithms and complex systems

evofin
5th European event on evolutionary and natural computation in finance and
economics

evogames
3rd European event on bio-inspired algorithms in games

evohot
6th European event on Bio-Inspired Heuristics for Design Automation

evoiasp
13th European event on evolutionary computation in image analysis and signal
processing

evointelligence
2nd European event on interactive evolution and humanized computational
intelligence

evomusart
9th European event on evolutionary and biologically inspired music, sound,
art and design

evonum
4th European event on bio-inspired algorithms for continuous parameter
optimisation

evostim
6th European event on Scheduling and Timetabling

evostoc
8th European event on evolutionary algorithms in stochastic and dynamic
environments

evotranslog
5th European event on evolutionary computation in transportation and
logistics

evophd
6th Graduate Student Workshop on evolutionary computation

EVO* SUBMISSION INSTRUCTIONS

Submissions must be original and not published elsewhere. The submissions will
be peer reviewed by at least three members of the program committee. The authors
of accepted papers will have to improve their paper on the basis of the
reviewers' comments and will be asked to send a camera ready version of their
manuscripts. At least one author of each accepted work has to register for the
conference and attend the conference and present the work.

The reviewing process will be double-blind, please omit information about the
authors in the submitted paper. Submit your manuscript in Springer LNCS format.
The extended submission deadline is 30 november 2010. The other submission
details are conference specific. Please follow the instructions and links
bellow.

eurogp:
submission link: http://myreview.csregistry.org/eurogp11/
page limit: 12 pages

evocop:
submission link: http://myreview.csregistry.org/evocop11/
page limit: 12 pages

evobio:
submission link: http://myreview.csregistry.org/evobio11/
evobio is interested in papers in three major areas:
1. Full research articles (maximum 12 pages)
2. System Demonstrations (maximum 6 pages)
3. Short reports (maximum 6 pages)

evoapplications:
Submitting to evocomnet, evocomplex, evofin, evogames, evohot, evoiasp,
evointelligence, evomusart, evonum, evostim, evostoc and evotranslog:
submission link: http://myreview.csregistry.org/evoapps11/
page limit: 10 pages

Submitting to evophd:
Submissions should be e-mailed in PDF or gzipped postscript to
evophd(at)vanhemert.co.uk.
The page limit is 14 A4 pages for students' submissions and 20 A4 pages for
PhD-summary submissions, both in Springer LCNS format.

IMPORTANT DATES

eurogp, evocop, evobio and evoapplications:
extended submission deadline: 30 november 2010
notification to authors: 7 january 2011
camera-ready deadline: 1 february 2011

evophd:
submission deadline: 21 january 2011
notification to authors: 23 february 2011
camera-ready deadline: 15 march 2011

evo* event:
27-29 april 2011

ADDITIONAL INFORMATION

evostar website: http://www.evostar.org
evostar poster:
http://evostar.dei.uc.pt/wp-content/uploads/2010/07/evostar_large.pdf

evo* coordinator
jennifer willies

local chair
mario giacobini

publicity chair
penousal machado

**********************************************************
*
* 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/
*
**********************************************************

[fm-announcements] NASA Formal Methods Symposium - NFM 2011 : Third Call for Papers

                         THIRD CALL FOR PAPERS

                               NFM 2011

                  Third NASA Formal Methods Symposium
 
                       Pasadena, California, USA
                          April 18 - 20, 2011


                http://lars-lab.jpl.nasa.gov/nfm2011


IMPORTANT DATES

Submission deadline :

    *** December 19, 2010 ***

Notification of acceptance/rejection : January 21, 2011
Final version due : February 18, 2011
Conference : April 18-20, 2011


THEME

The NASA Formal Methods Symposium is a forum for theoreticians and
practitioners from academia, government and industry, with the goals
of identifying challenges and providing solutions to achieving
assurance in mission- and safety-critical systems. The focus of the
symposium is on formal methods, and aims to foster collaboration
between NASA researchers and engineers and the wider aerospace and
academic formal methods communities. The symposium will be comprised
of a mixture of invited talks by leading researchers and
practitioners, presentation of accepted papers, and panels.


TOPICS OF INTEREST

* Theorem proving
* Model checking
* Real-time, hybrid, stochastic systems
* SAT and SMT solvers
* Symbolic execution
* Abstraction
* Compositional verification
* Program refinement
* Static analysis
* Dynamic analysis
* Automated testing
* Model-based testing
* Model-based development
* Fault protection
* Security and intrusion detection
* Application experiences
* Modeling and specification formalisms
* Requirements specification and analysis


INVITED SPEAKERS

Rustan Leino
Microsoft Research, USA
"From Retrospective Verification to Forward-Looking Development"

Oege de Moor
University of Oxford, UK
"Do Coding Standards Improve Software Quality?"

Andreas Zeller
Saarland University, Germany
"Specifications for Free"


TUTORIALS

Bart Jacobs
Katholieke Universiteit Leuven, Belgium
"VeriFast: a Powerful, Sound, Predictable, Fast Verifier for C and Java"

Michal Moskal
Microsoft Research, USA
"Verification of Functional Correctness of Concurrent C Programs with VCC"


HISTORY

NFM 2011 is the third edition of the NASA Formal Methods Symposium,
organized by NASA on a yearly basis. The first in 2009 and was
organized at NASA Ames Research Center, Moffett Field, California. The
second in 2010 was organized at NASA head quarters, Washington
D.C. The symposium originated from the earlier Langley Formal Methods
Workshop series.


PAPER SUBMISSION

There are two categories of submissions:

* Regular paper: up to 15 pages, describing fully developed work and
  complete results.  Papers can present theory, software engineering aspects,
  or case studies.

* Tool papers: up to 6 pages, describing an operational tool. The
  authors of accepted tool papers will give demonstrations of their
  tools in tool demo sessions.  Tool papers should explain enhancements
  that have been done compared to previously published work.  A tool
  paper does not need to present the theory behind the tool but can
  focus more on its features, and how it is used, with screen shots and
  examples.

All papers should be in English and describe original work that has
not been published or submitted elsewhere.

Submissions will be fully reviewed and the symposium proceedings will
appear as a volume in Lecture Notes of Computer Science.  Papers must
use the LNCS style, and be in pdf format.


COSTS

There will be no registration fee charged to participants.


PROGRAMME CHAIRS

Mihaela Bobaru, NASA/Jet Propulsion Laboratory
Klaus Havelund, NASA/Jet Propulsion Laboratory
Gerard Holzmann, NASA/Jet Propulsion Laboratory
Rajeev Joshi, NASA/Jet Propulsion Laboratory


PROGRAMME COMMITTEE

Rajeev Alur, University of Pennsylvania, USA
Tom Ball, Microsoft Research, USA
Howard Barringer, University of Manchester, UK
Saddek Bensalem, Verimag Laboratory, France
Nikolaj Bjoerner, Microsoft Research, USA
Eric Bodden, Technical University Darmstadt, Germany
Marsha Chechik, University of Toronto, Canada
Rance Cleaveland, University of Maryland, USA
Dennis Dams, Bell Labs/Alcatel-Lucent, Belgium
Ewen Denney, NASA Ames Research Center, USA
Matt Dwyer, University of Nebraska, USA
Cormac Flanagan, UC Santa Cruz, USA
Dimitra Giannakopoulou, NASA Ames Research Center, USA
Patrice Godefroid, Microsoft Research, USA
Alex Groce, Oregon State University, USA
Radu Grosu, Stony Brook, USA
John Hatcliff, Kansas State University, USA
Mats Heimdahl, University of Minnesota, USA
Mike Hinchey, Lero - the Irish SW. Eng. Research Centre, Ireland
Sarfraz Khurshid, University of Texas at Austin, USA
Orna Kupferman, Jerusalem Hebrew University, Israel
Kim Larsen, Aalborg University, Denmark
Rupak Majumdar, Max Planck Institute, Germany
Kenneth McMillan, Cadence Berkeley Labs, USA
Cesar Munoz, NASA Langley, USA
Madan Musuvathi, Microsoft Research, USA
Kedar Namjoshi, Bell Labs/Alcatel-Lucent, USA
Corina Pasareanu, NASA Ames Research Center, USA
Shaz Qadeer, Microsoft Research, USA
Grigore Rosu, University of Illinois at Urbana-Champaign, USA
Nicolas Rouquette, NASA/Jet Propulsion Laboratory, USA
Kristin Rozier, NASA Ames Research Center, USA
John Rushby, SRI International, USA
Wolfram Schulte, Microsoft Research, USA
Koushik Sen, Berkeley University, USA
Sanjit Seshia, Berkeley University, USA
Natarajan Shankar, SRI International, USA
Willem Visser, University of Stellenbosch, South Africa
Mahesh Viswanathan, University of Illinois, USA
Ben Di Vito, NASA Langley, USA
Mike Whalen, University of Minnesota, USA


STEERING COMMITTEE

Ewen Denney, NASA Ames Research Center
Dimitra Giannakopoulou, NASA Ames Research Center
Klaus Havelund, NASA/Jet Propulsion Laboratory
Gerard Holzmann, NASA/Jet Propulsion Laboratory
Cesar Munoz, NASA Langley
Corina Pasareanu, NASA Ames Research Center
James Rash, NASA Goddard
Kristin Y. Rozier, NASA Ames Research Center
Ben Di Vito, NASA Langley

2nd CFP: PETRI NETS 2011, 32nd Internationa lInternational Conference on Application of Petri Nets and Concurrency

*** Apologies for multiple copies due to cross-posting ***
*** Please forward to colleagues who might be interested ***

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

PETRI NETS 2011
32nd International Conference on Application and Theory of
Petri Nets and Concurrency
June 20-24, 2011, Kanazawa, Japan

Collocated with ACSD 2011:
11th International Conference on Application of Concurrency to System Design

Common web page: http://www.jaist.ac.jp/acsd-petrinets2011/
Contact e-mail: petrinets2011@jaist.ac.jp

The web page of the call for papers:
http://www.informatik.uni-hamburg.de/TGI/PetriNets/meetings/pn2011/

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


Important Dates:
-----------------------------------------------------------
Submission of Papers:   January 5, 2011
Notification:           March 1, 2011
Final Version Due:      April 1, 2011
Workshops & Tutorials:  June 20-21, 2011
Conference:             June 22-24, 2011

The deadline for submission of papers is STRICT. However, if you submit the title page by January 5, it is sufficient to submit the full paper by
January 10.

Some of the best papers accepted for the conference will be invited as submissions to a special issue of the Fundamenta Informaticae journal.


Topics
-----------------------------------------------------------
Topics specific to Petri Nets

 * System design using nets,
 * Analysis and synthesis, structure and behaviour of nets,
 * Relationships between Petri Nets and other approaches,
 * Net-based semantical, logical and algebraic calculi,
 * Symbolic net representation (graphical or textual),
 * Computer tools for nets,
 * Experience with using nets, case studies,
 * Higher-level net models,
 * Timed and stochastic nets,
 * Standardisation of nets,
 * Applications of nets to different kinds of systems and application
   fields, e.g.:
   flexible manufacturing systems, real-time systems, embedded systems,
   defense systems, biological systems, health and medical systems,
   environmental systems, hardware, telecommunications, railway networks,
   office automation, workflows, supervisory control, protocols and
   networks, Internet, e-commerce and trading, programming languages,
   performance evaluation, operations research.

General topics related to concurrency

 * Model checking and verification of distributed systems,
 * Verification of infinite-state or parametric systems,
 * Causality/partial order theory of concurrency,
 * Educational issues related to concurrency,
 * New issues and developments in the theory of concurrency,
 * Modelling of hardware and biological systems.


Paper Submissions
-----------------------------------------------------------
Two kinds of papers can be submitted:

* Regular papers (max 20 pages) describing original results pertaining to the development of the theory of Petri Nets and distributed and concurrent
systems in general, new results extending the applicability of Petri Nets, or case studies, application and experience reports to the practical
use of Petri Nets and concurrency. For application-oriented papers, authors are encouraged to consult the document:
 http://www.informatik.uni-hamburg.de/TGI/PetriNets/sc-info/docs/      ApplicationFormat.pdf.

* Tool papers (max 10 pages) describing a computer tool based on Petri Nets (not an application of the tool or the theory behind the tool). For more
information, please see the document:
 http://www.informatik.uni-hamburg.de/TGI/PetriNets/sc-info/docs/       ToolFormat.pdf.
The tool should be available for use by other groups (but not necessarily for free). The submission should indicate how the reviewers can get access
to the tool (this must be for free). The tool will be demonstrated in the Tool Exhibition, in addition to being presented in a conference talk.


Submitted papers must:

* Be contributions that have not been published or submitted to other conferences/journals before or in parallel with this conference.
* Clearly state the problem being addressed, the goal of the work, the results achieved, and the relation to other work.
* Be in English and in the Springer LNCS-format:
 http://www.springer.de/comp/lncs/authors.html.
* Adhere to the page limit for the relevant category (see above).
* Be sent electronically (as a PDF file) no later than January 5, 2011 using the website:
 http://www.easychair.org/conferences/?conf=petrinets2011.


The title page must:

* Contain a short abstract and a classification of the topics covered, preferably using the list of topics above.
* Clearly indicate whether the paper is submitted as a regular paper or tool paper. Authors will be notified about the outcome of the evaluation
procedure by March 1, 2011. Submissions violating the above requirements may be immediately rejected by the PC Chairs.


Tool Exhibition
-----------------------------------------------------------
An exhibition of Petri net tools takes place on Tuesday or Wednesday afternoon/evening. It consists of informal demonstrations for small
groups/individuals, and there are no scheduled talks. Requests for participation in the tool exhibition must be sent to the Tool
Exhibition Chair before June 1, 2011. They should include a link to the web pages for the tool (or a short description of the tool).
The demonstrators bring their own machines, while the organisers may be requested to give access to the Internet.


Workshops and Tutorials
-----------------------------------------------------------
The conference takes place Wednesday to Friday. The days before the conference also offer a wide range of activities.

The Petri Net Course takes place Sunday, Monday, and Tuesday. It offers a thorough introduction to Petri Nets and consists of four parts:
Basic Net Classes, Coloured Petri Nets, Timed and Stochastic Petri Nets, and Applications of Petri Nets. If all four parts are followed,
3 ECTS credit points can be awarded to a participant. For further information please contact the Workshop and Tutorial Co-Chairs.

The Workshops and Advanced Tutorials take place on Monday and Tuesday. A detailed description of the tutorials and workshops will be available via
the conference web pages.

It is also possible to arrange Meetings and Courses related to Petri Nets. Submissions for such activities must contain a 2-5 page description. They must be received by the PC-chairs no later than January 5, 2011.


Organisation
-----------------------------------------------------------

Steering Committee:

W. van der Aalst, The Netherlands
J. Billington, Australia
G. Ciardo, USA
J. Desel, Germany
S. Donatelli, Italy
S. Haddad, France
K. Hiraishi, Japan
K. Jensen, Denmark (chair)
J. Kleijn, The Netherlands
M. Koutny, UK   C. Lin, China
W. Penczek, Poland
C.A. Petri, Germany (honorary member)
L. Pomello, Italy
W. Reisig, Germany
G. Rozenberg, The Netherlands
M. Silva, Spain
A. Valmari, Finland
A. Yakovlev, UK

Program Committee:

G. Balbo, Italy
M. Bednarczyk, Poland
J. Billington, Australia
M. Bonsangue, The Netherlands
D. Buchs, Switzerland
J. Carmona, Spain
P. Chrzastowski-Wachtel, Poland
G. Ciardo, USA
J.M. Colom, Spain
J. Desel, Germany
R. Devillers, Belgium
J. Esparza, Germany
D. Fahland, Germany
Q.W. Ge, Japan
A. Giua, Italy
L. Gomes, Portugal
S. Haddad, France
M. Heiner, Germany
K. Hiraishi, Japan
R. Janicki, Canada
E. Kindler, Denmark
L.M. Kristensen, Norway (co-chair)
J. Lilius, Finland
C. Lin, China
D. Moldt, Germany
M. Mukund, India
W. Penczek, Poland
L. Petrucci, France (co-chair)
L. Pomello, Italy
O-H. Roux, France
N. Sidorova, The Netherlands
S. Taoka, Japan
V. Valero, Spain
A. Valmari, Finland
A. Yakovlev, UK

Workshop and Tutorial Co-Chairs:
Jetty Kleijn, The Netherlands,
Wil van der Aalst, The Netherlands

Organising Committee Chair:
Kunihiko Hiraishi, Japan

Tools Exhibition Chair:
Satoshi Yamane, Japan

Publicity Chair:
Koichi Kobayashi, Japan


***

 

[DMANET] Cordial Invitation - CfP --- HIBIT 2011, Izmir, Turkey, 2.-5.5.2011

Call for Papers for the
6th International Symposium on Health Informatics and Bioinformatics

HIBIT 2011
The 6th International Symposium on Health Informatics and
Bioinformatics (HIBIT 2011) will be held in Izmir,
Turkey. HIBIT aims to bring together academicians, researchers and
practitioners from the general area of
health or medical informatics and bioinformatics or computational
biology. Biomathematics, statisticians
and people from other related and supporting fields are also welcome
and have contributed papers and posters
in the past.
Another aim of HIBIT is to create synergy between academicians,
performing basic research, and those that
are users of computational methods. In this, HIBIT aims to create an
interface with the technology sector
such that research can turn into marketable developments.
HIBIT provides a forum for discussion, exploration and development of
both theoretical and practical
aspects of health informatics and bioinformatics and a chance to
network with others working and researching
in this or related areas.

Format
The symposium starts with workshops and roundtable discussions in the
first day (May 2nd 2011).
The following two days are largely keynote, paper, and poster
presentations (May 3rd and 4th 2011).
The symposium finishes with a social program on the 4th day (May 5th
2011) where, among other choices,
historical sites around Izmir can be visited.

Important Dates
Symposium dates: 02.05.2011 – 05.05.2011 in Izmir, Turkey
Call for papers: Opens 15.11.2010, closes 31.01.2011,
notification of acceptance latest 28.02.2011.
Call for workshops: Opens 01.12.2010, closes 31.01.2011,
notification of acceptance latest 28.02.2011.
Call for roundtables: Opens 01.12.2010, closes 28.02.2011,
notification of acceptance latest 31.03.2011.
Call for posters: Opens 15.12.2010, closes 28.02.2011,
notification of acceptance latest 31.03.2011.

Scope
We welcome submissions from the listed areas but will also consider
papers with topics from related areas.
-Health/ Medical Informatics
Electronic Health Records and Standards
Clinical Informatics and Hospital Information Systems
Telemedicine and Mobile Applications
Decision Support Systems and Computer Aided Diagnosis
Health Informatics Education
Security, Ethics and Privacy
Data Mining and Knowledge Discovery in HI
Medical Signal/Image Analysis and Visualization
Medical Imaging and Instrumentation
Virtual Reality and Simulation
Medical Transaction Provision Systems
Inverse Problems and Tomography
Computational Neuroscience
-Bioinformatics/ Computational Biology
Biomolecular Sequence Analysis
Comparative Genomics and genetic networks
Biomedical Genome Research
Microarray Informatics
Protein Expression and Modifications
Protein Interactions
Data Mining and Knowledge Discovery in BI
Protein Structure Prediction
Biomedical Proteome Research
Systems Biology
Text Mining and Information Extraction
Evolution and Phylogeny
Structural Bioinformatics
Biologically Inspired Control Systems
Mass Spectrometry

Please visit our website for more details:
http://hibit11.iyte.edu.tr

You can also follow us:
Linkedin: http://www.linkedin.com/groups?mostPopular=&gid=1532167
Facebook:
http://www.facebook.com/home.php?sk=group_154594581249053&view=members
Twitter: http://twitter.com/#!/hibit11

----------------------------------------------------------------
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/
*
**********************************************************

Simons postdoc at U. Washington

An opening for a two year theory postdoc position at the University of Washington supported by the Simons foundation. Details and instructions on how to apply are here: http://www.cs.washington.edu/research/computation/simons.html.

[DMANET] CFP 27th Symposium on Computational Geometry (papers, videos, and multimedia)

---------------------------------------------------------------------
CALL FOR PAPERS, VIDEOS, and MULTIMEDIA
---------------------------------------------------------------------
27th Annual Symposium on Computational Geometry (SoCG 2011)
June 13-15, 2011
Paris, France
In cooperation with ACM SIGACT and SIGGRAPH

http://socg2011.inria.fr/

The Twenty-Seventh Annual Symposium on Computational Geometry will be
held in Paris, France. We invite submissions of high-quality papers,
videos, and multimedia describing original research addressing
computational problems in a geometric setting, in particular their
algorithmic solutions, implementation issues, applications, and
mathematical foundations.

The topics of the Symposium reflect the rich diversity of research
interests in computational geometry. They are intended to highlight both
the depth and scope of computational geometry, and to invite fruitful
interactions with other disciplines. Topics of interest include, but are
not limited to:
* design, analysis, and implementation of geometric algorithms and
data structures; lower bounds on the computational complexity of
geometric problems;
* mathematical, numerical, and algebraic issues arising in the
formulation, analysis, implementation, and experimental evaluation of
geometric algorithms and heuristics; discrete and combinatorial
geometry; computational topology;
* novel applications of computational geometry in computer graphics,
geometric modeling, computer-aided design and manufacturing, scientific
computing, geographic information systems, database systems, robotics,
computational biology, machine learning, sensor networks, medical
imaging, combinatorial optimization, statistical analysis, discrete
differential geometry, theoretical computer science, graph drawing, pure
mathematics, and other fields.

----- Important Dates -----

* November 22, 2010: Paper titles and (short) abstracts due
* December 1, 2010: Paper submissions due (23:59, Honolulu time)
* February 14, 2011: Notification of acceptance/rejection of papers
* February 18, 2011: Submissions of videos and multimedia due (23:59,
Pacific Standard Time)
* March 1, 2011: Notification of acceptance/rejection of
video/multimedia
* March 14, 2011: Camera-ready versions due for papers and
video/multimedia abstracts
* April 19, 2011: Final versions of video/multimedia due
* June 13-15, 2011: Symposium in Paris, France

---------------------------------------------------------------------
CALL FOR PAPERS
---------------------------------------------------------------------

We invite submissions of high-quality papers describing original
research on geometric algorithms and data structures, their mathematical
foundations and correctness, their implementation, and their applications.

The program committee explicitly encourages the submission of video or
multimedia in support of submitted papers. Authors may wish to consider
making a separate submission to the video/multimedia track. Papers and
video/multimedia submissions will be reviewed separately; acceptance or
rejection of one will not influence acceptance or rejection of the other.

Final versions of accepted papers will be published by ACM in the
symposium proceedings. Proceedings will be distributed to symposium
participants and will also be available from ACM for purchase or through
the digital library. An author of each accepted paper will be expected
to attend the Symposium and give a presentation (approximately 20
minutes) of the paper. Authors of a selection of papers from the
conference will be invited to submit extended versions of their papers
to a special issue of one or more journals.

----- Paper Submission -----

All submissions should be made electronically; see the EasyChair
SoCG2011 web pages
http://www.easychair.org/conferences/?conf=socg2011
for detailed submission instructions. If electronic submission is not
feasible, please contact the program committee chairs, Ferran Hurtado
and Marc van Kreveld, well in advance of the submission deadlines.

----- Submission Guidelines ------

Papers should be submitted in the form of an extended abstract, which
begins with the title of the paper, each author's name, affiliation, and
e-mail address. This should be followed by a precise statement of the
problem considered, a succinct summary of the results obtained
(emphasizing the significance, novelty, and potential impact of the
research), and a clear comparison with related work. The remainder of
the extended abstract should provide sufficient detail to allow the
program committee to evaluate the validity, quality, and relevance of
the contribution. Clarity of presentation is very important; the whole
extended abstract should be written carefully, taking into consideration
that it will be read and evaluated by both experts and non-experts,
often under tight time constraints.

Submissions should be typeset in single column format, using 11-point or
larger font, with at least 1 inch/2.54 cm margins and single line
spacing. Excluding the title page and bibliography, the extended
abstract must not exceed 10 pages. Submissions deviating from these
guidelines risk rejection without consideration of their merits.

A clearly marked appendix (of reasonable length) containing omitted
proofs may be included directly in the submission, and is mandatory for
crucial proofs. Appendices are not counted in the 10 page limit, so
while they may serve as a reference, they are not necessarily read by
the program committee. Other supporting materials, such as a video or
multimedia presentation, source code, or experimental data, may be
provided by including a URL in the submission, but again, these will be
considered only at the discretion of the program committee.

Anticipating the usual high overall quality of submissions, the program
committee intends to accept more papers than was typical in previous
years. Also, we intend to interpret the scope of the conference broadly,
and will accept all papers of high quality that are of significant
interest to our research community. The conference venue in Paris is
attractive and allows a bigger conference than previous years.

Authors must submit the title and a short abstract of their paper by
November 22, 2010. This pre-submission will be used to help make program
committee reading assignments. Extended abstracts must be received by
December 1, 2010 (23:59, Honolulu time). There will be no extension of
this deadline; late submissions will not be considered. Authors will be
notified of acceptance or rejection by February 14, 2011. The final
proceedings papers must be formatted in accordance with ACM proceedings
guidelines; LaTeX style files will be made available to authors of
accepted papers.

Concurrent submission of the same (or essentially the same) abstract to
SoCG and to another conference with published proceedings is not
allowed. An extended abstract of a paper that is under journal review,
or scheduled for publication in a journal after June 2011, may be
submitted, when it is clear that the extended abstract differs
substantially from the journal version. In such cases, the authors must
include the journal version in an appendix that clearly identifies the
status of the journal submission.

----- Program Committee -----

# Lars Arge (MADALGO, Aarhus University)
# Esther Arkin (State University of New York at Stony Brook)
# Prosenjit Bose (Carleton University)
# Sergio Cabello (University of Ljubljana)
# Éric Colin de Verdière (École normale supérieure and CNRS, Paris)
# Olivier Devillers (INRIA Sophia Antipolis - Méditerranée)
# Adrian Dumitrescu (University of Wisconsin-Milwaukee)
# Herbert Edelsbrunner (IST Austria and Duke University)
# Joachim Giesen (Universität Jena)
# Joachim Gudmunsson (National ICT Australia, Sydney)
# Ferran Hurtado, co-chair (Universitat Politècnica de Catalunya)
# Naoki Katoh (Kyoto University)
# Klara Kedem (Ben-Gurion University)
# Marc van Kreveld, co-chair (Utrecht University)
# Anna Lubiw (University of Waterloo)
# David Mount (University of Maryland)
# Stefan Schirra (Otto-von-Guericke Universität Magdeburg)
# Micha Sharir (Tel Aviv University)

---------------------------------------------------------------------
CALL FOR VIDEO AND MULTIMEDIA
---------------------------------------------------------------------

Video and multimedia presentations are sought for the 20th Annual Video
and Multimedia Review of Computational Geometry, to accompany the 27th
Annual Symposium on Computational Geometry in Paris, France. This
review showcases the use of visualization in computational geometry for
exposition and education, for visual exploration of geometry in
research, and as an interface and a debugging tool in software
development. Algorithm animations, visual explanations of structural
theorems, descriptions of applications of computational geometry, and
demonstrations of software systems are all appropriate.

Three to five minutes is ideal for most presentations; eight minutes is
the upper limit. Accepted video and multimedia presentations will have
an abstract in the published conference proceedings; video/multimedia
authors will have an opportunity to present their work at the Symposium
during a dedicated video session. Accepted presentations will be
available online in various formats in a web proceedings. See
http://www.computational-geometry.org/ for examples of previous years'
proceedings.

Submissions of video clips in QuickTime or MPEG-4 compressed formats
(e.g., XviD or DivX version 6) are encouraged. We also encourage
submissions of Macromedia Flash, Java applets, and limited forms of
other multimedia or software. These formats must come with a script
that will allow them to be distributed in both interactive and canned
Quicktime or MPEG video formats. In case of doubt, please email the
Video and Multimedia Program chair.

Each submission should include a one or two-page description of the
material shown in the presentation, and where applicable, the techniques
used in the implementation. The final two-page descriptions must be
formatted according to the guidelines for ACM proceedings. LaTeX style
files will be provided to authors of accepted presentations.

Video/Multimedia Submission

Submissions should be deposited online where they are accessible through
the web or via FTP. Send email to the Video/Multimedia committee chair,
Jonathan Shewchuk, jrs@cs.berkeley.edu by 23:59 Pacific Standard Time,
Friday, February 18, 2011, with the following information: the names
and institutions
of the authors, the email address of the corresponding author, and
instructions for downloading the submission.

For ease of sharing and viewing, we encourage (but do not require) that
each submission be uploaded to YouTube, and that the corresponding URL
be included with the submission.

We explicitly encourage video/multimedia submissions that support papers
submitted to the Symposium. Submitted papers and associated
video/multimedia submissions will be treated entirely separately by the
respective committees: acceptance or rejection of one will not influence
acceptance or rejection of the other.

Authors will be notified of acceptance or rejection, and given
reviewers' comments by March 1, 2011. For each accepted submission, the
final version of the 2-page textual description will be due by March 14,
2011 (electronically) for inclusion in the proceedings. Final versions
of accepted video/multimedia presentations will be due April 19, 2011 in
the best format available.

Video and Multimedia Presentation Program Committee

# Kevin Buchin (Technische Universiteit Eindhoven)
# Ken Goldberg (University of California, Berkeley)
# Joshua Levine (Scientific Computing and Imaging Institute)
# Jyh-Ming Lien (George Mason University)
# James O'Brien (University of California, Berkeley)
# Carlo Sequin (University of California, Berkeley)
# Jonathan Shewchuk, chair (University of California, Berkeley)
# Dianna Xu (Bryn Mawr College)

---------------------------------------------------------------------
---------------------------------------------------------------------
SOCG 2011 Local Arrangements Committee

* Steve Oudot, co-chair (INRIA Saclay - Île-de-France)
* Frédéric Chazal, co-chair (INRIA Saclay - Île-de-France)
* Marc Glisse (INRIA Saclay - Île-de-France)
* Gaëlle Dorkeld (INRIA Paris - Rocquencourt)
* Christine Biard (INRIA Saclay - Île-de-France)

---------------------------------------------------------------------
---------------------------------------------------------------------
SOCG Steering Committee (2009-2012)

* Jack Snoeyink, chair (University of North Carolina)
* Mark de Berg, secretary (TU Eindhoven)
* Joe Mitchell (SUNY Stony Brook)
* Guenter Rote (FU Berlin)
* Monique Teillaud (INRIA Sophia Antipolis - Méditerranée)
**********************************************************
*
* 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 27th Symposium on Computational Geometry (papers, videos, and multimedia)

---------------------------------------------------------------------
CALL FOR PAPERS, VIDEOS, and MULTIMEDIA
---------------------------------------------------------------------
27th Annual Symposium on Computational Geometry (SoCG 2011)
June 13-15, 2011
Paris, France
In cooperation with ACM SIGACT and SIGGRAPH

http://socg2011.inria.fr/

The Twenty-Seventh Annual Symposium on Computational Geometry will be held
in Paris, France. We invite submissions of high-quality papers, videos, and
multimedia describing original research addressing computational problems in
a geometric setting, in particular their algorithmic solutions,
implementation issues, applications, and mathematical foundations.

The topics of the Symposium reflect the rich diversity of research interests
in computational geometry. They are intended to highlight both the depth and
scope of computational geometry, and to invite fruitful interactions with
other disciplines. Topics of interest include, but are not limited to:
* design, analysis, and implementation of geometric algorithms and data
structures; lower bounds on the computational complexity of geometric problems;
* mathematical, numerical, and algebraic issues arising in the
formulation, analysis, implementation, and experimental evaluation of
geometric algorithms and heuristics; discrete and combinatorial geometry;
computational topology;
* novel applications of computational geometry in computer graphics,
geometric modeling, computer-aided design and manufacturing, scientific
computing, geographic information systems, database systems, robotics,
computational biology, machine learning, sensor networks, medical imaging,
combinatorial optimization, statistical analysis, discrete differential
geometry, theoretical computer science, graph drawing, pure mathematics, and
other fields.

----- Important Dates -----

* November 22, 2010: Paper titles and (short) abstracts due
* December 1, 2010: Paper submissions due (23:59, Honolulu time)
* February 14, 2011: Notification of acceptance/rejection of papers
* February 18, 2011: Submissions of videos and multimedia due (23:59,
Pacific Standard Time)
* March 1, 2011: Notification of acceptance/rejection of video/multimedia
* March 14, 2011: Camera-ready versions due for papers and
video/multimedia abstracts
* April 19, 2011: Final versions of video/multimedia due
* June 13-15, 2011: Symposium in Paris, France

---------------------------------------------------------------------
CALL FOR PAPERS
---------------------------------------------------------------------

We invite submissions of high-quality papers describing original research on
geometric algorithms and data structures, their mathematical foundations and
correctness, their implementation, and their applications.

The program committee explicitly encourages the submission of video or
multimedia in support of submitted papers. Authors may wish to consider
making a separate submission to the video/multimedia track. Papers and
video/multimedia submissions will be reviewed separately; acceptance or
rejection of one will not influence acceptance or rejection of the other.

Final versions of accepted papers will be published by ACM in the symposium
proceedings. Proceedings will be distributed to symposium participants and
will also be available from ACM for purchase or through the digital library.
An author of each accepted paper will be expected to attend the Symposium
and give a presentation (approximately 20 minutes) of the paper. Authors of
a selection of papers from the conference will be invited to submit extended
versions of their papers to a special issue of one or more journals.

----- Paper Submission -----

All submissions should be made electronically; see the EasyChair SoCG2011
web pages
http://www.easychair.org/conferences/?conf=socg2011
for detailed submission instructions. If electronic submission is not
feasible, please contact the program committee chairs, Ferran Hurtado and
Marc van Kreveld, well in advance of the submission deadlines.

----- Submission Guidelines ------

Papers should be submitted in the form of an extended abstract, which begins
with the title of the paper, each author's name, affiliation, and e-mail
address. This should be followed by a precise statement of the problem
considered, a succinct summary of the results obtained (emphasizing the
significance, novelty, and potential impact of the research), and a clear
comparison with related work. The remainder of the extended abstract should
provide sufficient detail to allow the program committee to evaluate the
validity, quality, and relevance of the contribution. Clarity of
presentation is very important; the whole extended abstract should be
written carefully, taking into consideration that it will be read and
evaluated by both experts and non-experts, often under tight time constraints.

Submissions should be typeset in single column format, using 11-point or
larger font, with at least 1 inch/2.54 cm margins and single line spacing.
Excluding the title page and bibliography, the extended abstract must not
exceed 10 pages. Submissions deviating from these guidelines risk rejection
without consideration of their merits.

A clearly marked appendix (of reasonable length) containing omitted proofs
may be included directly in the submission, and is mandatory for crucial
proofs. Appendices are not counted in the 10 page limit, so while they may
serve as a reference, they are not necessarily read by the program
committee. Other supporting materials, such as a video or multimedia
presentation, source code, or experimental data, may be provided by
including a URL in the submission, but again, these will be considered only
at the discretion of the program committee.

Anticipating the usual high overall quality of submissions, the program
committee intends to accept more papers than was typical in previous years.
Also, we intend to interpret the scope of the conference broadly, and will
accept all papers of high quality that are of significant interest to our
research community. The conference venue in Paris is attractive and allows a
bigger conference than previous years.

Authors must submit the title and a short abstract of their paper by
November 22, 2010. This pre-submission will be used to help make program
committee reading assignments. Extended abstracts must be received by
December 1, 2010 (23:59, Honolulu time). There will be no extension of this
deadline; late submissions will not be considered. Authors will be notified
of acceptance or rejection by February 14, 2011. The final proceedings
papers must be formatted in accordance with ACM proceedings guidelines;
LaTeX style files will be made available to authors of accepted papers.

Concurrent submission of the same (or essentially the same) abstract to SoCG
and to another conference with published proceedings is not allowed. An
extended abstract of a paper that is under journal review, or scheduled for
publication in a journal after June 2011, may be submitted, when it is clear
that the extended abstract differs substantially from the journal version.
In such cases, the authors must include the journal version in an appendix
that clearly identifies the status of the journal submission.

----- Program Committee -----

# Lars Arge (MADALGO, Aarhus University)
# Esther Arkin (State University of New York at Stony Brook)
# Prosenjit Bose (Carleton University)
# Sergio Cabello (University of Ljubljana)
# Éric Colin de Verdière (École normale supérieure and CNRS, Paris)
# Olivier Devillers (INRIA Sophia Antipolis - Méditerranée)
# Adrian Dumitrescu (University of Wisconsin-Milwaukee)
# Herbert Edelsbrunner (IST Austria and Duke University)
# Joachim Giesen (Universität Jena)
# Joachim Gudmunsson (National ICT Australia, Sydney)
# Ferran Hurtado, co-chair (Universitat Politècnica de Catalunya)
# Naoki Katoh (Kyoto University)
# Klara Kedem (Ben-Gurion University)
# Marc van Kreveld, co-chair (Utrecht University)
# Anna Lubiw (University of Waterloo)
# David Mount (University of Maryland)
# Stefan Schirra (Otto-von-Guericke Universität Magdeburg)
# Micha Sharir (Tel Aviv University)

---------------------------------------------------------------------
CALL FOR VIDEO AND MULTIMEDIA
---------------------------------------------------------------------

Video and multimedia presentations are sought for the 20th Annual Video and
Multimedia Review of Computational Geometry, to accompany the 27th Annual
Symposium on Computational Geometry in Paris, France. This review showcases
the use of visualization in computational geometry for exposition and
education, for visual exploration of geometry in research, and as an
interface and a debugging tool in software development. Algorithm
animations, visual explanations of structural theorems, descriptions of
applications of computational geometry, and demonstrations of software
systems are all appropriate.

Three to five minutes is ideal for most presentations; eight minutes is the
upper limit. Accepted video and multimedia presentations will have an
abstract in the published conference proceedings; video/multimedia authors
will have an opportunity to present their work at the Symposium during a
dedicated video session. Accepted presentations will be available online in
various formats in a web proceedings. See
http://www.computational-geometry.org/ for examples of previous years'
proceedings.

Submissions of video clips in QuickTime or MPEG-4 compressed formats (e.g.,
XviD or DivX version 6) are encouraged. We also encourage submissions of
Macromedia Flash, Java applets, and limited forms of other multimedia or
software. These formats must come with a script that will allow them to be
distributed in both interactive and canned Quicktime or MPEG video formats.
In case of doubt, please email the Video and Multimedia Program chair.

Each submission should include a one or two-page description of the material
shown in the presentation, and where applicable, the techniques used in the
implementation. The final two-page descriptions must be formatted according
to the guidelines for ACM proceedings. LaTeX style files will be provided
to authors of accepted presentations.

Video/Multimedia Submission

Submissions should be deposited online where they are accessible through the
web or via FTP. Send email to the Video/Multimedia committee chair,
Jonathan Shewchuk, jrs@cs.berkeley.edu by 23:59 Pacific Standard Time,
Friday, February 18, 2011, with the following information: the names and
institutions
of the authors, the email address of the corresponding author, and
instructions for downloading the submission.

For ease of sharing and viewing, we encourage (but do not require) that each
submission be uploaded to YouTube, and that the corresponding URL be
included with the submission.

We explicitly encourage video/multimedia submissions that support papers
submitted to the Symposium. Submitted papers and associated
video/multimedia submissions will be treated entirely separately by the
respective committees: acceptance or rejection of one will not influence
acceptance or rejection of the other.

Authors will be notified of acceptance or rejection, and given reviewers'
comments by March 1, 2011. For each accepted submission, the final version
of the 2-page textual description will be due by March 14, 2011
(electronically) for inclusion in the proceedings. Final versions of
accepted video/multimedia presentations will be due April 19, 2011 in the
best format available.

Video and Multimedia Presentation Program Committee

# Kevin Buchin (Technische Universiteit Eindhoven)
# Ken Goldberg (University of California, Berkeley)
# Joshua Levine (Scientific Computing and Imaging Institute)
# Jyh-Ming Lien (George Mason University)
# James O'Brien (University of California, Berkeley)
# Carlo Sequin (University of California, Berkeley)
# Jonathan Shewchuk, chair (University of California, Berkeley)
# Dianna Xu (Bryn Mawr College)

---------------------------------------------------------------------
---------------------------------------------------------------------
SOCG 2011 Local Arrangements Committee

* Steve Oudot, co-chair (INRIA Saclay - Île-de-France)
* Frédéric Chazal, co-chair (INRIA Saclay - Île-de-France)
* Marc Glisse (INRIA Saclay - Île-de-France)
* Gaëlle Dorkeld (INRIA Paris - Rocquencourt)
* Christine Biard (INRIA Saclay - Île-de-France)

---------------------------------------------------------------------
---------------------------------------------------------------------
SOCG Steering Committee (2009-2012)

* Jack Snoeyink, chair (University of North Carolina)
* Mark de Berg, secretary (TU Eindhoven)
* Joe Mitchell (SUNY Stony Brook)
* Guenter Rote (FU Berlin)
* Monique Teillaud (INRIA Sophia Antipolis - Méditerranée)