Thursday, July 19, 2012

[DMANET] LAST 10 DAYS: GreeNets 2012 - Deadline extended to August 1, 2012.

====================================================================================
2nd International Conference on Green Communications and Networking - GreeNets 2012
24th and 26th October 2012
Gandia, Spain
http://greenets.org/
====================================================================================

HIGHLIGHTS

- The event is endorsed by the European Alliance for Innovation (www.eai.eu), a leading community-based organisation devoted to the advancement of innovation in the field of ICT
- All accepted papers will be published by Springer and made available through SpringerLink Digital Library, one of the world's largest scientific libraries
- Proceedings will be submitted for indexing by Google Scholar, ISI, EI Compendex, Scopus and many more
- Best papers will be selected to be included in one of the special issues that will be published in: Future Internet, Network Protocols and Algorithms, Recent Patent in Telecommunications

CALL FOR PAPERS

[Scope]

Global warming and climate change have been a growing worldwide concern. Six sources, i.e., transportation, power, buildings, industry, agriculture and forestry, and land use, have been identified as major contributors to the rise of global carbon dioxide (CO2). The mobile industry is seen as a potential enabler to reduce greenhouse gases contributed by these six sources provided that appropriate measures are implemented. On the other hand, the mobile industry itself will also contribute to CO2 emission through network operations, mobile equipments, etc. To meet the requirement of low-carbon economy development, it is necessary to reduce the operation expenditure or energy consumption of mobile networks, while maintaining acceptable quality of service. This conference will explore and explain the scope and challenges of designing, building, and deploying GreeNets. In this regard, the conference aims to establish a forum to bring together research professionals from diverse f!
ields including green mobile networ
ks, system architectures, networking & communication protocols, applications, test-bed and prototype, traffic balance and energy-efficient cooperation transmission, system and application issues related to GreeNets.

[Topics]

The conference invites original technical papers that were not previously published and are not currently under review for publication elsewhere. Topics include, but are not limited to:

- Communications and Networking:
Communication techniques and protocols for GreeNets
Energy-efficient transmission technologies based on the cooperation communication
Scalable and flexible energy efficiency mobile network architectures, deployments, and applications

- Energy-efficient network architecture & protocols:
Scalability and mobility issues in energy efficiency cross-layer design
MAC Protocols and QoS Designing for mobile networks

- Systems and Technology:
Transactions and workflows in green mobile networks
Adaptability and stability of green mobile networks
Mobile and multimedia supported green mobile networks
Experimental and test bed studies for energy efficiency mobile networks, simulation tools

- Energy-efficient management:
Energy-efficient traffic balance, cooperation and management
Distributed energy efficiency resource management techniques
Protocols for cooperative management and control

[Publications]

Accepted papers will be published in Springer's LNICST series and will appear in the SpringerLink, one of the largest digital libraries online that covers a variety of scientific disciplines, as well as in the ICST's own EU Digital Library (EUDL).

LNICST volumes are submitted for inclusion to leading indexing services, including DBLP, Google Scholar, ACM Digital Library, ISI Proceedings, EI Engineering Index, CrossRef, Scopus.

[Special Issues]

Best papers will be selected to be included in one of the special issues that will be published in:

Future Internet (ISSN 1999-5903)
Network Protocols and Algorithms (ISSN 1943-3581)
Recent Patent in Telecommunications (ISSN: 2211-7407 (Print) ISSN: 2211-7415 (Online))

[Paper submission]

All the papers formatted according with the instructions have to be submitted through the conference online system at: http://greenets.org/submission.shtml

[Important dates]

Abstract Submission Deadline: August 1, 2012
Full Paper Deadline: August 1, 2012
Notification of Acceptance: September 1, 2012
Camera-ready: September 24, 2012
Conference dates: 24th - 26th October 2012

[Conference organizing committees]

General Co-Chairs:
Jaime Lloret, Universidad Politecnica de Valencia, Spain
Joel Rodrigues, Institute of Telecommunications, University of Beira Interior, Portugal

TPC Co-Chairs:
Liang Zhou, Nanjing University of Posts and Telcommunications, China
Eduardo Nakamura, Federal Univ. of Amazonas, Brazil

Industry Track Chair:
Jose Maria Alcaraz Calero, Hewlett Packard Laboratories, Bristol, UK

Workshop Chair:
Javier Aguiar, University of Valladolid, Spain

Special Session Chair:
Jose Soler, Danmarks Tekniske Universitet, Denmark
Vivek S. Deshpande, MIT College of Engineering, Pune, India

Panel Chair:
A.v. Senthil Kumar, HINDUSTHAN College of Arts & Science, India

Posters Chair:
Kayhan Zrar Ghafoor, Universiti Teknologi Malaysia, Malaysia

Local Co-Chairs:
Diana Bri, Universidad Politecncia de Valencia, Spain
Miguel Garcia, Universidad Politecncia de Valencia, Spain

Publicity Chairs:
Sandra Sendra, Univ. Politecnica de Valencia, Spain
Min Chen, Seoul National University, Korea

Web Chair:
Alejandro Canovas, Universidad Politecncia de Valencia, Spain

Steering Committee:
Athanasios Vasilakos, National Technical University of Athens (NTUA), Greece
Imrich Chlamtac, Creat-Net, Italy


ABOUT EAI
The European Alliance for Innovation is a dynamic eco-system for fostering ICT enabled innovation to improve European competitiveness and to benefit society. EAI uses open e-platforms to inspire grassroots collaboration among all relevant actors, from organizations to individuals, to stimulate community driven innovation to its institutional and individual members worldwide. Through EAI, organizations find ideas and talent, and individual innovators find organizations for their ingenuity and craft. Join the innovation community at www.eai.eu

UNSUBSCRIBE
If you believed you have received this email in error, or do not want to receive emails from us in the future, please send an email to unsubscribe@eai.eu.
**********************************************************
*
* 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] PostDoc/PhD positions in algorithms at IDSIA, Lugano (Fabrizio Grandoni)

The Dalle Molle Institute (IDSIA), University of Lugano (Switzerland),
opens one PhD position and multiple PostDoc positions in the area of
algorithms. All the positions are supported by the ERC Starting Grant
"New Approaches to Network Design". Positions will be filled as soon
as adequate candidates will apply, starting from September 2012 and
till December 2016.

The main themes of the project are approximation algorithms for
network design and pricing problems, and the interaction between
approximation algorithms and exact/parameterized algorithms. Further
details about the mentioned project and how to apply for the positions
can be found at:
www.idsia.ch/~grandoni/ERC2010.html

For any question, please contact:
Prof. Fabrizio Grandoni
fabrizio@idsia.ch
**********************************************************
*
* 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/
*
**********************************************************

TAPAS-2012 deadline extension to 29 July

Deadline Extension: 

Sunday, 29 July 2012

Conference website: http://tapasconference.org/2012/
---

2nd International Conference on Theory and Practice of Algorithms in (Computer) Systems

December 3–5, 2012 Ein Gedi (Dead Sea), Israel 

Dec 3-5 2012

Invited Speakers

Publications

The proceedings will be published by Springer



Post-doc Researcher in the area of robust estimation (IDSIA, Lugano, Switzerland)

A position for a post-doctoral researcher in the area of robust
estimation is available at
IDSIA (Lugano, Switzerland, www.idsia.ch). Occupancy degree is 100%.


**Background
In performing a Bayesian analysis concerning the unknown value of a
parameter, one is required to express the prior beliefs about the
parameter in the form of a prior distribution. However, prior
information is often imprecise and cannot be expressed with a single
prior distribution. In this case, an alternative approach is to
express prior information in terms of a family consisting of all prior
distributions that are deemed reasonable in representing one's prior
beliefs. Inferences should then carried out by considering the whole
family of distributions. This approach is known as Bayesian robustness
- examples are contamination models, intervals of measures, density
ratio classes, etc. In the case almost no prior information is
available on the parameter, the family of distributions should be as
large (i.e., as least-committal, or as weak) as possible in order to
describe this state of prior ignorance. In this respect, the class of
families known as near-ignorance priors has recently been the focus of
much research: these are models that express a minimal state of
beliefs a priori, thus representing a condition of prior ignorance on
some random quantities of interest, while always leading to
informative posterior inferences. Prior near-ignorance models can be
regarded as an objective-minded approach to inference, in that prior
beliefs are maximally weakened in favor of information coming from
data.
You can obtain further information and references from our website:
http://ipg.idsia.ch/.


**Keywords: robust estimation, Bayesian robustness, set of
distributions, imprecise probability, consistency of the posterior
distribution, asymptotic analysis.


**Job description
The goal of this project is first of all to develop new methods for
robust estimation based on families of distributions with particular
emphasis on near-ignorance models. Therefore the project will be
mostly based initially on methodological developments at the
theoretical level. The second part of the project will focus on the
application of those methods to problems in which robustness is an
issue such as, for instance, regression, filtering, time series
analysis (e.g., robust Kalman filter) etc. The project is granted by
the Swiss National Science Foundation and focuses on basic research.


**Requirements
-have excellent mathematical skills, preferable in the area of
probability and statistics,
-have both a Master and a Ph.D. degree in mathematics or statistics or
physics or engineering or related area,
-have a strong publication record on topics related to statistical
estimation, robust estimation, applied probability.
-strong commitment to research and publication.

**We offer
-a two-years position (degree of occupancy 100%), with possibility of
prolongation;
-international working environment (English is the official language);
-funded travels in case of papers accepted by well-known international
conferences.

**Application
Applicants should submit the following documents, written in English:
-curriculum vitae;
-list of exams and grades obtained during the Bachelor and the Master
of Science;
-list of three references (with e-mail addresses);
-brief statement on how their research interests fit the topics above
(1-2 pages);
-publication list and possibly links to the thesis.


Applications should be submitted by 31 August 2012 through the online
form at the address:

www.supsi.ch/go/bando_robustestimation_researcher_IDSIA

Incomplete applications, or submitted to other addresses, or beyond
the deadline will be not accepted.


For further information please refer to the official page for this position:
http://www.supsi.ch/home/supsi/lavora-con-noi/2012-08-31.html
or contact
Alessio Benavoli,
alessio@idsia.ch

Wednesday, July 18, 2012

CFP: ComManTel 2013 - Ho Chi Minh City, Vietnam - January 21-24, 2013

/* Apologies for cross-postings */

=============================================================================
Call for Papers
The International Conference on Computing, Management and Telecommunications
(ComManTel 2013)

January 21-24, 2013
Rex Hotel, Ho Chi Minh City, Vietnam

"The Dawn of New Technology"

http://commantel.net/2013/
=============================================================================

ComManTel 2013 is organized by the Radio & Electronics of HCM City (REH) and Duy Tan University.
ComManTel 2013 is technically co-sponsored by IEEE and IEEE Communications Society Vietnam Chapter.
Accepted and presented papers will be published in the conference proceedings and IEEE Xplore� (IEEE Digital Library).

**Scope and Motivation**
You are cordially invited to participate in and attend The International Conference on Computing,
Management and Telecommunications (ComManTel 2013) to be held in the Rex Hotel, Ho Chi Minh City,
Vietnam on January 21-24, 2013. The conference is to address, explore and exchange information on
the state-of-the-art in all types of Computing, Management and Telecommunications.
We are interested in visionary, experimental, systems-related and work in-progress papers on the
current state of research in Computing, Management and Telecommunications and related issues.


**Topics of Interest**

The ComManTel 2013 seeks original contributions in, but not limited to, the following tracks topical areas:

* Computing Technologies
- Parallel and distributing computing
- High-performance computing
- Grid computing
- Could computing
- Green computing
- Ubiquitous computing
- Peer-to-peer and cluster computing
- Software engineering and knowledge engineering
- Artificial intelligence and machine learning
- Knowledge discovery and data mining
- Virtual reality and visualization
- Biomedical informatics and computation
- Mobile learning applications
- Mobile development applications
- Computing applications in education
- Computing applications and architectures in health
- Pervasive and wearable computing
- Web-based computing and services
- Wireless and mobile computing
- Multimedia computing applications and architectures
- Security and trust computing
- Computing operating systems


* Information Technology Management
- Information management
- Innovation and technology management
- Knowledge management
- Project management
- Policy management
- Engineering management and applications
- Theories and methodologies of enterprise management
- System engineering and operational research
- E-business and E-government
- Business intelligence and web services
- Logistics and supply chain management
- Ethics in technology management
- Resource management
- Strategic management
- Supply change management
- Systems management


* Telecommunications Systems and Networks
- Cooperative communications
- Cognitive radio and dynamic spectrum access
- Modulation, coding, and diversity techniques
- Signal detection and parameter estimation
- Signal, image and video processing
- Decoding and encoding techniques
- Multi-carrier systems, including OFDM
- Multiple-input multiple-output techniques
- Security of telecommunications
- Ultra-wideband and spread spectrum communications
- Cellular systems, 2G/2.5G/3G/4G and beyond
- WiMAX, LTE, WMAN, and other emerging broadband wireless networks
- Body-based wireless networks
- Wireless networks for underwater and UAVs communications
- Delay tolerant wireless networks
- Wireless ad hoc, mesh and sensor networks
- Peer-to-peer wireless networks
- Wireless Internet and mobile IP
- Routing and multicasting protocols
- Resource management, mobility management, and admission control


**Submission Guidelines**

Submitted papers must represent original material that is not currently under review in any other conference or journal,
and has not been previously published. Authors must submit their work electronically through EDAS system at http://edas.info/newPaper.php?c=12451.
The paper should have a maximum of 6 pages in the IEEE format (available at http://commantel.net/2013). Papers must be submitted in PDF format only.
Accepted and presented papers will be published in the conference proceedings and IEEE Xplore� (IEEE Digital Library).

High quality papers will be invited to be submitted to one of 3 Journal Special Issues:
JoC,�FTRA Publishing,�http://www.ftrai.org/joc
IJITCC Journal, InderScience,�http://www.inderscience.com/ijitcc
Peer-to-Peer
Networking and Applications, Springer:�http://www.springer.com/engineering/signals/journal/12083


**Important Dates**

Submission of full papers: August 31, 2012
Notification of acceptance: October 15, 2012
Camera ready papers and registration: November 30, 2012
Main Conference: January 21-24, 2013



**Orgnization Committee**
Honorary Conference Chair
Nguyen Minh Duc REV Vice President, REH Secretary-General, Chairman of ITC College of HCM City, Vietnam

General Chairs
Khaled Ben Letaief
University of Hong Kong, China

Honorary Technical Program Chair
Sherman Shen
University of Waterloo, Canada
Tran Xuan Nam
Le Quy Don Technical University, Vietnam

Technical Program Chairs
Trung Q. Duong (Blekinge Institute of Technology, Sweden)
Yan Zhang (Simula Research Inc., Norway)
Nidal Nasser (Alfaisal University, KSA)

Publicity Co-Chairs
Vo Nguyen Quoc Bao (Posts & Telecom. Inst. Tech. (PTIT), Vietnam)
Nguyen Tuong Duy (Vietnam Aviation Academy, Vietnam)
Chadi Assi (University of Concordia, Canada)
Jaime Lloret Mauri (Universidad Polit�cnica de Valencia, Spain)
Bechir Hamdaoui (Oregon State University, USA)

Publication Committee Co-Chairs
Mohsen Guizani (Qatar University, Qatar)
Le Nguyen Bao (Duy Tan University, Vietnam)

Local Organization Co-Chairs
Trung Q. Duong (Blekinge Institute of Technology, Sweden)
Vo Nguyen QuocBao (Posts & Telecom. Inst. Tech. (PTIT), Vietnam)

Registration Chair
Nidal Nasser (Alfaisal University, KSA)

Lecturer positions in Theoretical Computer Science at Queen Mary, University of London

The School of Electronic Engineering and Computer Science (EECS) is looking to recruit up to three Lecturers within the research area of Theoretical Computer Science as part of the on-going strategic investment by Queen Mary, University of London.

The Theoretical Computer Science group has a reputation for work that combines leading research on fundamental mathematical and logical techniques for reasoning about computational systems with the ability to apply those techniques to practical problems, particularly in the software domain. We seek to appoint staff whose research fits with the current remit of the group and who will complement our existing expertise in areas such as verification, programming languages, program analysis, security and wide-area systems or extend it by introducing new mathematical expertise. 

Candidates should have a doctoral degree or equivalent and have a publication record that supports international recognition for their research. Experience of undergraduate and postgraduate teaching is highly desirable; applicants must be able to demonstrate the ability to teach at any level within the area of expertise and across a range of subjects at a more introductory level, showing enthusiasm and commitment to the process of teaching. Some overseas teaching may be required as part of the School's wide-ranging programmes of study. 

The School of EECS is an exciting and dynamic environment with a research grant portfolio of £39m, of which £29m is from EPSRC including three Platform grants, two Programme grants and a Doctoral Training Centre. In the RAE2008, 75% of the School's Computer Science submitted staff were rated 3* or 4*, with 50% for the corresponding Electronic Engineering submitted staff. The School has in excess of 60 research active academic staff, over 50 post-doctoral researchers and more than 200 PhD students, with 8 School members holding prestigious research fellowships.

The posts are full time and permanent and are available from October 2012. Starting salary will be in the range £37,819 - £47,088 per annum. Benefits include 30 days annual leave, defined benefits pension scheme and an interest-free season ticket loan.

Informal enquiries should be addressed to Professor Mark Sandler at head@eecs.qmul.ac.uk. Details about the School can be found at www.eecs.qmul.ac.uk.

The closing date for applications is Tuesday 4th September 2012. Applications received after this time will not be considered. 

Interviews are expected to be held on Monday 8th and Tuesday 9th October 2012.


Valuing Diversity & Committed to Equality






----

Dino Distefano
Department of Computer Science
Queen Mary University of London
Mile End Road, London E1 4NS
United Kingdom
Phone:  +44(0)20 7882 8794   --  Fax: +44 (0)20 8980 6533
email: ddino@dcs.qmul.ac.uk  --  http://www.dcs.qmul.ac.uk/~ddino

ANALCO'13 now accepts submissions -- 2nd call for papers

Dear Colleagues:

 

Please find below (as plain text) and attached (as PDF) a call for papers for the upcoming Meeting on Analytic Algorithmics and Combinatorics which now accepts submissions.

 

 

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

 

Meeting on Analytic Algorithmics and Combinatorics

 

ANALCO'13 - CALL FOR PAPERS

 

January 6, 2013

Astor Crowne Plaza Hotel

New Orleans, Louisiana, USA

http://www.siam.org/meetings/analco13/

 

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

[Apologies if you receive more than one copy of this announcement]

 

 

SCOPE

 

The aim of ANALCO is to provide a forum for the presentation of

original research in the analysis of algorithms and associated

combinatorial structures. We invite both papers that study properties

of fundamental combinatorial structures that arise in practical

computational applications (such as permutations, trees, strings, tries, and

graphs) and papers that address the precise analysis of algorithms for

processing such structures, including: average-case analysis; analysis

of moments, extrema, and distributions; probabilistic analysis of randomized

algorithms, and so on. Submissions that present significant new information

about classic algorithms are welcome, as are new analyses of new algorithms

that present unique analytic challenges. We also invite submissions that

address tools and techniques for the analysis of algorithms and combinatorial

structures, both mathematical and computational.

 

ANALCO's scientific program will be integrated with the first day of the ACM-SIAM

Symposium on Discrete Algorithms (SODA13). The contributed papers chosen by the

ANALCO PC will be a fourth track, there will be an effort to schedule contributed

SODA papers of interest to the ANALCO community on the first day. The SODA invited

talk for the first day will be from the ANALCO community. ANALCO and SODA are also co-located

with Algorithm Engineering and Experimentation (ALENEX13). Since researchers in both

fields are approaching the problem of learning detailed information about the

performance of particular algorithms, we expect that interesting synergies will develop.

 

 

SPECIAL NOTICE OF CHANGES FOR 2013: ANALCO will be offered as a fourth "track" on

the first day of SODA (January 6, 2013) and ALENEX will be a fourth track on the

second day of SODA. There will be a single registration for SODA/ANALCO/ALENEX: all

registrants will be able to attend any session in any track, with one- and two-day

registrations available. The ANALCO and ALENEX programs will be integrated with the

SODA program, and all papers will be available online before the conference.

 

 

IMPORTANT DATES

 

Deadline for submission: August 1, 2012 (11:00 PM GMT).

Notification to authors: mid-September, 2012.

Final version: mid-October, 2012.

 

Meeting: January 6, 2013.

 

 

SUBMISSIONS

 

Authors are invited to submit 10-page extended abstracts by 11:00 PM GMT, on

Wednesday, August 1, 2012, to the ANALCO13 submission server at

https://www.easychair.org/conferences/?conf=analco13

 

 

Submissions, excluding title page, bibliography and appendix, should not exceed

10 pages in 11 point font. Supplementary material may be included in the appendix.

For more details, please see http://www.siam.org/meetings/analco13/submissions.php

 

 

PROGRAM COMMITTEE

 

Jacek Cichon, Wroclaw University of Technology, Poland

Amin Coja-Oghlan, University of Warwick, United Kingdom

Michael Drmota, Technische Universität Wien, Austria

Mordecai Golin, Hong Kong University of Science & Technology, Hong Kong

Alan Frieze, Carnegie Mellon University, USA

Hosam Mahmoud, The George Washington University, USA

Markus Nebel, University of Kaiserslautern, Germany (co-chair)

Christian Reidys, University of Southern Denmark Odense, Denmark

Bruno Salvy, INRIA Rocquencourt, France

Wojciech Szpankowki, Purdue University, USA (co-chair)

 

[DMANET] Reachability Problems (RP'12) - CALL FOR INFORMAL PRESENTATIONS

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

CALL FOR INFORMAL PRESENTATIONS

CALL FOR PARTICIPATION

RP 2012

6th International Workshop on Reachability Problem
September 17 - 19 2012

Bordeaux, FR

http://rp12.labri.fr/
----------------------------------------------------------------

AIMS AND OBJECTIVES
------------------------------
The Reachability Workshop is specifically aimed at gathering
together scholars from diverse disciplines and backgrounds
interested in reachability problems that appear in
- Algebraic structures
- Computational models
- Hybrid systems
- Logic
- Verification


FORMAT
------------

RP 2012 is the 6th international workshop on reachability
problems. The program consists in 4 invited papers, 8 regular
papers, and informal presentations. The call for regular papers
is closed and the list of accepted papers is available on the RP 2012 webpage.

The workshop provided the opportunity to researchers to give
informal presentations that are prepared very shortly before the
event and inform the participants about current research and work in
progress.

The call for informal presentations is still open. Authors must
send a 4-page abstract (and possibly a more longer paper). It
is allowed (and encouraged) to send results that have been published
at other conferences. Note that informal presentations are
eligible for a journal special issue.


IMPORTANT DATES
------------------------------

Deadline for 4-pages abstracts: August 12, 2012
Notification of acceptance: August 19, 2012
Workshop: September 17,18,19, 2012.
Deadline for early registration: August 27, 2012


SUBMISSION
-----------------

Papers should be submitted by email to:
finkel@lsv.ens-cachan.fr


PROGRAM COMMITTEE
------------------------------

Davide Ancona, Genova
Bernard Boigelot, Liege
Olivier Bournez, Palaiseau
Cristian S. Calude, Auckland
Giorgio Delzanno, Genova
Javier Esparza, München
Alain Finkel, Cachan
Vesa Halava, Turku
Juhani Karhumäki, Turku
Alexander Kurz, Leicester
Kim G. Larsen, Aalborg
Jerome Leroux, Bordeaux
Richard Mayr, Edinburgh
Alexei Lisitsa, Liverpool
Igor Potapov, Liverpool
Jean-Francois Raskin, Bruxels
Sylvain Schmitz, Cachan
Wolfgang Thomas, Aachen
James Worrell, Oxford
Hsu-Chun Yen, Taipei
Gianluigi Zavattaro, Bologna


ORGANIZING COMMITTEE
------------------------------
- Alain Finkel, Cachan
- Jérôme Leroux, Bordeaux
- Igor Potapov, Liverpool


CONTACTS
------------------------------

E-mail: leroux@labri.fr, finkel@lsv.ens-cachan.fr, potapov@liverpool.ac.uk
Web: http://rp12.labri.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/
*
**********************************************************

ICLP 2012 Early registration extended till July 20th

Apologies for cross posting.

 

Gergely

                                                                    

                                            

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

                        CALL FOR PARTICIPATION

 

     28th International Conference on Logic Programming (ICLP 2012)

               Theory and Practice of Logic Programming

 

                Budapest, Hungary, September 4-8, 2012

 

                    http://www.cs.bme.hu/iclp2012/

 

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

 

REGISTRATION

 

Registration Site is now open at:

http://www.cs.bme.hu/iclp2012/Registration.html

Early registration is until July 20, 2012.

 

ACCOMMODATION

 

Information on hotels is available on the homepage:

http://www.cs.bme.hu/iclp2012/HotelInfo.html

 

CONFERENCE SCOPE

 

Since the first conference held in Marseille in 1982, ICLP has been

the premier international conference for presenting research in logic

programming. This year conference will offer invited talks and

tutorials, as well as technical presentations on the broad spectrum of

most recent research topics in the field. The conference will also

host Doctoral Consortium, several workshops, and a Prolog programming

contest.

 

 

WORKSHOPS

 

   * Answer Set Programming and Other Computing Paradigms (ASPOCP 2012),

     September 4

   * 9th International Workshop on Constraint Handling Rules (CHR 2012),

     September 4

   * 12th International Colloquium on Implementation of Constraint and

     LOgic Programming Systems (CICLOPS 2012), September 4

   * WG17, September 4-5

   * 22nd Workshop on Logic-based methods in Programming Environments

     (WLPE 2012), September 8

   * Constraint Based Methods for Bioinformatics (WCB'12), September 8

   * Coinductive Logic Programming (Co-LP), September 8

 

Workshops are perhaps the best places for the presentation of

preliminary work, undeveloped novel ideas, and new open problems to a

wide and interested audience with opportunities for intensive

discussions and project collaboration.

 

 

DOCTORAL CONSORTIUM

 

The 8th Doctoral Consortium (DC) on Logic Programming provides

research students with the opportunity to present and discuss their

research directions, and to obtain feedback from both peers and

world-renown experts in the field. Accepted participants receives

partial financial support to attend the event and the main

conference. The best paper and presentation from the DC is given

the opportunity to present in a special session of the main ICLP

conference.

 

 

INVITED TALKS

 

   * Ferenc Darvas (http://www.thalesnano.com/board_of_directors)

     "Several Applications of Logic Programming in Hungary"

   

   * Jan Wielemaker (http://www.cs.vu.nl/~janw/)

     "25 years of SWI Prolog"

 

   * Mike Elston (http://www.securitease.com/) on

     "Applications of Prolog and CHR to stock brokering tools"

 

   * Invited author(s) of the most influencial paper of ICLP/ILPS 1992

 

   * Invited author(s) of the most influencial paper of ICLP 2002

 

 

TUTORIAL

 

   * Viviana Mascardi (http://www.disi.unige.it/person/MascardiV/)

     "Logic-based Agents and the Semantic Web"

 

 

FINANCIAL ASSISTANCE

 

The Association for Logic Programming has funds to assist financially

disadvantaged participants and, specially, students in order to be

able to attend the conference. For information, please contact the

organizers of the Doctoral Consortium and the General Chair.

 

 

HOTELS

 

See http://www.cs.bme.hu/iclp2012/HotelInfo.html.

 

 

CONFERENCE VENUE

 

The Conference will be located in Tulip Inn Budapest Millennium. Budapest

is in the center of Hungary, in the heart of Central Europe. Hungary is

member of the European Union and belongs to the Schengen area.

 

Hungary is well-served by transport links from abroad. The main

international airport is Budapest Ferihegy. Budapest is linked to 15

European capitals by train, directly or indirectly; e.g. a

Wien-Budapest trip is less than 3 hours.

 

 

SPONSORS

 

The conference is sponsored by the Association for Logic Programming (ALP),

the Artificial Intelligence Section of the John von Neumann Computer

Society and by AIT-Budapest (Aquincum Institute of Technology).

 

 

ICLP 2012 ORGANIZATION

 

General Chair: Péter Szeredi (Budapest Univ. of Technology and Economics)

 

Program Comittee Chairs:

        Agostino Dovier (Univ. of Udine),

        Vítor Santos Costa (Univ. of Porto)

 

Workshop Chair: Mats Carlsson (SICS, Sweden)

 

Doctoral Consortium Chairs:

        Marco Gavanelli (Univ. of Ferrara),

        Stefan Woltran (Vienna University of Technology)

 

Prolog Programming Contest Chair: Tom Schrijvers (Universiteit Gent)

 

Publicity Chair: Gergely Lukácsy (Cisco Systems Inc.)

 

Web Manager: János Csorba (Budapest Univ. of Technology and Economics)

 

Tuesday, July 17, 2012

TAPAS-2012 deadline extension to 29 July

Deadline Extension: 

Sunday, 29 July 2012

Conference website: http://tapasconference.org/2012/
---

2nd International Conference on Theory and Practice of Algorithms in (Computer) Systems

December 3–5, 2012 Ein Gedi (Dead Sea), Israel 

Dec 3-5 2012

Invited Speakers

Publications

The proceedings will be published by Springer