dmanet@zpr.uni-koeln.de
To subscribe or unsubscribe via the World Wide Web, visit
http://www.zaik.uni-koeln.de/mailman/listinfo/dmanet
or, via email, send a message with subject or body 'help' to
dmanet-request@zpr.uni-koeln.de
You can reach the person managing the list at
dmanet-owner@zpr.uni-koeln.de
When replying, please edit your Subject line so it is more specific
than "Re: Contents of dmanet digest..."
Today's Topics:
1. Final CFP - SecMAS@AAMAS 2016 - Deadline Febr 15, 2016
(Long Tran-Thanh)
2. TAMC 2016 - Call for papers (孙晓明)
3. Open positions in the Links research team (Sophie Tison)
4. AUTOMATA 2016: extension of submission deadline (Turlough Neary)
----------------------------------------------------------------------
Message: 1
Date: Wed, 10 Feb 2016 10:23:10 +0000
From: Long Tran-Thanh <ltt08r@ecs.soton.ac.uk>
To: dmanet <dmanet@zpr.uni-koeln.de>
Subject: [DMANET] Final CFP - SecMAS@AAMAS 2016 - Deadline Febr 15,
2016
Message-ID:
<EMEW3|c90c6e807e100864e133670de5201dc3s19ANF06ltt08r|ecs.soton.ac.uk|2616C68F-2193-4E82-942D-AA5CC61FC840@ecs.soton.ac.uk>
Content-Type: text/plain; charset=us-ascii
FYI: Final Call for Papers - SecMAS workshop on Security and Multi-agent Systems
Deadline: Febr 15, 2016
------------------------------------------------------------------------------------------------------------------------
SecMAS 2016: Security and Multi-agent Systems Workshop
http://www-scf.usc.edu/~dkar/SecMAS2016/
Co-located with AAMAS 2016 (http://sis.smu.edu.sg/aamas2016)
May 9-13, 2016, Singapore
(Workshop will be held either May 9 or May 10)
------------------------------------------------------------------------------------------------------------------------
The importance of research and applications related to security and multi-agent systems continues to increase in a broad variety of disciplines, including computer science, electrical engineering, economics, biology, political science, business, law, public policy, and many others. The focus of this workshop is to bring together the broad community working on Security and Multi-Agent Systems motivated by any of these domains.
Many large-scale real-world security problems have been successfully modeled as multi-agent security games, and highly scalable algorithmic solutions with software assistants implementing these have been developed and deployed. Perhaps the greatest advances have been in the domain of physical security, with examples including patrolling of seaports and airports, scheduling air marshals, ticket audit in transit systems. Remarkably, there have been a number of more recent developments that significantly broaden the applicability of security game approaches. For example, similar techniques have been used in important sustainability applications, such as fishery protection and prevention of illegal poaching. Moreover, game theoretic models have increasing applicability in cyber, as well as cyber-physical system (CPS) security, such as adversarial machine learning methods (for use, for example, in intrusion detection systems), resilient sensor placement and monitoring strategies, and privacy preserving data publishing and auditing systems.
While there has been significant progress, there still exist many major challenges facing the design of effective approaches to deal with the difficulties in real-world domains. These include building predictive behavioral models for the players, dealing with uncertainties in games, scaling up for large games, and applications of machine learning and multi-agent learning to security, particularly in the context of repeated or stochastic games. This workshop is structured to encourage a lively exchange of ideas to address the above challenges.
We invite full length research submissions from a broad range of researchers and practitioners, including (1) computer scientists applying their AI/MAS research to real-world security problems, (2) interdisciplinary researchers combining AI/MAS with various disciplines (e.g., game theory, operations research, social science, and psychology), and (3) engineers and scientists from private companies and public organizations performing security related research and development, as well as building real adversarial reasoning systems. We encourage all researchers working towards applying security and multi-agent systems concepts for real-world problems to submit to the workshop.
Topics of interest include, but are not limited to:
Real-world applications of game theory for security
Cybersecurity
Security applications of machine learning
Foundations of game theory for security
Adversarial/robust learning
Online learning
Learning in games
Algorithms for scaling to very large games
Economics of security
Behavioral game theory
Decision making under uncertainty
Agent/human interaction for preference elicitation and optimization
Protection against environmental crime
Risk analysis and modeling
Security applications of AI methods
Evaluation/lessons learned of deployed systems
--------------------------------------------------------------
Important Dates
Submission Deadline Extended : February 15, 2016
Notification: March 7, 2016
Camera-ready deadline: March 10, 2016
-------------------------------------------------------------
Organizing Committee
Debarun Kar, University of Southern California, USA
Yevgeniy Vorobeychik, Vanderbilt University, USA
Long Tran-Thanh, University of Southampton, UK
-------------------------------------------------------------
Program Committee
Michael Wellman, University of Michigan, MI, USA.
Christopher Kiekintveld, University of Texas at El Paso, TX, USA
Arunesh Sinha, University of Southern California, CA, USA
Branislav Bosansky, Czech Technical University, Prague, Czech Republic
Martin Short, Georgia Institute of Technology, GA, USA
Matthew Brown, University of Southern California, CA, USA
Zinovi Rabinovich, Mobileye
Paulo Shakarian, Arizona State University, AZ, USA
Fei Fang, University of Southern California, CA, USA
Aron Laszka, University of California Berkeley, CA, USA
Bo An, Nanyang technical University, Singapore
Praveen Paruchuri, IIIT Hyderabad, India
Georgios Piliouras, Singapore University of Technology, Singapore
Jose M. Such, Security lancaster, Lancaster University, UK
Vinh-Thong Ta, University of Central lancashire, UK
Francesco Maria Delle Fave, Disney Research, Boston, USA
---------------------------------------------------------------
Submission and Publication
Authors should submit original papers (maximum length 8 double-columned pages in AAMAS format)
in PDF through the Confmaster system:
https://secmas2016.confmaster.net
The most "visionary paper" will be published by Springer in a book under the
Lecture Notes in Artificial Intelligence (LNAI) - Hot Topics series. The book
will be a compilation of the most visionary papers of the AAMAS-2016 Workshops, where one paper will be selected from each AAMAS-2016 workshop.
Additionally, the "best paper" will be published by Springer in a book under the Communications in Computer and Information Science (CCIS) series. The book will be a compilation of the best papers of the AAMAS-2016 Workshops, where one paper will be selected from each AAMAS-2016 workshop. Authors of the selected most visionary paper and the best paper are expected to provide their latex files promptly upon request.
--------
Long Tran-Thanh
Lecturer
--
Agents, Interaction, and Complexity Group,
Electronics and Computer Science,
University of Southampton, SO17 1BJ
--
http://users.ecs.soton.ac.uk/ltt08r
tel: +44 (0) 2380593715
------------------------------
Message: 2
Date: Wed, 10 Feb 2016 22:04:38 +0800 (GMT+08:00)
From: 孙晓明 <sunxiaoming@ict.ac.cn>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] TAMC 2016 - Call for papers
Message-ID: <f0bb20.1625d.152cb7f8865.Coremail.sunxiaoming@ict.ac.cn>
Content-Type: text/plain; charset=GBK
*** Apologies for multiple messages ***
FIRST CALL FOR PAPER
The 13th Annual Conference on Theory and Applications of Models of Computation
http://cs.xidian.edu.cn/tamc2016/
Xi'an, China
July 20-22, 2016
Welcome to The 13th annual conference on Theory and Applications of Models of Computation (TAMC), which will take place at Xi'an, China from 20th to 22nd, July, 2016. The event is supported by School of Computer Science and Technology and School of Cyber Engineering, Xidian University.
Venue
Tangcheng Hotel
South Hanguang Road #229
Xi'an, China
All major events take place in this building. There is a fully equipped lecture hall with a capacity for 200 attendees as well as a series of lecture rooms, each of which can support 50 attendees. Of course, all participants of TAMC-16 will have free internet access during the conference.
Contact
Email:tamc@xidian.edu.cn
Important Dates
Submission deadline: 11:59 pm EST March 6, 2016
Notification of authors: May 6, 2016
Final versions deadline: May 22, 2016
Post Conference Publications
Special issues of the journals Theoretical Computer Science and Mathematical Structures in Computer Science devoted to a selected set of accepted papers of the conference are planned.
Submission of Papers
Authors should submit an extended abstract (not a full paper).
The submission should contain a scholarly exposition of ideas, techniques, and results, including motivation and a clear comparison with related work.
The length of the extended abstract should not exceed ten (10) letter-sized pages (not including bibliography and appendices.)
Submitted papers must describe work not previously published. They must not be submitted simultaneously to another conference with refereed proceedings. Each PC member is allowed to submit at most one paper. Research that is already submitted to a journal may be submitted to TAMC16, provided that (a) the PC chair is notified in advance that this is the case, and (b) it is not scheduled for journal publication before the conference.
The submission server is now available at https://www.easychair.org/conferences/?conf=tamc2016.
Conference Chair
Jianfeng Ma (Xidian University)
Zhiyong Liu (Institute of Computing Technology, Chinese Academy of Sciences)
Programme Committee Chair
Jin-Yi Cai (University of Wisconsin)
Programme CommitteeCo-Chairs
Jiangtao Cui (Xidian University)
Xiaoming Sun (Institute of Computing Technology, Chinese Academy of Sciences)
Steering Committee
Manindra Agrawal
Jin-Yi Cai
Barry Cooper
John Hopcroft
Angsheng Li
Zhiyong Liu
Local Organising Committee
Jianfeng Ma http://web.xidian.edu.cn/jfma/
Jiangtao Cui http://web.xidian.edu.cn/cuijt/
Hui Li http://web.xidian.edu.cn/hli/
Aims and Scope
TAMC 2016 aims at bringing together a wide range of researchers with interests in computational theory and applications. The main themes of the conference are computability, complexity, algorithms, models of computation and systems theory.Typical but not exclusive topics of interest include:
Algebraic computation
Algorithmic coding theory
Algorithmic number theory
Approximation algorithms
Automata theory
Circuit complexity
Combinatorial algorithms computability
Computational biology, and biological computing
Computational complexity [including circuits, communication, derandomization, PCPs, proof complexity, structural complexity]
Computational game theory
Computational logic
Computational geometry
Continuous and real computation
Cryptography
Data structures
Design and analysis of algorithms
Distributed algorithms
Domain models[Assets, Price of Abstraction, frameworks]
Fixed parameter tractability
Geometric algorithms
Graph algorithms
Information and communication complexity
Learning theory
Memory hierarchytradeoffs
Model theory for computing [modal and temporal logics, specification, verification, synthesis or automated software construction, aesthetics, software behavior, transformation of models]
Natural computation
Nature inspired computing
Networks in nature and society
Network algorithms optimization
Online algorithms
Parallel algorithms
Philosophy of computing [emerging paradigms, morality, intentionality]
Privacy and security
Property testing
Proof complexity
Process models [for software construction, validating software under construction, supply-chain]
Quantum computing
Randomness pseudorandomness
Randomized algorithms
Space-time tradeoffs
Streaming algorithms
Systems theory [Concurrent, Timed, Hybrid and Secure systems]
VLSI Models of Computation [Models for Hardware-Software Co-design]
------------------------------
Message: 3
Date: Wed, 10 Feb 2016 21:17:24 +0100
From: Sophie Tison <sophie.tison@univ-lille1.fr>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] Open positions in the Links research team
Message-ID: <DCDDFB28-58A8-4664-A46D-BCA65C8D8422@univ-lille1.fr>
Content-Type: text/plain; charset=iso-8859-1
The Links project (at Inria Lille and the CRIStAL lab) is working on
foundations and applications for querying Web databases based
on logics and automata. Links' general objective is to develop
novel techniques for querying heterogeneous collections of linked
Web databases as if they were integrated into a single homogeneous
database. Beside other challenges, this requires to develop novel
algorithms that enable the management of dynamic networks of
linked and distributed data in a real time.
Links is regularly opening research positions on different
levels, offered by Inria, CNRS, the University of Lile 1,
and the University of Lille 3.
- Permanent researcher positions at Inria or CNRS for excellent
junior or senior researchers wanting to join in the Links' project.
This year, Inria Lille has 3 openings for junior researchers and
1 opening for senior researchers in the national competition. The
application deadlines are mid of February.
- Professor position at the University of Lille 1. One position
that targets towards Links' research topics is currently open. The
submission deadline is begin of March (beware, deadline is earlier
than the synchronised session of French universities).
- Assistant professor (MdC) position at the University of Lille3. The
profile of that position includes the Links' research topics. The
application deadline is end of March.
- PhD student positions, possibly preceded by a masters project. Currently,
we have 3 openings, that will remain open until we find the right
candidate:
Linked data integration (open, contact: Iovka Boneva <iovka.boneva@univ-lille1.fr>)
Streaming for NoSQL Databases (open, contact: Joachim Niehren <joachim.niehren@inria.fr>)
Database queries for the social Web (open, contact: Pierre Bourhis <pierre.bourhis@inria.fr>)
- Postdoc at Inria. We regularly search promising students for the
competitive offers at Inria Lille.
Tree transducers for verifying the correctness of Linux
installation scripts.
For more information about integration in the Links team,
please visit https://team.inria.fr/links/job-offers/
or send an email to links-apply@lists.gforge.inria.fr
Pr. Sophie Tison
Université de Lille -Sciences et Technologies
Vice-Présidente Partenariats, Innovation, Valorisation
Cité Scientifique
Bâtiment M3
59655 Villeneuve d'Ascq Cedex
www.lifl.fr/~tison
sophie.tison@univ-lille1.fr
Phone: (33 | 0)3 28 77 85 42 (M3)
(33 | 0)3 59 35 87 14 (Haute-Borne)
------------------------------
Message: 4
Date: Thu, 11 Feb 2016 13:06:56 +0100
From: Turlough Neary <tneary@ini.phys.ethz.ch>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] AUTOMATA 2016: extension of submission deadline
Message-ID: <1455192416.5193.10.camel@ini.phys.ethz.ch>
Content-Type: text/plain; charset="UTF-8"
The deadline for submissions to AUTOMATA 2016 has been extended to
February 17, 2016.
__________________________________________________________________
AUTOMATA 2016 Call for Papers
The 22nd International Workshop on Cellular Automata and Discrete
Complex Systems (AUTOMATA 2016) will be hosted at the University of
Zurich, Switzerland, June 15-17, 2016.
Submission deadline: February 17, 2016
http://automata2016.ini.uzh.ch
Scope
Papers presenting original and unpublished research on all fundamental
aspects of cellular automata and related discrete complex systems are
sought. Topics of interest include (but are not limited to): dynamics,
topological, ergodic and algebraic aspects, algorithmic and complexity
issues, emergent properties, formal language processing, symbolic
dynamics, models of parallelism and distributed systems, timing
schemes, phenomenological descriptions, scientific modeling and
practical applications.
Important dates
Submission deadline: February 17, 2016
Notification of acceptance: March 20, 2016
Final versions: March 30, 2016
Submission deadline for exploratory papers: May 1, 2016
Notification of acceptance for exploratory papers: May 10, 2016
AUTOMATA 2016: June 15-17
Invited speakers
Klaus Sutner (Carnegie Mellon University, USA)
Guillaume Theyssier (CNRS and Aix Marseille Université, France)
Tommaso Toffoli (Boston University, USA)
Andrew Winslow (Université libre de Bruxelles, Belgium)
Program committee
Matthew Cook (University of Zurich and ETH Zurich, Switzerland)
Nazim Fatès (Inria Nancy, France)
Paola Flocchini (University of Ottawa, Canada)
Enrico Formenti (Université Nice Sophia Antipolis, France)
Anahı́ Gajardo (University of Concepción, Chile)
Eric Goles (Adolfo Ibáñez University, Chile)
Jarkko Kari (University of Turku, Finland)
Martin Kutrib (Universität Gießen, Germany)
Andreas Malcher (Universität Gießen, Germany)
Genaro Martı́nez (University of West England, UK)
Kenichi Morita (Hiroshima University, Japan)
Turlough Neary (University of Zurich and ETH Zurich, Switzerland)
Pedro de Oliveira (Mackenzie Presbyterian University, Brazil)
Nicolas Ollinger (Université d'Orléans, France)
Matthew Patitz (University of Arkansas, USA)
Ivan Rapaport (Universidad de Chile, Chile)
Hiroshi Umeo (Osaka Electro-Communication University, Japan)
Damien Woods (Caltech, USA)
Thomas Worsch (Karlsruher Institut für Technologie, Germany)
Organizing committee
Matthew Cook
Turlough Neary
Paper categories
There are two categories of submission – full papers and exploratory
papers. Full papers should report more complete and denser research,
while the later submission deadline for exploratory papers allows quick
reporting of recent discoveries, work-in-progress and/or partial
results. Submissions in the full paper category are refereed and
selected by the program committee. Papers in the exploratory category
go through a less rigorous evaluation process.
Submission
Authors are invited to submit extended abstracts of no more than 14
pages (for full papers) or 8 pages (for exploratory papers) via the
EasyChair system at
https://easychair.org/conferences/?conf=automata2016
Submissions should contain original research that has not previously
been published. Concurrent submissions to other conferences/journals is
not permitted. Supplementary material that exceeds the above mentioned
page limits may be included as an appendix and will be considered at
the committee's discretion (note that appendices will not be published
in the proceedings). Submission must be formatted in LaTeX using the
LNCS format (see http://www.springer.com/computer/lncs/lncs+authors)
and submitted in Portable Document Format (PDF). Papers authored or co
-authored by PC members are also welcome and will follow a specific
evaluation process.
Proceedings
Accepted full papers will appear in the proceedings published by
Springer in the LNCS series and will be available at the conference.
Exploratory papers will not be included in the LNCS proceedings;
however, they will be printed locally and given to conference
participants.
------------------------------
Subject: Digest Footer
_______________________________________________
dmanet mailing list
dmanet@zpr.uni-koeln.de
http://www.zaik.uni-koeln.de/mailman/listinfo/dmanet
------------------------------
End of dmanet Digest, Vol 96, Issue 13
**************************************
No comments:
Post a Comment