Monday, May 31, 2010

[DMANET] CATS 2011 call for papers

Call for Papers

CATS 2011 -- Computing: The Australasian Theory Symposium
Perth, Australia, January 17-20, 2011
http://cats.it.usyd.edu.au/

The 17th Computing: The Australasian Theory Symposium (CATS) will be held in
Perth, Australia, January 17-20, 2011. CATS is an annual conference held in
the Australia-New Zealand region, dedicated to theoretical computer science.

Authors are invited to submit papers that present original and unpublished
research on topics related to theoretical aspects of computer science,
including (but not limited to): algorithms and data structures, algorithmic
game theory, combinatorial optimization, computability, computational
complexity theory, computational geometry, foundational calculi, graph
theory and combinatorics, logic and type systems, program derivation,
analysis, transformation, program verification and safety, semantics of
programming languages, theory of programming.

Deadlines and other dates:
Paper submission deadline: Monday August 16, 2010
Acceptance notification: Monday October 4, 2010
Final version of accepted papers due: Monday November 5, 2010
Early registration: Monday December 6, 2010
Conference dates: January 17-20, 2011

The proceedings of this event will be published by the Australian Computer
Society (ACS) in the CRPIT Series (http://crpit.com/), and will also appear
in the ACM digital library.

CATS 2011 is part of the Australasian Computer Science Week (ACSW), an
international annual conference event, supported by the Computing Research
and Education Association (CORE) in Australia. ACSW 2011 is hosted by Curtin
University in Perth, Australia.

For more information please visit http://cats.it.usyd.edu.au/
Contact: taso viglas and alex potanin at <cats2011@easychair.org>

--
taso viglas
university of sydney
**********************************************************
*
* 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/
*
**********************************************************

1st ACM International Health Informatics Symposium (IHI)

Association for Computing Machinery (ACM)
1st ACM International Health Informatics Symposium (IHI)
CALL FOR PAPERS

IHI 2010
November 11-12, 2010
Arlington, Virginia
http://ihi2010.sighi.org

SCOPE OF THE CONFERENCE

We cordially invite you to submit your contribution to the 2010 ACM International Health Informatics Symposium (IHI 2010).

IHI 2010 is ACM's premier community forum concerned with the application of computer and information science principles as well as information and communication technology to problems in healthcare, public health, the delivery of healthcare services and consumer health informatics aspects, and finally, the related social and ethical issues on the use of computing technology in the health informatics domain.

IHI 2010 is primarily interested in serving as a venue for the discussion of innovative technical contributions highlighting end-to-end applications, systems, and technologies, even if available only in prototype form (where a system is not deployed in production mode and/or evaluation may be performed by giving examples). We strongly encourage authors to submit their original contributions describing their algorithmic contributions, methodological contributions, and well-founded conjectures providing whenever possible an application-oriented context. A paper does not have to be comprehensive and can focus on a single aspect.

Contributions in the realm of social and behavioral issues might include empirical studies of health-related information use and needs, socio-technical studies on the implementation and use of health information technology, studies on health informatics in the context of community impact and implications, studies on public policies on leveraging health informatics infrastructure, among others.

Specific topics of interest for this conference cover various facets of health informatics research, including but not limited to the following:
- Accessibility and Web-enabled technologies
- Analytics applied to direct and remote clinical care
- Assistive and adaptive ubiquitous computing technologies
- Bio-surveillance
- Brain computer interface
- Cleaning, preprocessing, and ensuring quality and integrity of medical records
- Comparative effectiveness research
- Computational support for patient-centered and evidence-based care
- Consumer and clinician health information needs, seeking, sharing and use
- Consumer health and wellness informatics applications
- Continuous monitoring and streaming technologies
- Data management, privacy, security, and confidentiality
- Display and visualization of medical data
- E-commerce in health informatics
- E-communities and networks for patients and consumers 
- E-healthcare infrastructure design
- E-learning for spreading health informatics awareness 
- Engineering of medical data
- Evaluation of health information system
- E-visit system
- Experience of building health information system
- Health informatics education
- Health information system framework and enterprise architecture in the developing world
- Health IT project management
- Health software design
- Health system simulation
- High-performance computing in healthcare
- Human-centered design of health informatics systems
- Information retrieval for health applications
- Information technologies for the management of patient safety and clinical outcomes
- Innovative applications in electronic health records (e.g., ontology or semantic technology, using continuous biomedical signals to trigger alerts)
- Intelligent medical devices and sensors
- Issues involving interoperability and data representation in healthcare delivery
- Keyword and multifaceted search over structured electronic health records
- Knowledge discovery for improving patient-provider communication
- Large-scale longitudinal mining of medical records
- Medical compliance automation for patients and institutions
- Medical recommender system (e.g., medical products, fitness programs)
- Multimodal medical signal analysis
- Natural language processing for biomedical literature, clinical notes, and health consumer texts
- Novel health information systems for chronic disease management
- Open-source software in healthcare
- Optimization models for planning and recommending therapies
- Personalized predictive modeling for clinical management (e.g., trauma, diabetes mellitus, sleep disorders, substance abuse)
- Physiological modeling
- Public health informatics
- Quality assurance
- Semantic Web, linked data, ontology, and healthcare
- Sensor networks and systems for pervasive healthcare
- Social studies of health information technologies
- Survival analysis and related methods for estimating hazard functions
- System software for complex clinical studies that involve combinations of clinical, genetic, genomic, imaging, and pathology data
- Systems for cognitive and decision support
- Technologies for capturing and documenting clinical encounter information in electronic systems
- Telecare
- Telemedicine
- User-interface design issues applied to medical devices and systems

Each contribution will be carefully evaluated by a set of reviewers, including experts with multidisciplinary experience spanning computing, information science, social and behavioral sciences, public health, medicine, and nursing as appropriate, to ensure that proper and comprehensive peer-review analysis and feedback can be provided to authors. Submissions will be judged on validity, originality, technical strength, practical and clinical significance, quality of presentation, and relevance to the conference topics.

Because of IHI's multidisciplinary nature, the review process will include at least a computing expert and a health expert as well as a review editor to reconcile the evaluation, making a single recommendation to the Program Committee Co-Chairs. This process is designed to ensure that experts from multiple areas can assess the importance and validity of the work. Therefore, we encourage submissions from a variety of fields where in-depth application-centric ideas addressing important problems in health informatics are discussed. 

The conference will accept both regular and short papers. Regular papers (6-10 pages in length) will describe more mature ideas, where a substantial amount of implementation, experimentation, or data collection and analysis will be described. Short papers (1-5 pages) can be less formal and will describe innovative ideas where a lesser degree of validation and implementation have occurred. All papers will appear in the ACM Digital Library. The best papers of IHI 2010 will also be considered for journal publication in a special issue of Springer's Journal of Medical Systems. Depending on the availability of time and space, not all papers will be given an oral presentation slot. Papers not selected for oral presentation will be available as posters. The conference organizers will work on ensuring that poster sessions are well attended and have a vibrant discussion environment.

Submitted papers must not have appeared in, or be under consideration for, another conference, workshop, journal, or other target of publication.

All aspects of the submission and notification process will be handled electronically. Submissions must adhere to the following formatting instructions:

" Papers must adhere to the ACM Proceedings Format available for LaTex, WordPerfect, WordPerfect 9, and Word. Changing the template's font size, margins, inter-column spacing, or line spacing is prohibited. Each paper must be submitted as a single PDF file, formatted for 8.5" x 11" paper.

" The length of submission depends on the type of submission:
- Regular papers must be 6-10 pages long.
- Short papers may be at most 5 pages long.

" Each paper must provide an appendix (which is excluded from the page limit) indicating the preferred review approach, including:
- The preferred allocation of reviewing expertise. This can be done by electing the primary and secondary focus of the paper (e.g., Computing, Information Science, Medicine, Nursing, and Social/Behavioral Science).
- A bulleted list with up to 3 topics covered in the paper (from the list of conference topics presented above)

IMPORTANT DATES

Abstract submission deadline: June 2, 2010 11:30pm EST
Paper submission deadline: June 4, 2010 11:30pm EST
Notification of acceptance: August 6, 2010 11:30pm EST
Camera-ready copy due: August 16, 2010 11:30pm EST

General Chair
Umit Catalyurek, Ohio State University (catalyurek.1 at osu dot edu)

Honorary General Chair
Gang Luo, IBM Research (luog at us dot ibm dot com)

Program Committee Co-Chairs
Henrique Andrade, IBM Research (hcma at us dot ibm dot com)
Neil R. Smalheiser, University of Illinois - Chicago (neils at uic dot edu)

Steering Committee Members 
Dorin Comaniciu, Siemens Corporate Research 
Michael D. Larsen, George Washington University 
Ching-Yung Lin, IBM Research 
Chunqiang Tang, IBM Research 
YingLi Tian, City College of New York 
Olivier Verscheure, IBM Research 
Michael Weiner, Indiana University 

Honorary Steering Committee members
Marion J. Ball, Johns Hopkins University & IBM Research
Joseph A. Konstan, University of Minnesota
Joel H. Saltz, Emory University

PROGRAM COMMITTEE MEMBERS
A Ishaq, SZABIST Dubai
Alec Holt, University of Otago
Amar Das, Stanford University
Ani Nahapetian, UCLA
Aryya Gangopadhyay, UMBC
Ashish Joshi, UMBC
Ashish Sharma, Emory University
Balakrishnan Prabhakaran, University of Texas at Dallas 
Barbara Hayes, Indiana University School of Informatics
Barbara Wildemuth, University of North Carolina at Chapel Hill
Chi-Ren Shyu, University of Missouri
Christopher Chute, Mayo Clinic
Chunqiang Tang, IBM Research
Courtney Corley, Pacific Northwest National Laboratory
Dan Morris, Microsoft Research
David Bader, Georgia Institute of Technology
Denise Anthony, Dartmouth College
Egondu Onyejekwe, Federal University of Technology Owerri
Egon L. van den Broek, Human-Centered Computing Consultancy, Vienna, Austria
Gregory Abowd, Georgia Tech
Guergana Savova, Harvard University
Hakan Ferhatosmanoglu, The Ohio State University
Hamid Ekbia, Indiana University
Hao Yang, Nokia Research
Hassan Ghasemzadeh, University of Texas at Dallas
H.Dominic Covvey, University of Waterloo
Honest Kimaro, University of Dar es Salaam
Huajun Chen, Zhejiang University
Javed Mostafa, University of North Carolina at Chapel Hill
Jiahui Liu, Google Inc. 
Jiming Liu, Hong Kong Baptist University
Jorge Ramirez, Apple Inc
Julie Jacko, University of Minnesota
Julie Kientz, University of Washington
Julie Maitland, National Research Council Canada
Julio Facelli, University of Utah
Jyotishman Pathak, Mayo Clinic College of Medicine
Kai Zheng, University of Michigan
Katarzyna Wac, Carnegie Mellon University
Katie Siek, University of Colorado at Boulder
Kay Connelly, Indiana University
Kelly Caine, Indiana University 
Kevin Daimi, University of Detroit Mercy
Kiran Turaga, H. Lee Moffitt Cancer Center and Research Institute
Lei Zhang, IBM Research
Lena Mamykina, Columbia University Medical Center
Liangyou Chen, U.S. Army Medical Research and Materiel Command
Lu Wang, Harvard-MIT
Luke (Jun) Huan, University of Kansas
Madhav Marathe,  Virginia Tech
Madhu C.Reddy, The Pennsylvania State University
Majid Sarrafzadeh, UCLA
Malika Mahoui, Indiana University Purdue University Indianapolis
Mathew Palakal, Indiana University Purdue University Indianapolis
Matt-Mouley Bouamrane, University of Glasgow
Meliha Yetisgen-Yildiz, University of Washington Medicine
Michael Larsen, George Washington University
Michelle Rogers, Drexel University
Minakshi Tikoo, University of Connecticut Health Center 
Mohammad Mahoor, University of Denver
Noemie Elhadad, Columbia University
Olivier Verscheure, IBM Research
Patrick Widener, Emory University
Radhakrishnan Nagarajan, University of Arkansas for Medical Sciences
Robert Patton, Oak Ridge National Laboratory
Roozbeh Jafari, University of Texas at Dallas
Samantha Adams, Erasmus University Rotterdam
Sanguthevar Rajasekaran, University of Connecticut
Selena Thomas, IBM Research
Shafaat Khan, COMSATS Institute of Information Technology
Sheba George, Charles Drew University of Medicine and Science
Soojin Park, University of Pennsylvania
Steven Demurjian, University of Connecticut
Suk-Chung Yoon, Widener University
Supten Sarbadhikari, PSG Institute of Medical Sciences and Research
Tahsin Kurc, Emory University
Ted Pedersen, University of Minnesota in Duluth
Thanos Vasilakos, University of Western Macedonia
Thomas Agresta, University of Connecticut Health Center
Thomas Finholt, University of Michigan
Thomas Karopka, IT Science Center RĂ¼gen gGmbH
Timothy Bickmore, Northeastern University
Tony Hu, Drexel University
Tyrone Grandison, IBM Research
Vagelis Hristidis, Florida International University 
Vasant Honavar, Iowa State University
Vincent Tseng, National Cheng Kung University
William Kaiser, UCLA
William Lane, Brigham and Women's Hospital
Xiaoxiao Chen, U.S. Army Medical Research and Materiel Command
Xue-wen Chen, The University of Kansas
Yang Gong, University of Missouri
YingLi Tian, The City College of New York
Ying Tao, IBM Research
Yu Deng, IBM Research
Yunan Chen, University of California Irvine
Zhaohui Cai, AstraZeneca
Zeeshan Syed, University of Michigan
________________________________________________________________________________

CALL FOR DEMOS
1st ACM International Health Informatics Symposium (IHI 2010)

IHI 2010
November 11-12, 2010
Arlington, Virginia
http://ihi2010.sighi.org

SCOPE OF THE DEMO TRACK

We cordially invite you to submit your contribution to the demo track of the 2010 ACM International Health Informatics Symposium (IHI 2010).

The IHI demo track is an exciting and highly interactive way to demonstrate your health informatics system or application. Because of IHI's focus on end-to-end systems, whereby applied informatics is used to address the needs of health and healthcare applications, demos of innovative systems are solicited, which illustrate practical research or engineering contributions in an interesting and interactive manner.

The demo program will be featured prominently in the conference program and should be seen as a vehicle for researchers, practitioners, and commercial/industrial/non-profit institutions to showcase innovative new technologies or applications in health informatics.

The demo review process will look for practical uses of technology and also for a "wow" factor in all submissions. We encourage the description of early prototypes as long as they clearly present a coherent, end-to-end view of what the application might become once it gets deployed in production.

A submission proposal includes a demo paper and can optionally include a demo video, whose URL should be referred to in the textual demo description for reviewers to take into consideration when analyzing the submission. Note that the demo paper should differ from regular papers in several important aspects. First, it should clearly describe the overall architecture of the system or technology demonstrated. Second, the paper should put great emphasis on the motivation of the work, on the applications of the presented system or technology, and on the novelty of the work. Third, the proposal should clearly describe the demo scenario. In particular, it should describe how the demo audience can interact with the demo system, in order to obtain understanding of the underlying technology. For demos running over the web, a back-up scenario should be described, in case of low connectivity at the demo venue.

All topics described in the Call for Papers are eligible for demo track submissions.

WHAT SHOULD BE SUBMITTED

All aspects of the submission and notification process will be handled electronically. Submissions must adhere to the following guidelines:

" The author(s) name and affiliation(s) must be present in the submitted document. Any submitted demo proposal violating the length, file type, or formatting requirements will be rejected without review.
" Papers must adhere to the ACM Proceedings Format available for LaTex, WordPerfect, WordPerfect 9, and Word. Changing the template's font size, margins, inter-column spacing, or line spacing is prohibited. Each paper must be submitted as a single PDF file, formatted for 8.5" x 11" paper.
" The length of submission is 4 pages. This page limit includes all parts of the proposal: title, abstract, body, and bibliography.
" Each paper must provide an appendix (which is excluded from the page limit) indicating the preferred review approach, including:
- The preferred allocation of reviewing expertise. This can be done by electing the primary and secondary focus of the paper (e.g., Computing, Information Science, Medicine, Nursing, and Social/Behavioral Science).
- A bulleted list with up to 3 topics covered in the paper (from the list of conference topics)

The optional demo video should focus on illustrating the demo scenario and the interactive nature of the demo system. The video must be no more than three minutes in length and should start by clearly identifying the authors and title of the proposal. The video should be in common video format (e.g., MPEG, AVI), and should be playable on a wide variety of media players. We strongly encourage authors to produce and submit a demo video and such video will be linked off of the final program on the conference website.

The notification for acceptance of demo papers is the same as that for regular papers. Accepted demo proposals will appear in the final proceedings and in ACM digital library. Note that all deadlines are the same as for regular paper submissions.

IMPORTANT DATES

Demo paper submission deadline: June 4, 2010 11:30pm EST
Notification of acceptance: August 6, 2010 11:30pm EST
Camera-ready copy due: August 16, 2010 11:30pm EST

[DMANET] University Professor (W3) for Mathematical Optimization at Otto-von-Guericke University Magdeburg

The Faculty of Mathematics at Otto-von-Guericke University Magdeburg calls for
applications for the following position:

University Professor (chair, W3) for Mathematical Optimization
(Position formerly held by Prof. Dr. Robert Weismantel)

The successful candidate will have a record of excellent contributions in Mathematics
within the area of Optimization. We expect the candidate to further strengthen the
faculty's focal point in Optimization. It would be desirable that the candidate's
research work has connections (or strong potential for the development of such
connections) to areas like process engineering, systems biology, or biomedicine.
Institutes like the Research Center for Dynamical Systems on Biomedicine and
Process Engineering and the Max Planck Institute for Dynamics of Complex Technical
Systems provide excellent possibilities for interdisciplinary cooperations.

The candidate is expected to teach classes of students in Mathematics as well as
to contribute to the faculty's teaching service for other faculties. Most of the
teaching will be done (at least after a while) in German language. The candidate
needs to hold the degree of Habilitation or to have an equivalent scientific record.

Applications including curriculum vitae, list of publications, record of teaching
experience and copies of certificates of academic degrees shall be directed to:

Otto-von-Guericke-Universitaet Magdeburg
Dekan der Fakultaet fuer Mathematik
Herrn Prof. Dr. W. Willems
Postfach 4120
39016 Magdeburg

For more information, including the official call for applications, please contact
Volker Kaibel (kaibel@ovgu.de).

Deadline for applications: July 1, 2010

--
Prof. Dr. Volker Kaibel
Otto-von-Guericke Universitaet Magdeburg
http://www.math.uni-magdeburg.de/~kaibel


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

Sunday, May 30, 2010

[DMANET] [IEEE WCSP2010] Submission deadline is approaching: June 15

*Please accept our apologies if you receive multiple copies of this emails*

Dear all Colleagues,


The paper submission deadline of the IEEE WCSP (2010 International
Conference on Wireless Communications and Signal Processing, Suzhou, China,
http://www.ic-wcsp.org/) is approaching (June 15). You are expected to
contribute your solid works as much as you can!


See you in Suzhou - another 'Paradise on Earth'!


Honggang Zhang


+++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++

Last CALL FOR PAPERS - Two Week Reminder

WCSP 2010 has been marked by IEEE ComSoc's Conference Map a


http://ww2.comsoc.org/conferences/map


+++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++


IEEE WCSP 2010 - 2010 International Conference on Wireless Communications
and Signal Processing


21-23 October, 2010, Suzhou, China, http://www.ic-wcsp.org/

Highlights on the IEEE WCSP Series a

- WCSP 2009 received 1023 papers from 32 countries and regions like the
United States, Russia, Germany, and Japan etc.

- After strict review by 104 international reviewers, 366 papers have been
accepted by WCSP 2009.

- WCSP 2010 - Excellent global leaders as Keynote Speakers:

1. Dr. T. Russell Hsing, Telcordia Technologies, USA
2. Prof. Geoffrey Ye Li, Georgia Institute of Technology, USA
3. Prof. Shuguang (Robert) Cui, Texas A&M University, USA
4. Prof. Helmut Boelcskei. ETH Zuerich, Switzerland
5. Prof. Ivan Stojmenovic, University of Ottawa, Canada


Organizing Committee


(A) General Co-Chairs
Prof. Yafei Zhang, PLA Univ. of Sci. and Tech.
Prof. Xiaohu You, Southeast Univ.
Prof. Wenjun Zhang Shanghai Jiao Tong Univ.
(B) Technical Program Co-Chairs
Prof. Jinlong Wang, PLA Univ. of Sci. and Tech.
Prof. Xiang-Gen Xia, Univ. of Delaware
(C) Finance Co-Chairs
Prof. Youyun Xu, PLA Univ. of Sci. and Tech.
Prof. Nan Liu, Southeast Univ.
(D) Local Arrangement Chair
Prof. Bangning Zhang, PLA Univ. of Sci. and Tech.
(E) Publicity Co-chairs
Prof. Honggang Zhang, Zhejiang Univ.
Prof. Xinbing Wang, Shanghai Jiao Tong Univ.
(F) Publication Chair
Prof. Hai Wang, PLA Univ. of Sci. and Tech.
(G) Secretary
Mr. Ning Li, PLA Univ. of Sci. and Tech.
**********************************************************
*
* 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] Journees Montoises 2010: deadline extended to June 7, 2010 (Mons Days 2010)

Dear colleagues,

Due to several requests, the submission deadline for JM 2010 has been extended to June 7, 2010.
We are looking forward to your participation.

Best regards,
The organizing committee.

------------------------------------------------------------------
We apologize if you receive multiple copies of this call for papers / call for participation.
Please distribute.
------------------------------------------------------------------
=======================================================================
Last Call for Papers

JM 2010
13th Mons Days of Theoretical Computer Science

http://mis.u-picardie.fr/JM2010
Amiens, France
September 6-10, 2010

Extended Deadline for submissions: June 7, 2010

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

Cher(e) collegue, (for English version see below)

Nous nous permettons de vous informer que les treiziemes

"Journees Montoises d'Informatique Theorique"

se derouleront a Amiens du 6 au 10 septembre 2010.

http://www.mis.u-picardie.fr/JM2010/

Les themes de cette conference en mathematiques discretes et
informatique theorique sont :

- la combinatoire et l'algorithmique sur les mots,
- la theorie des automates et des langages formels,
- les systemes dynamiques discrets,
- la geometrie discrete,
- et leurs liens avec d'autres domaines (theorie des nombres,
verification, logique, theorie des semigroupes, theorie des jeux,
pavages, ... )

Les dates importantes sont rappelees en fin de message. La procedure a
suivre pour soumettre un expose sera decrite sur le site
de la conference.

N'hesitez pas a faire circuler l'information et a faire suivre ce
message aupres de vos collegues.

En esperant vous rencontrer nombreux lors de ces journees, recevez cher
(e) collegue, nos salutations amicales.
Le comite d'organisation.

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

Dear Colleague,

Let us inform you that the 13th

"Journees Montoises d'Informatique Theorique" (Mons Theoretical
Computer Science Days)

will be held at Amiens (France) from September 6th to September 10th
2010.

http://mis.u-picardie.fr/JM2010/index-en.html

The main topics of this conference on discrete mathematics and
theoretical computer science are:

- Combinatorics and algorithmics on words,
- Automata theory and formal languages theory,
- Discrete dynamical systems,
- Discrete geometry,
- and their relationship with other topics (number theory, model-
checking, logical aspects, theory of semigroups, game theory,
tilings, ...)

Important dates are given below.
For submitting a paper/a talk, please have a look at the web page.

Please circulate this information by forwarding this message to your
colleagues.

We hope to see you soon in Amiens. With best regards,
The organizing committee.

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

IMPORTANT DATES
*******************
Extended Submission deadline: June 7, 2010
Acceptance notification: July 12, 2010
Deadline for participation: August 22, 2010
Conference: September 6-10, 2010

INVITED SPEAKERS
*******************
Juhani Karhumaki (University of Turku, Finland)
Alejandro Maas (Santiago, Chile)
Franck Petit (Universite Paris VI, France)
Jean-Eric Pin (CNRS Paris, France)
Narad Rampersad (University of Liege, Belgium)
Mathieu Sablik (Universite de Provence, France)

PROGRAM COMMITTEE
***********************

Boris Adamczewski (Lyon, France)
Valerie Berthe (CNRS, LIRMM Montpellier, France)
Veronique Bruyere (Mons, Belgium)
Fabien Durand (Amiens, France)
Petr Kurka (Prague, Republique tcheque)
Thierry Lecrocq (Rouen, France)
Jean Mairesse (CNRS Paris, France)
Antonio Restivo (Palerme, Italie)
Gwenael Richomme (Montpellier, France)
Michel Rigo (Liege, Belgique)
Patrice Seebold (Montpellier, France)

ORGANIZING COMMITTEE
**************************

Fabien Durand (Amiens, France)
Richard Groult (Amiens, France)
Julien Leroy (Amiens, France)
Florence Leve (Amiens, France)
Samuel Petite (Amiens, France)
Gwenael Richomme (Montpellier, France)
Michel Rigo (Liege, Belgique)

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

[DMANET] ISAAC 2010 CALL FOR PAPERS

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

ISAAC 2010 Call for Papers

The 21st International Symposium on Algorithms and Computation (ISAAC 2010)

December 15-17, 2010, Jeju Island, Korea
http://tclab.kaist.ac.kr/~isaac10/

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

The 21st International Symposium on Algorithms and Computation (ISAAC 2010) will be held in Jeju Island, Korea, December 15-17, 2010.
The symposium is intended to provide a forum for researchers working in algorithms and theory of computation.
Papers presenting original research in the areas of algorithms and theory of computation are sought.
Papers in relevant applied areas are also welcome.


Topics
The topics include, but are not limited to:

-Algorithms and data structures
-Approximation algorithms
-Combinatorial optimization
-Computational biology
-Computational complexity
-Computational geometry
-Cryptography
-Experimental algorithms
-Graph drawing and graph algorithms
-Internet algorithms
-Online algorithms
-Parallel and distributed algorithms
-Quantum computing
-Randomized algorithms

Important Dates
Submission deadline: June 18, 2010
Notification of acceptance: August 20, 2010
Final Version Due: TBA

Program Committee co-Chairs
Otfried Cheong (KAIST, Korea)
Kyung-Yong Chwa (KAIST, Korea)
Kunsoo Park (Seoul National University, Korea)

Organizing Committee Chair
Joon-Soo Choi (Kookmin University, Korea)

Venue
The conference will be held at Ramada Plaza Jeju Hotel, Jeju Island, Korea.


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 twelve 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 its easychair submission server.


Publication

The symposium proceedings will be published by Springer-Verlag in Lecture Notes in Computer Science (LNCS) series.
Selected papers will be invited to special issues of Algorithmica and International Journal on Computational Geometry and Applications.


Awards

The Best Paper and the Best Student Paper will be awarded. A paper is eligible for the Best Student Paper if all authors are full-time students at the time of submission.
To indicate that a submission is eligible, please add the phrase "Eligible for best student paper" as the last sentence in the "Abstract" field in the web form on the submission server as well as in the paper.
(http://www.easychair.org/conferences/?conf=isaac2010)


Kyung-Yong Chwa
Program Committee co-Chairs

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

Friday, May 28, 2010

[DMANET] Call for submission MOPTA 2010

CALL FOR PARTICIPATION
MOPTA 2010: Abstract Submission deadline: June 16, 2010

Modeling and Optimization: Theory and Applications (MOPTA 2010)
August 18-20, 2010, Lehigh University, Bethlehem, PA
http://coral.ie.lehigh.edu/~mopta/

SCOPE
The conference is an annual event aiming to bring together a diverse
group of people fromboth discrete and continuous optimization, working on both theoretical
and applied aspects.
Our target is to present a diverse set of exciting new developments from
different optimization areas while at the same time providing a setting which will allow
increased interaction among
the participants. We aim to bring together researchers from both the
theoretical and applied communities who do not usually have the chance to interact in the
framework of a medium-scale event.

CONFIRMED PLENARY SPEAKERS INCLUDE
Egon Balas, Tepper School of Business, Carnegie Mellon University;
http://public.tepper.cmu.edu/facultydirectory/FacultyDirectoryProfile.aspx?id=39
Mung Chiang, Dept. of Electrical Engineering, Princeton University;
http://www.princeton.edu/~chiangm
Donald Goldfarb, Dept. of IE and OR, Columbia University;
http://www.columbia.edu/~goldfarb
Arkadi Nemirovski, School of ISyE, Georgia Institute of Technology;
http://www.isye.gatech.edu/faculty-staff/profile.php?entry=an63
Anthony T. Patera, Dept. of Mechanical Engineering, MIT;
http://meche.mit.edu/people/faculty/index.html?id=66
H. Edwin Romeijn, Dept. of IOE, University of Michigan;
http://www.ise.ufl.edu/romeijn
Andrzej Ruszczynski, RUTCOR and Dept. of MSIS, Rutgers University;
http://www.rusz.rutgers.edu/

AIMMS-MOPTA MODELING COMPETITION:
An optimization modeling competition, sponsored by AIMMS is organized.
Finalist will present their results at a special session of MOPTA 2010.
Problem released January 2010.

CONTRIBUTED TALKS
Each accepted paper will be allotted a 25 minute talk. Authors wishing
to speak and/or organize a session should submit an abstract via the
conference WEB page by June 16, 2010.

IMPORTANT DATES
Abstract Submission deadline: June 16, 2010
Early registration deadline: July 15, 2010
Conference date: *18-20 August 2010*.

IMPORTANT NOTE:
Bethlehem, PA is just one hour drive west of the NewArk (EWR)
International Airport, less than an hour drive north of Philadelphia.
Participants may fly to the Allentown-Bethlehem (ABE) airport, 10 minutes
drive from Lehigh University.

On behalf of the Organizing Committee
Tamas Terlaky, terlaky@lehigh.edu (Chair, Lehigh University)
Please direct questions to: Pietro Belotti, belotti@Lehigh.EDU
Contact for modeling competition: Imre Polik, imp208@lehigh.edu
Further information is available at: http://coral.ie.lehigh.edu/~mopta/

We are looking forward to welcoming you at MOPTA 2010 in Bethlehem at
Lehigh University in August 2010.

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

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

Thursday, May 27, 2010

[DMANET] WCO extended deadline

Final Call for Papers - EXTENDED DEADLINE

3rd Workshop on Computational Optimization (WCO 2010)
Wisla, Poland, October 18-20, 2010

in the framework of IMCSIT 2010 - International Multiconference
on Computer Science and Information Technology

http://www.imcsit.org

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

We invite original contributions related with both theoretical and practical
aspects of optimization methods. The list of topics includes, but is not
limited to:

- unconstrained and constrained optimization
- combinatorial optimization
- global optimization
- multiobjective and multimodal optimization
- dynamic and noisy optimization
- large scale optimization
- parallel and distributed approaches in optimization
- random search algorithms, simulated annealing, tabu search and other
derivative free optimization methods
- interval methods
- nature inspired optimization methods (evolutionary algorithms, ant colony
optimization, particle swarm optimization, immune artificial systems etc)
- hybrid optimization algorithms involving natural computing techniques and
other global and local optimization methods
- memetic algorithms
- optimization methods for learning processes and data mining
- computational optimization methods in statistics, econometrics, finance,
physics, medicine, biology, engineering etc.

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

Important dates:

20.06.2010 (June 20, 2010) Full paper submission

12.07.2010 (July 12, 2010) Notification of acceptance

23.08.2010 (August 23, 2010) Camera-ready version of the accepted paper


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

Submission

* Authors should submit draft papers (as Postscript, PDF of MSWord file) no
longer than 8 pages (IEEE style - available at http://www.submit.imcsit.org=/).

* Papers will be refereed and accepted on the basis of their scientific
merit and relevance to the workshop.

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

Publication

* Accepted and presented papers will be published in the Conference
Proceedings and included in the IEEE Xplore® database.

* Authors of selected papers presented during the WCO Workshop will be
invited to submit extended versions of their contributions
to one of the following journals (both of them being indexed by Thomson
Institute of Scientific Information):

- Control and Cybernetics (
http://www.ibspan.waw.pl/kategorie/control_and_cybernetics_en)
- Carpathian Journal of Mathematics (http://carpathian.ubm.ro/).

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

Organizing Committee

Stefka Fidanova, Bulgaria
Josef Tvrdik, Czech Republic
Daniela Zaharie, Romania


Assoc. Prof. Stefka Fidanova
IPP-BAS
Acad. G. Bonchev str. bl.25A
1113 Sofia Bulgaria
Ph. +359-2-9796642
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************

Wednesday, May 26, 2010

[GD 2010] Final Call for Papers

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

18th International Symposium
G R A P H D R A W I N G
(GD 2010)

21-24 September, 2010 - Konstanz, Germany

http://www.graphdrawing.org/gd2010/

=======================================================================
submission deadline: June 7, 2010 - notification: July 23, 2010
=======================================================================

Graph Drawing is concerned with the geometric representation of graphs
and networks and is motivated by those applications where it is crucial
to visualize structural information as graphs.

Since graph drawing methods form the algorithmic core of network
visualization, bridging the gap between theoretical advances and
implemented solutions is an important aspect of the conference.

Indeed, advances in graph drawing are important in several technological
areas such as Web computing, e-commerce, VLSI circuit design,
information systems, software engineering, computational cartography,
visual interfaces, bioinformatics, and networking.

Researchers and practitioners working on any aspect of graph drawing
are invited to contribute and participate.

The range of topics includes, but is not limited to:

• visualization of networks from application areas such as the
life sciences, social sciences, geography, engineering,
business intelligence, or communications
• software systems for graph visualization
• interfaces for interacting with graphs
• graph drawing algorithms
• geometric graphs
• planarity and topological graph theory
• graph theory and optimization on graphs

Invited Speakers:
-----------------
Peter Eades, University of Sydney, Australia
Carsten Thomassen, Technical University of Denmark, Lyngby, Denmark

Call for Papers:
----------------
Authors are invited to submit papers describing original research of
theoretical or practical significance to graph drawing, including
demonstrations of software systems. Papers may be either long (up to
12 pages) or short (up to 6 pages), using single-spaced LNCS style. The
claims made in submissions should be fully substantiated, including full
proofs, appropriate experimental data, or system descriptions. If this
information will not fit within the page limits, authors may include
a clearly marked appendix that will be read at the discretion of the
reviewers.

Accepted submissions will be published in the conference proceedings,
which will be included in the Lecture Notes in Computer Science series
of Springer.

Selected papers will be invited for submission to a special issue of
the Journal of Graph Algorithms and Applications.

Call for Posters:
-----------------
Submissions of posters on graph drawing and related areas are also
solicited. The poster session will provide a forum for the communication
of late-breaking research results (which may also appear elsewhere) to
the graph drawing community. Posters should be accompanied by an abstract
(up to 2 pages); abstracts of accepted posters will be included in the
conference proceedings.

Graph Drawing Contest:
----------------------
Following the tradition of previous conferences, a graph drawing contest
will be held. Details about the contest will be provided on the conference
Web site.


Important Dates:
----------------

Paper submission: June 7
Notification of acceptance: July 23
Poster submission: August 16
Final versions due: September 10
Contest submission: September 17
Symposium: September 21-24, 2010


Committees:
-----------
Program David Auber (University of Bordeaux I)
Christian Bachmaier (University of Passau)
Ulrik Brandes (University of Konstanz, chair)
Sabine Cornelsen (University of Konstanz)
Giuseppe Di Battista (University of Rome III)
Emilio Di Giacomo (University of Perugia)
David Eppstein (University of California)
Emden Gansner (AT&T)
Michael Goodrich (University of California)
Patrick Healy (University of Limerick)
Seok-Hee Hong (University of Sydney)
Michael Kaufmann (University of Tübingen)
Stephen Kobourov (University of Arizona)
Jan Kratochvíl (University of Prague)
Giuseppe Liotta (University of Perugia)
Henk Meijer (Roosevelt Academy)
Petra Mutzel (University of Dortmund)
Patrice Ossona de Mendez (EHESS Paris)
Maurizio Patrignani (University of Rome III)
Marcus Schaefer (DePaul University)
Bettina Speckmann (TU Eindhoven)
Antonios Symvonis (NTUA)
Stephen Wismath (University of Lethbridge)
Xiao Zhou (Tohoku University)

Contest Christian Duncan (Louisiana Tech)
Carsten Gutwenger (TU Dortmund)
Lev Nachmanson (Microsoft)
Georg Sander (IBM, chair)

Organization Melanie Badent
Ulrik Brandes (co-chair)
Sabine Cornelsen (co-chair)
Martin Mader
Barbara Pampel

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

Gold Sponsors: Tom Sawyer Software, yWorks
Silver Sponsor: IBM, Microsoft Research
Contributors: EADS, Siemens

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

postdoctoral fellowship

POSTDOCTORAL FELLOWSHIP

UNIVERSITE DU QUEBEC EN OUTAOUAIS, CANADA


A postdoctoral position in computer science is available at the
Research Chair in Distributed Computing of the
Universite du Quebec en Outaouais, Canada,
under the supervision of Prof. Andrzej Pelc.

Requirements: * Ph.D. in Computer Science or Mathematics obtained between
January 1, 2008 and December 31, 2010.
* Strong academic background in algorithms and graph
theory.
* Strong research record and potential in one or more
of the
following domains:
- design and analysis of combinatorial algorithms
- algorithmic aspects of distributed and parallel
computing
- algorithms for interconnection networks
- algorithmic aspects of fault tolerance

Further information about the
Research Chair in Distributed Computing, and
about topics related to prospective postdoctoral research
of the successful candidate can be obtained at:
http://w3.uqo.ca/pelc/main.html
and
http://w3.uqo.ca/pelc/caldi/index.htm

Duties: Research in the above areas. NO teaching duties.
Knowledge of French is NOT necessary.
Duration: 12 months
Beginning: January 2011 (flexible)
Stipend: $40 000 per year (Canadian dollars).
Location: The Universite du Quebec en Outaouais is situated in Gatineau,
across the river from Ottawa. The National
Capital region of Ottawa offers a variety of possibilities
for cultural and sports activities (swimming, sailing, hiking,
skating, cross-country and downhill skiing). The campus of the
University of Quebec is a 10 min. drive from downtown Ottawa.

Applications including a detailed CV (with e-mail address),
a statement of research interests, a complete list of publications,
an abstract of Ph.D. Thesis and reprints (preprints) of 2 best papers
should be sent to the following address (by physical mail, not by e-mail):

Prof. Andrzej Pelc
Research Chair in Distributed Computing
Departement d'informatique
Universite du Quebec en Outaouais
C.P. 1250, succ. Hull
Gatineau, Quebec J8X 3X7
Canada

Please arrange to have three letters of reference sent directly to the same
address. Deadline for applications is June 30, 2010.

Informal enquiries at
e-mail: pelc@uqo.ca

Tuesday, May 25, 2010

CFP SPIRE 2010 (Los Cabos, Mexico)

CALL FOR PAPERS

SPIRE 2010
17th International Symposium on String Processing and Information Retrieval

October 11-13 2010

Los Cabos, Mexico

http://spire2010.natix.org

SUBMISSION DEADLINE: June 20 2010

INTRODUCTION
SPIRE 2010 is the 17th International Symposium on String Processing and
Information Retrieval. The first four editions of the conference focused
primarily on string processing and were held in South America under the
title of WSP (South American Workshop on String Processing). WSP was transformed
into SPIRE in 1998, when the scope of the conference was broadened to include
information retrieval. This was motivated by the increasing relevance of
information retrieval and its close inter-relationship with string processing.
The last three SPIRE conference sites have been: Santiago, Chile (2007),
Melbourne, Australia (2008) and Saariselkä, Finland (2009).
The conference proceedings have been published in Springer's Lecture Notes
in Computer Science (LNCS) series since 2002. This tradition continues also
in 2010.

LOCATION

SPIRE 2010 will be co-organized by the School of Physics and Mathematics at
Universidad Michoacana, in Morelia, Mexico and the CICESE research center in
Ensenada, Mexico. The conference will take place at the premiere resort area
of Los Cabos, Mexico. With an incredible array of first-class resorts,
world class fishing, activities for the entire family and elegant dining venues,
Cabo San Lucas and San Jose del Cabo have much to offer. The conference venue
will be the Los Cabos Grand Faro Resort in San Jose del Cabo.


TOPICS

SPIRE 2010 covers research in all aspects of string processing, information
retrieval, computational biology, pattern matching, semi-structured data, and
related applications. Typical topics of interest include (but are not limited
to):

** String Processing: Dictionary algorithms, Text searching, Pattern matching,
Text and sequence compression, Automata based string processing.

** Information Retrieval: Information retrieval models, Indexing, Ranking
and filtering, Interface design, Visualization, Benchmarking.

** Natural language processing: Text analysis, Text mining, Machine learning,
Information extraction, Language models (both structural and semantic),
Knowledge representation.

** Search applications and usage: Cross-lingual information access systems,
Multimedia information access, Digital libraries, Collaborative retrieval
and Web related applications, Semi-structured data retrieval, Evaluation.

** Interaction of biology and computation: DNA sequencing and applications in
molecular biology, Evolution and phylogenetics, Recognition of genes and
regulatory elements, Sequence driven protein structure prediction.

** Efficient implementation of IR systems: Practical implementations with
strong experimental support, toolkits for IR systems. Algorithms and data
structures for IR.


SUBMISSION

SPIRE 2010 welcomes submissions varying from short 6-page papers up to
long 12-page papers. Submissions should be anonymous and formatted using
LNCS style. At least three reviewers will evaluate each paper based on its
originality, quality and significance of theoretical and/or practical
contribution, the validity and robustness of the methodology used, and the
overall contribution to understanding the context of the work. Any
paper may be accepted as a short or a long contribution; the former will receive
less time for presentations and fewer pages in the proceedings.

STUDENT SPONSORSHIP

Yahoo! Research has generously offered sponsorship for some student support
packages that cover SPIRE 2010 registration fees and provide partial support
for accommodation costs for volunteers. See the conference website for more
information.

INVITED SPEAKERS
SPIRE 2010 will feature invited lectures by

Gonzalo Navarro (U. Chile, Chile) and
Mark Najork (Microsoft Research)

WORKSHOPS
We are planning to host workshops on topics in both string processing and
information retrieval. The workshops will take place on October 14 2010, the
day after the main conference. More details will be posted on the conference
website.

PROGRAM COMMITTEE CO-CHAIRS

Edgar Chavez (U Michoacana/CICESE)
Stefano Lonardi (UC Riverside)


PROGRAM COMMITTEE

Amihood Amir, Bar-Ilan, Israel
Alberto Apostolico, Georgia Tech, USA and Padova, Italy
Mikhail Atallah, Purdue, USA
Ricardo Baeza-Yatez, Yahoo! Research, Spain
Alvaro Barreiro, A Coruña, Spain
Paolo Boldi, Milano, Italy
Carlos Castillo, Yahoo! Research, Spain
Edgar Chavez, Michoacana, Mexico (co-chair)
Fabio Crestani, Strathclyde, UK
Maxime Crochemore, Paris-Est, France
Bruce Croft, U. Massachusetts, USA
Andrea Esuli, CNR, Italy
Martin Farach-Colton, Rutgers, USA
Dan Gusfield, UC Davis, USA
Gregory Kucherov, CNRS, France
Stefano Lonardi, UC Riverside, USA (co-chair)
Alex Lopez-Ortiz, Waterloo, Canada
Giovanni Manzini, East Piedmont, Italy
Veli Mäkinen, Helsinki, Finland
Alistair Moffat, Melbourne, Australia
Costas Iliopoulos, King's College London, UK
Moshe Lewenstein, Bar-Ilan, Israel
Massimo Melucci, Padova, Italy
Ian Munro, Waterloo, Canada
Thierry Lecroq, Rouen, France
Gonzalo Navarro, U. Chile, Chile
Vibhu Mittal, Google, USA
Tao Jiang, UC Riverside, USA
Horacio Rodriguez, Politècnica de Catalunya, Spain
Kunihiko Sadakane, Kyushu, Japan
Cenk Sahinalp, Simon Fraser, Canda
Fabrizio Silvestri, CNR, Italy
Steven Skiena, Stony Brook, USA
Jens Stoye, Bielefeld, Germany
Gabriel Valiente, UPC, Spain
Nivio Ziviani, Minas Gerais, Brazil
Michal Ziv-Ukelson, Tel Aviv, Israel

Cfp:12th International Workshop on Verification of Infinite-State Systems

(Apologies for multiple copies)

------------------------------------------------
Call For Papers

12th International Workshop on Verification of Infinite-State Systems
(INFINITY 2010 - http://www.it.uu.se/workshop/infinity2010)

Singapore, September 21, 2010
Co-located with ATVA 2010 (http://atva10.comp.nus.edu.sg)

Aim:

The aim of the INFINITY workshop is to provide a forum for researchers
interested in the development of formal methods and algorithmic techniques for
the analysis of systems with infinitely many states, and their application in
automated verification of complex software and hardware systems.

Program Committee:

* Parosh Abdulla, Uppsala University, Sweden
* Yu-Fang Chen (co-chair), Academia Sinica, Taiwan
* Peter Habermehl, LIAFA, Universite Denis Diderot---Paris 7, CNRS, France
* Radu Iosif, VERIMAG, Universite Joseph Fourier/INPG/CNRS, France
* Barbara Koenig, Universitat Duisburg-Essen, Germany
* Akash Lal, Microsoft Research, Bangalore, India
* Richard Mayr, University of Edinburgh, United Kingdom
* Kedar Namjoshi, Bell Labs, Alcatel-Lucent, USA
* Jean-Francois Raskin, Universite Libre de Bruxelles, Belgium
* Ahmed Rezine (co-chair), Uppsala University, Sweden
* Arnaud Sangnier, Universita di Genova, Italy
* Yih-Kuen Tsay, National Taiwan University, Taiwan
* Tomas Vojnar, Brno University of Technology, Czech Republic

Topics of interest include (but are not limited to):

* Infinite-state models of software/hardware systems
* Abstraction techniques for infinite-state systems
* Symbolic analysis techniques and data structures for representing infinite state spaces
* Model-checking, static analysis, abstract interpretation, preorder/equivalence-checking, and control synthesis for infinite-state systems
* Parameterized networks of parallel processes, dynamic networks, mobile systems
* Systems with unbounded dynamic data and control structures
* Probabilistic and timed systems
* Games in modeling and verification of infinite-state systems
* Verification techniques for security properties, cryptographic protocols
* Verification techniques for systems biology

Paper Submission:

There are two types of submissions.

* Regular papers will be thoroughly evaluated by the programme committee and accepted submissions will be published in the proceedings. Authors are invited to submit an original contribution presenting unpublished work in the relevant areas. By submitting you agree that, in case of acceptance, at least one (co-)author will register and present the paper at the workshop. Contributions should be typeset in the EPTCS format and should not exceed 15 pages.

* Presentations are reports on recent (or ongoing) work. It is possible to submit a paper which recently appeared (or which is going to appear) in proceedings of another conference, or which has not yet been submitted. Neither the paper nor the abstract will be published in the proceedings. These contributions will be judged solely on the basis of their attractiveness to the workshop. Authors are invited to submit a one-page abstract.

Both kind of papers should be submitted through EasyChair by following the link: http://www.easychair.org/conferences/?conf=infinity2010.

Proceedings:

Pre-proceedings of INFINITY 2010 will be available at the workshop in a printed
form. Final versions of the papers will appear in a volume of Electronic Proceedings in Theoretical Computer Science.

Important Dates:

Regular Papers

* Submission: June 15, 2010
* Notification: July 15, 2010
* Final version: August 10, 2010

Presentation

* Submission: August 15, 2010
* Notification: August 30, 2010

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

FLoC 2010: US-based Student Travel Support

2010 FEDERATED LOGIC CONFERENCE (FLoC'10)

Edinburgh, Scotland, U.K.
July 9-21, 2010
http://www.floc-conference.org

FLoC'10 US-based Student Travel Support
Note: Application Deadline is June 7, 2010.
Applicants will be informed of decision by June 17, 2010.

FLoC has some additional funds to provide travel grants of up to $750 for
US-based student attendees of FLoC'10. Funds can be requested to cover
airfare (on US carriers, for flights from the US) and lodging (meals and
registration fees will not be funded). We expect to award about 10 grants.
The application deadline is June 7, 2010, and recipients will be notified by
June 17. This funding is available only to students attending academic
institutions in the US, regardless of immigration/visa status.

Funds will be provided after the conference, upon submission of receipts and
a short report detailing the awardee's experience at and benefit from
FLoC'10 (these reports will be used to compile a final report to our
sponsors). Awardees are expected to spend up to one day during the meeting
helping with logistics.

Applicants' advisors should send a brief statement certifying the
applicants' educational status and describing the financial need and the
merit of the applicant. Special efforts will be made to bring to FLoC
students from under-represented groups. Applications must be received by the
deadline. Applicants are required to apply at the following web form:

http://spreadsheets.google.com/embeddedform?formkey=dEF3N1RVOG1CNmRvYlJiTHVOQXgxU1E6MA

Advisor letters (plaintext only) should be sent to floc10@cs.rice.edu by
June 7, 2010.

If you have questions, please contact vardi@cs.rice.edu.
----------------------
You are subscribed to the FLoC 2010 mailing list.
To unsubscribe please send an email to majordomo@informatik.uni-frankfurt.de
with the keywords unsubscribe floc2010 in the message body.

FLoC 2010: US-based Student Travel Support

2010 FEDERATED LOGIC CONFERENCE (FLoC'10)

Edinburgh, Scotland, U.K.
July 9-21, 2010
http://www.floc-conference.org

FLoC'10 US-based Student Travel Support
Note: Application Deadline is June 7, 2010.
Applicants will be informed of decision by June 17, 2010.

FLoC has some additional funds to provide travel grants of up to $750 for
US-based student attendees of FLoC'10. Funds can be requested to cover
airfare (on US carriers, for flights from the US) and lodging (meals and
registration fees will not be funded). We expect to award about 10 grants.
The application deadline is June 7, 2010, and recipients will be notified by
June 17. This funding is available only to students attending academic
institutions in the US, regardless of immigration/visa status.

Funds will be provided after the conference, upon submission of receipts and
a short report detailing the awardee's experience at and benefit from
FLoC'10 (these reports will be used to compile a final report to our
sponsors). Awardees are expected to spend up to one day during the meeting
helping with logistics.

Applicants' advisors should send a brief statement certifying the
applicants' educational status and describing the financial need and the
merit of the applicant. Special efforts will be made to bring to FLoC
students from under-represented groups. Applications must be received by the
deadline. Applicants are required to apply at the following web form:

http://spreadsheets.google.com/embeddedform?formkey=dEF3N1RVOG1CNmRvYlJiTHVOQXgxU1E6MA

Advisor letters (plaintext only) should be sent to floc10@cs.rice.edu by
June 7, 2010.

If you have questions, please contact vardi@cs.rice.edu.

Monday, May 24, 2010

[DMANET] WG 2010: CALL FOR PARTICIPATION (Early registration due: May 31, 2010)

(sorry for multiple postings)


CALL FOR PARTICIPATION to WG 2010

REGISTRATION SERVER: http://wg2010.indev.gr/registration/

Early registration due: May 31, 2010

Hotel rooms are first-come first-serve, so register early.

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

36th International Workshop on
Graph-Theoretic Concepts in Computer Science
(WG 2010)

Zaros, Crete, Greece
June 28-30, 2010

http://www.math.uoa.gr/wg2010/


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


The WG 2010 conference will be held in Zaros, Creta, Greece. It
continues a long series of 35 previous WG's. Since 1975, it took
place twenty times in Germany, four times in the Netherlands,
twice in Austria, twice in France as well as once in Italy,
Slovakia, Switzerland, Czech Republic, Norway, and in
the United Kingdom.


AIMS AND SCOPE

WG 2010 aims at uniting theory and practice by demonstrating how
Graph-Theoretic concepts can be applied to various areas in
Computer Science, or by extracting new problems from applications.
The goal is to present recent research results and to identify
and explore directions of future research. The conference is
well-balanced with respect to established researchers and young
scientists. For many years now, the proceedings have been
published in the LNCS series of Springer-Verlag. We need the
final version of accepted papers approximately two months after
the conference.

Papers are solicited describing original results on all aspects
of graph-theoretic concepts in Computer Science, e.g. structural
graph theory, sequential, parallel, randomised, parameterized,
and distributed graph and network algorithms and their
complexity, graph grammars and graph rewriting systems, graph-
based modelling, graph-drawing and layout, random graphs, diagram
methods, and support of these concepts by suitable
implementations. The scope of WG includes all applications of
graph-theoretic concepts in Computer Science, including data
structures, data bases, programming languages, computational
geometry, tools for software construction, communications,
computing on the web, models of the web and scale-free networks,
mobile computing, concurrency, computer architectures, VLSI,
artificial intelligence, graphics, CAD, operations research, and
pattern recognition.


PROGRAM COMMITTEE

Fedor V. Fomin, University of Bergen, Norway
Pierre Fraigniaud, CNRS and University Paris Diderot, France
Gregory Z. Gutin, Royal Holloway, University of London, UK
Frederic Havet, INRIA Sophia-Antipolis, France
Giuseppe F. Italiano, University of Rome Tor Vergata, Italy
Kazuo Iwama, Kyoto University, Japan
Jan Kratochvil, Charles University, Czech Republic
Jan van Leeuwen, Utrecht University, The Netherlands
Bojan Mohar, Simon Fraser University, Canada
David Peleg, Weizmann Institute of Science, Israel
Prabhakar Ragde, University of Waterloo, Canada
Dieter Rautenbach, Ilmenau University of Technology, Germany
Saket Saurabh, Institute of Mathematical Sciences, India
Ingo Schiermeyer, Freiberg University of Mining & Technology, Germany
Maria Serna, Technical University of Catalonia, Spain
Martin Skutella, Technical University of Berlin, Germany
Dimitrios M. Thilikos (Chair), National & Kapodistrian Univ. of Athens, Greece
Peter Widmayer, Federal Institute of Technology Zurich, Switzerland
Gerhard J. Woeginger, Eindhoven University of Technology, The Netherlands


INVITED SPEAKERS

* Dimitris Achlioptas (Department of Computer Science UC Santa Cruz)
* Erik Demaine (MIT Computer Science and Artificial Intelligence Laboratory)

ORGANIZATION

* Anogia Academic Village
* Department of Mathematics of the National and Kapodistrian University of Athens

ORGANIZING COMMITTEE

Marina Vassilaki, Archontia Giannopoulou, Athanassios Koutsonas, Konstantinos Stavropoulos,
Ignasi Sau, Charalampos Tampakopoulos, Dimitrios M. Thilikos, Dimitris Zoros
**********************************************************
*
* 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/
*
**********************************************************

Sunday, May 23, 2010

[DMANET] Two postdoc positions in Optimization and Sustainable Development (Microsoft-CNRS Chair, LIX Ecole Polytechnique)

The Microsoft Research-CNRS chair ``Optimization for Sustainable
Development'' (http://chaire-osd.polytechnique.fr/) at LIX, Ecole
Polytechnique (near Paris, France) is inviting applications for two
postdoctoral positions in the field of Operations Research applied to
Sustainable Development applications.

Research at the OSD Chair focuses on the use of optimization
techniques to applications in sustainable development, including
transportation, scheduling and energy-related
topics. Methodology-wise, we pursue interests in: multi-objective
optimization, stochastic programming, combinatorial optimization,
nonlinear and mixed-integer programming.

Current projects carried out by Chair members focus on:
- green VRP
- multi-modal shortest paths in dynamic road networks
- multi-objective shortest paths
- solution algorithms for mixed-integer nonlinear programming
- graph theory and combinatorial optimization

Applicants must hold a Ph.D. in an optimization related field, and
have an interest in applications to sustainable development.

Applications should include:
- a motivation letter
- a detailed CV (including a complete list of publications)
- two reference letters
- a research statement detailing the proposed research field

Application material should be sent to Leo Liberti (leoliberti@gmail.com)
and carry "OSD chair postdoc" in the subject field. The deadline for
applications is **** July 15, 2010 ****, with a view to start around
October 2010.

One of the two positions concerns the Multiobjective
Optimization project described below. The other position is open
(preferably within one of the research subjects listed above).

Multiobjective optimization (MOO) problems with preferences are MOO
problems plus preferences over the objectives. Therefore preferences
act as a filter and select the "preferred" solutions among
Pareto-optimal ones. Preferences can be incorporated in MOO at
different levels: before resolution, during the search process or
after the resolution process. On the other hand, representing and
reasoning about/with preferences have been extensively developed in
Artificial Intelligence over the past decade resulting in robust and
successful languages for preferences representation. The aim of this
project is to integrate these languages into MOO problems.

Applicants to the "MOO&Preferences" project should specify their preference
*clearly* in their application. Limited to the MOO applicants,
knowledge of theory of preferences, multicriteria optimization,
stochastic programming is a plus. Applications specific to the MOO
project should be sent to Souhila Kaci (kaci@cril.fr). The deadline
for applications is **** July 15, 2010 ****, with a view to start
around October 2010.

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

Saturday, May 22, 2010

AQIS'10 Call for Papers

============================================================
The 10th Asian Conference on
Quantum Information Science (AQIS'10)
http://www.qci.jst.go.jp/aqis10/

Tutorials: August 27, 2010
Conference: August 28 - 31, 2010
The University of Tokyo, Japan

Submission Deadline (2 to 10 pages): June 14 (Monday), 2010
Notification of Acceptance: July 12 (Monday), 2010
Final version (2 pages): July 30 (Friday), 2010
============================================================

Apologies for cross-postings.
Please send to interested colleagues and students.

We would like to draw your attention to the 10th Asian
Conference on Quantum Information Science. The website is
now open for registration and paper submission.

AQIS'10 is a meeting focused on quantum information science
and technology. Its broad scope includes advances in various
fields such as quantum physics, computer science, mathematics
and information technologies. This event is the memorable
tenth conference which builds upon a successful series of
EQIS'01-05 and AQIS'06-09 conferences.

AQIS'10 will take place on the University of Tokyo from
August 27 to 31. Details about the conference are available
via the website.

http://www.qci.jst.go.jp/aqis10/

The paper submission deadline is
23:59, Monday, June 14th, 2010, (Pacific Daylight Time).

Tutorial Lecturers:
* Charles Bennett (IBM)
"Quantum information theory"
* Harry Buhrman (Univ. of Amsterdam)
"Quantum non-locality"
* Richard Jozsa (Univ. of Cambridge)
"Classical simulation of quantum circuits"
* Akihisa Tomita (Hokkaido Univ.)
"Interplay between quantum computation and quantum information"

Keynote Speakers:
* David Wineland (NIST, U.S.A.)
* Andrew Yao (Tsinghua Univ.)

Invited Speakers:
* Dagmar Bruss (HHU Dusseldorf)
* Harry Buhrman (Univ. of Amsterdam)
* Bill Coish (Univ. of Waterloo)
* Jonathan P. Dowling (Louisiana St. Univ.)
* Yasunobu Nakamura (NEC Corp.)
* Artur Ekert (NUS, Univ. of Oxford)

We are looking forward to seeing you in Tokyo.

Chairs:
Steering Committee Chair
Jozef Gruska (Masaryk Univ.)
Program Committee Chair
Kae Nemoto (NII)
Program Committee Co-Chair
Michele Mosca (IQC, Univ. of Waterloo, and Perimeter Institute)
Conference Committee Chair
Hiroshi Imai (Univ. of Tokyo / ERATO-SORST)

Organizers:
Hiroshi Imai (chair) (Univ. of Tokyo / ERATO-SORST)

contact:
ERATO-SORST Quantum Computation and Information Project, JST
http://www.qci.jst.go.jp/
Email: aqis2010-inquiry@qci.jst.go.jp

Friday, May 21, 2010

PhD position in logic

PhD position in Mathematical Logic at Utrecht University, the Netherlands.

A four year PhD position in Mathematical Logic is available at the
Department of Philosophy of Utrecht University in The Netherlands. The
position is part of the research project "The power of constructive proofs",
which is a five year project on proof theory and constructive mathematics,
funded by the Netherlands Organisation for Scientific Research. Below is a
description of the project.

We are looking for a talented and dedicated student with a MSc or equivalent
degree in mathematics or computer science. The research carried out in the
project belongs to the area of mathematical logic, and the applicant should
preferably have a background in this field.

The deadline for applications is June 14th, 2010.

For more information on the project and application procedure, please visit
http://www.uu.nl/NL/Informatie/sollicitanten/Pages/Vacatures.aspx

Description of the project:

Constructive mathematics is the part of mathematics that is concerned with
explicit constructions. Research in this area roughly falls into two
categories: the development of mathematics according to constructive
principles, and the study of constructive theories in general. This project
falls in the second category, although the areas are not strictly separated
and there is much interaction between them: principles of constructive
theories are used in constructive mathematics, and conversely increasing
knowledge of what can and cannot be done constructively leads to
meta-mathematical insights.

This project focuses on the structure of constructive proofs. Constructive
proofs appear everywhere in mathematics, and, because of their computational
content, are increasingly relevant in this era of computing. The project
aims to find and explain the characteristics of such proofs. It thus
approaches constructive mathematics from the proof-theoretic point of view,
and tries to establish which and in which way properties of proofs, such as
for example skolemization and unification, change when moving from a
classical to a constructive context.

This is a project in proof theory and constructive mathematics. These are
lively research areas, with connections to almost all other areas in
mathematical logic. They consist of a wide range of topics, techniques, and
directions of research, and therefore provide a good environment for the
start of a scientific career.

Petri Net Course - Braga, Portugal, June 20-22, 2010, Call for Participation

<with apologies for multiple copies>

Call for Participation

PETRI NET COURSE

a satellite event of the conference Petri Nets 2010

Braga (Portugal, not far from Porto)

Sunday, June 20 - Tuesday, June 22, 2010

please register via
http://acsd-petrinets2010.di.uminho.pt/?page=PetriNetCourse


This course on theory and application of Petri nets is for graduate and
PhD Students, but also open for others.
It does not assume any prior knowledge on Petri nets, carefully
introduces the underlying ideas and the essential parts of Petri net
theory and has an emphasis on higher net classes and application of Petri
nets in two (alternative) selected application areas.
All parts of the course will be supported by appropriate tools.
For successful participation in the entire course, three
credit points (ects) will be given from Leiden University
(The Netherlands).

The course consists of modules: four half-day modules on Sunday and
Monday, and a full-day (application) module on Tuesday.
Each module of the course can also be taken separately.

The four half-day modules cover theory of Petri nets, namely
Basic net classes, Modelling with Coloured Petri Nets, Analysis of
Coloured Petri Nets, and Timed and Stochastic Petri nets.
For the full-day module, students can choose one from two application
areas which are this year 'Workflow modeling and Business Process
Management' and 'Model-based Software Engineering for/with Petri Nets'.

The course is equipped with a preparation phase and a phase for
preparing a written report after the course (see below). The
preparation phase, the course itself and the written report are assumed to
have a workload of 30 hours each. All modules have an associated
examination (for those who want to have credits). The examination of the
application module is by presentation and report. The examinations of the
other modules are organized in terms of small exercises and/or homework
for which time is available during the course.

Participants of the preparation phase receive papers containing
preliminaries on the philosophy of net theory, basic notions, small
examples, typical application areas etc.


Course schedule:

Preparation phase - Jetty Kleijn, Jörg Desel and Wolfgang Reisig
Content: History of Petri nets, Philosophy of Petri nets, occurrence
rule, occurrence sequences, application areas and simple examples.

Sunday, June 20
Morning
Basic net classes - Jetty Kleijn

Afternoon
Coloured Petri Nets 1 (Modelling) - Kurt Jensen

Monday, June 21
Morning
Coloured Petri Nets 2 (Analysis) - Kurt Jensen

Afternoon
Timed and Stochastic Petri Nets - Susanna Donatelli

Tuesday, June 22
Morning
One of the following application areas:
Workflow modeling and Business Process Management - Wil van der Aalst
Model-based Software Engineering for/with Petri Nets - Ekkart Kindler

Afternoon
Tools and exercises of the application area, project work


For more information please contact the Petri Net Course Coordinators

Joerg Desel joerg.desel (at) ku-eichstaett.de
Jetty Kleijn kleijn (at) liacs.nl

Call for Participation: 20th WADT, July 1-4, 2010

[sorry if you receive this more than once]

CALL FOR PARTICIPATION

WADT 2010
20th International Workshop on
Algebraic Development Techniques
July 1-4, 2010, Etelsen, Germany

Program and registration at
http://www.informatik.uni-bremen.de/WADT2010/
Contact: wadt2010@informatik.uni-bremen.de

Registration deadline: May 31st, 2010

Thursday, May 20, 2010

LPAR-17 submission deadlines

============================================================
The 17th International Conference on
Logic for Programming, Artificial Intelligence and Reasoning
============================================================

Yogyakarta, Indonesia - October 10th-15th, 2010
http://www.computational-logic.org/lpar-17/Home.html

---------------------------------------
Abstract submission deadline - 1st June
Paper submission deadline - 8th June
---------------------------------------

The series of International Conferences on Logic for Programming, Artificial
Intelligence and Reasoning (LPAR) is a forum where, year after year, some of
the most renowned researchers in the areas of logic, automated reasoning,
computational logic, programming languages and their applications come to
present cutting-edge results, to discuss advances in these fields, and to
exchange ideas in a scientifically emerging part of the world. The 17th LPAR
will be held in Yogyakarta, Indonesia.

Conference Chair: Steffen Hoelldobler
Programme Chairs: Chris Fermueller, Andrei Voronkov

Submissions of two kinds are welcome:
* Regular papers that describe solid new research results.
* Experimental and tool papers that describe implementations of systems,
report experiments with implemented systems, or compare implemented systems.

See the web site http://www.computational-logic.org/lpar-17/Home.html for all
the details.

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

ATMOS in Liverpool (part of ALGO): 2nd Call for Papers

10TH WORKSHOP ON ALGORITHMIC APPROACHES FOR TRANSPORTATION
MODELING, OPTIMIZATION, AND SYSTEMS (ATMOS)


University of Liverpool, United Kingdom, September 9, 2010
http://algo2010.csc.liv.ac.uk/atmos.php


** CALL FOR PAPERS

The ATMOS 2010 workshop will be held in connection with ALGO 2010,
hosted by University of Liverpool, United Kingdom, on September 9, 2010.

Since 2000, the series of ATMOS workshops brings together researchers
and practitioners who are interested in all aspects of algorithmic
methods and models for transportation optimization and provides a
forum for the exchange and dissemination of new ideas and techniques.

Transportation networks give rise to very complex and large-scale
network optimization problems requiring innovative solution techniques
and ideas from mathematical optimization, theoretical computer
science, and operations research. Applicable tools and concepts
include those from graph and network algorithms, combinatorial
optimization, approximation and online algorithms, stochastic and
robust optimization.

The scope of the workshop comprises all modes of transportation.


** INVITED SPEAKER

Alberto Caprara, University of Bologna


** IMPORTANT DATES

Submission Deadline: June 8, 2010
Notification to Authors: July 8, 2010
Final Version due: August 22, 2010
Workshop: September 9, 2010


** TOPICS

We invite papers for presentation at the workshop on optimization
problems for passenger and freight transport, including---but not
limited to

* Infrastructure Planning
* Vehicle Scheduling
* Crew and Duty Scheduling
* Rostering
* Routing in Road Networks
* Novel Applications of Route Planning Techniques
* Demand Forecasting
* Design of Tariff Systems
* Delay Management
* Mobile Applications
* Humanitarian Logistics
* Simulation Tools
* Line Planning
* Timetable Generation
* Routing and Platform Assignment

Of particular interest are: the successful integration of several
(sub)problems or planning stages, algorithms operating in an
online/realtime or stochastic setting, and heuristic approaches
(including approximation algorithms) for real-world instances.


** SUBMISSIONS

Authors are invited to submit an extended abstract or full paper of at
most 12 pages. The paper should contain a succinct statement of the
issues and of their motivation, a summary of the main results, and a
brief explanation of their significance, accessible to non-specialist
readers. Proofs omitted due to space constraints can be put into an
appendix to be read by the program committee members at their
discretion. Papers must be submitted electronically at
http://www.easychair.org/conferences/?conf=atmos2010. The submission
must be received by 23:59 (GMT) on June 8, 2010. Each accepted paper
must be presented at the workshop by one of the authors.


** PROCEEDINGS

The proceedings will be published online on the Dagstuhl Research
Online Publication Server (DROPS) (http://drops.dagstuhl.de/)


** PROGRAM COMMITTEE

* Gabriele Di Stefano, U L'Aquila
* Thomas Erlebach (co-chair), U Leicester
* Andrea Lodi, U Bologna
* Marco Luebbecke (co-chair), TU Darmstadt
* Matus Mihalak, ETH Zurich
* Petra Mutzel, TU Dortmund
* Louis-Martin Rousseau, Polytechnique Montreal
* Heiko Schilling, TomTom NV
* Peter Sanders, Karlsruher Institut fuer Technologie
* Maria Grazia Speranza, U Brescia
* Frits Spieksma, KU Leuven

[DMANET] PhD Studentship: Hyper-heuristics in Co-operative Search [SCI/847]

[Please circulate to all those who might be interested, and accept my
apologies if you received multiple copies of this PhD studentship
announcement]
- - - - - - - - -
PhD Studentship

Hyper-heuristics in Co-operative Search

University of Nottingham - School of Computer Science

This studentship is associated with the Science and Innovation award for
"The LANCS Initiative" (see: http://www.lancs-initiative.ac.uk/). The
successful student will join the Automated Scheduling, OptimisAtion and
Planning (ASAP) research group (see: http://www.asap.cs.nott.ac.uk/) and
will investigate 'systems to build systems' in the context of co-operative
search and will have the opportunity to interact with the leading
scientists in the field.

The interest in parallel co-operative approaches has risen considerably
due to, not only the availability of co-operative environments at low
cost, but also their success to provide novel ways to combine different
(meta-)heuristics. Current research has shown that the parallel execution
and co-operation of several (meta-)heuristics could improve the quality of
the solutions that each of them would be able to find by itself working on
a standalone basis. Moreover, parallel and distributed approaches can be
used to provide more powerful and robust problem solving environments in a
variety of problem domains. Hyper-heuristics, on the other hand, represent
a set of search methodologies which are applicable to different problem
domains. They aim to raise the level of generality, for example by
choosing and/or generating new methodologies on demand during the search
process. The goal of this study is to explore the cooperative search
mechanisms within a hyper-heuristic framework. This exciting research area
lies at the interface between operational research and computer science
and involves understanding of (distributed) decision making mechanisms and
learning, design, implementation and analysis of automated search
methodologies. The application domains will be cross disciplinary.

Students should have at least an upper second-class honours degree
(ideally a first class degree), or a combination of qualifications and/or
experience equivalent to that level. Knowledge of agent based/distributed
computing, parallel processing and/or parallel/multi-core programming
experience is extremely desirable. Preferably, students should have an
undergraduate or Masters Degree in computer science, operational research,
mathematics or closely related area. Students with a mathematical
background and good programming experience are also encouraged to apply.

This studentship is available for 3 years and includes an approximate
maintenance grant of 13,300 per year, maintenance grant and UK/EU tuition
fees.

Informal enquiries may be addressed to Dr E Ozcan, see:
http://www.cs.nott.ac.uk/~exo/ or Email: exo@cs.nott.ac.uk. Please note
that applications sent direct to this email address will not be accepted.

To apply, please access:
http://pgstudy.nottingham.ac.uk/apply-for-postgraduate-courses.aspx.

Please quote ref. SCI/847.

Closing date: 25 June 2010.

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

[DMANET] PhD-Position in Vienna, Austria

Dear All,

the Austrian Institute of Technology (AIT), Mobility Department, located in
Vienna, Austria, has an open PhD-Position within the project I2Bau -
Integrierte intermodale Standort-, Netzwerk- und Routenplanung fuer die Schuettlogistik
(integrated intermodal location, network and route planning for bulk freight logistics).

We are looking for candidates with strong knowledge on logistics and combinatorial optimization.
A more detailed job description including contact information can be found online at
http://bewerber.ait.ac.at/bewerber/show_ausschreibung.php?&IDStelle69&lang=en
**********************************************************
*
* 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] 2nd call for papers: MFCP'10

2nd Call for Papers

International Workshop on Mathematical Foundations of Constraint Programming
(MFCP 2010)

http://zivny.cz/mfcp10/

28 August 2010, Brno, Czech republic.

The workshop will be co-located with Joint MFCS & CSL 2010 (35th International
Symposiums on Mathematical Foundations of Computer Science & 19th EACSL Annual
Conferences on Computer Science Logic) , 23-27 August 2010, Brno, Czech
republic.

The aim of the workshop is to bring together researchers with a common interest
in constraint programming and constraint satisfaction problems.

Submissions of interesting theoretical and mathematical results related to
constraints are encouraged. Topics include (but are not limited to):

* Theoretical relationships between classes of CSPs and other problems.
* Complexity and expressivity of different constraint representations.
* Complexity and expressivity in the context of propagation.
* Relational structures and CSPs.
* Soft and valued constraints.
* Tractability of CSPs.
* Max-CSP, #CSP.

Survey talks, preliminary results, developments of published results, and work
in progress are welcome. Prospective speakers are invited to submit a 1-2 pages
abstract which provides sufficient detail to allow the program committee to
assess the merits of the proposal.

Organising Committee:

Standa Zivny, University of Oxford, UK

Programme Committee:

Hubie Chen, Universitat Pompeu Fabra, Spain
Dave Cohen, Royal Holloway, University of London, UK
Martin Cooper, IRIT, University of Toulouse, France
Georg Gottlob, University of Oxford, UK
Peter Jeavons, University of Oxford, UK
Chris Jefferson, University of St Andrews, UK
Peter Jonsson, Linkoping University, Sweden
Kristen Brent Venable, University of Padova, Italy
Nic Wilson, University College Cork, Ireland

Dates:

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