Monday, May 31, 2010

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

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

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

The Faculty of Mathematics at Otto-von-Guericke University Magdeburg calls forapplications 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 Mathematicswithin 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'sresearch work has connections (or strong potential for the development of suchconnections) to areas like process engineering, systems biology, or biomedicine.Institutes like the Research Center for Dynamical Systems on Biomedicine andProcess Engineering and the Max Planck Institute for Dynamics of Complex TechnicalSystems provide excellent possibilities for interdisciplinary cooperations.

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

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

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

*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 tocontribute your solid works as much as you can!

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

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

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.

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

SCOPEThe conference is an annual event aiming to bring together a diversegroup of people fromboth discrete and continuous optimization, working on both theoreticaland applied aspects.Our target is to present a diverse set of exciting new developments fromdifferent optimization areas while at the same time providing a setting which will allowincreased interaction amongthe participants. We aim to bring together researchers from both thetheoretical and applied communities who do not usually have the chance to interact in theframework of a medium-scale event.

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.

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 minutesdrive from Lehigh University.

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

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

* Authors of selected papers presented during the WCO Workshop will beinvited to submit extended versions of their contributionsto one of the following journals (both of them being indexed by ThomsonInstitute of Scientific Information):

Assoc. Prof. Stefka FidanovaIPP-BASAcad. G. Bonchev str. bl.25A1113 Sofia BulgariaPh. +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/***********************************************************

Call for Papers:----------------Authors are invited to submit papers describing original research oftheoretical or practical significance to graph drawing, includingdemonstrations of software systems. Papers may be either long (up to12 pages) or short (up to 6 pages), using single-spaced LNCS style. Theclaims made in submissions should be fully substantiated, including fullproofs, appropriate experimental data, or system descriptions. If thisinformation will not fit within the page limits, authors may includea clearly marked appendix that will be read at the discretion of thereviewers.

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

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

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

Graph Drawing Contest:----------------------Following the tradition of previous conferences, a graph drawing contestwill be held. Details about the contest will be provided on the conferenceWeb 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

A postdoctoral position in computer science is available at theResearch Chair in Distributed Computing of theUniversite 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 graphtheory. * Strong research record and potential in one or moreof the following domains: - design and analysis of combinatorial algorithms - algorithmic aspects of distributed and parallelcomputing - algorithms for interconnection networks - algorithmic aspects of fault tolerance

Duties: Research in the above areas. NO teaching duties. Knowledge of French is NOT necessary.Duration: 12 monthsBeginning: 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 papersshould be sent to the following address (by physical mail, not by e-mail):

INTRODUCTIONSPIRE 2010 is the 17th International Symposium on String Processing andInformation Retrieval. The first four editions of the conference focusedprimarily on string processing and were held in South America under thetitle of WSP (South American Workshop on String Processing). WSP was transformedinto SPIRE in 1998, when the scope of the conference was broadened to includeinformation retrieval. This was motivated by the increasing relevance ofinformation 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 Notesin Computer Science (LNCS) series since 2002. This tradition continues alsoin 2010.

LOCATION

SPIRE 2010 will be co-organized by the School of Physics and Mathematics atUniversidad Michoacana, in Morelia, Mexico and the CICESE research center inEnsenada, Mexico. The conference will take place at the premiere resort areaof 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 venuewill be the Los Cabos Grand Faro Resort in San Jose del Cabo.

SPIRE 2010 welcomes submissions varying from short 6-page papers up tolong 12-page papers. Submissions should be anonymous and formatted usingLNCS style. At least three reviewers will evaluate each paper based on itsoriginality, quality and significance of theoretical and/or practicalcontribution, the validity and robustness of the methodology used, and theoverall contribution to understanding the context of the work. Anypaper may be accepted as a short or a long contribution; the former will receiveless time for presentations and fewer pages in the proceedings.

STUDENT SPONSORSHIP

Yahoo! Research has generously offered sponsorship for some student supportpackages that cover SPIRE 2010 registration fees and provide partial supportfor accommodation costs for volunteers. See the conference website for moreinformation.

INVITED SPEAKERSSPIRE 2010 will feature invited lectures by

Gonzalo Navarro (U. Chile, Chile) andMark Najork (Microsoft Research)

WORKSHOPSWe are planning to host workshops on topics in both string processing andinformation retrieval. The workshops will take place on October 14 2010, theday after the main conference. More details will be posted on the conferencewebsite.

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

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

FLoC'10 US-based Student Travel SupportNote: 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 forUS-based student attendees of FLoC'10. Funds can be requested to coverairfare (on US carriers, for flights from the US) and lodging (meals andregistration fees will not be funded). We expect to award about 10 grants.The application deadline is June 7, 2010, and recipients will be notified byJune 17. This funding is available only to students attending academicinstitutions in the US, regardless of immigration/visa status.

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

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

FLoC'10 US-based Student Travel SupportNote: 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 forUS-based student attendees of FLoC'10. Funds can be requested to coverairfare (on US carriers, for flights from the US) and lodging (meals andregistration fees will not be funded). We expect to award about 10 grants.The application deadline is June 7, 2010, and recipients will be notified byJune 17. This funding is available only to students attending academicinstitutions in the US, regardless of immigration/visa status.

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

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

The WG 2010 conference will be held in Zaros, Creta, Greece. Itcontinues a long series of 35 previous WG's. Since 1975, it tookplace 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 inthe United Kingdom.

AIMS AND SCOPE

WG 2010 aims at uniting theory and practice by demonstrating howGraph-Theoretic concepts can be applied to various areas inComputer Science, or by extracting new problems from applications.The goal is to present recent research results and to identifyand explore directions of future research. The conference iswell-balanced with respect to established researchers and youngscientists. For many years now, the proceedings have beenpublished in the LNCS series of Springer-Verlag. We need thefinal version of accepted papers approximately two months afterthe conference.

Sunday, May 23, 2010

The Microsoft Research-CNRS chair ``Optimization for SustainableDevelopment'' (http://chaire-osd.polytechnique.fr/) at LIX, EcolePolytechnique (near Paris, France) is inviting applications for twopostdoctoral positions in the field of Operations Research applied toSustainable Development applications.

Research at the OSD Chair focuses on the use of optimizationtechniques to applications in sustainable development, includingtransportation, scheduling and energy-relatedtopics. Methodology-wise, we pursue interests in: multi-objectiveoptimization, stochastic programming, combinatorial optimization,nonlinear and mixed-integer programming.

Applicants must hold a Ph.D. in an optimization related field, andhave 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 forapplications is **** July 15, 2010 ****, with a view to start aroundOctober 2010.

One of the two positions concerns the MultiobjectiveOptimization 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 MOOproject should be sent to Souhila Kaci (kaci@cril.fr). The deadlinefor applications is **** July 15, 2010 ****, with a view to startaround 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/***********************************************************

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

We would like to draw your attention to the 10th AsianConference on Quantum Information Science. The website isnow open for registration and paper submission.

AQIS'10 is a meeting focused on quantum information scienceand technology. Its broad scope includes advances in variousfields such as quantum physics, computer science, mathematicsand information technologies. This event is the memorabletenth conference which builds upon a successful series ofEQIS'01-05 and AQIS'06-09 conferences.

AQIS'10 will take place on the University of Tokyo fromAugust 27 to 31. Details about the conference are availablevia the website.

Friday, May 21, 2010

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

A four year PhD position in Mathematical Logic is available at theDepartment of Philosophy of Utrecht University in The Netherlands. Theposition 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 adescription of the project.

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

Constructive mathematics is the part of mathematics that is concerned withexplicit constructions. Research in this area roughly falls into twocategories: the development of mathematics according to constructiveprinciples, and the study of constructive theories in general. This projectfalls in the second category, although the areas are not strictly separatedand there is much interaction between them: principles of constructivetheories are used in constructive mathematics, and conversely increasingknowledge of what can and cannot be done constructively leads tometa-mathematical insights.

This project focuses on the structure of constructive proofs. Constructiveproofs appear everywhere in mathematics, and, because of their computationalcontent, are increasingly relevant in this era of computing. The projectaims to find and explain the characteristics of such proofs. It thusapproaches constructive mathematics from the proof-theoretic point of view,and tries to establish which and in which way properties of proofs, such asfor example skolemization and unification, change when moving from aclassical to a constructive context.

This is a project in proof theory and constructive mathematics. These arelively research areas, with connections to almost all other areas inmathematical logic. They consist of a wide range of topics, techniques, anddirections of research, and therefore provide a good environment for thestart of a scientific career.

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

The course consists of modules: four half-day modules on Sunday andMonday, 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, namelyBasic net classes, Modelling with Coloured Petri Nets, Analysis ofColoured Petri Nets, and Timed and Stochastic Petri nets.For the full-day module, students can choose one from two applicationareas which are this year 'Workflow modeling and Business ProcessManagement' and 'Model-based Software Engineering for/with Petri Nets'.

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

Thursday, May 20, 2010

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

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 LPARwill be held in Yogyakarta, Indonesia.

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.

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 researchersand practitioners who are interested in all aspects of algorithmicmethods and models for transportation optimization and provides aforum for the exchange and dissemination of new ideas and techniques.

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

** PROCEEDINGS

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

[Please circulate to all those who might be interested, and accept myapologies if you received multiple copies of this PhD studentshipannouncement]- - - - - - - - -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/). Thesuccessful student will join the Automated Scheduling, OptimisAtion andPlanning (ASAP) research group (see: http://www.asap.cs.nott.ac.uk/) andwill investigate 'systems to build systems' in the context of co-operativesearch and will have the opportunity to interact with the leadingscientists in the field.

The interest in parallel co-operative approaches has risen considerablydue to, not only the availability of co-operative environments at lowcost, but also their success to provide novel ways to combine different(meta-)heuristics. Current research has shown that the parallel executionand co-operation of several (meta-)heuristics could improve the quality ofthe solutions that each of them would be able to find by itself working ona standalone basis. Moreover, parallel and distributed approaches can beused to provide more powerful and robust problem solving environments in avariety of problem domains. Hyper-heuristics, on the other hand, representa set of search methodologies which are applicable to different problemdomains. They aim to raise the level of generality, for example bychoosing and/or generating new methodologies on demand during the searchprocess. The goal of this study is to explore the cooperative searchmechanisms within a hyper-heuristic framework. This exciting research arealies at the interface between operational research and computer scienceand involves understanding of (distributed) decision making mechanisms andlearning, design, implementation and analysis of automated searchmethodologies. 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/orexperience equivalent to that level. Knowledge of agent based/distributedcomputing, parallel processing and/or parallel/multi-core programmingexperience is extremely desirable. Preferably, students should have anundergraduate or Masters Degree in computer science, operational research,mathematics or closely related area. Students with a mathematicalbackground and good programming experience are also encouraged to apply.

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

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

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

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

Submissions of interesting theoretical and mathematical results related toconstraints 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 workin progress are welcome. Prospective speakers are invited to submit a 1-2 pagesabstract which provides sufficient detail to allow the program committee toassess the merits of the proposal.

Organising Committee:

Standa Zivny, University of Oxford, UK

Programme Committee:

Hubie Chen, Universitat Pompeu Fabra, SpainDave Cohen, Royal Holloway, University of London, UKMartin Cooper, IRIT, University of Toulouse, FranceGeorg Gottlob, University of Oxford, UKPeter Jeavons, University of Oxford, UKChris Jefferson, University of St Andrews, UKPeter Jonsson, Linkoping University, SwedenKristen Brent Venable, University of Padova, ItalyNic Wilson, University College Cork, Ireland

Dates:

Submission: 15 June 2010Notification: 10 July 2010Workshop: 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/***********************************************************