October 26 - 28, 2011
DIMACS, Rutgers University
************************************************
The final program for the Second International Conference on
Algorithmic Decision Theory is now posted at http://adt2011.org/.
We look forward to having a very interesting conference.
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 is no overlap in the class schedule.
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. Students may be refunded only in the case when a course gets cancelled due to the unavailability of the instructor.
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
=================
Please, consider to contribute to and/or forward to the appropriate groups the following opportunity to submit and publish original scientific results to ICONS 2012.
The submission deadline has been extended to October 16, 2011.
A video of the 2011 event is available on the conference front page:
http://www.iaria.org/conferences2012/ICONS12.html
In addition, authors of selected papers will be invited to submit extended article versions to one of the IARIA Journals: http://www.iariajournals.org
=================
============== ICONS 2012 | Call for Papers ===============
CALL FOR PAPERS, TUTORIALS, PANELS
ICONS 2012: The Seventh International Conference on Systems
February 29 - March 5, 2012 - Reunion Island
General page: http://www.iaria.org/conferences2012/ICONS12.html
Call for Papers: http://www.iaria.org/conferences2012/CfPICONS12.html
- regular papers
- short papers (work in progress)
- posters
- ideas
Submission page: http://www.iaria.org/conferences2012/SubmitICONS12.html
Submission deadline: October 16, 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 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
ICONS 2012 Topics (topics and submission details: see CfP on the site)
Systems' Theory and Practice
Systems design methodologies and techniques; Formal methods to specify systems� behavior; Online and offline systems; Open and closed systems; Centralized and distributed systems; Proactive and reactive systems; System robustness; Systems scalability; Fault-tolerant systems; Feedback systems; High-speed systems; Delay tolerant systems; Real-time systems
Systems engineering
Systems requirements; Systems modeling; Systems development lifecycle; System-of-systems; Systems ergonomics; Subsystem interactions; Systems decomposition; Systems integration
System Instrumentation
Metering embedded sensors; Composing multi-scale measurements; Monitoring instrumentation; Smart sensor-based systems; Calibration and self-calibration systems; Instrumentation for prediction systems
Embedded systems and systems-on-the-chip
Real-time embedded systems Programming embedded systems; Controlling embedded systems; High speed embedded systems; Designing methodologies for embedded systems; Performance on embedded systems; Updating embedded systems; Wireless/wired design of systems-on-the-chip; Testing embedded systems; Technologies for systems processors; Migration to single-chip systems; Micro/nano structures and systems
Target-oriented systems [emulation, simulation, prediction, etc.]
Information systems; Real-time systems; Software systems; Hardware systems; Emulation systems; Simulation systems Prediction systems
Specialized systems [sensor-based, mobile, multimedia, biometrics, etc.]
Sensor-based systems; Biometrics systems; Mobile and fixed systems; Ubiquitous systems; Nano-technology-based systems; Multimedia systems
Validation systems
Diagnosis assistance systems; Test systems; Validation systems; Performance measurement systems; Maintenance systems
Security and protection systems
Security systems; Vulnerability detecting systems; Intrusion detection systems Intrusion avoidance systems; Presence detection systems; Monitoring systems; Management systems; Alert systems; Defense systems; Emergency systems
Advanced systems [expert, tutoring, self-adapting, interactive, etc.]
Expert systems; Tutoring systems; Highly interactive systems; Anticipative systems; On-demand systems; GRID systems; Autonomic systems; Autonomous systems; Self-adapting systems; Adjustable autonomic systems; High performance computing systems; Mission critical systems
Application-oriented systems [content, eHealth, radar, financial, vehicular, etc.]
Web-cashing systems; Content-distributed systems; Accounting and billing systems; E-Health systems; E-Commerce systems; Radar systems; Navigation systems; Systems for measuring physical quantities; Earthquake detection and ranking systems; Financial systems; Robotics systems; Vehicular systems; Entertainment systems; Gaming systems; Speech recognition system
Safety in industrial systems
Fundamentals on system safety; Safety of software systems and software engineering; Safety requirements; Safety for critical systems; Engineering for system robustness and reliability; Control of mission critical systems; Safety-oriented system design; Human tasks and error models; Hazard analysis; Cost and effectiveness of system safety; Verification and validation of safety; Safety tools; Evaluation of safety data, and mitigation and prevention strategies; Safety control and management; System Safety Implementation Guidelines and Standards; Transferring safety knowledge; Metrics for Risk Assessment; Contingency Planning and Occurrence Reporting; Preparedness Activities; Industry specific safety systems (Medical devices, Aerospace, Chemical industry, Nuclear power plants, Public health, Biological Safety)
Complex systems
Theory of complex systems; Ontologies for complex systems; Chaos and complexity; Design and integrate complex systems; Complexity and simulation; Simulation and datamining; Artificial intelligence and soft computing in complex systems; Multi-agent based simulation; Systems of systems; Intelligent agent architectures; Evolutionary programming; Uncertainty reduction and classification; Monitoring and managing complex systems; Case studies of complex systems [vehicular, avionic, health, emergency, sensing, etc.]; Industrial systems [robotics, production, accounting and billing, e-commerce, etc.]
----------------------------------
Committee: http://www.iaria.org/conferences2012/ComICONS12.html
====================
RESEARCH FELLOW IN AUTOMATED PLANNING
RESEARCH SOFTWARE ENGINEER
3 Positions
The University of Melbourne is seeking outstanding Research Fellows and a Research Software Engineer to conduct leading edge research in optimisation and automated planning for mine scheduling.
The positions will be located in the Department of Computer Science and Software Engineering within the Melbourne School of Engineering.
Salary $98,387-$113,446 AUD p.a. (Senior Research Fellow) or $80,318-$95,375 (Research Fellow) or $56,226-$76,299 (Research Software Engineer) plus 9% superannuation; Employment type: Full-time Fixed Term
The successful candidates will conduct leading-edge research and development in the area of optimisation and automated planning technology for mine scheduling. The work is part of an Australian Research Council (ARC) funded project, "Making the Pilbara Blend: Agile Mine Scheduling through Contingent Planning". It will be conducted as part of a research team of 7-8 Researchers.
The overarching responsibility of these positions will be the development of constraint solving techniques, which integrate with contingent planning techniques, for synthesising contingent plans for short term production scheduling of iron ore in multi-mine pit settings.
This project tackles a challenging problem faced in mine scheduling. An increased need for consistent quality has occurred at the same time as the complexity of modern day mining operations has increased, across multiple mine sites with variable ore grades and increasing infrastructure constraints. There is a pressing need for more agile mining techniques that maximise net present value (NPV) while accommodating the complexities and uncertainties inherent in modern day mining operations.
The goal of this project is to bring together automated planning techniques with constraint programming to address this paradigm shift, tackling some of the most important fundamental research challenges in scheduling. The project will develop agile scheduling techniques of great economic importance. Carefully planned scheduling has the potential to reduce the need for new infrastructure, minimising environmental impacts and maximising regeneration after mining.
http://www.agentlab.unimelb.edu.au/mining.html
Intelligent Agent Laboratory (agentlab)
http://www.agentlab.unimelb.edu.au
Constraint Programming group of NICTA
http://www.nicta.com.au/research/projects/constraint_programming_platform
Application Procedure
Senior Research Fellow/Research Fellow in Optimisation: 0027452 (closing 26 October 2011)
Research Software Engineer Position no.: 0027454 (closing 26 October 2011)
Research Fellow in Automated Planning: 0027453 (closing 2 October 2011)
Contact
For more information, please contact Adrian Pearce <adrianrp@unimelb.edu.au>
http://www.csse.unimelb.edu.au/~adrian
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************
The Ninth Asian Symposium on Programming Languages and Systems
(APLAS 2011)
http://flolac.iis.sinica.edu.tw/aplas11/
5-7th December 2011
Kenting, Taiwan
*EXTENDED DEADLINE* for Abstract Submission: 7th October, 2011
APLAS 2011 will include a poster session during the conference. The
poster session aims to give students and professionals an opportunity to
present technical materials to the research community, and to get
responses from other researchers in the field.
SCOPE:
Poster contributions are sought in all areas of programming languages
and systems, including the following topics:
- semantics, logics, foundational theory;
- design of languages and foundational calculi;
- type systems;
- compilers, interpreters, abstract machines;
- program derivation, analysis, transformation;
- software security, safety, verification;
- concurrency, constraints, domain-specific languages;
- tools for programming, verification, implementation.
FORMAT:
A space of A1 paper size (594 mm wide and 841 mm high) will be provided
for each presentation. If you need more space, contact the poster chair
(mike.dodds AT cl.cam.ac.uk). To prepare a good poster, search the Web
for "poster presentation" and you will find many useful resources.
REGISTRATION INFORMATION:
Each presenter should e-mail a 1-2 page abstract in PDF or PostScript to
the poster chair (Mike Dodds: mike.dodds AT cl.cam.ac.uk) by October
7th 2011. The abstract should include the title, author(s),
affiliation(s), and summary of the work. A LaTeX template is available
at http://www.cl.cam.ac.uk/~md466/aplas2011/aplas_poster_template.tex .
The program of the poster session will be announced by October 21st,
2011. We hope to accommodate every poster, but may restrict
presentations (based on relevance and interest to the community) due to
space constraints.
IMPORTANT DATES:
- 1-2 pages abstract submission *EXTENDED* 7th October 2011
- announcement of poster session program 21st October 2011
- conference 5th-7th December 2011
CONTACT INFORMATION:
For additional information, clarifications, questions, or special
requirements, please contact the APLAS 2011 Poster Chair, Mike Dodds
(mike.dodds AT cl.cam.ac.uk).
MACIS 2011 - Fourth International Conference on
Mathematical Aspects of Computer and Information Sciences
Beijing, China, October 19-21, 2011
CALL FOR PARTICIPATION
MACIS is a series of conferences where foundational research on
theoretical and practical problems of mathematics for computing and
information processing may be presented and discussed. MACIS also
addresses experimental and case studies, scientific and engineering
computation, design and implementation of algorithms and software
systems, and applications of mathematical methods and tools to
outstanding and emerging problems in applied computer and information
sciences. Each conference focuses on two or three themes.
The themes for MACIS 2011 are:
- Design and Analysis of Complex Systems
- Numeric and Symbolic Constraint Solving
- Cryptography and Coding Theory
INVITED SPEAKERS
Martin Fraenzle (University of Oldenburg, Germany)
"Engineering Arithmetic Constraint Solvers
for the Analysis of Hybrid Discrete-Continuous Systems"
Mark Giesbrecht (University of Waterloo, Canada)
"Sparsity and Complexity in Algebraic Computation"
Katsuhisa Horimoto (National Institute of
Advanced Industrial Science and Technology, Japan)
"A Constraint for Optimal Parameter Estimation
to Solve an Issue of Molecular Network Models in Systems Biology"
Chaochen Zhou (Institute of Software, Chinese Academy of Sciences)
"Verifying Programs with Support from Computer Algebra"
For abstracts and the list of accepted papers see
http://macis2011.cc4cm.org/index_Program.htm
and for registration
Please find below the call for applications to our fifth summer school
in discrete mathematics. (Warning: one course in Spanish)
--------------------------------------------------------------------------
VII Discrete Math Summer School (Valparaíso, Chile)
January 16-20, 2012.
http://www.discretas2012.cmm.uchile.cl/
--------------------------------------------------------------------
Target audience:
The school is meant for graduate students and advanced undergraduates in
Mathematics, Computer Science or Engineering, interested in algorithms,
combinatorics, optimization, or game theory.
---------------------------------------------------------------------
Courses:
* Networks and markets, by Nicole Immorlica (Northwestern U.)
* Matching under preferences (in Spanish), by Julian Mestre (U of
Sydney)(in spanish)
* Colouring via the probabilistic method, by Bruce Reed (McGill U.)
--------------------------------------------------------------------
Location:
Instituto de Sistemas Complejos de Valparaíso (http://www.iscv.cl/).
----------------------------------------------------------------------
Deadline for applications:
For non-residents in Chile: November 4, 2011.
For residents in Chile: November 25, 2011.
-----------------------------------------------------------------------
Funding:
There is a limited number of fellowships available to cover registration
and local accommodation.
-----------------------------------------------------------------------
Organizing Committee:
José Correa, Universidad de Chile
Nicolás Figueroa, Pontificia U. Católica de Chile
Marcos Kiwi (Chair), U. de Chile
Bernardo Pagnoncelli, U. Adolfo Ibáñez
José Zamora, U. Andrés Bello
-----------------------------------------------------------------------
Websites of previous School versions:
http://www.dim.uchile.cl/~redes/escuela06.htm
http://www.dim.uchile.cl/~redes/escuela2007.htm
http://www.dim.uchile.cl/~redes/escuela2008.htm
http://www.discretas2009.cmm.uchile.cl/
http://www.discretas2010.cmm.uchile.cl/
http://www.discretas2011.cmm.uchile.cl/
------------------------------------------------------------------------
Jose Zamora
Depto. de Matematicas
Universidad Andres Bello
**********************************************************
*
* 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/
*
**********************************************************
SECOND ANNOUNCEMENT AND CALL FOR PAPERS
=======================================
The Organizers of the 25th EURO Conference have a great pleasure of
inviting you to take part in this Conference to be held in Vilnius,
Lithuania on 8-11 July, 2012.
The Programme and Organizing Committees, chaired by Marielle
Christiansen and Leonidas Sakalauskas, are preparing a high quality
scientific programme and an exciting social programme for the
Conference.
We are convinced that the EURO XXV Conference will be an excellent
opportunity for the OR community to get together again in a pleasant
atmosphere, and, thus, we are looking forward to meeting you in
Vilnius, the historical capital of Lithuania, in 2012!
Please visit the EURO XXV Conference website (www.euro-2012.lt) for
more information.
PLENARY, KEYNOTE & TUTORIAL SPEAKERS:
===========================
Outstanding Keynote Speakers will present the state-of-the-art in
Operations Research and outline pathways of its future developments.
More information on their presentations will be announced soon.
Please follow up further information at the EURO XXV Conference webpage.
CALL FOR PAPERS AND SESSIONS:
=============================
We invite all researchers, academicians, practitioners, as well as
students interested in any branch of operational research,
mathematical modelling or economic analysis to participate at the
Conference and to present their papers.
Invited and contributed papers will be organized in parallel sessions.
In general, sessions will be a part of the Conference streams, and
streams are grouped by areas.
No participant can present more than one paper at the Conference.
Abstract submission and registration are done online, via the
Conference web page (www.euro-2012.lt)
Abstracts: max. 600 characters; submission deadline: February 29, 2012.
Researchers who want to organize a stream or an invited session or
contribute with a paper within an invited session should contact the
PC member of the corresponding area.
AREAS:
======
(and PC members in charge; see contacts further below)
- Continuous Optimization / GW Weber
- Control Theory & System Dynamics / R Hartl
- Data Mining Knowledge Discovery and Artificial Intelligence / V Mousseau
- DEA and Performance Measurement / E Fernandez
- Decision Analysis, Decision Support Systems / V Mousseau
- Discrete Optimization, Geometry & Graphs / S Martello
- Emerging applications of OR / GW Weber
- Energy/Environment and Climate / P Letmathe
- Financial Modeling & Risk Management / SW Wallace
- Fuzzy Systems and Softcomputing / SW Wallace
- Game, Theory, Mathematical Economics / GW Weber
- Location / E Fernandez
- Logistics, Transportation, Traffic / M Sevaux
- Metaheuristics / R Hartl
- Multiple Criteria Decision Making and Optimization / V Mousseau
- OR Education, History, Ethics / M Sevaux
- OR in Health & Life Sciences / K Aardal
- OR in industry and software for OR / M Rönnqvist
- OR in Natural Resources / M Rönnqvist
- OR for Development and Developing Countries / GW Weber
- Production Management & Supply Chain Management / E Fernandez
- Revenue Management & Managerial Accounting / P Letmathe
- Scheduling, Time Tabling &Project Management / M Sevaux
- Simulation & Stochastic Programming and Modelling / SW Wallace
- Soft OR and Problem Structuring Methods / SW Wallace
- Telecommunication & Networks / K Aardal
IMPORTANT DATES:
================
Registration starts – September 25, 2011
Deadline for abstract submission – February 29, 2012
Notification of acceptance – March 31, 2012
Deadline for early registration – April 22, 2012
Deadline for author registration (for inclusion in the program) – May 1, 2012
Conference: July 8-11, 2012
PROGRAMME COMMITTEE:
====================
- Prof. Marielle Christiansen – Chair, Norway
(marielle.christiansen@iot.ntnu.no),
- Prof. Karen Aardal, The Netherlands (K.I.Aardal@tudelft.nl),
- Prof. Elena Fernandez, Spain (e.fernandez@upc.edu),
- Prof. Richard Hartl, Austria (richard.hartl@univie.ac.at),
- Prof. Silvano Martello, Italy (silvano.martello@unibo.it),
- Prof. Vincent Mousseau, France (vincent.mousseau@ecp.fr),
- Prof. Peter Letmathe, Germany (peter.letmathe@uni-siegen.de),
- Prof. Mikael Rönnqvist, Norway (mikael.ronnqvist@nhh.no),
- Prof. Leonidas Sakalauskas, Lithuania (sakal@ktl.mii.lt),
- Prof. Marc Sevaux, France (marc.sevaux@univ-ubs.fr),
- Prof. Stein W.Wallace, United Kingdom (stein.w.wallace@lancaster.ac.uk),
- Prof. Gerhard Wäscher, Germany (Gerhard.Waescher@WW.Uni-Magdeburg.DE),
- Prof. Gerhard-Wilhelm Weber, Turkey (gweber@metu.edu.tr).
ORGANIZING COMMITTEE:
=====================
- Leonidas Sakalauskas – Chair, Lithuania
- Marielle Christiansen, Norway
- Gerhard Wäscher, Germany
- Saulius Preidys, Lithuania
- Tatjana Vilutiene, Lithuania
- Jonas Zaptorius, Lithuania
AWARDS:
=======
During the EURO XXV conference the following prizes will be awarded:
- The EURO Gold Medal 2012,
- The EURO Distinguished Service Medal (EDSM 2012),
- The EURO Doctoral Dissertation Award (EDDA 2012),
- The EURO Excellence in Practice Award (EPA 2012),
- the EURO/ROADEF Challenge 2012.
THE PROGRAMME IN BRIEF:
=======================
The Conference starts July 8 (Sunday), 4 pm, with the Opening Session,
including the awards ceremony. This will be followed by the Welcome
Reception at the Lithuanian National Opera and Ballet Theatre, at 6 pm.
The working sessions will occupy most of the following three days,
July 9-11, starting Monday morning.
In the evening of July 9 conference participants and accompanying
persons are invited to a Reception by the Mayor of Vilnius, followed
by a dance performance.
The Conference Gala Dinner will be held in the evening of July 10, at
the yard of Vilnius Picture Gallery which is an outstanding building
of the late classicism style and one of the finest ensembles of its
kind in Vilnius.
In the late afternoon of July 11, the Conference ends with another
social event which should not to be missed: The Farewell Party, being
held in the courtyard of Vilnius University.
For detailed information about Vilnius, please, visit the Conference
webpage www.euro-2012.lt
REGISTRATION FEES:
==================
- Regular: 320 Euros (early); 420 Euros (late),
- Student: 120 Euros (early); 180 Euros (late),
- Accompanying persons: 120 Euros.
Early registration ends April 22, 2012.
The regular/student registration fee includes:
- Participation in all sessions, and access to the exhibition area,
- Conference materials (Final Program, Book of Abstracts),
- Participation in the Welcome Reception, July 8,
- Participation in the Mayor of Vilnius City reception, July 9,
- Participation in the Farewell Party, July 11,
- Coffee breaks and lunches, July 8-11,
- 3-day city public transportation card (with badges).
The registration fee for accompanying persons includes:
- Participation in the Welcome Reception, the Mayor Vilnius City
reception and the Farewell party,
- Lunches, July 8-11,
- Vilnius City tour,
- 3-day city public transportation card (with badges).
The Gala dinner is charged separately, at 55 Euros per person.
ABOUT LITHUANIA AND VILNIUS
===========================
Lithuania with its modern capital of Vilnius is geographically
situated in the centre of Europe on the crossroads between East and
West. The country is interesting and in fact exciting from the
viewpoints of its unique nature, its thousands year old history, and
its attractive culture. Vilnius can be reached by plane from the most
important hubs in Europe.
FURTHER INFORMATION:
====================
We recommend participants to book:
1. hotel rooms and air tickets as early as possible
2. accommodation in Vilnius through the Conference webpage. The
Conference Secretariat has reserved a large number of rooms in a
variety of hotels in Vilnius at specially negotiated rates.
For more details, consult the conference site, www.euro-2012.lt, where
all relevant information will progressively be included.
Further proposals for Book or Software Exhibitions are welcome.
For any further information please contact:
Conference secretariat:
AIM Group Baltic
Kestucio 59/27, Vilnius, Lithuania
Phone: +370 212 00 03, fax: +370 212 00 13
E-mail: info@euro-2012.lt
----------------------------------------------------------------
This message was sent using IMP, the Internet Messaging Program.
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************
Date: July 16-19, 2012
Location: University of California, Davis
We are pleased to announce that the 2012 workshop in Mixed Integer Programming (MIP 2012) will be held July 16-19, 2012 at the University of California, Davis. The 2012 Mixed Integer Programming workshop will be the ninth in a series of annual workshops held in North America designed to bring the integer programming community together to discuss very recent developments in the field. The workshop series consists of a single track of invited talks and also features a poster session as an additional opportunity to share and discuss recent research. Registration details and a call for participation in the poster session will be announced later.
Confirmed speakers:
• Gennadiy Averkov, Otto-von-Guericke-Universität Magdeburg
• Sam Burer, The University of Iowa
• Philipp Christophel, SAS
• Jesús A. De Loera, University of California, Davis
• Alberto Del Pia, ETH Zurich
• Ricardo Fukasawa, University of Waterloo
• Vineet Goyal, Columbia University
• Yongpei Guan, University of Florida
• Volker Kaibel, Otto-von-Guericke-Universität Magdeburg
• Kiavash Kianfar, Texas A&M University
• Mustafa Kılınç, University of Pittsburgh
• Fatma Kılınç-Karzan, Carnegie Mellon University
• David Morton, The University of Texas at Austin
• Ted Ralphs, Lehigh University
• Edward Rothberg, Gurobi Optimization
• Siqian Shen, University of Michigan
• Dan Steffy, ZIB and Oakland University
• Alejandro Toriello, University of Southern California
• Christian Wagner, ETH Zurich
Sincerely,
Claudia D'Ambrosio, CNRS - École Polytechnique
Matthias Köppe, UC Davis
Jim Luedtke, University of Wisconsin-Madison
François Margot, Carnegie Mellon University
Juan Pablo Vielma, University of Pittsburgh
(MIP 2012 Organizing Committee, mip2012@math.ucdavis.edu)
**********************************************************
*
* 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/
*
**********************************************************
Requisite is a strong interest in the broad mission of the School, an ability and willingness to teach at all levels of the program, strong potential for leadership
in research and education, and a PhD in Operations Research, Mathematics, Statistics, or a related field by the start of the appointment. Salary will be appropriate
to qualifications and engineering school norms.
Cornell ORIE is a diverse group of high-quality researchers and educators interested in probability, optimization, statistics, simulation, and a wide array of
applications such as manufacturing, supply chains, scheduling, transportation systems, health care, financial engineering, service systems and network science.
We value mathematical and technical depth and innovation, and experience with applications and practice. Ideal candidates will have correspondingly broad training
and interests.
Please apply online at
https://academicjobsonline.org/ajo/jobs/1058
Applications received by December 31, 2011 will be given earliest consideration.
ORIE and the College of Engineering at Cornell embrace diversity and seek candidates who can contribute to a welcoming climate for students of all races and genders.
Cornell's Dual Career program seeks to meet the needs of dual career couples. Cornell University is an equal opportunity, affirmative action educator and employer.
We strongly encourage qualified women and minority candidates to apply.
**********************************************************
*
* 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/
*
**********************************************************
=================
Please consider to contribute to and/or forward to the appropriate groups the following opportunity to submit and publish original scientific results to ICN 2012.
The submission deadline has been extended to October 16, 2011.
A video of the 2011 event is available on the conference front page:
http://www.iaria.org/conferences2012/ICN12.html
In addition, authors of selected papers will be invited to submit extended article versions to one of the IARIA Journals: http://www.iariajournals.org
=================
============== ICN 2012 | Call for Papers ===============
CALL FOR PAPERS, TUTORIALS, PANELS
ICN 2012: The Eleventh International Conference on Networks
February 29 - March 5, 2012 - Reunion Island
General page: http://www.iaria.org/conferences2012/ICN12.html
Call for Papers: http://www.iaria.org/conferences2012/CfPICN12.html
- regular papers
- short papers (work in progress)
- posters
- ideas
Submission page: http://www.iaria.org/conferences2012/SubmitICN12.html
Submission deadline: October 16, 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 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
ICN 2012 Topics (topics and submission details: see CfP on the site)
1. Communication theory
2. Communications switching and routing
3. Communications modeling
4. Communications security
5. Computer communications
6. Distributed communications
7. Signal processing in communications
8. Multimedia and multicast communications
9. Wireless communications (satellite, WLL, 4G, Ad Hoc, sensor networks)
10. Next generation networks [NGN] principles
11. Storage area networks [SAN]
12. Access and home networks
13. High-speed networks
14. Optical networks
15. Peer-to-peer and overlay networking
16. Mobile networking and systems
17. MPLS-VPN, IPSec-VPN networks
18. GRID networks
19. Broadband networks
20. Quality of service, service level agreement [QoS/SLA]
21. Reliability, availability, serviceabiliy [RAS]
22. Traffic engineering, metering, monitoring
23. Voice over IP services
24. Performance evaluation, tools, simulation
25. Network, control and service architectures
26. Network signalling, pricing and billing
27. Network middleware
28. Telecommunication networks architectures
29. On-demand networks, utility computing architectures
30. Applications and case studies
31. NGN protocol design and evaluation
32. NGN Standard Activities [ITU, TMF, 3GPP, IETF, etc.]
33. NGN Device Instrumentation
34. Network Management, scheduling and policy
35. NGN policy-based control
36. Networks policy-based management
37. Management of autonomic networks and systems
38. Vehicular Networks
---------------------------------
Committee: http://www.iaria.org/conferences2012/ComICN12.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/
*
**********************************************************
Call For Papers --- IJCAR 2012
6th International Joint Conference on Automated Reasoning
Manchester, UK, June 26-July 1, 2012
http://ijcar.cs.manchester.ac.uk/
Important Dates (all in 2012):
Abstract submission January 23 Final version due April 16
Paper submission January 30 Conference dates June 26-29
Notification March 26 Satellite events June 30-July 1
IJCAR is the premier international joint conference on all topics in
automated reasoning. IJCAR 2012, the 6th International Joint
Conference on Automated Reasoning, is a merger of leading events in
automated reasoning: CADE (International Conference on Automated
Deduction), FroCoS (International Symposium on Frontiers of Combining
Systems), FTP (International Workshop on First-order Theorem Proving),
and TABLEAUX (International Conference on Automated Reasoning with
Analytic Tableaux and Related Methods). Previous editions of IJCAR
took place in Siena (2001), Cork (2004), Seattle (2006), Sydney (2008)
and Edinburgh (2010), cf. http://www.ijcar.org/.
IJCAR 2012 is held as part of the Alan Turing Year 2012 just after The
Alan Turing Centenary Conference in Manchester.
Scope: IJCAR 2012 invites submissions related to all aspects of
automated reasoning, including foundations, implementations, and
applications. Original research papers and descriptions of working
automated deduction systems are solicited.
Logics of interest include: propositional, first-order, classical,
equational, higher-order, non-classical, constructive, modal,
temporal, many-valued, substructural, description, metalogics, type
theory, and set theory. Methods of interest include: tableaux,
sequent calculi, resolution, model-elimination, connection method,
inverse method, paramodulation, term rewriting, induction,
unification, constraint solving, decision procedures, model
generation, model checking, semantic guidance, interactive theorem
proving, logical frameworks, AI-related methods for deductive systems,
proof presentation, efficient datastructures and indexing, integration
of computer algebra systems and automated theorem provers, and
combination of logics or decision procedures.
Applications of interest include: verification, formal methods,
program analysis and synthesis, computer mathematics, declarative
programming, deductive databases, knowledge representation, natural
language processing, linguistics, robotics, and planning.
Submission: Submission is electronic through
https://www.easychair.org/?conf=ijcar2012.
Authors are strongly encouraged to use LaTeX and the Springer llncs
class file, which can be obtained from
http://www.springer.de/comp/lncs/authors.html. The page limit is 15
pages for full papers and 7 pages for system descriptions. All papers
will be evaluated according to originality, significance, technical
quality, and readability. Submitted papers must be original and not
submitted for publication elsewhere. For more details concerning
submission see the conference web site. The proceedings of IJCAR 2012
will be published by Springer-Verlag in the LNAI/LNCS series.
Student Travel Awards: Travel awards will be available to enable
selected students to attend the conference. Details will be available
in early 2012.
Further Information: For further and up-to-date information about
IJCAR 2012 visit http://ijcar.cs.manchester.ac.uk/.
Program Chairs:
Bernhard Gramlich (TU Wien)
Dale Miller (INRIA Saclay -- Ile-de-France)
Ulrike Sattler (Univ. of Manchester)
-----------------------------------------------------------------------
Department of Computer Science, The University of Hong Kong, Hong Kong
The bioinformatics research group
Postdoctoral Fellow
Applications are invited for a postdoctoral fellow (PDF) in bioinformatics. Successful applicants will
join the bioinformatics research group and conduct research in topics related
to computational biology and bioinformatics. The positions are initially for one year, but renewable up to three
years depending on the applicant's performance. The starting date of the appointment must be on or before
February 1, 2012. The salary range for PDF is HK$267,540 - 515,700 (approximately US$34,000 - 66,000) for 12 months.
The salary to be offered commensurate with the qualifications and experience of the candidate.
Annual leave and medical benefits will also be available.
Candidates are expected to hold a PhD degree in a relevant discipline at the time of taking up the position
and have proven record of outstanding research in a related area. Applicants should provide a CV, future research plan,
and the names of three references.
The application should be addressed to Dr SM Yiu at smyiu@cs.hku.hk. For more information about the applications, please contact
Dr SM Yiu directly.
Applications will be accepted until the position is filled. Candidates who are not contacted within 3 months after they submit
their applications may consider their applications unsuccessful.
Vacancy summary:
The Department of Mathematics at the Central European University
invites applications for a full-time position in the field of network
science. The successful candidate should have a demonstrated potential
for high-level research and publication, and a research record in
network science, i.e. the application of mathematical ideas to the
analysis of real networks.
Level:
Open Rank
Position for:
Faculty
Unit:
Department of Mathematics and its Applications
Full-time
Starting date: 2012
Application deadline: The search committee will start reviewing
applications on 1 November, 2011, until the position is filled
The Department of Mathematics at the Central European University
invites applications for a full-time position in the field of network
science. The successful candidate should have a demonstrated potential
for high-level research and publication, and a research record in
network science, i.e. the application of mathematical ideas to the
analysis of real networks.
The candidate is also expected to participate in teaching and research
in the Center for Network Science at the Central European University,
and to direct, in collaboration with other CEU faculty, student
research in the area of network science. A strong funding record from
EU or other sources, and a willingness/experience in EU wide
collaborations will be considered an advantage.
Duties and responsibilities:
Teaching graduate courses in mathematics and network science, and
supervising MA and PhD theses. The yearly teaching load is 12 credits
(1 credit equals 12 classroom hours). The successful candidates will
be expected to maintain an active research agenda and regularly
publish in major professional journals.
Qualifications:
PhD in mathematics, physics, computer science, and related areas, with
advanced training in mathematical approaches to networks and a
demonstrated excellent potential for research and teaching in the
field.
Compensation:
An internationally competitive salary is offered commensurate with experience.
How to apply:
Applicants need to submit: their CV, list of publications, a sample
paper, a short statement about their research plans, and the names and
addresses of at least three referees. Please send your complete
application to positions@ceu.hu including job code in subject line:
2011/050 Deadline: The search committee will start reviewing
applications on 1 November, 2011, until the position is filled CEU is
an equal opportunity employer.
positions@ceu.hu
**********************************************************
*
* 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/
*
**********************************************************
A postdoc position, starting at the 1st of October 2011 or later, is
available in the research group "Theory of Parallelism" (Prof. Dr. Klaus
Jansen) at the Department of Computer Science of the
Christian-Albrechts-University of Kiel, Germany, within the research project
"Design and analysis of approximation algorithms for scheduling on
unrelated machines"
funded by the Deutsche Forschungsgemeinschaft (DFG). It is a full position
for three years. The salary conforms to tariff part E 13 TV-L.
Applicants are required to have a PhD degree in a relevant field of
computer science or mathematics and scientific experience by international
publications in approximation algorithms and/or mathematical programming.
The Christian-Albrechts-University of Kiel is an equal opportunities
employer and maintains a policy of affirmative action.
Please send your application including a detailed curriculum vitae, a list
of three references with email addresses as well as a statement of research
interests related to the DFG project (at most one page) and copies of
academic diplomas before the deadline on the 30th of September 2011 to:
Prof. Dr. Klaus Jansen
Institut für Informatik
Technische Fakultät der
Christian-Albrechts-Universität zu Kiel
Christian-Albrechts-Platz 4
24118 Kiel, Germany
A postdoc position, starting at the 1st of October 2011 or later, is
available
in the research group "Theory of Parallelism" (Prof. Dr. Klaus Jansen)
at the
Department of Computer Science of the Christian-Albrechts-University of
Kiel,
Germany, within the research project
"Design and analysis of approximation algorithms for scheduling on
unrelated machines"
funded by the Deutsche Forschungsgemeinschaft (DFG). It is a full
position for
three years. The salary conforms to tariff part E 13 TV-L.
Applicants are required to have a PhD degree in a relevant field of
computer science or mathematics and scientific experience by
international
publications in approximation algorithms and/or mathematical
programming.
The Christian-Albrechts-University of Kiel is an equal opportunities
employer
and maintains a policy of affirmative action.
Please send your application including a detailed curriculum vitae, a
list
of three references with email addresses as well as a statement of
research
interests related to the DFG project (at most one page) and copies of
academic diplomas before the deadline on the 30th of September 2011 to:
Prof. Dr. Klaus Jansen
Institut für Informatik
Technische Fakultät der
Christian-Albrechts-Universität zu Kiel
Christian-Albrechts-Platz 4
24118 Kiel, Germany
**********************************************************
*
* 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/
*
**********************************************************
Sixth International Conference on FUN WITH ALGORITHMS
San Servolo
June 4-6, 2012
San Servolo Island,
Venice, Italy
The Sixth International conference on Fun with Algorithms
(FUN 2012) is dedicated to the use, design, and analysis
of algorithms and data structures, focusing on results
that provide amusing, witty but nonetheless original and
scientifically profound contributions to the area. The
previous FUNs were held in Elba Island, in Castiglioncello,
Tuscany, Italy, and in Ischia Island, Italy, and special
issues of Theoretical Computer Science (FUN'98), Discrete
Applied Mathematics (FUN'01), and Theory of Computing Systems
(FUN'04, FUN'07, and FUN'10) were dedicated to them.
TOPICS OF INTEREST
Topics of interest include (but are not limited to):
FUN with biological algorithms
FUN with cryptographic algorithms
FUN with game-theoretic algorithms
FUN with internet algorithms
FUN with optimization algorithms
FUN with robotics algorithms
FUN with string algorithms
FUN with combinatorial algorithms
FUN with distributed algorithms
FUN with geometrical algorithms
FUN with mobile algorithms
FUN with parallel algorithms
FUN with space-conscious algorithms
FUN with algorithm visualization
IMPORTANT DATES
Paper Submission: January 15, 2012
Acceptance Notification: February 20, 2012
Hotel reservation: March 11, 2012
Final version due: March 15, 2012
Conference: June 4-6, 2012
SUBMISSION DETAILS
A full paper should be submitted by January 15, 2012 following
the submission link given at the FUN 2012 web site. Manuscripts
should not exceed 12 pages. Authors of accepted papers are
expected to present their work at the conference.
PUBLICATIONS:
Conference proceedings will be published by Springer in the LNCS
series. A special issue of Theory of Computing Systems will be
dedicated to a selected set of papers.
ADDITIONAL DETAILS
Additional details can be found in the conference web page:
http://www.dsi.unive.it/~fun2012/
**********************************************************
*
* 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/
*
**********************************************************
Due to several requests, the submission deadline for LATIN 2012 has been
extended until 11:59pm HST (GMT/UTC - 10h), Friday, September 30, 2011.
Please forward this information and the following call for papers to anyone
that might be interested. The submission instructions and the link to
submission webpage can be found at http://latin2012.cs.iastate.edu
Best regards,
David Fernández-Baca
==============================================================================
FINAL CALL FOR PAPERS:
Latin American Theoretical INformatics (LATIN 2012)
April 16-20, 2012, Arequipa, Peru
http://latin2012.cs.iastate.edu
==============================================================================
The 10th Latin American Theoretical INformatics Symposium (LATIN 2012) will
take place from the 16th to the 20th of April in the campus of the Universidad
Catolica San Pablo, in Arequipa, Peru. Submission of papers in all areas of
theoretical computer science is welcome, including (but not limited to):
algorithms (approximation, online, randomized, algorithmic game theory, etc.),
automata theory and formal languages, coding theory and data compression,
combinatorics and graph theory, complexity theory, computational algebra,
computational biology, computational geometry, computational number theory,
databases and information retrieval, data structures, Internet and the web,
logic in computer science, machine learning, mathematical programming, parallel
and distributed computing, pattern matching, quantum computing, random
structures, scientific computing.
---- SUBMISSION ----
Authors are invited to submit an extended abstract in English no longer than 12
pages (including the bibliography) on letter-size paper in Springer Lecture
Notes in Computer Science (LNCS) format. Submissions should begin with a
succinct statement of the problems considered, the main results, an explanation
of their significance, and a comparison to past research, all of which should
be accessible to non-specialists. More technical developments should follow as
appropriate. Additional necessary details must be included in a clearly marked
appendix that will be read at the discretion of the program committee.
The proceedings will be published in the LNCS Series by Springer-Verlag. It is
strongly recommended that submissions adhere to the specified format and
length. No prior publication or simultaneous submission to other publication
outlets (either a conference or a journal) is allowed. A special issue of a
journal consisting of selected papers from LATIN 2012 is planned.
Submissions should be contributed using the EasyChair system
(http://www.easychair.org/conferences/?conf=latin2012). Submissions are due on
September 30, 2011, 11:59pm HST (GMT/UTC - 10h).
---- CONFIRMED PLENARY SPEAKERS ----
Scott Aaronson, Massachusetts Institute of Technology
Martin Davis, New York University
Luc Devroye, McGill University
Marcos Kiwi, Universidad de Chile
Kirk Pruhs, University of Pittsburgh
Dana Randall, Georgia Institute of Technology
---- IMPORTANT DATES ----
Submission: Sep. 30, 2011
Notification: Nov. 25, 2011
Final version: Dec. 16, 2011
---- SPECIAL EVENTS ----
In addition to the contributed and invited talks, a number of special events
will take place during LATIN 2012.
* LATIN 2012 will participate in the world-wide commemoration of the Alan
Turing Year. The core of the celebration will be the invited talks by Scott
Aaronson and Martin Davis.
* A session will be devoted in memory of Philippe Flajolet, who passed away in
March of 2011.
* The Imre Simon Test-of-Time award shall be given to the LATIN paper deemed to
be most influential among all those published at least ten years prior to the
current edition of the conference. Papers published in the LATIN proceedings
up to and including 2002 are eligible for the 2012 award. This edition of
LATIN will be the first in which this award is given.
* A School of Theoretical Computer Science will be co-located and run in
parallel with the conference. More information can be found at
http://latinschool2012.dim.uchile.cl/
---- LOCATION ----
Arequipa is Peru's second largest city, with a population of over 900,000. It
is located 1,020 kilometers southeast of Lima, at 2,230 meters above sea level,
and is surrounded by mountains, most notably the Misti volcano. The
weather is sunny year-round, warm during the day and cool at night. Arequipa is
an important center of Peruvian arts and culture. Its downtown area, with
buildings made of white volcanic rock blending native and Spanish styles, is a
UNESCO World Heritage site. Among the attractions within easy reach is the
Colca canyon, one of the world's deepest. Southern Peru has many points of
interest, including the Cusco region (famous, among other things, for Machu
Picchu), the Nazca lines, and the Altiplano. Peru's cuisine is world-renowned,
and Arequipa occupies a special place in Peruvian gastronomy.
---- PAST EDITIONS OF LATIN ----
The Latin American Theoretical INformatics Symposium was launched in 1992.
Previous editions were held in Sao Paulo, Brazil (1992), Valparaiso, Chile
(1995), Campinas, Brazil (1998), Punta del Este, Uruguay (2000), Cancun, Mexico
(2002), Buenos Aires, Argentina (2004), Valdivia, Chile (2006), Buzios, Brazil
(2008), and Oaxaca, Mexico (2010).
Further information on the symposium can be found at http://www.latintcs.org/
---- PROGRAM COMMITTEE ----
R. Baeza-Yates, Yahoo!
N. Bansal, IBM
J. Barbay, U. Chile
M. Bender, Stony Brook U.
J. R. Correa, U. Chile
P. Crescenzi, U. Firenze
M. Farach-Colton, Rutgers U.
C. G. Fernandes, U. Sao Paulo
D. Fernandez-Baca (Chair), Iowa State U.
G. Fonseca, Unirio
J. von zur Gathen, U. Bonn
J. Koebler, Humboldt U.
Y. Kohayakawa, U. Sao Paulo
S. R. Kosaraju, Johns Hopkins U.
R. Kumar, Yahoo!
G. Manzini, U. Piemonte Orientale
A. Marchetti-Spaccamela, U. Roma
C. Martinez, UPC Barcelona
E. Mayordomo, U. Zaragoza
L. Moura, U. Ottawa
J. I. Munro, U. Waterloo
A. Oliveira, U. Tecnica Lisboa
L. Rademacher, Ohio State U.
I. Rapaport, U. Chile
A. Richa, Arizona State U.
J. Sakarovitch, CNRS/ENST
G. Salazar, U. San Luis Potosi
N. Schabanel, LIAFA U. Paris
R. I. Silveira, UPC Barcelona
M. Singh, Princeton U.
M. Strauss, U. Michigan
W. Szpankowski, Purdue U.
J. Urrutia, UNAM
E. Vigoda, Georgia Tech
A. Viola, U. de la Republica
---- LOCAL ARRANGEMENTS COMMITTEE ----
A. Cuadros-Vargas, U. San Pablo
E. Cuadros-Vargas (Chair), U. San Pablo
M. P. Rondon R., U. San Pablo
R. Ticona H., U. San Pablo
Y. Tupac V., U. San Pablo
---- CONTACT ----
David Fernandez-Baca
fernande@iastate.edu
**********************************************************
*
* 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/
*
**********************************************************
6th INTERNATIONAL CONFERENCE ON LANGUAGE AND AUTOMATA
THEORY AND APPLICATIONS
LATA 2012
A Coruña, Spain
March 5‐9, 2012
http://grammars.grlmc.com/LATA2012/
*********************************************************************
AIMS:
LATA is a yearly conference in theoretical computer science and its applications. Following the tradition
of the International Schools in Formal Languages and Applications developed at Rovira i Virgili University
in Tarragona since 2002, LATA 2012 will reserve significant room for young scholars at the beginning of
their career. It will aim at attracting contributions from both classical theory fields and application areas
(bioinformatics, systems biology, language technology, artificial intelligence, etc.).
VENUE:
LATA 2012 will take place in A Coruña, at the northwest of Spain. The venue will be the Faculty of
Computer Science, University of A Coruña.
SCOPE:
Topics of either theoretical or applied interest include, but are not limited to:
‐ algebraic language theory
‐ algorithms for semi‐structured data mining
‐ algorithms on automata and words
‐ automata and logic
‐ automata for system analysis and programme verification
‐ automata, concurrency and Petri nets
‐ automatic structures
‐ cellular automata
‐ combinatorics on words
‐ computability
‐ computational complexity
‐ computational linguistics
‐ data and image compression
‐ decidability questions on words and languages
‐ descriptional complexity
‐ DNA and other models of bio‐inspired computing
‐ document engineering
‐ foundations of finite state technology
‐ foundations of XML
‐ fuzzy and rough languages
‐ grammars (Chomsky hierarchy, contextual, multidimensional, unification, categorial, etc.)
‐ grammars and automata architectures
‐ grammatical inference and algorithmic learning
‐ graphs and graph transformation
‐ language varieties and semigroups
‐ language‐based cryptography
‐ language‐theoretic foundations of artificial intelligence and artificial life
‐ parallel and regulated rewriting
‐ parsing
‐ pattern recognition
‐ patterns and codes
‐ power series
‐ quantum, chemical and optical computing
‐ semantics
‐ string and combinatorial issues in computational biology and bioinformatics
‐ string processing algorithms
‐ symbolic dynamics
‐ symbolic neural networks
‐ term rewriting
‐ transducers
‐ trees, tree languages and tree automata
‐ weighted automata
STRUCTURE:
LATA 2012 will consist of:
‐ 3 invited talks
‐ 2 invited tutorials
‐ peer‐reviewed contributions
INVITED SPEAKERS:
Eugene Asarin (Paris 7), Measuring Information in Timed Languages
Bernard Boigelot (Liège), Automata-based Symbolic Representation of Polyhedra
Gilles Dowek (INRIA), tutorial Around the Physical Church Thesis: Cellular Automata, Graphs, Formal Languages and Quantum Theory
Rodney Downey (Wellington), tutorial 20 Years of Parameterized Complexity
Jack Lutz (Iowa State), to be announced
PROGRAMME COMMITTEE:
Eric Allender (Rutgers)
Miguel Á. Alonso (A Coruña)
Amihood Amir (Bar‐Ilan)
Dana Angluin (Yale)
Franz Baader (Dresden)
Patricia Bouyer (Cachan)
John Case (Delaware)
Volker Diekert (Stuttgart)
Paul Gastin (Cachan)
Reiko Heckel (Leicester)
Sanjay Jain (Singapore)
Janusz Kacprzyk (Warsaw)
Victor Khomenko (Newcastle)
Bakhadyr Khoussainov (Auckland)
Claude Kirchner (Paris)
Maciej Koutny (Newcastle)
Gregory Kucherov (Marne‐la‐Vallée)
Salvador Lucas (Valencia)
Sebastian Maneth (Sydney)
Carlos Martín‐Vide (Tarragona, chair)
Giancarlo Mauri (Milano Bicocca)
Aart Middeldorp (Innsbruck)
Faron Moller (Swansea)
Angelo Montanari (Udine)
Joachim Niehren (Lille)
Mitsunori Ogihara (Miami)
Enno Ohlebusch (Ulm)
Dominique Perrin (Marne‐la‐Vallée)
Alberto Policriti (Udine)
Alexander Rabinovich (Tel Aviv)
Mathieu Raffinot (Paris)
Jörg Rothe (Düsseldorf)
Olivier H. Roux (Nantes)
Yasubumi Sakakibara (Keio)
Eljas Soisalon‐Soininen (Aalto)
Frank Stephan (Singapore)
Jens Stoye (Bielefeld)
Howard Straubing (Boston)
Masayuki Takeda (Kyushu)
Wolfgang Thomas (Aachen)
Sophie Tison (Lille)
Jacobo Torán (Ulm)
Tayssir Touili (Paris)
Esko Ukkonen (Helsinki)
Frits Vaandrager (Nijmegen)
Manuel Vilares (Vigo)
Todd Wareham (Newfoundland)
Pierre Wolper (Liège)
Hans Zantema (Eindhoven)
Thomas Zeugmann (Sapporo)
ORGANIZING COMMITTEE:
Miguel Á. Alonso (A Coruña, co‐chair)
Adrian Horia Dediu (Tarragona)
Carlos Gómez Rodríguez (A Coruña)
Jorge Graña (A Coruña)
Carlos Martín‐Vide (Tarragona, co‐chair)
Bianca Truthe (Magdeburg)
Jesús Vilares (A Coruña)
Florentina Lilica Voicu (Tarragona)
SUBMISSIONS:
Authors are invited to submit papers presenting original and unpublished research. Papers should not
exceed 12 single‐spaced pages (including eventual appendices) and should be formatted according to
the standard format for Springer Verlag's LNCS series (see
http://www.springer.com/computer/lncs/lncs+authors?SGWID=0‐40209‐0‐0‐0). Submissions have to be
uploaded at:
http://www.easychair.org/conferences/?conf=lata2012
PUBLICATIONS:
A volume of proceedings published by Springer in the LNCS series will be available by the time of the
conference.
A special issue of a major journal will be later published containing peer‐reviewed extended versions of
some of the papers contributed to the conference. Submissions to it will be by invitation.
REGISTRATION:
The period for registration will be open since July 16, 2011 until March 5, 2012. The registration form
can be found at the website of the conference: http://grammars.grlmc.com/LATA2012/
Early registration fees: 500 Euro
Early registration fees (PhD students): 400 Euro
Late registration fees: 540 Euro
Late registration fees (PhD students): 440 Euro
On‐site registration fees: 580 Euro
On‐site registration fees (PhD students): 480 Euro
At least one author per paper should register. Papers that do not have a registered author who paid the
fees by December 5, 2011 will be excluded from the proceedings.
Fees comprise access to all sessions, one copy of the proceedings volume, coffee breaks and lunches.
PhD students will need to prove their status on site.
PAYMENT:
Early (resp. late) registration fees must be paid by bank transfer before December 5, 2011 (resp.
February 24, 2012) to the conference series account at Uno‐e Bank (Julián Camarillo 4 C, 28037 Madrid,
Spain):
IBAN: ES3902270001820201823142 – Swift/BIC code: UNOEESM1 (account holder: Carlos Martin‐Vide –
LATA 2012; account holder's address: Av. Catalunya, 35, 43002 Tarragona, Spain).
Please write the participant's name in the subject of the bank form. Transfers should not involve any
expense for the conference. People claiming early registration will be requested to prove that they gave
the bank transfer order by the deadline.
On‐site registration fees can be paid only in cash. A receipt for payments will be provided on site.
Besides paying the registration fees, it is required to fill in the registration form at the website of the
conference.
IMPORTANT DATES:
Paper submission: October 7, 2011 (23:59h, CET)
Notification of paper acceptance or rejection: November 18, 2011
Final version of the paper for the LNCS proceedings: November 27, 2011
Early registration: December 5, 2011
Late registration: February 24, 2012
Starting of the conference: March 5, 2012
Submission to the post‐conference special issue: June 9, 2012
FURTHER INFORMATION:
florentinalilica.voicu@urv.cat
POSTAL ADDRESS:
LATA 2012
Research Group on Mathematical Linguistics
Rovira i Virgili University
Av. Catalunya, 35
43002 Tarragona, Spain
Phone: +34‐977‐559543
Fax: +34‐977‐558386
=================
Please consider to contribute to and/or forward to the appropriate groups the following opportunity to submit and publish original scientific results to PESARO 2012.
The submission deadline is set to December 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
=================
============== PESARO 2012 | Call for Papers ===============
CALL FOR PAPERS, TUTORIALS, PANELS
PESARO 2012: The Second International Conference on Performance, Safety and Robustness in Complex Systems and Applications
April 29 - May 4, 2012 - Chamonix / Mont Blanc, France
General page: http://www.iaria.org/conferences2012/PESARO12.html
Call for Papers: http://www.iaria.org/conferences2012/CfPPESARO12.html
- regular papers
- short papers (work in progress)
- posters
- ideas
Submission page: http://www.iaria.org/conferences2012/SubmitPESARO12.html
Submission deadline: December 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 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
PESARO 2012 Topics (topics and submission details: see CfP on the site)
Fundamentals
Fundamentals on system safety; Robustness technology and evaluation; Metrics for risk assessment; Performance-oriented design; Safety-oriented system design; Performance metrics and dependable metrics ; Active and passive safety; Performance warning delay
Methodologies, techniques and algorithms
Systems modeling; Hazard analysis; System measurement and monitoring; Evaluation of safety data, and mitigation and prevention strategies; Model verification and validation; Fault-tolerant systems; Simulation, statistical analysis, and experimental design analysis; Language and runtime systems
Performance
Performance basics; Performance-oriented design; Performance methodology techniques and algorithms for analytic modeling; System measurement and monitoring; Model verification and validation, simulation, statistical analysis; Experimental design, and reliability analysis; Performance evaluation of various technologies and systems (mobile devices and wireless networks, distributed and parallel systems, file and storage systems, power management, database systems, computer networks and architectures, operating systems, fault-tolerant systems, and language and runtime systems). Performance in dedicated service systems (Web services, Financial services, Healthcare and pharmaceuticals, Telecommunications services, Industrial Manufacturing, Education services, Transportation services, Energy and utilities)
Safety in industrial systems
Fundamentals on system safety; Safety of software systems and software engineering; Safety requirements; Safety for critical systems; Engineering for system robustness and reliability; Control of mission critical systems; Safety-oriented system design; Human tasks and error models; Hazard analysis; Cost and effectiveness of system safety; Verification and validation of safety; Safety tools; Evaluation of safety data, and mitigation and prevention strategies; Safety control and management; System Safety Implementation Guidelines and Standards; Transferring safety knowledge; Metrics for Risk Assessment; Contingency Planning and Occurrence Reporting; Preparedness Activities; Industry specific safety systems (Medical devices, Aerospace, Chemical industry, Nuclear power plants, Public health, Biological Safety)
Robustness
Basic concepts and applications; Theory and mechanisms for robustness; Uncertainty and robustness; Statistic robustness; Computation and optimization of robustness; Robustness estimation and approximation; Robustness correction; Robust systems; Robustness tests and benchmarking
Applications and services
Mobile Web performance; Multiple data center management; Network latency and impact on performance/robustness; Performance and robustness of cloud-based solutions; Scalable safe and robust solutions; Mobile devices and wireless networks; Mission critical systems and applications; Industry specific safety systems (medical devices, aerospace, chemical industry, nuclear power plants, public health, biological systems)
Committee: http://www.iaria.org/conferences2012/ComPESARO12.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/
*
**********************************************************
starting date: 1.12.2011 (negotiable)
duration: 2.5 years (negotiable)
More Information: http://crypto.mimuw.edu.pl/Welcome/postdoc.html
--
Stefan Dziembowski
www.dziembowski.net
POSTDOCTORAL RESEARCHER POSITION AVAILABLE
Department of Electrical Engineering and Computer Science
Information and Telecommunication Technology Center
The University of Kansas
A postdoctoral position is available starting by December 2011 in the
Department of Electrical Engineering and Computer Science and the
Information and Telecommunication Technology Center at the University of
Kansas, under the supervision of Prof. Jeffrey S. Vitter. KU is an equal
opportunity employer. The position is for one year and can be extended for
one or more additional years by mutual consent.
Problems of interest include those motivated by massive data, including
indexing, data compression, and external memory algorithms. Applicants must
have clearly demonstrated experience and skills in algorithms design and
implementation. Familiarity with compressed data structures, pattern
matching, indexing, and external memory algorithms is a definite plus.
Responsibilities include research on the projects, interaction with agency
scientists, and helping prepare contract, technical, and other reports.
Teaching responsibilities are optional.
For more information and to apply, go to https://jobs.ku.edu and search for
position number 00209000. In addition to the online application, please ask
three evaluators to send letters of reference by email to:
Ms. Linda Bonebrake
ATTENTION: POSTDOC SEARCH
Email: lbonebrake@ku.edu
Tel.: (785) 864-4904
Web: http://www.ittc.ku.edu/~jsv/
Review of applications begins September 29, 2011 and will be considered until
the position is filled. EO/AA
--
Prof. Jeffrey S. Vitter
Provost and Executive Vice Chancellor
Roy A. Roberts Distinguished Professor
The University of Kansas
Tel. +1 (785) 864-4904 | Fax +1 (785) 864-4463
Email jsv@ku.edu | Web www.provost.ku.edu
Twelfth International Symposium on
ARTIFICIAL INTELLIGENCE and MATHEMATICS
ISAIM 2012
http://www.cs.uic.edu/Isaim2012/
January 9-11, 2012
Fort Lauderdale, Florida
NEW PAPER SUBMISSION DEADLINE: Monday, October 3, 2011
The International Symposium on Artificial Intelligence and Mathematics
(ISAIM) is a biennial meeting that fosters interactions between
mathematics, theoretical computer science, and artificial
intelligence. This is the twelfth Symposium in the series, which is
sponsored by Annals of Mathematics and Artificial Intelligence. We
seek submissions of recent results with a particular emphasis on the
foundations of AI and mathematical methods used in AI. Papers
describing applications are also encouraged, but the focus should be
on principled lessons learned from the development of the application.
Traditionally, the Symposium attracts participants from a variety of
disciplines, thereby providing a unique forum for scientific exchange.
The three-day Symposium includes invited speakers, presentations of
technical papers, and special topic sessions.
KEYNOTE SPEAKERS (confirmed)
Avrim Blum, Carnegie-Mellon University
Michal Feldman, Hebrew University of Jerusalem (visiting Harvard
2011-2013)
Moshe Vardi, Rice University
SPECIAL TOPIC INVITED SESSIONS:
o Computational Social Choice
-Organized by Judy Goldsmith, University of Kentucky
o Boolean and pseudo-Boolean Functions
-Organized by Endre Boros, Rutgers University, and Yves Crama,
University of Liège
o Causal Learning from Complex Data Structures
-Organized by David Danks, Institute for Human & Machine
Cognition; and Carnegie Mellon University
PAPER SUBMISSION:
Paper submission will be electronic via the submission link to
ConfMaster on the Paper Submission page of the Symposium website (/www.cs.uic.edu/Isaim2012/
). Papers must be formatted in accordance with the guidelines given
there.
The submission deadline is Monday, October 3, 2011 (11:59PM PDT).
Papers will be reviewed by members of the Program Committee. Authors
will be notified of acceptance or rejection by Friday, October 28,
2012. Final versions of accepted papers, for inclusion in the
conference electronic proceedings, are due by Monday, December 5, 2011.
Work that has already been published as of the ISAIM submission
deadline should not be submitted to ISAIM unless it introduces a
significant addition to the previously published work. However, the
ISAIM web site proceedings are not archival, so papers submitted to
ISAIM can be under review at the time of submission and can be
submitted elsewhere after ISAIM.
Authors of a selected set of papers from the Symposium will be invited
to submit full versions of their papers for inclusion in a special
volume of the Annals of Mathematics and Artificial Intelligence,
published by Springer. Those invited submissions will be subject to
refereeing at the usual standards of the journal, and authors will
receive more details with the acceptance notice. Papers must of course
be new and unpublished to be considered for the special volume.
Any questions regarding paper submission should be sent to the program
committee chair at the email address <isaim2012 at cs DOT uic DOT edu>.
IMPORTANT DATES:
Paper submission: Monday, October 3, 2011
Notification: Monday, November 7, 2011
Final version due: Monday, December 5, 2011
Workshop: January 9-11, 2012, Ft. Lauderdale, Florida
ORGANIZERS:
o General Chair: Martin Charles Golumbic, University of Haifa
o Conference Chair: Frederick Hoffman, Florida Atlantic
University
o Program Committee Chair: Robert H. (Bob) Sloan, University of
Illinois at Chicago
o Publicity Chair: Dimitrios I. Diochnos, University of
Illinois at Chicago
PROGRAM COMMITTEE:
Stéphane Airiau University of Amsterdam
Eyal Amir University of Illinois at Urbana-Champagne
Endre Boros Rutgers University
Emma Brunskill University of California Berkeley
Arthur Choi University of California Los Angeles
Berthe Choueiry University of Nebraska-Lincoln
Yves Crama University of Liège
Marek Druzdzel University of Pittsburgh
Edith Elkind Nanyang Technological University
Piotr J. Gmytrasiewicz University of Illinois at Chicago
Vibhav Gogate University of Washington
Lisa Hellerstein Polytechnic Institute of NYU
Roni Khardon Tufts University
Richard Korf University of California Los Angeles
Gerhard Lakemeyer Aachen University of Technology
Hector Levesque University of Toronto
Vladimir Lifschitz University of Texas at Austin
Victor Marek University of Kentucky
Loizos Michael Open University of Cyprus
Maurice Pagnucco University of New South Wales
Patrice Perny Pierre et Marie Curie University
Marek Petrik IBM Research
Steven Prestwich Cork Constraint Computation Centre
Francesca Rossi University of Padova
Wheeler Ruml University of New Hampshire
Ashish Sabharwal IBM Research
Robert Schapire Princeton University
Linda Sellie Polytechnic Institute of NYU
Meinolf Sellmann Brown University
Bart Selman Cornell University
Robert H. Sloan University of Illinois at Chicago
Balázs Szörényi University of Szeged
Miroslaw (Mirek) Truszczynski University of Kentucky
Miroslav Velev Aries Design Automation
Neil Yorke-Smith American University of Beirut
Rong Zhou PARC
Shlomo Zilberstein University of Massachusetts Amherst
Send inquiries and requests to isaim2012 at cs DOT uic DOT edu.
Visit http://www.cs.uic.edu/Isaim2012/.
Join isaim@googlegroups.com to receive announcements related to ISAIM.
**********************************************************
*
* 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/
*
**********************************************************
Posts
All Comments
