Saturday, July 30, 2011

[DMANET] CFP Pervasive Communication Security, Social Networking and Social Engineering

Deadline Extended -- Aug 21, 2011

Call for Papers

Pervasive Communication Security, Social Networking and Social Engineering Workshop
In conjunction with The International Conference on Computing, Networking and Communications (ICNC 2012)
Maui, Hawaii, USA

January 30 - February 2, 2012
http://www.conf-icnc.org/

Contact Information

Narasimha Shashidhar, Sam Houston State University, Huntsville, TX, USA
karpoor@shsu.edu

Lei Chen, Sam Houston State University, Huntsville, TX, USA
chen@shsu.edu

Scope:

The future of communication relies on the ability of communication systems to blend into the user's environment with the goal of supporting social and collaborative communication and computation. To this end, providing confidentiality and integrity of communicated data are desired key security features in a pervasive communication system. Users need to be able to trust the communication systems and find out how trustworthy their peers are. As the communication and associated systems become more pervasive, these privacy issues are amplified. These security requirements result in many challenges in the research and development of pervasive systems. The aim of this workshop is to enable researches, scientists, and engineers in the community to exchange and share ideas and experience, and demonstrate latest research outcomes on all areas of security, trust and privacy in pervasive communication systems. This workshop solicits original work in various aspects of, but not limited to, the following topics:

--- Decentralized, scalable social networking
--- Privacy-aware, personally controlled social networking
--- Availability and resilience
--- Community based secure communication
--- Data confidentiality and integrity
--- Anonymity and Pseudonymity
--- New approaches to trust and reputation
--- New attack paradigms
--- Social engineering, Spam and Phishing
--- Context aware services and applications
--- Scalable and efficient authentication and key management solutions
--- Designing appropriate reputation systems for various situations
--- Utilizing communities to build trust
--- Managing privacy of personal information

Submission Guidelines

Please follow the author instructions at http://www.conf-icnc.org/author.htm
For submission: Workshop papers should be submitted via EDAS at the conference page:
http://edas.info/N10987. In addition, please send a pdf file of your paper to karpoor@shsu.edu

Important dates

Submission deadline AUG 21, 2011
Notification of acceptance Sept. 30, 2011
Submission of camera-ready version and Registration Oct. 20, 2011
**********************************************************
*
* 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, July 29, 2011

[DMANET] New York Computer Science and Economics day (NYCE 2011)

NYCE 2011 is the fourth annual New York Computer Science and Economics Day.
The goal of the meeting is to bring together researchers in the larger New
York metropolitan area with interests in computer science, economics,
marketing and business, and a common focus in understanding and developing
the economics of Internet activity. Examples of topics of interest include
theoretical, modeling, algorithmic and empirical work on advertising and
marketing based on search, user-generated content, or social networks, and
other means of monetizing the Internet.

The workshop will be held on Friday, September 16 at New York University,
and features invited talks by Vincent Conitzer, Jonathan Levin, Preston
McAfee, David Parkes, and Eva Tardos.

We solicit contributors for short talks (10 minutes) and posters. Financial
support is available for student presenters.

Additional registration and submission information is available at:
http://www.nyas.org/NYCE2011


**********************************************************
*
* 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] Workshop on Computational Advances in Molecular Epidemiology (CAME 2011)

CALL FOR PAPERS

Workshop on Computational Advances in Molecular Epidemiology (CAME 2011)
held in conjunction with the 5th IEEE International Conference on
Bioinformatics and Biomedicine (BIBM 2011)
Atlanta, GA, November 12-15, 2011
http://alan.cs.gsu.edu/CAME11/

Molecular epidemiology is an integrative scientific discipline that
considers molecular biological processes in specific epidemiological
settings. It relates molecular biological events to etiology, distribution
and prevention of disease in human populations. Over years, molecular
epidemiology has became extensively fused with mathematical and
computational science and immensely benefitted from this tight association.
The CAME workshop aims to bring together field practitioners of molecular
epidemiology, molecular evolutionists, population geneticists, medical
researchers, bioinformaticians, statisticians and computer scientists
interested in the latest developments in algorithms, mining, visualization,
modeling, simulation and other methods of computational, statistical and
mathematical analysis of genetic and molecular data in the epidemiological
context.
We invite submissions of papers presenting original research on mathematical
and computational approaches to molecular epidemiology.
Topics of interest include but are not limited to:
* Analysis of next generation sequencing data
* Analysis of mass spectrometry data
* Evaluation of quasispecies
* Phylogenetics of pathogens
* Computational support to disease surveillance
* Identification of pathogen transmission events
* Computational approaches to pathogen evolution
* Identification of novel markers of disease
* Population dynamics and drug-resistance
* Metagenomic analysis

Papers of at most 8 pages in IEEE 2-column format should be submitted
electronically at
http://wi-lab.com/cyberchair/2011/bibm11/scripts/submit.php?subarea=S2
All submissions will be reviewed by the Program Committee. Accepted papers
will be published in the IEEE Xplore Digital Library, and extended version
of selected papers will be invited to a special issue of In Silico Biology.

KEY DATES
* Abstract submission: Sept. 20, 2011
* Notifications: Oct. 5, 2011
* Camera-ready version: Oct. 15, 2011
* Workshop: Nov. 12-15, 2011

WORKSHOP CHAIRS
* Yury Khudyakov (CDC/CCID/NCHHSTP)
* Ion Mandoiu (University of Connecticut)
* Alex Zelikovsky (Georgia State University)

PROGRAM COMMITTEE
* Peter Balfe (University of Birmingham, UK)
* Niko Beerenwinkel (ETH Zurich)
* Piotr Berman (Penn State)
* David Campo Rendon (CDC)
* Xiangqin Cui (University of Alabama at Birmingham)
* Robert Harrison (Georgia State University)
* Sergei Kosakovsky Pond (UCSD)
* James Lara (CDC)
* Jing Li (Case Western Reserve University )
* Rachel O'neill (University of Connecticut)
* Itsik Pe'er (Columbia University)
* Paul Pumpens (Latvian Biomedical Research and Study Centre)
* Mike Purdy (CDC)
* Timothy Read (Emory University)
* Venkatachalam (Kumar) Udhayakumar (CDC)
* Li-San Wang (UPenn)
* Xiu-Feng (Henry) Wan (Mississippi State 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/
*
**********************************************************

[DMANET] CFP: JCM Special Issue on Security and Privacy in Communication Systems and Networks

CALL FOR PAPERS

Journal of Communications
Special Issue on
Security and Privacy in Communication Systems and Networks

The rapid advancement of communication technologies has revolutionized human's
lifestyles by providing the best convenience and flexibility ever in accessing the Internet
services and various types of personal communication applications. For instance, with the
emerging wireless communication technologies, healthcare industry now is offering high
quality services to patients with low costs through a variety of applications enabled by
wireless and information technologies. This is because these wireless-equipped healthcare
systems enable remote and continuous monitoring of patients health status in both
residential settings and outdoor settings, where patients feel more comfortable and their
activities are less restricted. Early detection of emergency situations via wireless
communications makes it possible to provide timely first-aid and access patients health
information in a pervasive manner, thereby improving reliability and efficiency of our health
care system. Although huge potential benefits are widely recognized, there are many
challenges especially with respect to security and privacy issues.

The objective of this special issue is to bring together state-of-the-art contributions on the
modeling, designing, implementation, deployment, and management of computer/network
security systems, architectures and protocols. We solicit contributions to the evaluation,
optimization, and/or enhancement of security mechanisms for current technologies as well
as new designs for efficient security and privacy solutions of emerging technologies, e.g.,
M2M Communications. High quality and original research papers are solicited in all related
areas of emerging communication systems and network technologies. Topics of interest
include, but are not limited to:
* Security design for cognitive radio networks
* Security and privacy in M2M and its applications
* Key distribution and management
* Security design for sensor/Ad Hoc networks
* Security and privacy in VANETs
* Security and privacy in Healthcare
* RFID security
* Cross layer approach to security
* Secure cooperation in wireless networks
* Network coding security
* Social network security
* Mobile code security
* Distributed system security
* Forensic applications and techniques in communication systems and networks

IMPORTANT DATES

Paper Submission Deadline August 15, 2011
Acceptance Notification November 30, 2011
Final Manuscript Due January 1, 2012
Tentative Publication Date Q2, 2012

SUBMISSION

The submitted papers must be written in English and describe original research which is
not published nor currently under review by other journals or conferences. Submissions
should follow the author guidelines of Journal of Communications and the complete
instructions for prospective authors can be found at
http://www.academypublisher.com/jcm/authorguide.html.
Manuscripts are to be submitted via EDAS at http://edas.info/newPaper.php?c=3D11025

For further questions or inquiries, please contact Dr. Xiaodong Lin at xiaodong.lin@uoit.ca.

GUEST EDITORS

Xiaodong Lin, University of Ontario Institute of Technology, Canada
E-mail: xiaodong.lin@uoit.ca

Joel Rodrigues, Institute of Telecommunications, University of Beira Interior, Portugal
E-mail: joeljr@ieee.org

Xu Li, INRIA Lille – Nord Europe, France
E-mail: xu.li@inria.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] CFP: IEEE TPDS Sepcial Issue on Cyber-Physical Systems

Call for Papers for a Special Issue of IEEE Transactions on Parallel and Distributed Systems (TPDS)
on Cyber-Physical Systems (CPS)

IEEE Transactions on Parallel and Distributed Systems (TPDS) is seeking original
manuscripts for special Issue on Cyber-Physical Systems (CPS), scheduled to be
published in the September issue of 2012. Although significant advances have been
achieved over the last decades in several fields of science and engineering, and especially
in the areas of distributed computing, sensing, data collection and internet-connection of
large scale object networks, it is mainly the coordination and tight link between
computational, virtual and physical resources that will drive the potential of having a
pervasive effect in the citizens everyday life, satisfying various needs and also creating new
opportunities for the introduction of services that will enhance the Quality of Life of the
society as a whole. Research advances in cyber-physical systems promise to transform
our world with systems that will far exceed those of today in terms of: effectiveness,
adaptability, autonomicity, energy efficiency, precision, reliability, safety, usability,
scalability, stability and user-centric applicability. Moreover, recently the Sensor Web
concept came into foreground, aiming at combining distributed sensing with the ubiquitous
connectivity and accessibility of the web, therefore facilitating the close interaction of digital
world with physical world.

Cyber-physical systems find direct applicability in a wide range of areas and disciplines,
including for instance (but not limited to):
a) Smart Grid technologies:
that aim at facilitating a reliable and efficient delivery of electricity to consumers using
two-way digital communications and security technologies, which allows utility providers
and consumers to constantly monitor and control the delivery network as well as electricity
consumption for the purpose of energy saving, cost reduction, and reliability enhancement;
b) Wireless sensing, monitoring and networking:
to enable distributed monitoring systems of numerous smart sensors and actuators,
mobile devices, RFIDs, robots etc., which revolutionize a variety of application areas with
unprecedented density, fidelity, and scalability of environment instrumentation;
c) Vehicular cyber-physical systems and intelligent transportation systems:
that integrate computing, communication, and storage capabilities with monitoring and
control of vehicles in the physical world to deal with the grand challenges of safe, green,
and efficient transportation.

The technical challenges are significant, and of high research and practical importance,
mainly stemming from the fact that traditionally different groups of scientists deal with this
setting without much interaction, using disjoint sets of techniques. Towards merging the
two main and different features of those systems, that of information-centric character and
node-centric physical world connectivity, well-defined analytical models, methodologies and
experimental validations are required of how to build such systems capable of coping with
the entire chain of operations and orchestrating the various parts together in a flexible,
efficient and economic way.

Topics of interest include, but are not limited to the following:
* Architectural framework for distributed CPS
* Resource Management in large scale CPS
* Smart Grid Technologies
* Security, privacy, scalability, and reliability issues
* Design and cross-layer optimizations
* Vehicular CPS and intelligent transportation systems
* Novel monitoring applications with sensors, actuators,
smart phones, robots, and other wireless mobile devices
* Distributed and scalable monitoring systems
* Evaluations and filed trials of CPS and solutions

Submitted articles must not have been previously published or currently submitted for
journal publication elsewhere. As an author, you are responsible for understanding and
adhering to our submission guidelines. You can access them by clicking on the following
web link: http://www.computer.org/mc/tpds/author.htm. Please thoroughly read these
before submitting your manuscript. Please submit your paper to Manuscript Central at
https://mc.manuscriptcentral.com/tpds-cs.

Please note the following important dates:
Manuscript Submission Deadline: September 16, 2011
Notification of Initial Decision: November 18, 2011
Minor Revisions due (if needed): December 15, 2011
Notification of Final Decision: January 26, 2012
Final Manuscripts Due: February 03, 2012
Publication Date: September 2012

Co-guest Editors:
Symeon Papavassiliou, National Technical University of Athens
Nei Kato, Tohoku University
Yunhao Liu, Hong Kong University of Science and Technology
Cheng-Zhong Xu, Wayne State University

Publicity Co-Chairs:
Paolo Bellavista, University of Bologna
Jiming Chen, Zhejiang University
Xu Li, INRIA, France
**********************************************************
*
* 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] Full Professor (W3) in Mathematics (Analysis) - RWTH Aachen University

Your Career Starts With Us!
RWTH Aachen University

Full Professor (W3) in Mathematics (Analysis)

Faculty of Mathematics, Computer Science and Natural Sciences

We are seeking qualified applicants for teaching and research in the
area of Analysis. The starting
date is 1. 8. 2012. The Department of Mathematics seeks a new professor
with broad expertise in
Analysis and an outstanding research account. Recognized expertise in
the following areas is
particularly welcome:

Continuous Optimization, Harmonic Analysis or Differential Geometry.

It is expected that he or she is willing to participate in collaborative
work within and outside the
department or to establish such collaborations. The successful candidate
is expected to teach at all
university levels and will be highly involved in teaching activities for
students of engineering,
especially mechanical engineering.

A Ph.D. degree is required; additionally, Habilitation (post-doctoral
lecturing qualification), an
exemplary record of research achievement as an assistant / an associate
/ a junior professor or
university researcher and/or an outstanding career outside academia are
highly desirable. Ability in
and commitment to teaching are essential. German is not necessary to
begin but will be expected as a teaching language within the first 5
years. The successful candidate will have outstanding skills in teaching
undergraduates and students of other subjects, especially engineering.

The application should include supporting documents regarding success in
teaching.

Please send a cover letter stating research aims and a CV to:

An den Dekan der Fakultät für Mathematik, Informatik und
Naturwissenschaften der RWTH Aachen,
Prof. Dr. Gerhard Hiß,
Templergraben 55,
D-52062 Aachen

The deadline for applications is 30.9.2011.

This position is also available as part-time employment per request.

RWTH Aachen University is certified as a family-friendly university and
offers a dual career program for partner hiring. We particularly welcome
and encourage applications from women, disabled people and ethnic
minority groups, recognizing they are underrepresented across RWTH
Aachen University. The principles of fair and open competition apply and
appointments will be made on merit.

--
Prof. Dr. Arie M.C.A. Koster
RWTH Aachen University
Lehrstuhl II für Mathematik
Wüllnerstr. 5b
D-52056 Aachen
E: koster@math2.rwth-aachen.de
W: http://www.math2.rwth-aachen.de/~koster/
T: +49 (0)241 80-94995 (Secretary) -94524 (Direct)
F: +49 (0)241 80-92136

**********************************************************
*
* 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, July 28, 2011

[DMANET] Teaching Fellowships - School of Engineering - University Roma Tre

Teaching Fellowships at the School of Engineering, Department of
Computer Science and Automation at Universita' Roma Tre

The School of Engineering of Roma Tre is seeking one or two professors
for a visit of a period of four weeks to a whole semester (thirteen
weeks), in the Spring of 2012 (detailed dates are subject to
negotiation, between March 1 and June 10). The main requirement would be
to teach about 6 hours per week, in an advanced undergraduate or initial
graduate course (in the broad areas of Computer Science, Automation,
Robotics, Operations Research) with the opportunity to be involved in
one or more of our research groups. All activities will be conducted in
English.

Preferably, the candidate should hold a position at the level of an
associate professor or higher at a recognized tertiary academic
institution (e.g., a university or research institute).

The position will have a remuneration that will suffice to cover the
accommodation and living expenses in Rome as well as traveling expenses,
but not a full salary adequate for a professor's position.

Course content can be agreed upon, as the goal is to have courses that
effectively complement those currently offered in the local programs.

Interested colleagues should contact, with a CV (including areas of
interest, teaching experiences, publications), professor Riccardo
Torlone <torlone@dia.uniroma3.it>, chair of the undergraduate and master
programs in computer engineering. All members of the department (list at
http://www.dia.uniroma3.it/Plone/people/people?set_language=en) are
available for inquiries and preliminary discussions.

Prof. Riccardo Torlone
Chair of teaching programs in computer engineering
**********************************************************
*
* 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] DAM-issue CTW2011

CALL FOR PAPERS:


Special Issue DAM: CTW 2011
10th Cologne-Twente Workshop on Graphs and Combinatorial Optimization
Deadline: *November 30, 2011*. (Extensions may be obtained upon
request, if necessary.)


Following the tradition of previous workshops, a special issue of
Discrete Applied Mathematics will be devoted to the recent 10th
Cologne-Twente Workshop on Graphs and Combinatorial Optimization
(http://ctw2011.dia.uniroma3.it).

All interested researchers are invited to contribute to this special
volume. The topics should relate to the themes of the workshop (graphs,
combinatorial optimization and the design and analysis of algorithms).
Submissions of contributions not presented at the workshop are alsowelcome.

All articles will be thoroughly refereed according to the high
standards of Discrete Applied Mathematics.

Submission deadline is *November 30, 2011*. However, extensions of the
deadline may be obtained upon request, if necessary.

The full papers must be submitted through the Elsevier Editorial
System (http://ees.elsevier.com/dam). When submitting your paper, be sure to
specify that the paper is a contribution for the Special Issue of CTW
2011, so that your paper is assigned to the guest editors.

Looking forward to your contribution,

The guest editors:

Ulrich Faigle (Mathematisches Institut, Universität zu Köln)
faigle@zpr.uni-koeln.de

Gaia Nicosia (Dip. Informatica e Automazione, Università di Roma Tre)
nicosia@dia.uniroma3.it

Andrea Pacifici (Dip. Informatica, Sistemi e Produzione, Università di
Roma "Tor Vergata") pacifici@disp.uniroma2.it

**********************************************************
*
* 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, July 27, 2011

[DMANET] 3 year postdoc in Computational Geometric Group Theory

Dear all

Applications are invited for a three year postdoctoral research position
in the Centre for Interdisciplinary Research in Computational Algebra
(CIRCA) at the University of St Andrews, Scotland, to work on an
EPSRC-funded project "Solving word problems via generalisations of
small cancellation".

CIRCA is a thriving interdisciplinary research centre, spanning the
Schools of Mathematics and Statistics and of Computer Science, with 20
staff members and around £3.25 million in current research grants. The
successful applicant will be based in the School of Mathematics and
Statistics, and will also be a member of the Algebra and Combinatorics
research group, which was singled out in the recent International Review
of Mathematics as one of the top centres in the UK for research in group
theory.

The successful applicant will work with Colva Roney-Dougal, Steve
Linton, Max Neunhoeffer and Richard Parker to develop, analyse and
implement a new class of algorithms to solve the word problem in both
finitely presented groups and other algebraic structures, which are
based on new geometric and combinatorial methods. This will involve
participating in both theoretical and computational research, including
the production of high quality international journal articles and a
suite of software. Further information about the project is available
at:
http://www-groups.mcs.st-and.ac.uk/~colva/CaseForSupport.pdf
or by emailing Colva Roney-Dougal (colva@mcs.st-and.ac.uk).

The deadline for receipt of applications is the 15th of August, and
interviews will be held in the week beginning the 5th of September. The
post will ideally commence on 1st October 2011, but a later start date
could be negotiated.

Please apply online at:
https://www.vacancies.st-andrews.ac.uk/welcome.aspx

Best wishes

Colva Roney-Dougal

The University of St Andrews is a charity registered in Scotland : No
SC013532

**********************************************************
*
* 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 at Brunel University, London, UK

A fully funded PhD position is available in the Department of Mathematical
Sciences, Brunel University, London, UK. Applications are invited from stro
ng candidates interested in any one of several areas of mathematics includi
ng combinatorics.

The studentship is funded by EPSRC and consequently only available to UK/EU
applicants. It covers full fees and a stipend of Curr:313560 per annum for 3.
5 years.

For information about the Brunel combinatorics group, please see

http://www.brunel.ac.uk/siscm/mathematical-sciences/research/combinatorics

For information on the applying for the studentship, please contact steven
.noble@brunel.ac.uk

Steve Noble

--
Dr Steven Noble
Senior Lecturer
Deputy Head and Level One Coordinator
Department of Mathematical Sciences
Brunel University, UK
**********************************************************
*
* 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] Fully funded PhD/PostDoc position at Technical University Hamburg

-----------------------------------------------------------------------
Please distribute to interested people
-----------------------------------------------------------------------

Fully funded PhD/PostDoc Position at Institute of Telematics, Technical
University Hamburg, Germany

We are looking for a PhD/PostDoc candidate to do research in the area
of fault tolerant distributed systems. The Institute of Telematics is a
young research group with currently 10 PhD students. We are a highly
motivated international team of researchers situated in the south of
Hamburg. We offer ideal working conditions, a beautiful campus, and a
competitive salary. The team is interested in a variety of topics in the
field of distributed computing (see http://www.ti5.tu-harburg.de/research/).

Requirements:
-- excellent M.S. in computer science, computer engineering,
mathematics, physics or related studies
-- experience in design and analysis of distributed algorithms
-- skills in creative problem solving

The use of the English language is mandatory. The candidate will work on
the following topics:

-- distributed algorithms and self-stabilizing data structures
-- fault detectors in distributed systems
-- algorithms for self-organizing group communication
-- fault tolerant wireless sensor networks

The position will be filled starting October 2011 (exact date is
negotiable). Deadline for applications is 11.08.2011. More details and
information about applications (including the identifier of the offer)
are published on the following web-site http://www.ti5.tu-harburg.de/jobs/


For more information contact:
Prof. Volker Turau (turau at tuhh.de)

Further information about the Institute of Telematics can be found
on http://www.ti5.tu-harburg.de/. Women are especially encouraged to
apply. The position is in the first instance limited to two years with
the possibility of extending for another year. Applications should
include a detailed CV, a motivation letter, a list of your M.SC. courses
and grades, a copy of your master thesis, and preferably a list of
publications.


---
Volker Turau
Prof. Dr. rer. nat.
Technische Universität Hamburg-Harburg

Schwarzenbergstr. 95
D-21073 Hamburg
Tel.: (+4940) 42878-3530
Fax: (+4940) 42878-2581
E-Mail: turau@tuhh.de
http://www.ti5.tu-harburg.de/staff/turau/
**********************************************************
*
* 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/
*
**********************************************************

Tuesday, July 26, 2011

[DMANET] CFP (extended deadline) : Declarative Pattern Mining Workshop@ICDM2011

As asked by several authors, we extended the deadline for papers
submission to Aug 5, 2011.
This is a strict deadline.

Informations can be found on the Workshop website.

[Our apologies if you receive multiple copies of this message]

**************************************************************
* CALL FOR PAPERS (Extended deadline) *
* *
* WDPM@ICDM 2011 *
* Workshop on Declarative Pattern Mining *
* Dec. 10, 2011, Vancouver (Canada) *
* http://liris.cnrs.fr/wdpm2011/ *
* *
* Held in conjunction with ICDM 2011 *
* http://icdm2011.cs.ualberta.ca/ *
* *
* *
**************************************************************


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

[DMANET] Two Ph.D. positions in Combinatorics at the University of Strathclyde

Two Ph.D. positions in Combinatorics at the University of Strathclyde

The Combinatorics Group at the University of Strathclyde is pleased to
announce two Ph.D. positions in the Department of Computer and
Information Sciences. The candidates will preferably commence studies
before the end of 2011 (exact starting date is negotiable). The
positions will be for three years.

We are looking for candidates with a degree in mathematics or computer
science who have a research interest in combinatorics. The Ph.D.
candidates will be expected to take part in research projects that
concern sorting algorithms and other research specialties of the
group. In particular, this research will be part of the ongoing work
of the group on permutation statistics and patterns.

The Combinatorics Group's web site is http://combinatorics.cis.strath.ac.uk/

Applications will be considered on a rolling basis, and the positions
will be filled no later than the end of the year.

For further information about the application process and enquiries
about the combinatorics group, please contact Einar Steingrimsson,
<einar.steingrimsson at cis.strath.ac.uk>, or Anders Claesson
<anders.claesson at cis.strath.ac.uk>.

Mark
-----
Mark Dukes
Department of Computer and Information Sciences
University of Strathclyde
Room 13.12, Livingstone Tower
26 Richmond Street
Glasgow G1 1XH, Scotland
e: mark.dukes@cis.strath.ac.uk
w: http://www.cis.strath.ac.uk/~dukes
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************

Monday, July 25, 2011

[DMANET] Postdoc position at LAAS-CNRS (Toulouse, France)

Sorry for the multiple copies
-----------------------------

http://homepages.laas.fr/brun/OSEC/osec.html
LAAS-CNRS
Toulouse, France.

OSEC is a 2-year project funded by the LAAS laboratory. It is a joint
project of 3 research groups: MRS, OLC and MOGISA. We are seeking a
1-year postdoc to work on the project OSEC. The position is to be filled
up to October 3rd, 2011 and is funded by a grant from the LAAS-CNRS.

Title: Scheduling for Critical On-board Systems
-----

Context:
-------
The conditions for the correct performance of a real-time system include
not only the logical correctness of each of the tasks that are executed
but also their timing correctness, that is the system should meet the
timing requirements of each task. The design of such systems usually
relies on a pessimistic analysis based on worst-case execution times of
the tasks in order to find a taks scheduling meeting the strict
real-time requirements of the tasks. Even if it is approriate in some
specific application areas (e.g. aeronautics), this approach does not
allow to address many of the most important real-time system
applications because, when the execution time variance is high, it leads
to a significant over-provisionning of resources and puts unnecessary
constraints on the development. For real-time systems for which the task
set exhibit substantial variability, one would like to develop
approaches taking into account the stochastic nature of processing
times. Such approaches can lead to a drastic reduction in the amount of
on-board processing resources. Similarly, taking into account the needs
for system reconfiguration in case of failure can lead to significant
gains.

Candidate Profile:
------------------
The candidate must have:
- a PhD degree in computer science or control,
- Excellent skills in stochastic modelling (queueing theory,...),
- Knowledge in the domain of real-time systems,
- Good organizational and communication skills.


Application :
-----------
Each application must contain the following documents:
- a detailed CV
- a cover letter with a short description of previous works
- one or two reference letters with contact addresses


Starting date: October 3rd, 2011.
-------------

Applications should be sent electronically to Olivier Brun (brun@laas.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] EuroGP 2012 - first call for papers

===== Two research grants are now available =====
===== Application deadline: 15 / Sep / 2011 =====


Project:
EnviGP - Improving Genetic Programming for
the Environment and Other Applications

Website:
http://kdbio.inesc-id.pt/~sara/envigp.html


Objectives / summary:

The EnviGP project is dedicated to improving Genetic Programming in
order to allow its practical usage by practitioners of different
scientific domains. It studies the issues of bloat, overfitting,
complexity and interpretability of the solutions, and a more efficient
usage of GP in multiclass classification problems. All new developments
are tested in both benchmark and real world data of different domains
including forest science and biomedical informatics.

More information on available grants:
http://kdbio.inesc-id.pt/~sara/envigp_grants.html


Cheers,
Sara Silva
**********************************************************
*
* 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] Global Optimization Workshop (GOW12) - FIRST ANNOUNCEMENT

FIRST ANNOUNCEMENT
Global Optimization Workshop 2012 (GOW12)
Natal, Brazil, 26-29th June, 2012.


Global Optimization (GO) is a discipline aimed at finding global
optima for hard nonconvex optimization problems. The workshop will
bring together researchers dealing with this topic. We shall have at
most two parallel streams. Accordingly, only a limited number of
contributions will be accepted. A special issue of the Journal Of
Global Optimization will contain (fully refereed) papers derived from
works presented at the workshop.

GOW12 will take place in Natal, northeast of Brazil. The "City of the
Sun", as it is well-known, has a typical tropical climate, around
29°C, with the sun shining almost all the year. Bordered by the
Atlantic Ocean and surrounded by dunes, Natal has the perfect
combination of beautiful beaches, warm waters, lush nature and a
welcoming people, receiving more than two million Brazilian and
foreign tourists every year.

Wikipedia link: http://en.wikipedia.org/wiki/Natal,_Rio_Grande_do_Norte

Submission instructions:
------------------------------------------

Submit a 4-page extended abstract formatted using the LaTeX style
http://www.4nets.com.br/gow12/arquivos/central/latex_style.zip
through the EasyChair website
http://www.easychair.org/conferences/?conf=gow12

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

Deadline for the submission of abstracts: February 6th, 2012
Notification of acceptance: April 6th, 2012
Deadline for reduced fee: April 20th, 2012
Welcome reception: June 25th, 2012
Start of conference: June 26th, 2012

Invited speakers:
------------------------------------------
Jon Lee (University of Michigan, USA)
Leo Liberti (Ecole Polytechnique, France)
Nelson Maculan (Universidade Federal do Rio de Janeiro, Brazil)
Frederic Messine (ENSEEIHT, France)
Panos Pardalos (University of Florida, USA)

Scientific Committee:
------------------------------------------

Daniel Aloise, Natal, Brazil (co-chair)
Charles Audet, Montreal, Canada
Pietro Belotti, Clemson, USA
Sonia Cafieri, Toulouse, France
Manoel Campelo, Fortaleza, Brazil
Emilio Carrizosa, Sevilla, Spain
Marcia Fampa, Rio de Janeiro, Brazil
Xavier Gandibleux, Nantes, France
Pierre Hansen, Montreal, Canada (co-chair)
Eligius Hendrix, Malaga, Spain
Carlile Lavor, Campinas, Brazil
Marco Locatelli, Parma, Italy
Marcel Mongeau, Toulouse, France
Dominique Orban, Montreal, Canada
Sylvain Perron, Montreal, Canada
Mauricio G. C. Resende, Florham Park, USA
Celso C. Ribeiro, Rio de Janeiro, Brazil
Caroline Rocha, Natal, Brazil
Sebastian Sager, Heidelberg, Germany
Fabio Tardella, Rome, Italy
Ider Tseveendorj, Versailles, France
Robert Weismantel, Zürich, Switzerland
Tapio Westerlund, Abo, Finland

Local Organizing Committee
------------------------------------------

Daniel Aloise (General Chair), Natal, Brazil
Dario J. Aloise, Mossori, Brazil
Caroline Rocha, Natal, Brazil
Mariana Almeida, Natal, Brazil
Samuel Xavier de Souza, Natal, Brazil

Contact:
------------------------------------------

For more details, see the conference website at
http://gow12.dca.ufrn.br
For more information, please write an email to
gow12natal@gmail.com

----------------------------------------------------
Daniel Aloise
President of the Organizing Committee

**********************************************************
*
* 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, July 22, 2011

[DMANET] EuroGP 2012 - first call for papers

Dear colleagues,

We would like to invite you to submit a paper to EuroGP 2012, the 15th
European Conference on Genetic Programming, and we kindly ask you to
circulate this call in your institution, among your colleagues and
students. Thank you!

The EuroGP 2012 chairs
Sara Silva
Alberto Moraglio


***********************************
EuroGP 2012
(first call for papers)
***********************************

15th European Conference on Genetic Programming
11-13 April 2012, Malaga - Spain
www.evostar.org

Submission deadline:
November 30, 2011


EuroGP is the premier annual conference on Genetic Programming. EuroGP
is always a very enjoyable event, held together with the other main
european events on Evolutionary Computation (EvoBio, EvoCOP,
EvoApplications, EvoMusArt), collectively designated as EvoStar (Evo*).
EvoStar 2012 takes place in Malaga, Spain, the capital of the Costa del
Sol and one of the most cosmopolitan and open cities in Europe, widely
known for its superb weather, food, and hospitality. It offers an
excellent environment for participants to enjoy their visit, from the
academic and the social point of view.

EuroGP 2012 seeks high quality papers on topics strongly related to the
evolution of computer programs, including but not limited to:
* Theoretical developments
* Empirical studies of GP performance and behaviour
* Landscape analysis of GP
* Algorithms, representations and operators
* Applications of GP to real-life problems
* Evolutionary design
* Evolutionary robotics
* Tree-based GP
* Linear GP
* Graph-based GP
* Grammar-based GP
* Evolvable hardware
* Self-reproducing programs
* Multi-population GP
* Multi-objective GP
* Fast/Parallel GP (e.g., GPU implementation of GP)
* Probabilistic GP (e.g., combining ideas of estimation of
distribution algorithms and GP)
* Evolution of various classes of automata or machine (e.g.
cellular automata, finite state machines, pushdown automata, Turing
machines)
* Software Engineering and GP: using GP to evolve complete programs
(e.g., including variables, loops, recursion) and using SE methods
(e.g., software design) to improve GP
* Object-oriented GP
* Hybrid architectures including GP components
* Unconventional evolvable computation

The submissions will be peer reviewed by at least three members of the
program committee. The reviewing process will be double-blind, so please
omit information about the authors in the submitted paper. Accepted
papers will be presented orally or as posters at the conference and will
be published by Springer in the LNCS series.

The papers which receive the best reviews will be nominated for the Best
Paper Award. Authors of selected papers may be invited to submit
extended versions of their work to the Springer journal GPEM - Genetic
Programming and Evolvable Machines (http://www.springer.com/10710). Last
year, four best papers were selected for a special issue of GPEM to be
published in early 2012.

To celebrate the 10th anniversary of EvoBio, EuroGP encourages
submissions applying genetic programming to problems in computational
biology and new biologically inspired extensions of the genetic
programming framework for a special joint session of EuroGP with EvoBio.
These papers can be submitted either to EuroGP or EvoBio, and the
authors of the best ones will be invited to submit extended versions of
their work to a special issue of GPEM.

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

Important Dates:
* Submission deadline: 30 November 2010
* Notification to authors: 14 January 2011
* Camera-ready deadline: 5 February 2011
* Conference: 11-13 April 2011

Program Chairs:

* Sara Silva, INESC-ID Lisboa, Portugal
http://kdbio.inesc-id.pt/~sara/
sara(at)kdbio.inesc-id.pt
* Alberto Moraglio, University of Birmingham, UK
http://www.cs.bham.ac.uk/~moraglia/
a.moraglio(at)cs.bham.ac.uk
**********************************************************
*
* 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 CfP: GEOProcessing 2012 || January 30 - February 4, 2012 - Valencia, Spain

INVITATION:

=================
Please consider to contribute to and/or forward to the appropriate
groups the following opportunity to submit and publish original
scientific results to GEOProcessing 2012.
The submission deadline is set to September 5, 2011.
In addition, authors of selected papers will be invited to submit
extended article versions to one of the IARIA Journals:
http://www.iariajournals.org
=================


============== GEOProcessing 2012 | Call for Papers ===============

CALL FOR PAPERS, TUTORIALS, PANELS

GEOProcessing 2012: The Fourth International Conference on Advanced
Geographic Information Systems, Applications, and Services

January 30 - February 4, 2012 - Valencia, Spain


General page: http://www.iaria.org/conferences2012/GEOProcessing12.html

Call for Papers:
http://www.iaria.org/conferences2012/CfPGEOProcessing12.html

- regular papers
- short papers (work in progress)
- posters
-ideas

Submission page:
http://www.iaria.org/conferences2011/SubmitGEOProcessing12.html

Submission deadline: September 5, 2011

Sponsored by IARIA, www.iaria.org

Extended versions of selected papers will be published in IARIA
Journals: http://www.iariajournals.org

Please note the Poster Forum and Work in Progress options.

The topics suggested by the conference can be discussed in term of
concepts, state of the art, research, standards, implementations,
running experiments, applications, and industrial case studies. Authors
are invited to submit complete unpublished papers, which are not under
review in any other conference or journal in the following, but not
limited to, topic areas.

All tracks are open to both research and industry contributions, in
terms of Regular papers, Posters, Work in progress,
Technical/marketing/business presentations, Demos, Tutorials, and Panels.

Before submission, please check and conform with the Editorial rules:
http://www.iaria.org/editorialrules.html

GEOProcessing 2012 Topics (topics and submission details: see CfP on the
site)

Geo-spatial fundamentals
Fundamentals of geo-information; New trends in GIS technologies and
research; Techniques for geographical representation; Integrated
architectures for geo-spatial information; Geo-spatial data in
net-centric environment; Geo-spatial technology; Discovery, indexing and
integration of geographical information systems; Geo-processing of
distributed data; Geo-information processing; Use of computational
geometry for GIS problems; Virtual globes and their application to
scientific research; Spatial decision support systems

Geo-spatial Web Services
Geo-spatial Web Services and applications; Geo-spatial Web Services and
simulation and modeling; Geo-spatial Web Services and sensors;
Geo-spatial Web Services and interoperability; Geo-spatial Web Services
and processing; Geo-spatial Web Servcies and spatial analysis;
Geo-spatial Web Services and society; Geo-spatial Web Services and
information retrieval; Geo-spatial Web Services and human computer
interaction; Geo-spatial Web Services and mobility

GIS
Wireless and mobile GIS; Integration of remote sensing, GIS and GPS;
Statistics and application models of spatial data; GIS for the
environment and health; Satellite positioning technology and LBS; Urban
GIS and its applications; Theories and algorithms in GIS; Government and
public GIS

Geo-spatial simulation and visualization
2D and 3D information visualization; Distributed simulations and sensor
webs; Simulation modeling dynamic geo processes; Exploratory spatial
data analysis; Fine-grained, terrestrial monitoring platforms;
Geo-visualization and geo-visual analytics; Visualization of geospatial
uncertainty; Representation and visualization of geospatial data

Geo-modeling
Standards and geo-spatial metadata; Novel geo-spatial data processing
and management mechanisms; Spatio-temporal data modeling and reasoning;
3D modeling and GIS; Modeling and analysis of terrains; Modeling
uncertainty in geo-spatial information; Spatial and spatio-temporal
statistics; Geo-spatial and spatio-temporal data mining; Virtual
modeling of large geographic areas; Time-geography modeling

Digital cartography data
Digital geographical libraries; Exploratory cartography and interfaces;
Digital cartography; Automated mapping and map generalization;
Cartographic theory and applications; Data models in cartography;
Geographical search engines

Earth Geo-observation
Climate change and the global environment; Data systems for the future
Earth observation satellites; Calibration and validation of remotely
sensed data; Earth observation sensor networks and applications; Earth
observation technology and systems

Geo-sensing
Acquisition and processing of remotely sensed data; Information
extraction from remotely sensed data; Data mining across sensor;
Intelligent sensors/sensor fusion; Co-operative sensing and
organization; Sensor information management systems; Spatio-temporal
sensor data mining; Sensor networks and interaction with actuators;
Geo-sensor specialized networks (e.g. disaster management, early warning
systems, environmental monitoring)

Geo-spatial domain applications
Geology and hydrogeology geographical data; Standardization of geodata
and geoservices; Environment and land surveying; Oceanographic
geo-information; Natural resource information systems; Remote sensing
geospatial data collection; Geo-spatial data and vehicular technologies;
Geology and Hydrology applications; Location-based services;
Environmental monitoring; Special applications: 3D cadastre, traffic
management, etc.

Managing geo-spatial data
Managing uncertainty in spatial information; Automatic mapping (possibly
web-based ...); Digital elevation/shape modeling; Web-based
visualization of statistical data within a geographic framework; Tools
and links between GIS and statistical software packages; Business
mapping (spatial analysis for business processes as customer
segmentation, churn analysis, etc.); Wireless sensor networks for
spatial applications; Errors and their measurement in spatial data

Committee:
http://www.iaria.org/conferences2012/ComGEOProcessing12.html
====================
**********************************************************
*
* 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] WINE'11: final CfP

WINE 2011, the 7th Workshop on Internet & Network Economics.

December 11-14, 2011, Singapore.

Over the past decade, there has been a growing interaction between
researchers in theoretical computer science, networking and security,
economics, mathematics, sociology, and management sciences devoted to
the analysis of problems arising from the Internet and the World Wide
Web. The Workshop on Internet & Network Economics (WINE) is an
interdisciplinary forum for the exchange of ideas and results arising
from these various fields. The seventh WINE will take place in
December, 2011 in Singapore.

All submissions will be peer-reviewed and evaluated on the basis of
the quality of their contribution, originality, soundness, and
significance. Industrial applications and position papers presenting
novel ideas, issues, challenges and directions are also welcome.
Submissions are invited in the following topics but not limited to:

Algorithmic game theory
Algorithmic mechanism design
Auction algorithms and analysis
Computational advertising
Computational aspects of equilibria
Computational social choice
Convergence and learning in games
Coalitions, coordination and collective action
Economics aspects of security and privacy
Economics aspects of distributed and network computing
Information and attention economics
Network games
Price differentiation and price dynamics
Social networks.

Submission Format

Authors are invited to submit extended abstracts presenting original
research on any of the research fields related to WINE'11. No
simultaneous submission to other publication outlets (either a
conference or a journal) is allowed.

An extended abstract submitted to WINE'11 should start with the title
of the paper, each author's name, affiliation and e-mail address,
followed by a one-paragraph summary of the results to be presented.
This should then be followed by a technical exposition of the main
ideas and techniques used to achieve these results, including
motivation and a clear comparison with related work. The extended
abstract should not exceed 12 single-spaced pages (full papers) or 6
pages (short papers) using reasonable margins and at least 10-point
font (excluding references and title page). If the authors believe
that more details are essential to substantiate the claims of the
paper, they may include a clearly marked appendix (with no space
limit) that will be read at the discretion of the Program Committee.
It is strongly recommended that submissions adhere to the specified
format and length. Submissions that are clearly too long may be
rejected immediately. The proceedings of the conference will be
published by Springer-Verlag in the Lecture Notes in Computer Science
series, and will be available for distribution at the conference.
Submissions are strongly encouraged, though not required, to follow
the LNCS format.

Submission of Working Papers

To accommodate the publishing traditions of different fields, we allow
the authors to submit working papers that they intend to publish in
journals that do not accept papers previously published in conference
proceedings. These submissions will be reviewed together with the
regular submission using the same acceptance criteria, but only a
one-page abstract will appear in the proceedings with a URL that
points to the full paper and that will be reliable for at least two
years. Open access is preferred although the paper can be hosted by a
publisher who takes copyright and limits access, as long as there is a
link to the location. At the submission stage, such papers should be
formatted in the same way as the regular submissions (in particular,
they can be submitted as long or short papers), but the title page
should state clearly that the submission is a working paper.

Important Dates

Submission deadline (regular papers): July 31, 2011.
Submission deadline (short papers): August 7, 2011.
Notification: September 15, 2011.
Camera-ready copy is due on September 28, 2011.

For more information and submission instructions, see the conference homepage:
http://web.spms.ntu.edu.sg/~wine11/
**********************************************************
*
* 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] Conference Announcment

CONFERENCE ANNOUNCMENT


******************************************
* *
* Colloquium on Combinatorics *
* Magdeburg *
* 11th and 12th of November 2011 *
* *
******************************************


The 30th Colloquium on Combinatorics will take place in
Magdeburg (Germany), November 11th and 12th. It is a forum that brings
together young researchers and well established scientists. The
colloquium will cover all parts from Combinatorics and Discrete
Mathematics in a broad sense, including combinatorial aspects
in Algebra, Geometry and Computer Science.

There will be invited talks and parallel sessions with short
contributions of 20 minutes.

Deadline for registration: October 14, 2011.

More information is available on the webpage

www.math.uni-magdeburg.de/kolkom

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

Organizers: Prof. Dr. Stefan Felsner
Institut fuer Mathematik
Technische Universitaet Berlin
10623 Berlin
phone: +49-30-31429297
fax: +49-30-31425191
felsner@math.tu-berlin.de

Prof. Dr. Alexander Pott
Fakultaet fuer Mathematik
Otto-von-Guericke-Universitaet Magdeburg
Postfach 4120
39016 Magdeburg
phone: +49-391-6718322
fax: +49-391-6711213
alexander.pott@ovgu.de

**********************************************************
*
* 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, July 21, 2011

[DMANET] Workshop CFP: Beyond Worst-Case Analysis

Call for Participation: Beyond Worst-Case Analysis Workshop

September 19-21, 2011
Stanford University

This workshop will bring together researchers interested in the design
and rigorous analysis of algorithms in models that complement the
standard worst-case model, to learn about each other's research and
identify the most promising avenues for advancing the field. Topics
include, but are not limited to: smoothed analysis; planted and
semi-random models; average-case analysis; robust models of data;
novel input parameterizations and parameterized guarantees;
self-improving and prior-independent algorithms. There will be a mix
of plenary talks, regular invited talks, and rump/discussion sessions
over the 3 days.

The confirmed plenary speakers are: Avrim Blum, Bernard Chazelle,
Uri Feige, Richard Karp, Michael Mitzenmacher, Dan Spielman, Shang-Hua
Teng, and Luca Trevisan.

Registration is free but should be completed by September 5, 2011;
see http://theory.stanford.edu/~tim/bwca/bwca.html for more details.

This workshop will be the first of several taking place during
Stanford's 2011-2012 special year on theory.
**********************************************************
*
* 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/
*
**********************************************************

FSFLA 2011: 2nd announcement

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

2011 INTERNATIONAL FALL SCHOOL IN FORMAL LANGUAGES
AND APPLICATIONS

FSFLA 2011

(formerly International PhD School in Formal Languages and Applications)

Tarragona, Spain

October 31 – November 4, 2011

Organized by:
Research Group on Mathematical Linguistics
Rovira i Virgili University

http://grammars.grlmc.com/fsfla2011/

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

ADDRESSED TO:

Undergraduate and graduate students from around the world. Most appropriate degrees include: Computer Science and Mathematics. Other students (for instance, from Linguistics, Electrical Engineering, Molecular Biology or Logic) are welcome too provided they have a good background in discrete mathematics.

The School is appropriate also for people more advanced in their career who want to keep themselves updated on developments in the field.

There will be no overlap in the schedule of the courses.

The previous event was SSFLA 2011 (http://grammars.grlmc.com/ssfla2011/).

COURSES AND PROFESSORS:

- Franz Baader (Technische Dresden), Reasoning in Description Logics [intermediate, 6 hours]
- Manfred Droste (Leipzig), Weighted Automata and Weighted Logic [introductory/advanced, 8 hours]
- Max H. Garzon (Memphis), DNA Codeword Design and DNA Languages [introductory/intermediate, 10 hours]
- Venkatesan Guruswami (Carnegie Mellon), The Complexity of Approximate Constraint Satisfaction [intermediate, 6 hours]
- Tao Jiang (California Riverside), Average-case Analysis and Lower Bounds by the Incompressibility Method [intermediate, 6 hours]
- Michael Moortgat (Utrecht), Type-logical Grammars: Expressivity, Parsing Complexity [introductory/advanced, 8 hours]
- Helmut Seidl (Technische München), Macro Treetransducers for XML Processing [intermediate, 6 hours]
- Alan Selman (Buffalo), Probabilistic Complexity Classes [intermediate, 10 hours]
- Jeffrey Shallit (Waterloo), Automatic Sequences, Decidability, and Enumeration [intermediate, 6 hours]

SCHOOL PAPER:

On a voluntary basis, within 6 months after the end of the School, students will be expected to draft an individual or jointly-authored research paper on a topic covered during the classes under the guidance of the lecturing staff.

REGISTRATION:

It has to be done on line at

http://grammars.grlmc.com/fsfla2011/Registration.php

FEES:

They are variable, depending on the number of courses each student takes. The rule is:

1 hour =

- 10 euros (for payments until July 31, 2011),
- 15 euros (for payments after July 31, 2011).

The fees must be paid to the School's bank account:

Uno-e Bank (Julian Camarillo 4 C, 28037 Madrid, Spain): IBAN: ES3902270001820201823142 – Swift/BIC code: UNOEESM1 (account holder: Carlos Martin-Vide GRLMC; account holder's address: Av. Catalunya, 35, 43002 Tarragona, Spain)

Please mention FSFLA 2011 and your full name in the subject. A receipt will be provided on site. Bank transfers should not involve any expense for the School.

For early reduced rates, please notice that the date that counts is the date of the arrival of the fees to the School's account.

People registering on site at the beginning of the School must pay in cash. For the sake of local organization, however, it is much recommended to complete the registration and the payment earlier.

ACCOMMODATION:

Information about accommodation is available on the website of the School.

CERTIFICATES:

Students will be delivered a certificate stating the courses attended, their contents, and their duration. Those participants who will choose to be involved in a research paper will receive an additional certificate at the completion of the task, independently on whether the paper will finally get published or not.

IMPORTANT DATES:

Announcement of the programme: June 4, 2011
Starting of the registration: June 4, 2011
Early registration deadline: July 31, 2011
Starting of the School: October 31, 2011
End of the School: November 4, 2011

QUESTIONS AND FURTHER INFORMATION:

Lilica Voicu: florentinalilica.voicu@urv.cat

WEBSITE:

http://grammars.grlmc.com/fsfla2011/

POSTAL ADDRESS:

FSFLA 2011
Research Group on Mathematical Linguistics
Rovira i Virgili University
Av. Catalunya, 35
43002 Tarragona, Spain

Phone: +34-977-559543
Fax: +34-977-558386

ACKNOWLEDGEMENTS:

Diputació de Tarragona
Universitat Rovira i Virgili

COMPUTABILITY - The Journal of the Association CiE

_______________________________________________________________________

COMPUTABILITY
The Journal of the Association CiE

Now Accepting Submissions!

First volume to be published in 2012
as part of the celebrations of the Alan Turing Year

http://www.computability.de/journal/
_______________________________________________________________________

Aims and Scope

Computability is the journal of the Association Computability in Europe
and it is published by IOS Press in Amsterdam.

The journal Computability is a peer reviewed international journal that
is devoted to publishing original research of highest quality, which is
centered around the topic of computability.

The subject is understood from a multidisciplinary perspective,
recapturing the spirit of Alan Turing (1912-1954) by linking theoretical
and real-world concerns from computer science, mathematics, biology,
physics, computational neuroscience, history and the philosophy of
computing.

Editor-in-Chief

Vasco Brattka (Cape Town, South Africa)

Managing Editors

Paola Bonizzoni (Milan, Italy)
S. Barry Cooper (Leeds, UK)
Benedikt Loewe (Amsterdam, The Netherlands)
Elvira Mayordomo (Zaragoza, Spain)

Editorial Board

Samson Abramsky (Oxford, UK)
Manindra Agrawal (Kanpur, India)
Eric Allender (Piscataway, USA)
Jeremy Avigad (Pittsburgh, USA)
Arnold Beckmann (Swansea, UK)
Olivier Bournez (Palaiseau, France)
Alessandra Carbone (Paris, France)
Karine Chemla (Paris, France)
Bruno Codenotti (Pisa, Italy)
Stephen A. Cook (Toronto, Canada)
Anuj Dawar (Cambridge, UK)
Rodney G. Downey (Wellington, New Zealand)
Natasha Jonoska (Tampa, USA)
Ulrich Kohlenbach (Darmstadt, Germany)
Russell Miller (New York, USA)
Andrei Morozov (Novosibirsk, Russia)
Prakash Panangaden (Montreal, Canada)
Frank Stephan (Singapore)
Vlatko Vedral (Oxford, UK)
Rineke Verbrugge (Groningen, The Netherlands)
Ning Zhong (Cincinnati, USA)


Submission Guidelines

The journal Computability invites submission of full papers of highest
quality on all research topics related to computability.

Computability accepts only submissions of original research papers that
have not been published previously and that are not currently submitted
elsewhere. Full versions of papers that have already been published in
conference proceedings are eligible only if the conference version is
clearly cited and the full version enhances the conference version
significantly.

Authors are requested to submit PDF manuscripts electronically via the
online submission system. Authors can indicate non-binding wishes
regarding Editorial Board Members who should handle their submission.
Final versions of accepted papers have to be prepared using the journal
style file and they need to be submitted together with all source files.

Authors submitting a manuscript do so on the understanding that they
have read and agreed to the terms of the IOS Press Author Copyright
Agreement and that all persons listed as authors have given their
approval for the submission of the paper.

http://www.computability.de/journal/
_______________________________________________________________________

[DMANET] CSCCIT Conference Announcement...

CSCCIT Conference Announcement...

First CSUT Conference on Computer, Communication and Information technology

Department of Computer Science, University of Tabriz, Tabriz, Iran.
Nov 16-17, 2011

Web-page: http://csccit2011.tabrizu.ac.ir/en/index.htm

Dear Colleagues
I am pleased to announce the " First CSUT Conference on Computer,
Communication and Information technology " which will be held on Nov
16-17, 2011, at the Department of  of Computer Science, University of
Tabriz, Tabriz, Iran.

The aim of the conference is to bring together researchers and
scientists from all over the world to discuss theoretical and applied
aspects of Computer Science and Information Technology.

The conference includes but not limited to the following subjects:

Computer Science and Engineering (CSE)

Software Systems and Engineering

Machine Vision and remote sensing

Signal and Image Processing

Natural Language Processing

Knowledge-Based and Expert Systems

Machine Learning and Intelligent Systems

Information Systems and Applications

Data Mining and Data Fusion

Data Base Management Systems

Information and Data Security

Combinatorial Optimization

Fuzzy Logic

Game Theory

Heuristic Algorithms

Integer Programming

Linear Optimization

Multiple Criteria Decision Making

Network Optimization

Robust Optimization

Simulation and Queuing Theory

Stochastic Optimization

Engineering Optimization

Information and Communication Technologies (ICT)

Web Engineering
Communication Systems
Network Management and Services
Knowledge Management and Decision Support Systems
Information Infrastructure of Virtual Enterprises
Tele-Healthcare, Tele-Medicine, and Medical Informatics
e-Parliament, e-Governance, and Virtual Government
e-Banking, e-Commerce, e-Business, and Virtual Organizations
e-Learning, e-Education and Virtual School
e-Games and Virtual Reality
Management Information Systems
Information Society and Sociotechnical Issues
Socioeconomic and Cultural Impacts of CIT

Mathematical and Theoretical Foundations of CSE and ICT (MTF)

Mathematical Foundation of Computer and Information Technology
Mathematical Analysis and Simulation of Computer Systems
Computational Theory and Mathematical Modeling
Logic, Formal Methods, and Proof Systems

Please kindly forward this email to colleagues who may be interested
in this conference.

For more information please visit the conference web-page or contact
csccit2011@tabrizu.ac.ir.

Best Regards,

Scientific Committee
Department of Computer Science,
University of Tabriz,
Tabriz, Iran
**********************************************************
*
* 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, July 20, 2011

[DMANET] Deadline Extension: ALGORITHMIC ANALYSIS OF BIOLOGICAL DATA

ALGORITHMIC ANALYSIS OF BIOLOGICAL DATA

Satellite Workshop
of the 18th Symposium on String Processing and Information Retrieval (SPIRE)
http://spire2011.isti.cnr.it/

Pisa, Italy
Friday, October 21, 2011

EXTENDED ABSTRACT SUBMISSION DEADLINE: August 15, 2011

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

This one-day Workshop intends to bring together scientists interested in the design and analysis of
efficient methods and algorithms for processing large-scale biological data. This includes primary
biosequence data (DNA, RNA, proteins) as well as data on protein-DNA or protein-protein interaction,
gene regulation, or all other kinds of 'omics'-data obtained through modern high-throughput genomic
technologies.
The emphasis is put on efficient algorithms and machine-learning methods for processing, storing,
mining and retrieving these data, based on sound formal models.

Authors interested to give a talk at the Workshop are invited to submit an abstract (up to one page) to
http://www.easychair.org/conferences/?conf=waabd11
Along with original research, submissions presenting work-in-progress or surveys are welcome.

Extended deadline for abstract submissions: August 15, 2011

Workshop participants will be invited to register through the registration procedure of SPIRE
accessible from the SPIRE website:http://spire2011.isti.cnr.it/?page_id=244
There is no additional Workshop participation fee for participants registered for the SPIRE conference.
A Workshop-only registration option is also offered.

Workshop organizers:
Concettina Guerra (University of Padova, Italy/Georgia Institute of Technology, USA)
Lucian Ilie (University of Western Ontario, Canada)
Gregory Kucherov (CNRS/Marne-la-Vallee, France)
Marco Pellegrini (Institute of Informatics and Telematics, Pisa Italy)
Stephane Vialette (CNRS/Marne-la-Vallee, France)


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

Tuesday, July 19, 2011

[DMANET] Call for Participation: TAROS 2011, 12th Conference Towards Autonomous Robotic Systems

[Our apologies if you receive multiple copies of this CFP.]


CALL FOR PARTICIPATION

TAROS 2011
12th Conference Towards Autonomous Robotic Systems
31 August - 2 September 2011. Sheffield, United Kingdom

Registration online: http://www.taros.org.uk

Now in its 12th edition, TAROS is the UK's premiere annual conference for autonomous robotics. The meeting encompasses topics across the entire range of robotics research and is open to worldwide participants. TAROS 2011 is a single-track conference that offers a friendly environment for robotics researchers and industry to take stock and plan future progress.
---------------------------------------------------------------
Plenary speakers: Joseph Ayers (Northeastern University), Simon Blackmore (UniBots Ltd), Yiannis Demiris (Imperial College London), Paul Newman (The Oxford Mobile Robotics Group)
---------------------------------------------------------------
Full programme online (http://www.taros.org.uk); 94 submissions, 41% full paper acceptance rate; 20 oral presentations and 42 poster presentations; proceedings: LNCS (LNAI), vol. 6856, 2011; best papers in Robotics and Autonomous Systems
---------------------------------------------------------------
Industry-Academia Day & Exhibitions: TAROS 2011 invites broad participation of representatives from industry in the main conference and particularly in the industry-academia 1-day symposium (http://www.taros.org.uk); including the launch of the BARA Robotics Academic Forum and contributions from Libor Kral (EU) and Daniel Dearing of the UK Knowledge Transfer Network, as well as a range of exhibits from both academic and industry partners.
---------------------------------------------------------------
Sheffield Centre of Robotics: TAROS 2011 provides the opportunity for the local hosts - Sheffield Hallam University and the University of Sheffield - to launch their new city-wide initiative for robotics research. The Sheffield Centre for Robotics (SCentRo) will bring together five existing research groups across the two Universities with the aim of enhancing inter-disciplinary research and raising the profile of robotics research in Sheffield.
---------------------------------------------------------------
Location: The City of Sheffield is built on seven hills and near the confluence of five rivers, it borders on to the UK's largest national park (the Peak district). The city is known for its industrial heritage, current hi-tech industries, and as a cultural hub for South Yorkshire.


Looking forwards to seeing you in Sheffield.

Jacques Penders & Tony Prescott
Conference chairs, TAROS 2011

http://www.taros.org.uk
info@taros.org.uk<mailto:info@taros.org.uk>
**********************************************************
*
* 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] AIRO2011 - Program, Registration, and Social Dinner

===============================================================
AIRO 2011 - PROGRAM, REGISTRATION, AND SOCIAL DINNER

42nd Annual Conference of the Italian Operational Research Society
September 6-9, 2011 - Brescia - Italy
===============================================================

PROGRAM AVAILABLE
The complete program of the conference is now available at our website
(airo2011.eco.unibs.it). Note that the first two events of the
Conference on Tuesday, 6 Sept., are the following:
10:00 - The Registration desk opens at Sala Riunioni,
Dipartimento Metodi Quantitativi, Contrada Santa Chiara 50
14:00 - The Opening Session takes place at Aula Magna,
Via San Faustino 74/B
Please visit our website for details about the locations.

REGISTRATION
We would like to point out that on-site registrations, though possible,
are source of delay for the registration desk during the conference and
make event planning more difficult.
Thus, we kindly invite anyone who plans to attend at AIRO 2001 meeting
but has not yet registered, to register in advance through our website
(airo2011.eco.unibs.it), even if he/she intends to pay on-site.

SOCIAL DINNER
Social dinner will take place on Thursday, Sept. 8, 2011, at
"Villa Baiana" (http://www.villabaiana.it/)
Villa Baiana is an estate dated 1620, surrounded by a park of ancient
trees, with large halls, an elegant architecure, and panoramic terraces,
placed in a beautiful land named Franciacorta.
Villa Baiana includes "La Montina" wineries, where precious Franciacorta
wines rest during their maturation and aging.
The program for the social dinner include: a guided tour of the
wineries, aperitif, dinner, award ceremony for past AIRO presidents,
dance.

CONTACTS
e-mail: airo2011@eco.unibs.it
web: http://airo2011.eco.unibs.it


The Organizing Committee


--
AIRO 2011 - Organizing Committee

September 6-9, 2011 - Brescia - Italy
http://airo2011.eco.unibs.it


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

*** CALCO 2011: Early registration extended until July 27 ***

[Please forward to PhD students and young researchers.]

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

CALL FOR PARTICIPATION: CALCO 2011

4th International Conference on Algebra and Coalgebra in Computer Science

August 29 - September 2, 2011

Winchester, UK

http://calco2011.ecs.soton.ac.uk/

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

*** Early registration extended until Wednesday 27 July, 2011 ***

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


CALCO aims to bring together researchers and practitioners with
interests in foundational aspects, and both traditional and emerging
uses of algebras and coalgebras in computer science.

This is a high-level, bi-annual conference formed by joining the
forces and reputations of CMCS (the International Workshop on
Coalgebraic Methods in Computer Science), and WADT (the Workshop on
Algebraic Development Techniques). Previous CALCO editions took place
in Swansea (Wales, 2005), Bergen (Norway, 2007) and Udine (Italy,
2009). The fourth edition will be held in the city of Winchester
(UK), a historic cathedral city and the ancient capital of Wessex
and the Kingdom of England.

CALCO 2011 will be preceded by the CALCO Young Researchers Workshop,
CALCO-Jnr, dedicated to presentations by PhD students and by those who
completed their doctoral studies within the past few years.

The programme of CALCO also comprises presentations of tools based on
algebraic and/or coalgebraic principles, that have been selected in the
context of a dedicated workshop, CALCO-Tools.

-- INVITED SPEAKERS --

* Javier Esparza (Germany): Solving Fixed-Point Equations by Derivation Tree Analysis
* Philippa Gardner (UK): Abstract Local Reasoning about Program Modules
* Gopal Gupta (USA): Infinite Computation, Coinduction and Computational Logic

-- CALCO ACCEPTED PAPERS --

* Clement Fumex, Neil Ghani and Patricia Johann. Indexed Induction and Coinduction, Fibrationally
* Jort Bergfeld and Yde Venema. Model constructions for Moss' coalgebraic logic
* Jiri Adamek, Mahdie Haddadi and Stefan Milius. From Corecursive Algebras to Corecursive Monads
* Sergey Goncharov and Lutz Schroeder. A Counterexample to Tensorability of Effects
* Camilo Rocha and Jose Meseguer. Proving Safety Properties of Rewrite Theories
* Ekaterina Komendantskaya and John Power. Coalgebraic semantics for derivations in logic programming
* Adriana Balan and Alexander Kurz. Finitary Functors: from Set to Preord and Poset
* Joost Winter, Marcello Bonsangue and Jan Rutten. Context-Free Languages, Coalgebraically
* Marta Bilkova, Alexander Kurz, Daniela Petrisan and Jiri Velebil. Relation Liftings on Preorders
* Murdoch Gabbay, Tadeusz Litak and Daniela Petrisan. Stone duality for nominal Boolean algebras with `new': topologising Banonas
* Bart Jacobs. Bases as Coalgebras
* Thorsten Altenkirch, Peter Morris, Fredrik Nordvall Forsberg and Anton Setzer. A categorical semantics for inductive-inductive definitions
* Jun Kohjina, Toshimitsu Ushio and Yoshiki Kinoshita. Coalgebraic Approach to Supervisory Control of Partially Observed Mealy Automata
* Ichiro Hasuo. The Microcosm Principle and Compositionality of GSOS-Based Component Calculi
* Mihai Codescu and Till Mossakowski. Refinement trees: calculi, tools and applications
* Baltasar Trancon Y Widemann and Hauhs Michael. Distributive-Law Semantics for Cellular Automata and Agent-Based Models
* Corina Cirstea. Model Checking Linear Coalgebraic Temporal Logics: an Automata-Theoretic Approach
* Katsuhiko Sano. Generalized Product of Coalgebraic Hybrid Logics
* Rasmus Ejlers Mogelberg and Sam Staton. Linearly-used state in models of call-by-value
* Fredrik Dahlqvist and Dirk Pattinson. On the fusion of coalgebraic modal logics
* Manuel A. Martins, Alexandre Madeira, Razvan Diaconescu and Luis Barbosa. Hybridization of Institutions

-- CALCO-Tools ACCEPTED PAPERS --

* Luca Aceto, Georgiana Caltais, Eugen-Ioan Goriac and Anna Ingolfsdottir. PREG Axiomatizer - A Ground Bisimilarity Checker for GSOS with Predicates
* Pawel Sobocinski and Jennifer Lantair. WiCcA: LTS generation tool for wire calculus
* Francisco Duran, Camilo Rocha and Jose Maria Alvarez. Tool Interoperability in the Maude Formal Environment
* Andre Martins, Luis Barbosa and Nuno Rodrigues. SHACC: A functional animator for a component calculus
* Ulrich Berger, Kenji Miyamoto, Helmut Schwichtenberg and Monika Seisenberger. Minlog - A Tool for Program Extraction Supporting Algebras and Coalgebras
* Musab Alturki and Jose Meseguer. PVeStA: A Parallel Statistical Model Checking and Quantitative Analysis Tool

-- LOCATION --

Winchester is a beautiful historic city in southern England, known for
its 11th-century cathedral and 12th-century castle. It is located just
under an hour by rail from London Waterloo, and 15 minutes by road or
rail from Southampton Airport. London Heathrow is 50 miles away and
London Gatwick 72 miles away.

-- FURTHER INFORMATION --

Queries should be emailed to calco2011@ecs.soton.ac.uk


.