The Probability team of Torino University will offer a one year
PostDoctoral Positions on Branching Processes and/or Superprocesses
The position will be supported by AMALFI project
(http://amalfi.di.unito.it/), funded by University of Torino and San
Paolo Bank Foundation.
The main research activity will focus on the probabilistic
models for information dissemination through personal devices. This
type of models relate with Epidemic Processes (Spread of
Information) in large Dynamic Networks modelled as Superprocesses or
Random (Evolving) Graphs.
The research group is currently formed by Probability and Computer
Science researchers. The post doc will work on the mathematical part
of the project but he/she will also interact with computer science
researchers and will work in an interdisciplinary context..
Candidates should be less than 35 years old. They should hold (at the
moment of the application) a Ph.D. degree in Computer Science,
Mathematics or Physics. They should have a strong background in
probability and research experience in some of the following topics:
- Continuous limits of discrete processes
- Markov Chains/Diffusion processes
- Random Graphs
- Mathematical Epidemiology/Branching processes
- Superprocesses
Furthermore, in order to apply the candidate should have already
published at least one paper.
Knowledge of Italian is not required, but good communication skills
and a good knowledge of English are essential.
If interested please contact federico.polito@unito.it
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************
Monday, August 5, 2013
Friday, August 2, 2013
[DMANET] Energy Efficient Data Structures and Algorithms Postdoc Position
Energy Efficient Data Structures and Algorithms Postdoc Position
Chalmers University of Technology, Gothenburg, Sweden
The Distributed Computing and Systems Group at Chalmers University of Technology invites applications for a postdoctoral
researcher in Energy Efficient Data Structures and Algorithms. The successful candidate will perform research in new energy
execution models forming foundations for energy-efficient computing paradigms, lead research activities in the group in the
context of the EXCESS FP7 project, and interface with renowned academic research groups the area around the world.
The ideal candidate has a Ph.D. with strong research background in parallel algorithms, concurrent data structures, programming
models, libraries, runtime systems and energy-efficient architectures or a closely related field. Both beginning and senior
postdoctoral candidates are encouraged to apply. Excellent oral and written communication skills are mandatory.
Starting date is Fall 2013.
Applications including a CV and a research statement should be sent to Prof. Philippas Tsigas (tsigas@chalmers.se).
**********************************************************
*
* 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/
*
**********************************************************
Chalmers University of Technology, Gothenburg, Sweden
The Distributed Computing and Systems Group at Chalmers University of Technology invites applications for a postdoctoral
researcher in Energy Efficient Data Structures and Algorithms. The successful candidate will perform research in new energy
execution models forming foundations for energy-efficient computing paradigms, lead research activities in the group in the
context of the EXCESS FP7 project, and interface with renowned academic research groups the area around the world.
The ideal candidate has a Ph.D. with strong research background in parallel algorithms, concurrent data structures, programming
models, libraries, runtime systems and energy-efficient architectures or a closely related field. Both beginning and senior
postdoctoral candidates are encouraged to apply. Excellent oral and written communication skills are mandatory.
Starting date is Fall 2013.
Applications including a CV and a research statement should be sent to Prof. Philippas Tsigas (tsigas@chalmers.se).
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************
Wednesday, July 31, 2013
[DMANET] 1st CfP: ICONS 2014 || February 23 - 27, 2014 - Nice, France
INVITATION:
=================
Please consider to contribute to and/or forward to the appropriate groups the following opportunity to submit and publish original scientific results to ICONS 2014.
The submission deadline is September 28, 2013.
Authors of selected papers will be invited to submit extended article versions to one of the IARIA Journals: http://www.iariajournals.org
=================
============== ICONS 2014 | Call for Papers ===============
CALL FOR PAPERS, TUTORIALS, PANELS
ICONS 2014, The Ninth International Conference on Systems
February 23 - 27, 2014 - Nice, France
General page: http://www.iaria.org/conferences2014/ICONS14.html
Call for Papers: http://www.iaria.org/conferences2014/CfPICONS14.html
- regular papers
- short papers (work in progress)
- posters
- ideas
Submission page: http://www.iaria.org/conferences2014/SubmitICONS14.html
Submission deadline: September 28, 2013
Sponsored by IARIA, www.iaria.org
Extended versions of selected papers will be published in IARIA Journals: http://www.iariajournals.org
Print proceedings will be available via Curran Associates, Inc.: http://www.proceedings.com/9769.html
Articles will be archived in the free access ThinkMind Digital Library: http://www.thinkmind.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 comply with the Editorial rules: http://www.iaria.org/editorialrules.html
ICONS 2014 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
IT Systems
IT service management; IT Infrastructure management; IT service desk; Service support and delivery; Service strategy; Service design; Service transition; Service operation; Continual service improvement
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/conferences2014/ComICONS14.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/
*
**********************************************************
=================
Please consider to contribute to and/or forward to the appropriate groups the following opportunity to submit and publish original scientific results to ICONS 2014.
The submission deadline is September 28, 2013.
Authors of selected papers will be invited to submit extended article versions to one of the IARIA Journals: http://www.iariajournals.org
=================
============== ICONS 2014 | Call for Papers ===============
CALL FOR PAPERS, TUTORIALS, PANELS
ICONS 2014, The Ninth International Conference on Systems
February 23 - 27, 2014 - Nice, France
General page: http://www.iaria.org/conferences2014/ICONS14.html
Call for Papers: http://www.iaria.org/conferences2014/CfPICONS14.html
- regular papers
- short papers (work in progress)
- posters
- ideas
Submission page: http://www.iaria.org/conferences2014/SubmitICONS14.html
Submission deadline: September 28, 2013
Sponsored by IARIA, www.iaria.org
Extended versions of selected papers will be published in IARIA Journals: http://www.iariajournals.org
Print proceedings will be available via Curran Associates, Inc.: http://www.proceedings.com/9769.html
Articles will be archived in the free access ThinkMind Digital Library: http://www.thinkmind.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 comply with the Editorial rules: http://www.iaria.org/editorialrules.html
ICONS 2014 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
IT Systems
IT service management; IT Infrastructure management; IT service desk; Service support and delivery; Service strategy; Service design; Service transition; Service operation; Continual service improvement
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/conferences2014/ComICONS14.html
================================================
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************
[DMANET] second CFP LATIN 2014
SECOND CALL FOR PAPERS:
Latin American Theoretical INformatics (LATIN 2014)
March 31-April 4, 2014, Montevideo, Uruguay
==============================================================================
A series of Symposia in Theoretical Computer Science was launched in 1992, to
be held in Latin America: LATIN (Latin American Theoretical INformatics). This
is the eleventh event of the series, after 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), Oaxaca, Mexico (2010), and Arequipa, Peru
(2012).
We seek papers presenting original research in theoretical computer science,
including, but not limited to: algorithms (approximation, online, randomized,
algorithmic game theory, etc.), analytic combinatorics and analysis of
algorithms, automata theory and formal languages, coding theory and data
compression, combinatorial algorithms, combinatorial optimization,
combinatorics and graph theory, complexity theory, computational algebra,
computational biology, computational geometry, computational number theory,
cryptology, databases and information retrieval, data structures, formal
methods and security, Internet and the web, parallel and distributed computing,
pattern matching, programming language theory, and random structures.
Proceedings containing the accepted extended abstracts will be published
by Springer-Verlag, in the Lecture Notes in Computer Science (LNCS) series.
Printed versions will be available at the conference.
---- SUBMISSION ----
Authors are invited to submit an extended abstract in English no longer than 12
pages (including the bibliography) on letter-size paper using at least 11-point
font in Springer LNCS format. If more space is needed, a clearly marked
appendix, to be read at the discretion of the program committee, may be
included if desired. Simultaneous submission of papers to any other conference
with published proceedings, as well as the submission of previously published
papers, is not allowed. Instructions for electronic submissions will be posted
at the conference web site,
http://www.fing.edu.uy/eventos/latin2014.
The deadline for submissions is September 17, 2013 (firm deadline).
If needed, a short 1 page abstract of the paper can be submitted by
this deadline, and later the final extended abstract
can be submitted by September 22, 2013 (also firm deadline).
Neither short abstracts nor new extended abstracts submitted after
September 17 will be evaluated. Moreover, short abstracts not
replaced by their extended version before September 22, will neither be
evaluated.
---- CONFIRMED PLENARY SPEAKERS ----
Gilles Barthe, IMDEA Software Institute.
Ian Munro, University of Waterloo.
Gonzalo Navarro, Universidad de Chile.
Ronitt Rubinfeld, MIT.
Robert Sedgewick, Princeton University.
---- IMPORTANT DATES ----
Short abstract submission: Sep. 17, 2013
Final Submission: Sep. 22, 2013
Notification: Dec. 2, 2013
Final version: Dec. 20, 2013
---- IMRE SIMON TEST-OF-TIME AWARD ----
Starting in 2012, an award is 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 2004 are eligible for the 2014 award.
---- LOCATION ----
Montevideo, a port city, the capital of Uruguay and home to its largest
University, the Universidad de la Republica, is a perfect destination for
travelers looking for a relaxing stroll past colonial era buildings and along
beautiful beaches. The Ciudadela Gateway, the only remaining section of the
wall that once surrounded the entire city, now serves as the entrance to Ciudad
Vieja, Montevideo?s oldest neighborhood. Home to churches, museums, and
theaters, at night the area comes alive with nightclubs playing Tango and
Candombe music for crowds of dancers.
---- PROGRAM COMMITTEE ----
R. Baeza-Yates, Yahoo! Labs.
J. Barbay, U. Chile
M. Bender, Stony Brook U.
J. Boyar, U. Southern Denmark
V. Dujmovic, Carleton U.
L. Epstein, U. Haifa
C. G. Fernandes, U. Sao Paulo
M. Fernandez, ENS Paris
J. von zur Gathen, U. Bonn
G. Gonnet, ETH Zurich
M. Kiwi, U. Chile
Y. Kohayakawa, U. Sao Paulo
E. Kranakis, Carleton U.
R. Kumar, Google
A. Lubiw, U. Waterloo
C. Martinez, UPC Barcelona
E. Mayordomo, U. Zaragoza
M. Molinaro, Carnegie Mellon
R. Motz, U. de la Republica
L. Moura, U. Ottawa
D. Panario, Carleton U.
S. Rajsbaum, UNAM
T. Rezk, INRIA
A. Richa, Arizona State U.
J. Sakarovitch, CNRS / ENST
N. Schabanel, CNRS / U. Paris Diderot
G. Seroussi, U. de la Republica
R. I. Silveira, UPC Barcelona
J. A. Soto, U. Chile
M. Strauss, U. Michigan
V. Trevisan, UFRGS
J. Urrutia, UNAM
T. Uustalu, Tallinn U. of Technology
B. Vallee, CNRS / U. Caen
A. Viola (Chair), U. de la Republica
S. Zanella-Beguelin, Microsoft
Research
---- LOCAL ARRANGEMENTS COMMITTEE ----
G. Calderon, U. de la Republica
J. Molina, IDEAS
L. Molina, IDEAS
A. Pardo (Chair), U. de la Republica
---- CONTACT ----
Alfredo Viola
latin2014-chair@fing.edu.uy
**********************************************************
*
* 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/
*
**********************************************************
Latin American Theoretical INformatics (LATIN 2014)
March 31-April 4, 2014, Montevideo, Uruguay
==============================================================================
A series of Symposia in Theoretical Computer Science was launched in 1992, to
be held in Latin America: LATIN (Latin American Theoretical INformatics). This
is the eleventh event of the series, after 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), Oaxaca, Mexico (2010), and Arequipa, Peru
(2012).
We seek papers presenting original research in theoretical computer science,
including, but not limited to: algorithms (approximation, online, randomized,
algorithmic game theory, etc.), analytic combinatorics and analysis of
algorithms, automata theory and formal languages, coding theory and data
compression, combinatorial algorithms, combinatorial optimization,
combinatorics and graph theory, complexity theory, computational algebra,
computational biology, computational geometry, computational number theory,
cryptology, databases and information retrieval, data structures, formal
methods and security, Internet and the web, parallel and distributed computing,
pattern matching, programming language theory, and random structures.
Proceedings containing the accepted extended abstracts will be published
by Springer-Verlag, in the Lecture Notes in Computer Science (LNCS) series.
Printed versions will be available at the conference.
---- SUBMISSION ----
Authors are invited to submit an extended abstract in English no longer than 12
pages (including the bibliography) on letter-size paper using at least 11-point
font in Springer LNCS format. If more space is needed, a clearly marked
appendix, to be read at the discretion of the program committee, may be
included if desired. Simultaneous submission of papers to any other conference
with published proceedings, as well as the submission of previously published
papers, is not allowed. Instructions for electronic submissions will be posted
at the conference web site,
http://www.fing.edu.uy/eventos/latin2014.
The deadline for submissions is September 17, 2013 (firm deadline).
If needed, a short 1 page abstract of the paper can be submitted by
this deadline, and later the final extended abstract
can be submitted by September 22, 2013 (also firm deadline).
Neither short abstracts nor new extended abstracts submitted after
September 17 will be evaluated. Moreover, short abstracts not
replaced by their extended version before September 22, will neither be
evaluated.
---- CONFIRMED PLENARY SPEAKERS ----
Gilles Barthe, IMDEA Software Institute.
Ian Munro, University of Waterloo.
Gonzalo Navarro, Universidad de Chile.
Ronitt Rubinfeld, MIT.
Robert Sedgewick, Princeton University.
---- IMPORTANT DATES ----
Short abstract submission: Sep. 17, 2013
Final Submission: Sep. 22, 2013
Notification: Dec. 2, 2013
Final version: Dec. 20, 2013
---- IMRE SIMON TEST-OF-TIME AWARD ----
Starting in 2012, an award is 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 2004 are eligible for the 2014 award.
---- LOCATION ----
Montevideo, a port city, the capital of Uruguay and home to its largest
University, the Universidad de la Republica, is a perfect destination for
travelers looking for a relaxing stroll past colonial era buildings and along
beautiful beaches. The Ciudadela Gateway, the only remaining section of the
wall that once surrounded the entire city, now serves as the entrance to Ciudad
Vieja, Montevideo?s oldest neighborhood. Home to churches, museums, and
theaters, at night the area comes alive with nightclubs playing Tango and
Candombe music for crowds of dancers.
---- PROGRAM COMMITTEE ----
R. Baeza-Yates, Yahoo! Labs.
J. Barbay, U. Chile
M. Bender, Stony Brook U.
J. Boyar, U. Southern Denmark
V. Dujmovic, Carleton U.
L. Epstein, U. Haifa
C. G. Fernandes, U. Sao Paulo
M. Fernandez, ENS Paris
J. von zur Gathen, U. Bonn
G. Gonnet, ETH Zurich
M. Kiwi, U. Chile
Y. Kohayakawa, U. Sao Paulo
E. Kranakis, Carleton U.
R. Kumar, Google
A. Lubiw, U. Waterloo
C. Martinez, UPC Barcelona
E. Mayordomo, U. Zaragoza
M. Molinaro, Carnegie Mellon
R. Motz, U. de la Republica
L. Moura, U. Ottawa
D. Panario, Carleton U.
S. Rajsbaum, UNAM
T. Rezk, INRIA
A. Richa, Arizona State U.
J. Sakarovitch, CNRS / ENST
N. Schabanel, CNRS / U. Paris Diderot
G. Seroussi, U. de la Republica
R. I. Silveira, UPC Barcelona
J. A. Soto, U. Chile
M. Strauss, U. Michigan
V. Trevisan, UFRGS
J. Urrutia, UNAM
T. Uustalu, Tallinn U. of Technology
B. Vallee, CNRS / U. Caen
A. Viola (Chair), U. de la Republica
S. Zanella-Beguelin, Microsoft
Research
---- LOCAL ARRANGEMENTS COMMITTEE ----
G. Calderon, U. de la Republica
J. Molina, IDEAS
L. Molina, IDEAS
A. Pardo (Chair), U. de la Republica
---- CONTACT ----
Alfredo Viola
latin2014-chair@fing.edu.uy
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************
Tuesday, July 30, 2013
[DMANET] Post-doctorat à l'Université Libre de Bruxelles
Le *Département d'Informatique* de la Faculté des Sciences de
l'*Université Libre de Bruxelles* engage *un(e) chercheur/chercheuse
post-doctorant(e)* pour une période d'un an à partir de *septembre
2013*.
Le/la candidat(e) sera porteur d'une thèse de doctorat dans le domaine
de l'informatique, de préférence dans une des activités de recherches
conduites dans le département. Il/elle sera chargé(e) de l'encadrement
- du projet d'année en 1ére année du bachelier en sciences informatiques;
- des exercices et projets liés au cours «Embedded Systems Design».
Ses activités de recherches se poursuivront dans un des services du
département :
- Algorithms
- Graphs and Mathematical Optimization
- Machine Learning
- Cryptography and Computer Security
- Parallel Architectures for Real-Time Systems
- Formal Methods and Verification
La maîtrise du français est indispensable.
Les candidatures, composées d'un CV incluant une liste de publications
complètes et d'un projet de recherche, doivent être adressées à Mme
Pascaline Browaeys (browaeys@ulb.ac.be) *avant le 16 août 2013*.
**********************************************************
*
* 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/
*
**********************************************************
l'*Université Libre de Bruxelles* engage *un(e) chercheur/chercheuse
post-doctorant(e)* pour une période d'un an à partir de *septembre
2013*.
Le/la candidat(e) sera porteur d'une thèse de doctorat dans le domaine
de l'informatique, de préférence dans une des activités de recherches
conduites dans le département. Il/elle sera chargé(e) de l'encadrement
- du projet d'année en 1ére année du bachelier en sciences informatiques;
- des exercices et projets liés au cours «Embedded Systems Design».
Ses activités de recherches se poursuivront dans un des services du
département :
- Algorithms
- Graphs and Mathematical Optimization
- Machine Learning
- Cryptography and Computer Security
- Parallel Architectures for Real-Time Systems
- Formal Methods and Verification
La maîtrise du français est indispensable.
Les candidatures, composées d'un CV incluant une liste de publications
complètes et d'un projet de recherche, doivent être adressées à Mme
Pascaline Browaeys (browaeys@ulb.ac.be) *avant le 16 août 2013*.
**********************************************************
*
* 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] SAGT 2013 - Call for Participation
6th INTERNATIONAL SYMPOSIUM ON ALGORITHMIC GAME THEORY
SAGT 2013
http://algo.rwth-aachen.de/sagt2013/
Aachen, October 21-23, 2013
Early Registration Deadline: October 1st, 2013
------------------------------------------------------
The 6th International Symposium on Algorithmic Game Theory (SAGT) will
take place in Aachen, Germany, from October 21 to October 23. The
purpose of SAGT is to bring together researchers from Computer Science,
Economics, Physics, Biology and Mathematics to present and discuss
original research at the intersection of Algorithms and Game Theory.
SAGT is organized in cooperation with ACM SIGecom and EATCS.
The program will include both invited lectures and presentations for
refereed submissions. Invited speakers are
Constantinos Daskalakis, MIT
Paul Milgrom, Stanford
Rakesh Vohra, Northwestern
List of accepted papers:
http://algo.rwth-aachen.de/sagt2013/accepted.php
Schedule:
http://algo.rwth-aachen.de/sagt2013/schedule.php
------------------------------------------------------
After SAGT there will be the a fall school on topics in Algorithmic
Game Theory and Learning.
AlgoSyn Fall School, October 23-25, Aachen, Germany
For details see
http://www.algo.rwth-aachen.de/fallschool
**********************************************************
*
* 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/
*
**********************************************************
SAGT 2013
http://algo.rwth-aachen.de/sagt2013/
Aachen, October 21-23, 2013
Early Registration Deadline: October 1st, 2013
------------------------------------------------------
The 6th International Symposium on Algorithmic Game Theory (SAGT) will
take place in Aachen, Germany, from October 21 to October 23. The
purpose of SAGT is to bring together researchers from Computer Science,
Economics, Physics, Biology and Mathematics to present and discuss
original research at the intersection of Algorithms and Game Theory.
SAGT is organized in cooperation with ACM SIGecom and EATCS.
The program will include both invited lectures and presentations for
refereed submissions. Invited speakers are
Constantinos Daskalakis, MIT
Paul Milgrom, Stanford
Rakesh Vohra, Northwestern
List of accepted papers:
http://algo.rwth-aachen.de/sagt2013/accepted.php
Schedule:
http://algo.rwth-aachen.de/sagt2013/schedule.php
------------------------------------------------------
After SAGT there will be the a fall school on topics in Algorithmic
Game Theory and Learning.
AlgoSyn Fall School, October 23-25, Aachen, Germany
For details see
http://www.algo.rwth-aachen.de/fallschool
**********************************************************
*
* 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] Postdoctoral Associate- Masdar Institute of Science and Technology
Postdoctoral Associate
Masdar Institute of Science and Technology
Abu Dhabi, UAE
The Masdar Institute of Science and Technology (MI), located in Abu Dhabi, United Arab Emirates, is a private, not-for-profit,
independent, graduate-level, research-driven institute developed with the support and cooperation of the Massachusetts Institute
of Technology (MIT). The goal of the Institute is to develop, over a period of years, indigenous R&D capacity in Abu Dhabi,
addressing issues of importance to the region in critical areas such as: renewable energy, sustainability, environment, water resources
and microelectronics. The Institute offers graduate degree programs (MSc & PhD) in science and engineering disciplines with
a focus on advanced energy and sustainable technologies (http://www.masdar.ac.ae and http://web.mit.edu/mit-tdp/www/).
Position description: This postdoctoral research position is funded through a joint research project performed by MI and MIT
faculty and research staff on the topic of systemic risk in new-age power systems. This is an interdisciplinary project among
researchers from Computer Science, Electrical Engineering, and Mechanical Engineering. The objective of this project is to develop
a secure system architecture and the associated communication, control, pricing, and market mechanisms for efficient, robust, and
resilient operation of power systems and energy networks. The appointment is expected to start from January 1, 2014. The initial
appointment will be for 1 year but it can be extended up to 2.5 years depending on the availability of funding and the candidate's
performance. The official appointment of the position is with MI, but there is a possibility for the successful candidate to spend
some time working on the project at MIT.
Salary range: USD 70,000 to USD 75,000 per annum (the UAE has no income tax).
Selection criteria: The applicant should meet the following criteria:
- PhD in Computer Science or a related field. Candidates who have submitted their PhD thesis are also welcome.
- Strong research background as indicated by a strong publication record. The candidate is expected to have published
in top journals and conferences in their research field.
- Strong background in at least one of the following topics: algorithmic game theory, approximation algorithms, control theory,
mathematical programming, and multi-agent systems. Knowledge of power engineering is a plus.
How to apply: Interested candidates should send their CV and research statement tailored to the research topic specified
above to Dr. Khaled Elbassioni and Dr. Jacob Crandall (email: kelbassioni@masdar.ac.ae and jcrandall@masdar.ac.ae).
Initial screening of applications will begin immediately and the position will remain open until filled.
**********************************************************
*
* 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/
*
**********************************************************
Masdar Institute of Science and Technology
Abu Dhabi, UAE
The Masdar Institute of Science and Technology (MI), located in Abu Dhabi, United Arab Emirates, is a private, not-for-profit,
independent, graduate-level, research-driven institute developed with the support and cooperation of the Massachusetts Institute
of Technology (MIT). The goal of the Institute is to develop, over a period of years, indigenous R&D capacity in Abu Dhabi,
addressing issues of importance to the region in critical areas such as: renewable energy, sustainability, environment, water resources
and microelectronics. The Institute offers graduate degree programs (MSc & PhD) in science and engineering disciplines with
a focus on advanced energy and sustainable technologies (http://www.masdar.ac.ae and http://web.mit.edu/mit-tdp/www/).
Position description: This postdoctoral research position is funded through a joint research project performed by MI and MIT
faculty and research staff on the topic of systemic risk in new-age power systems. This is an interdisciplinary project among
researchers from Computer Science, Electrical Engineering, and Mechanical Engineering. The objective of this project is to develop
a secure system architecture and the associated communication, control, pricing, and market mechanisms for efficient, robust, and
resilient operation of power systems and energy networks. The appointment is expected to start from January 1, 2014. The initial
appointment will be for 1 year but it can be extended up to 2.5 years depending on the availability of funding and the candidate's
performance. The official appointment of the position is with MI, but there is a possibility for the successful candidate to spend
some time working on the project at MIT.
Salary range: USD 70,000 to USD 75,000 per annum (the UAE has no income tax).
Selection criteria: The applicant should meet the following criteria:
- PhD in Computer Science or a related field. Candidates who have submitted their PhD thesis are also welcome.
- Strong research background as indicated by a strong publication record. The candidate is expected to have published
in top journals and conferences in their research field.
- Strong background in at least one of the following topics: algorithmic game theory, approximation algorithms, control theory,
mathematical programming, and multi-agent systems. Knowledge of power engineering is a plus.
How to apply: Interested candidates should send their CV and research statement tailored to the research topic specified
above to Dr. Khaled Elbassioni and Dr. Jacob Crandall (email: kelbassioni@masdar.ac.ae and jcrandall@masdar.ac.ae).
Initial screening of applications will begin immediately and the position will remain open until filled.
**********************************************************
*
* 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] 1st CfP: SPACOMM 2014 || February 23 - 27, 2014 - Nice, France
INVITATION:
=================
Please consider to contribute to and/or forward to the appropriate groups the following opportunity to submit and publish original scientific results to SPACOMM 2014.
The submission deadline is September 28, 2013.
Authors of selected papers will be invited to submit extended article versions to one of the IARIA Journals: http://www.iariajournals.org
=================
============== SPACOMM 2014 | Call for Papers ===============
CALL FOR PAPERS, TUTORIALS, PANELS
SPACOMM 2014, The Sixth International Conference on Advances in Satellite and Space Communications
February 23 - 27, 2014 - Nice, France
General page: http://www.iaria.org/conferences2014/SPACOMM14.html
Call for Papers: http://www.iaria.org/conferences2014/CfPSPACOMM14.html
- regular papers
- short papers (work in progress)
- posters
- ideas
Submission page: http://www.iaria.org/conferences2014/SubmitSPACOMM14.html
Submission deadline: September 28, 2013
Sponsored by IARIA, www.iaria.org
Extended versions of selected papers will be published in IARIA Journals: http://www.iariajournals.org
Print proceedings will be available via Curran Associates, Inc.: http://www.proceedings.com/9769.html
Articles will be archived in the free access ThinkMind Digital Library: http://www.thinkmind.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 comply with the Editorial rules: http://www.iaria.org/editorialrules.html
SPACOMM 2014 Topics (topics and submission details: see CfP on the site)
Signal processing in telecommunications
Signal processing theory and practice; Advances in modulation and coding; Image and multidimensional signal processing; Signal filter design and structures; Multirate filtering, filter banks, and adaptive filters; Fast signal processing algorithms; Nonlinear signals and systems; Nonuniform transformation; 2D nonuniform DFT; Fast algorithm of NDFT; Advanced image/video coding; Advanced prediction techniques; Signal detection and reconstruction; Spectral estimation and time-frequency analysis; Higher order spectrum analysis; Parameter estimation; Array signal processing; Statistical signal analysis; Signal and system modeling; Cyclostationary signal analysis; Active noise control, active noise reduction and echo cancellation; Psychoacoustics and room acoustics; Signal processing for music; Binaural systems and multidimensional signal systems; Geophysical and seismic signal processing; Nonlinear interpolation/resampling; Extensions to wavelet based coding (x-lets); Low complex!
ity image/video compression; Multip
le resolution signal processing; New approach to digital signal processing; Compression of random data; Recompression of compressed data; 2D projection of 3D data; Stereo data matching; Emerging applications requiring new compression tools; Unified compression and recognition; H.264 and latest video coding standards; Latest audio coding standards
Antenna/Radar signal processing
Signal detection and estimation; RF engineering; Active filters; Analog and digital filters; Oscillator circuit design; Circuit design for high-speed frequency synthesis; Statistical and adaptive signal processing; Computational electrodynamics; Signal processing for sensing systems; RFID and MMIC design principles and applications; Microstrip circuit design and applications; Design and analysis of microwave radiometer systems; Modem microwave; System-in-package RF design and applications
Satellite and space communications
Earth-space communications; MIMO satellite communications; Hybrid satellite and terrestrial networks; Access Schemes; Demand Assignment Multiple Access (DAMA); Cross-layer air interface design; Channel models; Navigation services; Reliable multicast protocols; Transport protocol performance over satellite; IP over satellite Routing protocols; Game theory applications in satellite networks; Onboard switching and processing technologies; QoS and performance; Call admission control schemes; Dynamic bandwidth allocation; Adjacent and terrestrial interference; Fade mitigation techniques; Advanced channel modeling; Security, privacy, and trust; Radio resource management; IT application in Space Communications; Standards activities
Delay Tolerant Networking
Use of DTN protocols in space missions; DTN for PI/instrument connectivity; Routing for DTNs; Performance and reliability of DTN protocols
Satellites and nano-satellites
Satellite communications (hybrid satellites and terrestrial networks); Special protocols for nano-satellites; Onboard processing technology; Interplanetary communications (spatial mission analysis, in-flight experiences, delay tolerant networking [DTN]); Nano satellites and nano-rockets; Fundamental of nano-satellites communications; New technologies specific for small satellites; Applications (earth observation, science, telecommunications, navigation); New technologies; Satellite constellation design
Geographic Information and applications
Geographic information systems; Earth observation; Global positioning systems; Digital terrain modeling; Principles of GNSS, inertial and multi-sensor integrated navigation systems; GNSS applications; Spectrum systems for GNSS; GNSS devices for weak signals; Wireless positioning technologies and applications; Modern tracking systems; Satellite navigation (GPS, Galileo, augmentation systems); Visibility analysis of a satellite, or satellite constellation
Satellite/space communications-based applications
Satellite-based disaster recovery; Satellite-based large-scale sensor-networks; Satellite-based power grids monitoring and control; Satellite-based remote eHealth; Satellite based alarm systems; Satellite-based sensing and data mining; Satellite-based weather forecast; Satellite-based earthquake surveillance; Satellite-based environmental surveillance
Radar systems
Radar systems analysis and modeling; Radar and signal processing; Short range FM radar; Millimeter-wave radar targets; Radar reflectivity (land and sea); Radar system performance modeling; Interception and analysis of radar signal
Antennas
Antenna design and communications; Adaptive antenna and phased arrays for radar and communications; Smart antennas; Radioware propagation and antennas for personal communications; Dielectric resonator antennas; Multiantenna wireless communications systems; Antennas and propagation for body-centric wireless communications; Ultrawideband antennas; Mobile antennas systems; Parasitic antennas for cellular communications
Radio
Radio resource management and dynamic spectrum sharing; Platforms and architectures for cognitive radio; Access schemes; Wireless network co-existence; Ultra-Wideband cognitive radio system; Interference metric modeling; Beamforming and MIMO for interference avoidance; Anti-jamming channel coding; QoS provisioning and MAC protocols; Self-organizing mesh networks and autonomic communications; Multi-resolution channel sensing algorithms
Warfare
Electronic warfare target location systems; Statistical multisource-multitarget information fusion; Multisensor data fusion; Multimodel surveillance; Military applications
Galaxy-scale satellite communications and exploration missions
Planetary exploration management; Space astronomy advances; Solar-terrestrial sciences; Space life sciences and mission monitoring; Space physical sciences and satellite communications; Operational space medicine; Human exploitation of space resources
-------------------------------
Committee: http://www.iaria.org/conferences2014/ComSPACOMM14.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/
*
**********************************************************
=================
Please consider to contribute to and/or forward to the appropriate groups the following opportunity to submit and publish original scientific results to SPACOMM 2014.
The submission deadline is September 28, 2013.
Authors of selected papers will be invited to submit extended article versions to one of the IARIA Journals: http://www.iariajournals.org
=================
============== SPACOMM 2014 | Call for Papers ===============
CALL FOR PAPERS, TUTORIALS, PANELS
SPACOMM 2014, The Sixth International Conference on Advances in Satellite and Space Communications
February 23 - 27, 2014 - Nice, France
General page: http://www.iaria.org/conferences2014/SPACOMM14.html
Call for Papers: http://www.iaria.org/conferences2014/CfPSPACOMM14.html
- regular papers
- short papers (work in progress)
- posters
- ideas
Submission page: http://www.iaria.org/conferences2014/SubmitSPACOMM14.html
Submission deadline: September 28, 2013
Sponsored by IARIA, www.iaria.org
Extended versions of selected papers will be published in IARIA Journals: http://www.iariajournals.org
Print proceedings will be available via Curran Associates, Inc.: http://www.proceedings.com/9769.html
Articles will be archived in the free access ThinkMind Digital Library: http://www.thinkmind.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 comply with the Editorial rules: http://www.iaria.org/editorialrules.html
SPACOMM 2014 Topics (topics and submission details: see CfP on the site)
Signal processing in telecommunications
Signal processing theory and practice; Advances in modulation and coding; Image and multidimensional signal processing; Signal filter design and structures; Multirate filtering, filter banks, and adaptive filters; Fast signal processing algorithms; Nonlinear signals and systems; Nonuniform transformation; 2D nonuniform DFT; Fast algorithm of NDFT; Advanced image/video coding; Advanced prediction techniques; Signal detection and reconstruction; Spectral estimation and time-frequency analysis; Higher order spectrum analysis; Parameter estimation; Array signal processing; Statistical signal analysis; Signal and system modeling; Cyclostationary signal analysis; Active noise control, active noise reduction and echo cancellation; Psychoacoustics and room acoustics; Signal processing for music; Binaural systems and multidimensional signal systems; Geophysical and seismic signal processing; Nonlinear interpolation/resampling; Extensions to wavelet based coding (x-lets); Low complex!
ity image/video compression; Multip
le resolution signal processing; New approach to digital signal processing; Compression of random data; Recompression of compressed data; 2D projection of 3D data; Stereo data matching; Emerging applications requiring new compression tools; Unified compression and recognition; H.264 and latest video coding standards; Latest audio coding standards
Antenna/Radar signal processing
Signal detection and estimation; RF engineering; Active filters; Analog and digital filters; Oscillator circuit design; Circuit design for high-speed frequency synthesis; Statistical and adaptive signal processing; Computational electrodynamics; Signal processing for sensing systems; RFID and MMIC design principles and applications; Microstrip circuit design and applications; Design and analysis of microwave radiometer systems; Modem microwave; System-in-package RF design and applications
Satellite and space communications
Earth-space communications; MIMO satellite communications; Hybrid satellite and terrestrial networks; Access Schemes; Demand Assignment Multiple Access (DAMA); Cross-layer air interface design; Channel models; Navigation services; Reliable multicast protocols; Transport protocol performance over satellite; IP over satellite Routing protocols; Game theory applications in satellite networks; Onboard switching and processing technologies; QoS and performance; Call admission control schemes; Dynamic bandwidth allocation; Adjacent and terrestrial interference; Fade mitigation techniques; Advanced channel modeling; Security, privacy, and trust; Radio resource management; IT application in Space Communications; Standards activities
Delay Tolerant Networking
Use of DTN protocols in space missions; DTN for PI/instrument connectivity; Routing for DTNs; Performance and reliability of DTN protocols
Satellites and nano-satellites
Satellite communications (hybrid satellites and terrestrial networks); Special protocols for nano-satellites; Onboard processing technology; Interplanetary communications (spatial mission analysis, in-flight experiences, delay tolerant networking [DTN]); Nano satellites and nano-rockets; Fundamental of nano-satellites communications; New technologies specific for small satellites; Applications (earth observation, science, telecommunications, navigation); New technologies; Satellite constellation design
Geographic Information and applications
Geographic information systems; Earth observation; Global positioning systems; Digital terrain modeling; Principles of GNSS, inertial and multi-sensor integrated navigation systems; GNSS applications; Spectrum systems for GNSS; GNSS devices for weak signals; Wireless positioning technologies and applications; Modern tracking systems; Satellite navigation (GPS, Galileo, augmentation systems); Visibility analysis of a satellite, or satellite constellation
Satellite/space communications-based applications
Satellite-based disaster recovery; Satellite-based large-scale sensor-networks; Satellite-based power grids monitoring and control; Satellite-based remote eHealth; Satellite based alarm systems; Satellite-based sensing and data mining; Satellite-based weather forecast; Satellite-based earthquake surveillance; Satellite-based environmental surveillance
Radar systems
Radar systems analysis and modeling; Radar and signal processing; Short range FM radar; Millimeter-wave radar targets; Radar reflectivity (land and sea); Radar system performance modeling; Interception and analysis of radar signal
Antennas
Antenna design and communications; Adaptive antenna and phased arrays for radar and communications; Smart antennas; Radioware propagation and antennas for personal communications; Dielectric resonator antennas; Multiantenna wireless communications systems; Antennas and propagation for body-centric wireless communications; Ultrawideband antennas; Mobile antennas systems; Parasitic antennas for cellular communications
Radio
Radio resource management and dynamic spectrum sharing; Platforms and architectures for cognitive radio; Access schemes; Wireless network co-existence; Ultra-Wideband cognitive radio system; Interference metric modeling; Beamforming and MIMO for interference avoidance; Anti-jamming channel coding; QoS provisioning and MAC protocols; Self-organizing mesh networks and autonomic communications; Multi-resolution channel sensing algorithms
Warfare
Electronic warfare target location systems; Statistical multisource-multitarget information fusion; Multisensor data fusion; Multimodel surveillance; Military applications
Galaxy-scale satellite communications and exploration missions
Planetary exploration management; Space astronomy advances; Solar-terrestrial sciences; Space life sciences and mission monitoring; Space physical sciences and satellite communications; Operational space medicine; Human exploitation of space resources
-------------------------------
Committee: http://www.iaria.org/conferences2014/ComSPACOMM14.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/
*
**********************************************************
Monday, July 29, 2013
[DMANET] CFP: SenSys 2013 Poster, Demos and Doctoral Colloquim
[ ** Please excuse any duplicates you may recieve ** ]
Note: Poster and Demo submission deadline ends TODAY!
-=* The 11th ACM Conference on Embedded Networked Sensor Systems *=-
-=* SenSys 2013 *=-
CALL FOR POSTERS AND DEMOS
http://sensys.acm.org/2013/
November 11-15, 2013 - Rome, Italy
The ACM Conference on Embedded Networked Sensor Systems (SenSys) is a
highly selective forum for the presentation of research results on
systems issues in the area of embedded, networked sensors. Distributed
systems based on networked sensors and actuators with embedded
computation capabilities allow for an instrumentation of the physical
world at an unprecedented scale and density, thus enabling a new
generation of monitoring and control applications. SenSys provides a
cross-disciplinary venue for researchers addressing the rich space of
networked sensor system design issues to interact, present and
exchange research results, and demonstrate their work in a hands-on
research exhibition.
SenSys 2013 solicits submissions of both poster and demo abstracts in
reflecting research and development in the above areas of interest.
Contributions from industry presenting prototypes of platforms and
solutions that might enhance future innovative applications are also
encouraged. Submitted abstracts will be evaluated based on technical
merit and innovation as well as their potential to stimulate
interesting discussions and exchange of ideas. Authors of accepted
abstracts will be given a one-minute slot in a "madness session"
during the conference to present their work in front of the conference
audience. As with previous editions of SenSys, the best poster and
demo will receive an award.
All abstracts shall be formatted according to the main conference
paper layout. Accepted abstracts will appear in the conference
proceedings.
- IMPORTANT DATES -
Abstract submission: July 29th, 2013
Notification of acceptance: August 19th, 2013
Camera-ready abstract: August 30th, 2013
- SUBMISSION INSTRUCTIONS -
If you are submitting a poster abstract, please add "Poster Abstract:"
at the beginning of the abstract's title. Use instead "Demo Abstract:"
otherwise. Please submit your abstract here:
https://sensys2013.cs.virginia.edu/postersDemos/
- POSTERS -
The poster session at SenSys provides a forum for researchers to
present their work and receive feedback from experts attending the
conference. We explicitly encourage submissions from students.
Posters must be submitted as a single PDF containing no more than 3
pages. The first two pages should contain an abstract describing the
research content of the poster, along with title, authors,
institutional affiliations and contact information. The third page
should contain a thumbnail draft of the poster's contents.
For more information, please contact the poster chairs:
Chenyang Lu <lu@cse.wustl.edu>
Luca Mottola <luca.mottola@polimi.it>
- DEMOS -
Sensys solicits demonstrations showing innovative research and
applications. Demos which showcase working systems, new platforms and
tools, innovative applications, path breaking ideas, and other
revolutionary concepts are welcome. Submissions from both industry and
universities are encouraged.
Demos must be submitted as a single PDF containing no more than 3
pages. The first two pages should contain an abstract describing the
research content of the demo, along with title, authors, institutional
affiliations and contact information. The third, optional page, whose
format is at your discretion, should contain any additional
information that will be used only to evaluate your demonstration
proposal. For example, you may detail what you will show during the
demo, outline special requirements (e.g., unusual space needs,
exclusive access to a wireless channel, etc.), or provide links to
additional online material related to your demo. Links to videos
showing the demonstration are especially encouraged and videos of
accepted demos will be linked from the SenSys web pages.
For more information, please contact the demo chairs:
Emiliano Miluzzo <miluzzo@research.att.com>
Amy Murphy <murphy@fbk.eu>
=====================================================================
SenSys 2013 Doctoral Colloquium
November 13 November 2013 (afternoon), Rome, Italy.
http://sensys.acm.org/2013/doccol.html
The Doctoral Colloquium (DC) of SenSys'13 is to provide a friendly, supportive, and constructive environment where PhD students can present their research-in-progress for an open discussion guided by a panel of experienced researchers and practitioners. Applicants should be far enough into their PhD to have a concrete proposal, and have initially outlined the salient issues and proposed research methodology. Applicants should not be planning to submit their PhD thesis or dissertation for at least four months after the DC, so that any advice or input may still be incorporated into the doctoral work.
The DC will be a half-day, seminar-style event, consisting of short presentations followed by roundtable discussion. Time will be allotted to each student not only for the presentation, but also for careful, in-depth consideration and discussion amongst the panelists and DC participants.
In addition to the DC presentation, the participants will be given a chance to present a poster at the poster session during the main conference.
Submissions
Topic scope is the same as that listed in the SenSys call for papers. DC submissions should consist of a single PDF document using the SenSys paper template. The document should contain the following:
Research summary (3 pages) describing the work in progress and including a 100-word abstract. Things to consider for inclusion in the research summary might be: the expected contribution to the field of sensor networking; the original idea or thesis statement; the problem domain and the specific problem addressed; a brief overview of related work; the methodological approach; research carried out and results so far.
Student biographical sketch, including the names and affiliations of the research advisor(s), and expected date of dissertation submission.
The submission site can be found at https://sensys2013.cs.virginia.edu/doctoralCol/index.php
Research summaries will be reviewed by the chairs and panel members. If the work is accepted, a student may be expected to make clarifications and improvements to the research summary by the camera-ready deadline. Note that the research summaries will not be formally published, but hardcopies will be made available to colloquium delegates.
A prize for best student presentation will be awarded by the panel.
Registration
Accepted participants of the doctoral colloquium shall register with the SenSys workshop registration rate (if applicable at the student rate). The registration is free if the student also attends and has registered for the SenSys conference. Participants can also apply for SenSys travel grants.
Important Dates (all at 11:59pm PDT)
Submission Deadline September 1st, 2013
Notification of Acceptance October 6, 2013
Camera-Ready October 27, 2013
Colloquium November 13, 2013
Organizers
Chair
Cecilia Mascolo, University of Cambridge
Committee:
Polly Huang, National Taiwan University, Taiwan
Nic Lane, Microsoft Research Asia , China
Andrew Markham, University of Oxford, UK
Emiliano Miluzzo, AT&T, USA
Luca Mottola, Politecnico di Milano Italy & SICS Sweden
Anthony Rowe, CMU, USA
Silvia Santini Technische Universitat Darmstadt, Germany
Sasu Tarkoma University of Helsinki, Finland
**********************************************************
*
* 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/
*
**********************************************************
Note: Poster and Demo submission deadline ends TODAY!
-=* The 11th ACM Conference on Embedded Networked Sensor Systems *=-
-=* SenSys 2013 *=-
CALL FOR POSTERS AND DEMOS
http://sensys.acm.org/2013/
November 11-15, 2013 - Rome, Italy
The ACM Conference on Embedded Networked Sensor Systems (SenSys) is a
highly selective forum for the presentation of research results on
systems issues in the area of embedded, networked sensors. Distributed
systems based on networked sensors and actuators with embedded
computation capabilities allow for an instrumentation of the physical
world at an unprecedented scale and density, thus enabling a new
generation of monitoring and control applications. SenSys provides a
cross-disciplinary venue for researchers addressing the rich space of
networked sensor system design issues to interact, present and
exchange research results, and demonstrate their work in a hands-on
research exhibition.
SenSys 2013 solicits submissions of both poster and demo abstracts in
reflecting research and development in the above areas of interest.
Contributions from industry presenting prototypes of platforms and
solutions that might enhance future innovative applications are also
encouraged. Submitted abstracts will be evaluated based on technical
merit and innovation as well as their potential to stimulate
interesting discussions and exchange of ideas. Authors of accepted
abstracts will be given a one-minute slot in a "madness session"
during the conference to present their work in front of the conference
audience. As with previous editions of SenSys, the best poster and
demo will receive an award.
All abstracts shall be formatted according to the main conference
paper layout. Accepted abstracts will appear in the conference
proceedings.
- IMPORTANT DATES -
Abstract submission: July 29th, 2013
Notification of acceptance: August 19th, 2013
Camera-ready abstract: August 30th, 2013
- SUBMISSION INSTRUCTIONS -
If you are submitting a poster abstract, please add "Poster Abstract:"
at the beginning of the abstract's title. Use instead "Demo Abstract:"
otherwise. Please submit your abstract here:
https://sensys2013.cs.virginia.edu/postersDemos/
- POSTERS -
The poster session at SenSys provides a forum for researchers to
present their work and receive feedback from experts attending the
conference. We explicitly encourage submissions from students.
Posters must be submitted as a single PDF containing no more than 3
pages. The first two pages should contain an abstract describing the
research content of the poster, along with title, authors,
institutional affiliations and contact information. The third page
should contain a thumbnail draft of the poster's contents.
For more information, please contact the poster chairs:
Chenyang Lu <lu@cse.wustl.edu>
Luca Mottola <luca.mottola@polimi.it>
- DEMOS -
Sensys solicits demonstrations showing innovative research and
applications. Demos which showcase working systems, new platforms and
tools, innovative applications, path breaking ideas, and other
revolutionary concepts are welcome. Submissions from both industry and
universities are encouraged.
Demos must be submitted as a single PDF containing no more than 3
pages. The first two pages should contain an abstract describing the
research content of the demo, along with title, authors, institutional
affiliations and contact information. The third, optional page, whose
format is at your discretion, should contain any additional
information that will be used only to evaluate your demonstration
proposal. For example, you may detail what you will show during the
demo, outline special requirements (e.g., unusual space needs,
exclusive access to a wireless channel, etc.), or provide links to
additional online material related to your demo. Links to videos
showing the demonstration are especially encouraged and videos of
accepted demos will be linked from the SenSys web pages.
For more information, please contact the demo chairs:
Emiliano Miluzzo <miluzzo@research.att.com>
Amy Murphy <murphy@fbk.eu>
=====================================================================
SenSys 2013 Doctoral Colloquium
November 13 November 2013 (afternoon), Rome, Italy.
http://sensys.acm.org/2013/doccol.html
The Doctoral Colloquium (DC) of SenSys'13 is to provide a friendly, supportive, and constructive environment where PhD students can present their research-in-progress for an open discussion guided by a panel of experienced researchers and practitioners. Applicants should be far enough into their PhD to have a concrete proposal, and have initially outlined the salient issues and proposed research methodology. Applicants should not be planning to submit their PhD thesis or dissertation for at least four months after the DC, so that any advice or input may still be incorporated into the doctoral work.
The DC will be a half-day, seminar-style event, consisting of short presentations followed by roundtable discussion. Time will be allotted to each student not only for the presentation, but also for careful, in-depth consideration and discussion amongst the panelists and DC participants.
In addition to the DC presentation, the participants will be given a chance to present a poster at the poster session during the main conference.
Submissions
Topic scope is the same as that listed in the SenSys call for papers. DC submissions should consist of a single PDF document using the SenSys paper template. The document should contain the following:
Research summary (3 pages) describing the work in progress and including a 100-word abstract. Things to consider for inclusion in the research summary might be: the expected contribution to the field of sensor networking; the original idea or thesis statement; the problem domain and the specific problem addressed; a brief overview of related work; the methodological approach; research carried out and results so far.
Student biographical sketch, including the names and affiliations of the research advisor(s), and expected date of dissertation submission.
The submission site can be found at https://sensys2013.cs.virginia.edu/doctoralCol/index.php
Research summaries will be reviewed by the chairs and panel members. If the work is accepted, a student may be expected to make clarifications and improvements to the research summary by the camera-ready deadline. Note that the research summaries will not be formally published, but hardcopies will be made available to colloquium delegates.
A prize for best student presentation will be awarded by the panel.
Registration
Accepted participants of the doctoral colloquium shall register with the SenSys workshop registration rate (if applicable at the student rate). The registration is free if the student also attends and has registered for the SenSys conference. Participants can also apply for SenSys travel grants.
Important Dates (all at 11:59pm PDT)
Submission Deadline September 1st, 2013
Notification of Acceptance October 6, 2013
Camera-Ready October 27, 2013
Colloquium November 13, 2013
Organizers
Chair
Cecilia Mascolo, University of Cambridge
Committee:
Polly Huang, National Taiwan University, Taiwan
Nic Lane, Microsoft Research Asia , China
Andrew Markham, University of Oxford, UK
Emiliano Miluzzo, AT&T, USA
Luca Mottola, Politecnico di Milano Italy & SICS Sweden
Anthony Rowe, CMU, USA
Silvia Santini Technische Universitat Darmstadt, Germany
Sasu Tarkoma University of Helsinki, Finland
**********************************************************
*
* 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] Machines, Computations and Universality 2013: Call for Participation
Machines, Computation and Universality (MCU) 2013
Zurich, Switzerland, September 9-11
http://mcu2013.ini.uzh.ch/
Zurich, Switzerland, September 9-11
http://mcu2013.ini.uzh.ch/
The early registration deadline for MCU 2013 is August 10, 2013.
Conference Program: http://mcu2013.ini.uzh.ch/Program.html
Registration: http://mcu2013.ini.uzh.ch/Registration.html
SCOPE
MCU explores computation in the setting of various discrete models
(Turing machines, register machines, cellular automata, tile assembly
systems, rewriting systems, neural models etc.) and analog and hybrid
models (BSS machines, infinite time cellular automata, real machines,
quantum computing etc.). There is particular (but not exclusive)
emphasis given towards the following:
1. the search for frontiers between decidability and undecidability in
the various models. (For example, what is the smallest number of pairs
of words for which the Post correspondence problem is undecidable, or
what is the largest state-symbol product for which the halting problem
is decidable for Turing machines?)
2. the search for the simplest universal models (such as small universal
Turing machines, universal rewriting systems with few rules, universal
cellular automata with small neighborhoods and a small number of states,
etc.)
3. the computational complexity of predicting the evolution of
computations in the various models. (For example, is it possible to
predict an arbitrary number of time steps for a model more efficiently
than explicit step by step simulation of the model?)
4. universality and undecidability in continuous models of computation.
IMPORTANT DATES
Early registration deadline: August 10, 2013
Conference: September 9-11, 2013
PROGRAM COMMITTEE
Andrew Adamatzky (University of the West of England, UK)
Matthew Cook (University of Zurich and ETH Zurich) (co-chair)
Erzsébet Csuhaj-Varjú (Eötvös Loránd University, Budapest, Hungary)
Jérôme Durand-Lose (University of Orléans, France)
Rudolf Freund (University of Vienna, Austria)
Gabriel Istrate (Institute e-Austria, Timisoara, Romania)
Jarkko Kari (University of Turku, Finland)
Lila Kari (University of Western Ontario, London, Canada)
Kamala Krithivasan (Indian Institute of Technology, Chennai, India)
Maurice Margenstern (University of Lorraine, France)
Turlough Neary (University of Zurich and ETH Zurich) (co-chair)
Matthew Pattitz (University of Arkansas, Fayetteville, USA)
Igor Potapov (University of Liverpool, UK)
Klaus Sutner (Carnegie Mellon University, Pittsburgh, USA)
Sergey Verlan (University of Paris Est, France)
Damien Woods (California Institute of Technology, USA)
INVITED SPEAKERS
Liesbeth De Mol (Ghent University, Belgium)
Jarkko Kari (University of Turku, Finland)
Kenichi Morita (Hiroshima University, Japan)
Erik Winfree (California Institute of Technology, USA)
Damien Woods (California Institute of Technology, USA)
STEERING COMMITTEE
Maurice Margenstern (University of Lorraine, France) (chair)
Jérôme Durand-Lose (University of Orléans, France) (vice-chair)
Erzsébet Csuhaj-Varjú (Eötvös Loránd University, Hungary)
Natasha Jonoska (University of South Florida, USA)
Kenichi Morita (Hiroshima University, Japan)
Gheorghe Păun (The Romanian Academy, Romania)
Arto Salomaa (University of Turku, Finland)
K. G. Subramanian (University of Science, Malaysia)
**********************************************************
*
* 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/
*
**********************************************************
2013 Edsger W. Dijkstra Prize in Distributed Computing
(apologies for multiple mailings)
The Dijkstra Prize Committee has selected Nati Linial as the recipient of this year Edsger W. Dijkstra Prize in Distributed Computing. The prize is given to him for his outstanding paper: "Locality in distributed graph algorithms" published in SIAM Journal on Computing, 21(1992) 193-201.
The prize is given for outstanding papers on the principles of distributed computing, whose significance and impact on the theory and/or practice of distributed computing has been evident for at least a decade. For more details please go to:
http://www.podc.org/2013-dijkstra-prize/
Prize Committee 2013:
• Yehuda Afek, Tel-Aviv Univ.
• Faith Ellen, Univ. of Toronto
• Boaz Patt-Shamir, Tel-Aviv Univ.
• Sergio Rajsbaum, UNAM
• Alexander Shvartsman, Univ. of Connecticut
• Gadi Taubenfeld, IDC, chair
The Dijkstra Prize Committee has selected Nati Linial as the recipient of this year Edsger W. Dijkstra Prize in Distributed Computing. The prize is given to him for his outstanding paper: "Locality in distributed graph algorithms" published in SIAM Journal on Computing, 21(1992) 193-201.
The prize is given for outstanding papers on the principles of distributed computing, whose significance and impact on the theory and/or practice of distributed computing has been evident for at least a decade. For more details please go to:
http://www.podc.org/2013-dijkstra-prize/
Prize Committee 2013:
• Yehuda Afek, Tel-Aviv Univ.
• Faith Ellen, Univ. of Toronto
• Boaz Patt-Shamir, Tel-Aviv Univ.
• Sergio Rajsbaum, UNAM
• Alexander Shvartsman, Univ. of Connecticut
• Gadi Taubenfeld, IDC, chair
[DMANET] Three PhD studentships, Queen Mary, University of London
Dear Colleagues,
The School of Mathematical Sciences at Queen Mary, University of London has three fully-
funded PhD studentships starting in September 2013. Please see
http://www.maths.qmul.ac.uk/projects-and-research-themes/projects-and-research-themes
for details. There is a large overlap between the possible research themes for these PhD
Studentships and the interests of this mailing list. Note that the deadline for applications
is Monday 12th August.
Regards
Mark Jerrum
**********************************************************
*
* 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 School of Mathematical Sciences at Queen Mary, University of London has three fully-
funded PhD studentships starting in September 2013. Please see
http://www.maths.qmul.ac.uk/projects-and-research-themes/projects-and-research-themes
for details. There is a large overlap between the possible research themes for these PhD
Studentships and the interests of this mailing list. Note that the deadline for applications
is Monday 12th August.
Regards
Mark Jerrum
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************
Sunday, July 28, 2013
[Mycolleagues] Special Issue on Fair Optimization and Networks: Models, Algorithms, and Applications, Journal of Applied Mathematics
* Please see the "footer" to change your settings, "subscribe", or "unsubscribe" at "mycolleagues mailing list".
-------------
-------------
MobiCom registration is now open!
Apologies for multiple postings.
MobiCom registration is now open!
For registration information and to register, visit: http://www.sigmobile.org/mobicom/2013/registration.html
Please notice that:
MobiCom registration is now open!
For registration information and to register, visit: http://www.sigmobile.org/mobicom/2013/registration.html
Please notice that:
- Early registration deadline is: 1:59PM EDT, August 30, 2013
- Registration will be capped due to meeting space limitation
- The Hyatt hotel room block at the discounted rate of $129 is rather small. The sooner the block size limit is reached, the more likely it is for the Hyatt to extend our block. So book your hotel room as soon as practically possible using the specially provided reservation link: https://resweb.passkey.com/Resweb.do?mode=welcome_gi_new&groupID=19226206
------------------------------
Pei Zhang
Associate Research Professor
Pei Zhang
Associate Research Professor
MobiCom registration is now open!
Apologies for multiple postings.
MobiCom registration is now open!
For registration information and to register, visit: http://www.sigmobile.org/mobicom/2013/registration.html
Please notice that:
MobiCom registration is now open!
For registration information and to register, visit: http://www.sigmobile.org/mobicom/2013/registration.html
Please notice that:
- Early registration deadline is: 1:59PM EDT, August 30, 2013
- Registration will be capped due to meeting space limitation
- The Hyatt hotel room block at the discounted rate of $129 is rather small. The sooner the block size limit is reached, the more likely it is for the Hyatt to extend our block. So book your hotel room as soon as practically possible using the specially provided reservation link: https://resweb.passkey.com/Resweb.do?mode=welcome_gi_new&groupID=19226206
------------------------------
Pei Zhang
Associate Research Professor
Pei Zhang
Associate Research Professor
Friday, July 26, 2013
DEADLINE APPROACHING: Associate Professors in Computer Science at Aarhus University
One or more positions as associate professor are available at the Department of Computer Science, Aarhus University (www.cs.au.dk) starting January 1, 2014.
The department has research groups within “Algorithms and Data Structures”, “Data-Intensive Systems”, “Cryptography and Security”, “Mathematical Computer Science”, “Logics and Semantics”, “Ubiquitous Computing and Interaction”, “Computer-Mediated Activity”, “Use, Design and Innovation”, “Programming Languages”, “Computer Graphics and Image Processing” and “Bioinformatics”. In addition, we want to build competences within “Software Engineering / Multicore/ Systems”, “Machine Learning / Data Mining” and “Quantum Informatics”.
Applicants are expected to have several years of experience at the assistant professor level. They must document a strong record of original research and have teaching experience at undergraduate/graduate level.
The department has a staff of 140 people including 28 full and associate professors, 5 assistant professors, 25 PostDocs and 65 PhD students. The number of students is approximately 1,000.
Further information can be obtained from head of department Kurt Jensen (kjensen@cs.au.dk) or vice head of research Mogens Nielsen (mn@cs.au.dk).
The department has research groups within “Algorithms and Data Structures”, “Data-Intensive Systems”, “Cryptography and Security”, “Mathematical Computer Science”, “Logics and Semantics”, “Ubiquitous Computing and Interaction”, “Computer-Mediated Activity”, “Use, Design and Innovation”, “Programming Languages”, “Computer Graphics and Image Processing” and “Bioinformatics”. In addition, we want to build competences within “Software Engineering / Multicore/ Systems”, “Machine Learning / Data Mining” and “Quantum Informatics”.
Applicants are expected to have several years of experience at the assistant professor level. They must document a strong record of original research and have teaching experience at undergraduate/graduate level.
The department has a staff of 140 people including 28 full and associate professors, 5 assistant professors, 25 PostDocs and 65 PhD students. The number of students is approximately 1,000.
Further information can be obtained from head of department Kurt Jensen (kjensen@cs.au.dk) or vice head of research Mogens Nielsen (mn@cs.au.dk).
Please apply online at http://www.au.dk/en/job/nat/academicpositions/ before August 15, 2013.
[DMANET] Lectureship/Senior Lectureship in Financial/Actuarial Mathematics at the University of Hertfordshire, UK
A Lectureship in Financial/Actuarial Mathematics is available at the
University of Hertfordshire, UK.
Applications are welcome from candidates in all areas of research, as
long as they can make a case to teach courses in the areas of
Financial and Actuarial Mathematics.
This is a permanent position, and full details can be found at
https://www.jobs.herts.ac.uk/pls/corehrrecruit/erq_jobspec_version_4.display_form
The deadline for applications is the 30th of August.
**********************************************************
*
* 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/
*
**********************************************************
University of Hertfordshire, UK.
Applications are welcome from candidates in all areas of research, as
long as they can make a case to teach courses in the areas of
Financial and Actuarial Mathematics.
This is a permanent position, and full details can be found at
https://www.jobs.herts.ac.uk/pls/corehrrecruit/erq_jobspec_version_4.display_form
The deadline for applications is the 30th of August.
**********************************************************
*
* 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] 6th workshop on Graph Classes, Optimization, and Width Parameters (GROW 2103)
Workshop announcement:
"6th workshop on Graph Classes, Optimization, and Width Parameters"
to be held in Santorini Island, Greece during October 09-11, 2013.
The target of the event is to bring together various researchers and research
groups working with problems related to Graph Classes, Optimization, and
Width Parameters.
As with each of the previous GROW workshops, a special issue of Discrete
Applied Mathematics will be dedicated to papers related to GROW 2013.
Information on the conference, including the list of participants and
the abstracts of the talks can be found at the workshop web-page at
http://grow2013.isoftcloud.gr/
Dimitrios M. Thilikos
(sedthilk@thilikos.info)
**********************************************************
*
* 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 workshop on Graph Classes, Optimization, and Width Parameters"
to be held in Santorini Island, Greece during October 09-11, 2013.
The target of the event is to bring together various researchers and research
groups working with problems related to Graph Classes, Optimization, and
Width Parameters.
As with each of the previous GROW workshops, a special issue of Discrete
Applied Mathematics will be dedicated to papers related to GROW 2013.
Information on the conference, including the list of participants and
the abstracts of the talks can be found at the workshop web-page at
http://grow2013.isoftcloud.gr/
Dimitrios M. Thilikos
(sedthilk@thilikos.info)
**********************************************************
*
* 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 position in Augsburg
The Department of Sustainable Operations and Logistics at the Faculty for
Business Administration, University of Augsburg, invites applicants for a
<< PostDoc >>
(Pay-Grade A 13, i.e. monthly gross salary between 3750 and 4612 EUR,
limited to 3 years, extendable) or
<< PhD position >>
(Pay-Grade 13 TV-L, i.e. monthly gross salary between 3270 and 4720 EUR,
limited to 4 years, extendable)
with a weekly teaching assignment of five hours to be held in German or
English.
The ideal candidate will have completed his/her studies in mathematics,
computer science, business administration, or one of the bordering
disciplines with relevance to Operations Research, Logistics and Operations
Management. Ideally the candidate already speaks some German and has
experience in programming.
The Department of Sustainable Operations and Logistics deals with
(optimization-) problems in logistics in conjunction with aspects of
sustainability. Current research topics include railway cargo handling,
airport logistics, emissions trading and scheduling.
Women are expressly invited to apply. Seriously disabled applicants are
subject to preferred hiring, provided that they show the same ability,
qualification and expertise.
Please send an e-mail with your application preferably before August 09,
2013 to: florian.jaehn@wiwi.uni-augsburg.de
Prof. Dr. Florian Jaehn
Department of Sustainable Operations and Logistics
Wirtschaftswissenschaftliche Fakultät der Universität Augsburg
Universitätsstraße 16
86159 Augsburg
www.wiwi.uni-augsburg.de/bwl/jaehn
**********************************************************
*
* 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/
*
**********************************************************
Business Administration, University of Augsburg, invites applicants for a
<< PostDoc >>
(Pay-Grade A 13, i.e. monthly gross salary between 3750 and 4612 EUR,
limited to 3 years, extendable) or
<< PhD position >>
(Pay-Grade 13 TV-L, i.e. monthly gross salary between 3270 and 4720 EUR,
limited to 4 years, extendable)
with a weekly teaching assignment of five hours to be held in German or
English.
The ideal candidate will have completed his/her studies in mathematics,
computer science, business administration, or one of the bordering
disciplines with relevance to Operations Research, Logistics and Operations
Management. Ideally the candidate already speaks some German and has
experience in programming.
The Department of Sustainable Operations and Logistics deals with
(optimization-) problems in logistics in conjunction with aspects of
sustainability. Current research topics include railway cargo handling,
airport logistics, emissions trading and scheduling.
Women are expressly invited to apply. Seriously disabled applicants are
subject to preferred hiring, provided that they show the same ability,
qualification and expertise.
Please send an e-mail with your application preferably before August 09,
2013 to: florian.jaehn@wiwi.uni-augsburg.de
Prof. Dr. Florian Jaehn
Department of Sustainable Operations and Logistics
Wirtschaftswissenschaftliche Fakultät der Universität Augsburg
Universitätsstraße 16
86159 Augsburg
www.wiwi.uni-augsburg.de/bwl/jaehn
**********************************************************
*
* 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] FLoC 2014 Second Call for Workshops (The Sixth Federated Logic Conference, July 2014, Vienna, Austria)
[apologies for cross posting]
THE SIXTH FEDERATED LOGIC CONFERENCE (FLoC 2014)
Part of VIENNA SUMMER OF LOGIC (VSL 2014)
July 2014, Vienna, Austria
SECOND CALL FOR WORKSHOPS
The Sixth Federated Logic Conference (FLoC 2014) will be part of the Vienna Summer of Logic (VSL), the largest logic event in history, with over 2000 expected participants. FLoC 2014 will host eight conferences and many workshops. Each workshop will be affiliated with at least one of the eight conferences.
26th International Conference on Computer Aided Verification (CAV)
Workshop Chair: Martina Seidl http://fmv.jku.at/seidl/
27th IEEE Computer Security Foundations Symposium (CSF)
Workshop Chair: Luca Vigano http://profs.sci.univr.it/~vigano/
30th International Conference on Logic Programming (ICLP)
Workshop Chair: Haifeng Guo http://faculty.ist.unomaha.edu/hguo/
7th International Joint Conference on Automated Reasoning (IJCAR)
Workshop Chair: Matthias Horbach http://www.mpi-inf.mpg.de/~horbach/
5th Conference on Interactive Theorem Proving (ITP)
Workshop Chair: David Pichardie http://www.irisa.fr/celtique/pichardie/
Joint meeting of the 23rd EACSL Annual Conference on Computer Science Logic (CSL) and the 29th ACM/IEEE Symposium on Logic in Computer Science (LICS)
Workshop Chair: Georg Moser http://cl-informatik.uibk.ac.at/users/georg/
25th International Conference on Rewriting Techniques and Applications (RTA) joined with the 12th International Conference on Typed Lambda Calculi and Applications (TLCA)
Workshop Chair: Aleksy Schubert http://www.mimuw.edu.pl/~alx/
17th International Conference on Theory and Applications of Satisfiability Testing (SAT)
Workshop Chair: Ines Lynce http://sat.inesc-id.pt/~ines/
SUBMISSION OF WORKSHOP PROPOSALS
Researchers and practitioners are invited to submit proposals for workshops on topics in the field of computer science, related to logic in the broad sense. Each workshop proposal must indicate at least one conference to be affiliated with, and among those exactly one primary hosting conference.
It is suggested that prospective workshop organizers contact the relevant conference Workshop Chair(s) before submitting a proposal.
Proposals should be submitted electronically to EasyChair at the following address: http://www.easychair.org/conferences/?conf=floc14cfw
Proposals should consist of two parts. First, a short scientific justification of the proposed topic, its significance, and the particular benefits of the workshop to the community, as well as a list of previous or related workshops (if relevant). A second, organizational part should include:
* contact information of the workshop organizers
* proposed primary hosting conference (and possibly other affiliated conference(s))
* estimate of the audience size
* proposed format and agenda (for example, paper presentations, tutorials, demo sessions, etc.)
* potential invited speakers
* procedures for selecting papers and participants
* plans for dissemination, if any (for example, special issues of journals)
* duration (which may vary from one day to two days) and preferred period
The FLoC Organizing Committee will determine the final list of accepted workshops based on the recommendations from the Workshop Chairs of the hosting conferences and subject to the availability of space and facilities.
Further information can be found at the FLoC 2014 Workshop Guide
http://vsl2014.at/floc-ws/
IMPORTANT DATES
Submission of workshop proposals: by September 30, 2013
Notification: by November, 2013
Pre-FLoC workshops: Saturday & Sunday, July 12-13
Mid-FLoC workshops: Thursday & Friday, July 17-18
Post-FLoC workshops: Wednesday & Thursday, July 23-24
CONTACT INFORMATION
Questions regarding workshop proposals should be sent to the workshop chairs of conferences that are supposed to host the workshop (see above). General questions should be sent to floc14cfw@easychair.org Please consult the FLoC 2014 Workshop Guide http://vsl2014.at/floc-ws/
FLoC 2014 WORKSHOP CHAIR
Stefan Szeider
http://www.szeider.net
Vienna University of Technology
**********************************************************
*
* 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 SIXTH FEDERATED LOGIC CONFERENCE (FLoC 2014)
Part of VIENNA SUMMER OF LOGIC (VSL 2014)
July 2014, Vienna, Austria
SECOND CALL FOR WORKSHOPS
The Sixth Federated Logic Conference (FLoC 2014) will be part of the Vienna Summer of Logic (VSL), the largest logic event in history, with over 2000 expected participants. FLoC 2014 will host eight conferences and many workshops. Each workshop will be affiliated with at least one of the eight conferences.
26th International Conference on Computer Aided Verification (CAV)
Workshop Chair: Martina Seidl http://fmv.jku.at/seidl/
27th IEEE Computer Security Foundations Symposium (CSF)
Workshop Chair: Luca Vigano http://profs.sci.univr.it/~vigano/
30th International Conference on Logic Programming (ICLP)
Workshop Chair: Haifeng Guo http://faculty.ist.unomaha.edu/hguo/
7th International Joint Conference on Automated Reasoning (IJCAR)
Workshop Chair: Matthias Horbach http://www.mpi-inf.mpg.de/~horbach/
5th Conference on Interactive Theorem Proving (ITP)
Workshop Chair: David Pichardie http://www.irisa.fr/celtique/pichardie/
Joint meeting of the 23rd EACSL Annual Conference on Computer Science Logic (CSL) and the 29th ACM/IEEE Symposium on Logic in Computer Science (LICS)
Workshop Chair: Georg Moser http://cl-informatik.uibk.ac.at/users/georg/
25th International Conference on Rewriting Techniques and Applications (RTA) joined with the 12th International Conference on Typed Lambda Calculi and Applications (TLCA)
Workshop Chair: Aleksy Schubert http://www.mimuw.edu.pl/~alx/
17th International Conference on Theory and Applications of Satisfiability Testing (SAT)
Workshop Chair: Ines Lynce http://sat.inesc-id.pt/~ines/
SUBMISSION OF WORKSHOP PROPOSALS
Researchers and practitioners are invited to submit proposals for workshops on topics in the field of computer science, related to logic in the broad sense. Each workshop proposal must indicate at least one conference to be affiliated with, and among those exactly one primary hosting conference.
It is suggested that prospective workshop organizers contact the relevant conference Workshop Chair(s) before submitting a proposal.
Proposals should be submitted electronically to EasyChair at the following address: http://www.easychair.org/conferences/?conf=floc14cfw
Proposals should consist of two parts. First, a short scientific justification of the proposed topic, its significance, and the particular benefits of the workshop to the community, as well as a list of previous or related workshops (if relevant). A second, organizational part should include:
* contact information of the workshop organizers
* proposed primary hosting conference (and possibly other affiliated conference(s))
* estimate of the audience size
* proposed format and agenda (for example, paper presentations, tutorials, demo sessions, etc.)
* potential invited speakers
* procedures for selecting papers and participants
* plans for dissemination, if any (for example, special issues of journals)
* duration (which may vary from one day to two days) and preferred period
The FLoC Organizing Committee will determine the final list of accepted workshops based on the recommendations from the Workshop Chairs of the hosting conferences and subject to the availability of space and facilities.
Further information can be found at the FLoC 2014 Workshop Guide
http://vsl2014.at/floc-ws/
IMPORTANT DATES
Submission of workshop proposals: by September 30, 2013
Notification: by November, 2013
Pre-FLoC workshops: Saturday & Sunday, July 12-13
Mid-FLoC workshops: Thursday & Friday, July 17-18
Post-FLoC workshops: Wednesday & Thursday, July 23-24
CONTACT INFORMATION
Questions regarding workshop proposals should be sent to the workshop chairs of conferences that are supposed to host the workshop (see above). General questions should be sent to floc14cfw@easychair.org Please consult the FLoC 2014 Workshop Guide http://vsl2014.at/floc-ws/
FLoC 2014 WORKSHOP CHAIR
Stefan Szeider
http://www.szeider.net
Vienna University of Technology
**********************************************************
*
* 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/
*
**********************************************************
Subscribe to:
Posts (Atom)
Posts
