[UAI] Open Robotics & Machine Learning PostDoc and PhD Student Positions @ TU Darmstadt

[Jan Peters]

Open Robotics & Machine Learning PostDoc and PhD Student Positions @ TU 
Darmstadt



The Intelligent Autonomous Systems Lab (IAS) at the Technical University of 
Darmstadt (TU Darmstadt) is seeking for highly qualified POSTDOCTORAL 
RESEARCHERS interested in



• Machine Learning for Robotics (especially Reinforcement Learning, Imitation, 
and Model Learning)

• Tactile Exploration, Robot Grasping and Manipulation

• Interaction Learning, Intent Modeling and Inference

• Whole-body Contacts in Humanoid Robotics

• Robot Control, Learning for Control

• Robot Table Tennis



as well as talented PH.D. STUDENTS with strong interests in one or more of the 
following research topics:



• Model-based Reinforcement Learning leveraging on Structured Semi-Parametric 
Models

• Reinforcement Learning for Manipulation in Industrial Applications



Outstanding students and researchers from the areas of robotics and 
robotics-related areas including machine learning, control engineering or 
computer vision are welcome to apply. The candidates are expected to conduct 
independent research and at the same time contribute to ongoing projects in the 
areas listed above. Successful candidates will furthermore be given the 
opportunity to work with undergraduate, M.Sc. and Ph.D. students.



Due to IAS' strong ties to the Max Planck Institutes for Intelligent Systems 
and Biological Cybernetics, the University of Southern California, the Honda 
Research Institute, Bosch Corporate Research and ABB Corporate Research, there 
will be ample opportunities of collaboration with these institutes and 
companies.



POSITION REQUIREMENTS

Ph.D. position applicants need to have a Master's degree in a relevant field 
(e.g., Robotics, Computer Science, Engineering, Statistics & Optimization, Math 
and Physics) and have exhibited their ability to perform research in robotics 
and/or machine learning.



A successful Post-doc applicant should have a strong robotics and/or machine 
learning background with a track record of top-tier research publications, 
including relevant conferences (e.g., RSS, ICRA, IROS or ICML, IJCAI, AAAI, 
NIPS, AISTATS) and journals (e.g., AURO, TRo, IJRR or JMLR, MLJ, Neural 
Computation). A Ph.D. in Computer Science, Electrical or Mechanical Engineering 
(or another field clearly related to robotics and/or machine learning) as well 
as strong organizational and coordination skills are a must.



Expertise in working with real robot systems is a big plus for all applicants.





HOW TO APPLY?

All complete applications submitted through our online application system found 
at



http://www.ias.tu-darmstadt.de/Jobs/Application



will be considered. DO NOT SEND APPLICATIONS BY EMAIL! 



There is no fixed deadline: the positions will be filled as soon as possible. 
Ph.D. applicants should provide at least a research statement, a PDF with their 
CV, degrees, and grade-sheets, and two references who are willing to write a 
recommendation letter. PostDoc applicants require three references and, in 
addition, should provide their top three publications. Please ensure to include 
a link to your research web-site as well as your date of availability.

Applicants are encouraged to contact Jan Peters, Elmar Rückert, Riad Akrour, 
Joni Pajarinen, Guilherme Maeda, Takayuki Osa and Gerhard Neumann during the 
upcoming conferences. Candidates giving a presentation at one of these 
conferences are invited to send a corresponding note to us.



MORE INFORMATION? VISIT:

http://www.ias.tu-darmstadt.de/Jobs/InformationForApplicants



___
uai mailing list
uai@ENGR.ORST.EDU
https://secure.engr.oregonstate.edu/mailman/listinfo/uai

[UAI] Call-for-Workshops: IEEE Int. Conference (CYBCONF-2017) in Exeter, England, UK, 21-23 June 2017

[Haozhe Wang]

[Please accept our apologies if you receive multiple copies of this email]


*** IEEE CYBCONF-2017 International Conference Call for Workshops and
Special Sessions ***



The 3rd IEEE International Conference on Cybernetics (CYBCONF-2017) to be
held in Exeter, England, UK, 21-23 June 2017

http://cse.stfx.ca/~CybConf2017



*Sponsored by*

IEEE;

IEEE Systems, Man, and Cybernetics Society (SMC).

and supported by

IEEE SMC Technical Committees on Cybermatics for Cyber-enabled Worlds;

IEEE SMC Technical Committees on Awareness Computing;

IEEE SMC Technical Committees on Intelligent Industrial Systems;

IEEE SMC Technical Committees on Distributed Intelligent Systems.



*General Information: *

CYBCONF-2017 invites proposals for Special Sessions (SS) and Workshops (WS)
to be held in conjunction with the conference. The aim is to provide
researchers in focused areas the opportunity to present and discuss their
work, as well as to offer a forum for interaction among a broader community
of researchers. A Special Session will consist of a group of papers in a
sub-discipline of all aspects of Cybernetics and applications related to
the main topics of CYBCONF-2017. The papers will be required to meet the
same standards as CYBCONF-2017 papers and will be published in the
conference proceedings, available on IEEE Xplore. Normally, an SS should
contain 5 or more papers, and a WS should contain 2 or more sessions (10 or
more papers). The organizers of the SS/WS are encouraged to make a plan
for post conference special issues in some high-quality international
journals.



*Proposal submission: *

Please send the WS/SS proposals (in PDF format) to Prof. Qiangfu Zhao (
qf-z...@u-aizu.ac.jp) by 15 December 2016 with the following information:

1.   Title and acronym of the WS/SS

2.   Short profiles of the organizers

3.   General description of the WS/SS

4.   List of topics

5.   Special session program committee (to be invited and confirmed)

6.   (optional) Plan for post conference special issue

·Journal name

·Contact of the guest editors



*General rules for the organizers: *

The organizers will be responsible for the advertisement and promotion of
the WS/SS and the conference. The management of papers review will be
achieved by SS/WS Committees, using the Conference Management System (a
separate track will be provided for each SS/WS). The organizers are
responsible for managing the review process. All the reviews should be
submitted through the Conference Management System. Each paper should
obtain at least three reviews. At least 5 papers should be accepted by SS,
and a WS should accept 2 or more sessions (10 or more papers). The final
decision as for the acceptance will be taken by the CYBCONF 2017 Program
Committee based on recommendations provided by SS/WS organizers. One
complimentary registration will be given to the leading chair of each
workshop or special session with more than 15 registered papers.



*Important Dates:*

WS/SS Proposal: 15 December 2016

WS/SS Notification: Within two weeks after receiving a proposal

Submission of papers: 1 March 2017 (could be extended to 22 March 2017)

Notification of acceptance: 22 April 2017

Camera-ready papers:15 May 2017

Early-bird registration:15 May 2017

Conference: 21-23 June 2017



*Special Session Chair: *

Qiangfu Zhao, The University of Aizu, Japan, Email: qf-z...@u-aizu.ac.jp
___
uai mailing list
uai@ENGR.ORST.EDU
https://secure.engr.oregonstate.edu/mailman/listinfo/uai

[UAI] MUME 2017 - Call for Participation

[Kıvanç Tatar]

==

CALL FOR SUBMISSIONS

==

((( MUME 2017 )))

5th International Workshop on Musical Metacreation

http://musicalmetacreation.org

June 19-20, 2017, Georgia Tech, Atlanta, USA.

MUME 2017 is to be held at Georgia Institute of Technology in conjunction
with the Eighth International Conference on Computational Creativity, ICCC
2017.

=== Important Dates ===

Workshop submission deadline: March 10, 2017

Notification date: April 20th, 2017

Camera-ready version: April 28th, 2017

Workshop dates: June 19-20, 2017

==

We are excited to announce the 5th International Workshop on Musical
Metacreation (MUME 2017) to be held June 19-20, 2017, in conjunction with
the Eighth International Conference on Computational Creativity, ICCC 2017.

Metacreation involves using tools and techniques from artificial
intelligence, artificial life, and machine learning, themselves often
inspired by cognitive and life sciences, for creative tasks. Musical
Metacreation explores the design and use of these tools for music making:
discovery and exploration of novel musical styles and content,
collaboration between human performers and creative software “partners”,
and design of systems in gaming and entertainment that dynamically generate
or modify music.

MUME aims to bring together artists, practitioners, and researchers
interested in developing systems that autonomously (or interactively)
recognize, learn, represent, compose, generate, complete, accompany, or
interpret music. As such, we welcome contributions to the theory or
practice of generative music systems and their applications in new media,
digital art, and entertainment at large.


Topics

===

We encourage paper and demo submissions on MUME-related topics, including
the following:

-- Models, Representation and Algorithms for MUME

 Novel representations of musical information

 Advances or applications of AI, machine learning, and statistical
techniques for generative music

 Advances of A-Life, evolutionary computing or agent and multi-agent
based systems for generative music

 Computational models of human musical creativity

-- Systems and Applications of MUME

 Systems for autonomous or interactive music composition

 Systems for automatic generation of expressive musical interpretation

 Systems for learning or modeling music style and structure

 Systems for intelligently remixing or recombining musical material

 Online musical systems (i.e. systems with a real-time element)

 Adaptive and generative music in video games

 Generative systems in sound synthesis, or automatic synthesizer design

 Techniques and systems for supporting human musical creativity

 Emerging musical styles and approaches to music production and
performance involving the use of AI systems

 Applications of musical metacreation for digital entertainment: sound
design, soundtracks, interactive art, etc.

-- Evaluation of MUME

 Methodologies for qualitative or quantitative evaluation of MUME
systems

 Studies reporting on the evaluation of MUME

 Socio-economical Impact of MUME

 Philosophical implication of MUME

 Authorship and legal implications of MUME

Submission Format and Requirements

=

Please make submissions via the EasyChair system at:

https://easychair.org/conferences/?conf=mume2017

The workshop is a day and a half event that includes:

-Presentations of FULL TECHNICAL PAPERS (8 pages maximum)

-Presentations of POSITION PAPERS and WORK-IN-PROGRESS PAPERS (5 pages
maximum)

-Presentations of DEMONSTRATIONS (3 pages maximum) which present outputs of
systems (working live or offline).

All papers should be submitted as complete works. Demo systems should be
tested and working by the time of submission, rather than be speculative.
We encourage audio and video material to accompany and illustrate the
papers (especially for demos). We ask that authors arrange for their web
hosting of audio and video files, and give URL links to all such files
within the text of the submitted paper.

Submissions do not have to be anonymized, as we use single-blind reviewing.
Each submission will be reviewed by at least three program committee
members.



Workshop papers will be published as MUME 2017 Proceedings and will be
archived with an ISBN number. Please use the updated MuMe paper template to
format your paper. Also please feel free to edit the licence entry (at the
bottom left of the first page of the new template). We created a new MUME
2017 template based on AAAI template. The MUME 2017 latex and Word template
is available at:

http://musicalmetacreation.org/buddydrive/file/mume2017_templates/


Submission should be uploaded using MUME 2017 EasyChair portal:

https://easychair.org/conferences/?conf=mume2017

For complete details on attendance, submissions and formatting, please
visit the workshop web

[UAI] Call-for-Workshops: Int. Conferences (I-SPAN and FCST) in Exeter, England, UK, 21-23 June 2017

[Miao, Wang]

[Please accept our apologies if you receive multiple copies of this email]



*** I-SPAN-2017 and FCST-2017 International Conferences Call for Workshops and 
Special Sessions ***



The 14th International Symposium on Pervasive Systems, Algorithms, and Networks 
(I-SPAN 2017) http://cse.stfx.ca/~ISPAN2017/



The 11th International Conference on Frontier of Computer Science and 
Technology (FCST-17) http://cse.stfx.ca/~FCST2017/



To be held in Exeter, England, UK, 21-23 June 2017.



CALL FOR WORKSHOPS and SPECIAL SESSIONS

===

General Information:

International Conferences (I-SPAN-2017 and FCST-2017) invite proposals for 
Workshops (WS) and Special Sessions (SS) to be held in conjunction with the 
conferences. The aim is to provide researchers in focused areas the opportunity 
to present and discuss their work, as well as to offer a forum for interaction 
among a broader community of researchers related to the main topics of the 
conferences. The papers will be required to meet the same standards as the main 
conference papers and will be published in the conference proceedings, 
available on IEEE Xplore. Normally, an SS should contain 4 or more papers, and 
a WS should contain 2 or more sessions (8 or more papers). The organizers of 
the SS/WS are encouraged to make a plan for post conference special issues in 
some high-quality international journals.



Proposal submission:

Please send the WS/SS proposals (in PDF format) to Dr. J. Hu (Email: 
jia...@gmail.com ) by 15 December 2016 with the 
following information:

1.   Title and acronym of the WS/SS

2.   General description of the WS/SS

3.   Objectives, scope, and topics of the WS/SS

4.   Names, contacts, and short profiles of the organizers

5.   (optional) Plan for post conference special issue

*Journal name

*Contact of the guest editors



General rules for the organizers:

The organizers will be responsible for the advertisement and promotion of the 
WS/SS and the conference. The organizers and chairs of the workshop shall have 
full control on the call for papers, forming of program committees, review and 
selection of papers as well as planning the workshop program. Once accepted, 
the paper will be included into the IEEE conference proceedings published by 
IEEE Computer Society Press (indexed by EI). At least one of the authors of any 
accepted paper is requested to register the paper at the conference. One 
complimentary registration will be given to the leading chair of each workshop 
or special session with more than 15 registered papers.



Important Dates:

WS/SS Proposal: 15 December 2016

WS/SS Notification: Within two weeks after receiving a proposal

Submission of papers: 1 March 2017 (could be extended to 22 March 2017)

Notification of acceptance: 22 April 2017

Camera-ready papers:15 May 2017

Early-bird registration:15 May 2017

Conference: 21-23 June 2017




___
uai mailing list
uai@ENGR.ORST.EDU
https://secure.engr.oregonstate.edu/mailman/listinfo/uai

[UAI] [fm-announcements] SPIN 2017 - 2nd Call for Papers *Paper Submission: February 10, 2017*

[Havelund, Klaus (348B)]

SPIN 2017

24th International Symposium on Model Checking of Software

Santa Barbara, CA, USA, July 13-14, 2017


http://conf.researchr.org/home/spin-2017

Collocated with ISSTA



The SPIN symposium aims at bringing together researchers and practitioners 
interested in automated tool-based techniques for the analysis of software as 
well as models of software, for the purpose of verification and validation. The 
symposium specifically focuses on concurrent software, but does not exclude 
analysis of sequential software. Submissions are solicited on theoretical 
results, novel algorithms, tool development, empirical evaluation, and 
education.

History: The SPIN symposium originated as a workshop focusing on explicit state 
model checking, specifically as related to the Spin model checker. However, 
over the years it has evolved to a broadly scoped symposium for software 
analysis using any automated techniques, including model checking, automated 
theorem proving, and symbolic execution.

SPIN 2017 will be organized as an ACM SIGSOFT event, collocated with the 
International Symposium on Software Testing and Analysis (ISSTA 2017): 
http://conf.researchr.org/home/issta-2017. In addition there will be a one-day 
Rigorous Examination of Reactive Systems verification challenge Workshop (RERS 
2017): http://www.rers-challenge.org/2017. An overview of the previous SPIN 
symposia (and early workshops) can be found at: 
http://spinroot.com/spin/symposia.

Topics of interest include, but are not limited to:

  *   Formal verification techniques for automated analysis of software
  *   Formal analysis for modeling languages, such as UML/state charts
  *   Formal specification languages, temporal logic, design-by-contract
  *   Model checking
  *   Automated theorem proving, including SAT and SMT
  *   Verifying compilers
  *   Abstraction and symbolic execution techniques
  *   Static analysis and abstract interpretation
  *   Combination of verification techniques
  *   Modular and compositional verification techniques
  *   Verification of timed and probabilistic systems
  *   Automated testing using advanced analysis techniques
  *   Combination of static and dynamic analyses
  *   Derivation of specifications, test cases, or other useful material via 
formal analysis
  *   Case studies of interesting systems or with interesting results
  *   Engineering and implementation of software verification and analysis tools
  *   Benchmark and comparative studies for formal verification and analysis 
tools
  *   Formal methods education and training
  *   Insightful surveys or historical accounts on topics of relevance to the 
symposium


Submission Guidelines


The contributions to SPIN 2017 will be published as ACM Proceedings, and should 
be submitted in the ACM Conference Format: 
https://www.acm.org/publications/proceedings-template.

With the exception of survey and history papers, submissions must be original 
and should not have been published previously or be under consideration for 
publication while being evaluated for this symposium.

We are soliciting two categories of papers:

  *   Full Research Papers describing fully developed work and complete results 
(10 pages);
  *   Short Papers presenting tools, technology, experiences with lessons 
learned, new ideas, work in progress with preliminary results, and novel 
contributions to formal methods education (4 pages).

Papers should be submitted via the EasyChair SPIN 2017 submission website: 
https://easychair.org/conferences/?conf=spin2017.

Best Paper awards will be given and announced at the conference.

A selection of papers will be invited to a special issue of the International 
Journal on Software Tools for Technology Transfer (STTT).


Important Dates


  *   Paper Submission: February 10, 2017 (23:59:59 Anywhere on Earth)
  *   Author Notification : April 15, 2017
  *   Camera-Ready Paper: May 20, 2017
  *   Symposium : July 13-14, 2017


Organization


  *   Hakan Erdogmus, Program Co-Chair, Carnegie Mellon University, USA
  *   Klaus Havelund, Program Co-Chair, NASA/Caltech Jet Propulsion Laboratory, 
USA
  *   Corina Pasareanu, Awards Chair, NASA Ames Research Center, USA
  *   Yliès Falcone, Publicity Chair, Univ. Grenoble Alpes, Inria, France


Program Committee


  *   Erika Abraham, RWTH Aachen University, Germany
  *   Christel Baier, Technical University of Dresden, Germany
  *   Tom Ball, Microsoft Research, USA
  *   Ezio Bartocci, Vienna University of Technology, Austria
  *   Dirk Beyer, Ludwig-Maximilians-Universität München (LMU Munich), Germany
  *   Armin Biere, Johannes Kepler University, Austria
  *   Dra