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. 2016-2017 IBM Herman Goldstine Memorial Postdoctoral
Fellowship in Mathematical Sciences (Chai Wu)
2. EvoMUSART 2016 CfP - Deadline Extended (João Correia)
3. CiE 2016: Pursuit of the Universal - 1st CfP - Paris,
27/6-1/7/2016 (CiE Conference Series)
4. Ph.D. position at the University of Luxembourg
(Rolando TRUJILLO RASUA)
----------------------------------------------------------------------
Message: 1
Date: Wed, 28 Oct 2015 11:46:25 -0500
From: "Chai Wu" <cwwu@us.ibm.com>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] 2016-2017 IBM Herman Goldstine Memorial Postdoctoral
Fellowship in Mathematical Sciences
Message-ID: <201510281645.t9SGjbAm018898@d01av05.pok.ibm.com>
Content-Type: text/plain; charset="US-ASCII"
2016-2017 IBM Herman Goldstine Memorial Postdoctoral Fellowship in
Mathematical Sciences
The Mathematical Sciences Department of the IBM Thomas J. Watson Research
Center invites applications for its 2016-2017 Herman Goldstine Memorial
Postdoctoral Fellowship for research in mathematical and computer
sciences. The fellowship provides scientists of outstanding ability an
opportunity to advance their scholarship as resident department members at
the Research Center. Areas of active research in the department include:
algorithms (approximation, randomized, and on-line); complex systems; data
mining (machine learning, pattern recognition, computational statistics);
dynamical systems; high-performance computing (scientific computing,
parallel computing, big-data); inverse problems; numerical analysis;
optimization (discrete, continuous, global and stochastic); operations
research; probability theory (stochastic models, risk management, queues &
queuing networks, simulation); and statistics (time-series, multivariate
analysis, spatiotemporal analysis, design of experiments & reliability).
Candidates must have received a Ph.D. after September 2011, or should
expect to receive one before the fellowship commences in the second half
of 2016 (usually in September). Up to two fellowships will be awarded
with a stipend between $105,000 and $130,000 (depending on experience).
Applications must be received between November 9, 2015 and January 12,
2016.
Complete details are available at http://www.research.ibm.com/goldstine/
IBM is committed to work-place diversity, and is proud to be an
equal-opportunity employer.
------------------------------
Message: 2
Date: Wed, 28 Oct 2015 16:59:14 +0000
From: João Correia <evomusart@gmail.com>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] EvoMUSART 2016 CfP - Deadline Extended
Message-ID:
<CALsnibuaLVmZzZmf5ZjmfFxb9YTQAo7Re+7iE8UKrvujCns-FQ@mail.gmail.com>
Content-Type: text/plain; charset=UTF-8
CALL FOR PAPERS
EvoMUSART 2016
http://www.evostar.org/2016/cfp_evomusart.php
5th International Conference on Evolutionary and Biologically Inspired
Music, Sound, Art and Design
30 March - 1 April 2016
Porto, Portugal
Part of evo* 2016
evo*: http://www.evostar.org
###### DEADLINE EXTENDED : 11 November, 2015 ######
NEW THIS YEAR :
*** PAGE LIMIT : 16 PAGES ***
Following the success of previous events and the importance of the
field of evolutionary and biologically inspired (artificial neural
network, swarm, alife) music, sound, art and design, evomusart has
become an evo* conference with independent proceedings since 2012.
Thus, evomusart 2016 is the fifth International Conference on
Evolutionary and Biologically Inspired Music, Sound, Art and Design.
The use of biologically inspired techniques for the development of
artistic systems is a recent, exciting and significant area of
research. There is a growing interest in the application of these
techniques in fields such as: visual art and music generation,
analysis, and interpretation; sound synthesis; architecture; video;
poetry; design; and other creative tasks.
The main goal of evomusart 2016 is to bring together researchers who
are using biologically inspired computer techniques for artistic
tasks, providing the opportunity to promote, present and discuss
ongoing work in the area.
The event will be held in April, 2016 in Porto, Portugal, as part of
the evo* event.
----------------------------------------------------------------------------
Important Dates
----------------------------------------------------------------------------
Submission: 11 November 2015*
Notification to authors: 04 January 2016
Camera-ready deadline: 18 January 2016
Evo*: 30 March - 1 April 2016
----------------------------------------------------------------------------
Publication Details
----------------------------------------------------------------------------
Submissions will be rigorously reviewed for scientific and artistic
merit. Accepted papers will be presented orally or as posters at the
event and included in the evomusart proceedings, published by Springer
Verlag in a dedicated volume of the Lecture Notes in Computer Science
(LNCS) series. The papers which receive the best reviews will be
nominated for the Best Paper Award. The acceptance rate at EvoMUSART
2015 was 27.9% for papers accepted for oral presentation, and 25.6%
for poster presentation.
Submitters are strongly encouraged to provide in all papers a link for
download of media demonstrating their results, whether music, images,
video, or other media types. Links should be anonymised for
double-blind review, e.g. using a URL shortening service.
----------------------------------------------------------------------------
Topics of interest
----------------------------------------------------------------------------
Submissions should concern the use of biologically inspired computer
techniques -- e.g. Evolutionary Computation, Artificial Life,
Artificial Neural Networks, Swarm Intelligence, other artificial
intelligence techniques -- in the generation, analysis and
interpretation of art, music, design, architecture and other artistic
fields. Topics of interest include, but are not limited to:
-- Generation
- Biologically Inspired Design and Art -- Systems that create
drawings, images, animations, sculptures, poetry, text, designs,
webpages, buildings, etc.;
- Biologically Inspired Sound and Music -- Systems that create
musical pieces, sounds, instruments, voices, sound effects, sound
analysis, etc.;
- Robotic-Based Evolutionary Art and Music;
- Other related artificial intelligence or generative techniques in
the fields of Computer Music, Computer Art, etc.;
-- Theory
- Computational Aesthetics, Experimental Aesthetics; Emotional
Response, Surprise, Novelty;
- Representation techniques;
- Surveys of the current state-of-the-art in the area; identification
of weaknesses and strengths; comparative analysis and classification;
- Validation methodologies;
- Studies on the applicability of these techniques to related areas;
- New models designed to promote the creative potential of
biologically inspired computation;
-- Computer Aided Creativity and computational creativity
- Systems in which biologically inspired computation is used to
promote the creativity of a human user;
- New ways of integrating the user in the evolutionary cycle;
- Analysis and evaluation of: the artistic potential of biologically
inspired art and music; the artistic processes inherent to these
approaches; the resulting artefacts;
- Collaborative distributed artificial art environments;
-- Automation
- Techniques for automatic fitness assignment;
- Systems in which an analysis or interpretation of the artworks is
used in conjunction with biologically inspired techniques to produce
novel objects;
- Systems that resort to biologically inspired computation to perform
the analysis of image, music, sound, sculpture, or some other types of
artistic object.
----------------------------------------------------------------------------
Additional information and submission details
----------------------------------------------------------------------------
Submit your manuscript, at most 16 A4 pages long, in Springer LNCS
format (instructions downloadable from
http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0)
Submission link: http://myreview.csregistry.org/evomusart16/
*** NEW Page limit: 16 pages ***
The reviewing process will be double-blind; please omit information
about the authors in the submitted paper.
Website: http://www.evostar.org/
Facebook: fb.com/evostarconf
Twitter: twitter.com/Evostar2016
LinkedIn: www.linkedin.com/groups/EVOstar-1908983
----------------------------------------------------------------------------
Conference chairs
----------------------------------------------------------------------------
Colin Johnson
University of Kent, UK
c.g.johnson(at)kent.ac.uk
Vic Ciesielski
RMIT University, Australia
vic.ciesielski(at)rmit.edu.au
Publication chair
João Correia
University of Coimbra, Portugal
jncor(at)dei.uc.pt
------------------------------
Message: 3
Date: Wed, 28 Oct 2015 22:04:19 +0000 (GMT)
From: CiE Conference Series <cie.conference.series@gmail.com>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] CiE 2016: Pursuit of the Universal - 1st CfP -
Paris, 27/6-1/7/2016
Message-ID: <alpine.LNX.2.00.1510282204060.3358@csltab3.site>
Content-Type: TEXT/PLAIN; format=flowed; charset=ISO-8859-15
1st CALL FOR PAPERS:
COMPUTABILITY IN EUROPE 2016: Pursuit of the Universal
Paris, France
June 27 - July 1st, 2016
http://lipn.univ-paris13.fr/CIE2016/
IMPORTANT DATES:
Submission deadline for contributed papers: December 15, 2015
Notification of authors: March 3, 2016
Deadline for final revisions: March 31, 2016
CiE 2016 is the twelfth conference organized by CiE (Computability in
Europe), a European association of mathematicians, logicians, computer
scientists, philosophers, physicists and others interested in new
developments in computability and their underlying significance for the
real world. Previous meetings have taken place in Amsterdam (2005),
Swansea (2006), Siena (2007), Athens (2008), Heidelberg (2009), Ponte
Delgada (2010), Sofia (2011), Cambridge (2012), Milan (2013), Budapest (2014)
and Bucharest (2015).
CiE 2016's Motto is: "Pursuit of the Universal". The year 2016 brings
the eightieth anniversary of the publication of Alan Turing's seminal paper
featuring the Universal Turing Machine. Just as the semantics of the machine
gave rise to Incomputability, and pointed to future directions in proof theory,
AI, generalised computability, the underlying role of typed information and
natural language, and the computability and definability underpinning
bioinformatics: so our conference subtitle honours Turing's role in anticipating
the quest for universal computational frameworks across a wide spectrum of
scientific and humanist disciplines.
TUTORIAL SPEAKERS:
Bernard Chazelle (Princeton University)
Mikolaj Bojanczyk (University of Warsaw)
INVITED SPEAKERS:
Janet Abbate (Virginia Tech)
Natasha Alechina (University of Nottingham)
Vasco Brattka (Universität der Bundeswehr München)
Barry Cooper (University of Leeds)
Steffen Lempp (University of Wisconsin)
André Nies (University of Auckland)
Sarah Rees (University of Newcastle)
Reed Solomon (University of Connecticut)
SPECIAL SESSIONS:
Computable and constructive analysis (organizers: Daniel Graça, Elvira Mayordomo)
Computation in bio-chemical systems (organizers: Alessandra Carbone, Ion Petre)
Cryptography and information theory (organizers: Danilo Gligoroski, Carles Padro)
History and philosophy of computing (organizers: Liesbeth de Mol, Giuseppe Primiero)
Symbolic dynamics (organizers: Jarkko Kari, Reem Yassawi)
Weak arithmetics (organizers: Lev Beklemishev, Stanislas Speranski)
Contributed papers will be selected from submissions received by the
PROGRAM COMMITTEE consisting of:
Marcella Anselmo (Università di Salerno)
Nathalie Aubrun (Ecole Normale Supérieure de Lyon)
Georgios Barmpalias (Chinese Academy of Sciences)
Marie-Pierre Beal (Université Paris-Est Marne-la-Vallée)
Arnold Beckmann (Swansea University)
Laurent Bienvenu (Université Paris 7), PC co-chair
Paola Bonizzoni (Università di Milano-Bicocca)
Alessandra Carbone (Université Pierre et Marie Curie)
Douglas Cenzer (University of Florida)
Liesbeth De-Mol (Université Lille 3)
David Doty (University of California Davis)
Jérôme Durand-Lose (Université d'Orléans)
Volker Diekert (Universität Stuttgart)
Martin Escardo (University of Birmingham)
François Fages (INRIA Paris-Rocquencourt)
Enrico Formenti (Université de Nice-Sophia Antipolis)
Daniela Genova (University of North Florida)
Noam Greenberg (Victoria University of Wellington)
Valentina Harizanov, (George Washington University)
Hajime Ishihara (Japan Advanced Institute of Science and Technology)
Natasha Jonoska (University of South Florida), PC co-chair
Jarkko Kari (University of Turku)
Lila Kari (University of Western Ontario)
Margarita Korovina (University of Manchester)
Marta Kwiatkowska (University of Oxford)
Karen Lange (Wellesley College)
Benedikt Löwe (Universiteit van Amsterdam)
Florin Manea (Kiel University)
Paulin de Naurois (Université Paris 13), Organizing committee chair
Keng Meng Selwyn Ng (Nanyang Technological University)
Arno Pauly (University of Cambridge)
Mario Perez-Jimenez (Universidad de Sevilla)
Ion Petre (Åbo Akademi University)
Mehrnoosh Sadrzadeh (Queen Mary University of London)
Alexis Saurin (Université Paris 7)
Shinnosuke Seki (The University of Electro-Communications Tokyo)
Paul Shafer (Ghent University)
Alexander Shen (Université Montpellier 3)
Alexandra Soskova (Sofia University)
Mariya Soskova (Sofia University)
The PROGRAMME COMMITTEE cordially invites all researchers (European and
non-European) to submit their papers in all areas related to computability
for presentation at the conference and inclusion in the proceedings
at https://www.easychair.org/conferences/?conf=cie2016
Papers must be submitted in PDF format, using the LNCS style (available at
ftp://ftp.springer.de/pub/tex/latex/llncs/latex2e/llncs2e.zip) and should
have a maximum of 10 pages, including references but excluding a possible
appendix in which one can include proofs and other additional material.
Papers that build bridges between different parts of the research community
are particularly welcome.
___________________________________
CiE 2016 http://lipn.univ-paris13.fr/CIE2016/
ASSOCIATION COMPUTABILITY IN EUROPE
http://www.computability.org.uk
CiE Conference Series
http://www.illc.uva.nl/CiE
CiE Membership Application Form
http://www.lix.polytechnique.fr/CIE
Computability (Journal of CiE)
http://www.computability.de/journal/
CiE on FaceBook
https://www.facebook.com/AssnCiE
Association CiE on Twitter
https://twitter.com/AssociationCiE
---228847484-333436253-1446069860=:3358--
------------------------------
Message: 4
Date: Thu, 29 Oct 2015 10:48:53 +0100
From: Rolando TRUJILLO RASUA <rolando.trujillo@uni.lu>
To: <dmanet@zpr.uni-koeln.de>
Subject: [DMANET] Ph.D. position at the University of Luxembourg
Message-ID: <5631EB85.6050307@uni.lu>
Content-Type: text/plain; charset="windows-1252"; format=flowed
The University of Luxembourg seeks to hire an outstanding doctoral
researcher at the Computer Science and Communications Research Unit at
the Faculty of Sciences, Technology and Communication (FSTC). The
successful candidate will participate in the activities of the Security
and Trust of Software Systems (SaToSS) research group led by Prof. Dr.
Sjouke Mauw. The SaToSS group is working on formalising and applying
formal reasoning to real-world security problems and trust issues. The
research topics of the group include: security protocols, security
modeling, formal methods for security, socio-technical aspects of
security, risk management, privacy, verification, etc.
The University offers highly competitive salaries and is an equal
opportunity employer. You will work in an exciting international
environment and will have the opportunity to participate in the
development of a dynamic and growing centre.
Your Profile:
- A Master's degree in computer science, mathematics or related field
- A proven strong interest in computer and information security
- Strong background in mathematics and computer science
- Commitment, team working, self-motivated and a critical mind
- Fluent written and verbal communication skills in English are mandatory.
For further information and to submit your application please visit:
http://recruitment.uni.lu/en/details.html?id=QMUFK026203F3VBQB7V7VV4S8&nPostingID=5256&nPostingTargetID=7057&mask=karriereseiten&lg=UK
Contact:
rolando.trujillo@uni.lu
sjouke.mauw@uni.lu
------------------------------
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 92, Issue 24
**************************************
No comments:
Post a Comment