Send dmanet mailing list submissions to
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. PhD in Search Based Optimisation of Software Testing
(Sarro, Federica)
2. PhD Studentships - Theoretical Analysis of Evolutionary
Processes (Per Kristian Lehre)
3. CFP: FCT 2015, 20th International Symposium on Fundamentals
of Computation Theory (L. Kuszner)
4. EURO 2015 in Glasgow --- 2nd Call for Papers (David Pisinger)
5. CFP: DIPDMWC * Jan. 28-30, 2015 * Dubai, UAE
(The International Conference on Digital Information Processing, Data Mining, and Wireless Communications (DIPDMWC2015))
----------------------------------------------------------------------
Message: 1
Date: Sat, 20 Dec 2014 12:49:48 +0000
From: "Sarro, Federica" <f.sarro@ucl.ac.uk>
To: "dmanet@zpr.uni-koeln.de" <dmanet@zpr.uni-koeln.de>
Subject: [DMANET] PhD in Search Based Optimisation of Software Testing
Message-ID: <9DAA9233-B0D9-4F68-8795-30334D551100@live.ucl.ac.uk>
Content-Type: text/plain; charset="Windows-1252"
Visa Europe and UCL are offering a PhD in Search Based Optimisation of Software Testing
University College London is offering a fully funded student bursary in Search Based Optimisation of Software Testing to start as soon as possible. The student will undertake a UCL PhD, the focus of which will be having a direct impact on improving Visa software systems. It will be a chance for the student to work collaboratively in both academic and industrial sites, developing innovative techniques and evaluating them on real-world systems at Visa.
This impact studentship will recruit a talented and dedicated PhD student to work closely with Visa (at their Paddington site) under the supervision of Mark Harman and Earl Barr (at UCL), on the development and evaluation of advanced test optimisation techniques. Dr. Federica Sarro will also join the supervisor team, providing expertise on full prediction and predictive modelling. You will also have an industrial supervisor, Paul Baker, of Visa Europe.
The primary research question is:
?how can we best develop optimisation processes and techniques to develop effective and efficient testing of web-based systems??
The studentship is funded 50% by UCL and 50% by Visa, demonstrating the commitment of each partner to this project. The student will also be part of the large program grant dynamic adaptive automated software engineering (DAASE), A significant investment by the engineering and physical sciences research Council of the United Kingdom in the area of search based software engineering. More details on the project are available at http://daase.cs.ucl.ac.uk/. The student to whom this studentship bursary is awarded will be situated in the CREST centre, which is part of the Software Systems, Engineering group (SSE) within the Department of Computer Science at UCL. http://crest.cs.ucl.ac.uk/about/
Applications close 5th January 2015
Interviews will take place in the week of the 2nd ? 5th of February 2015
For more information and to apply: http://crest.cs.ucl.ac.uk/phd_opportunities/phdpositions/
---
Dr. Federica Sarro
Research Associate, CREST centre
Department of Computer Science
University College London
Malet Place, London, WC1E 6BT, UK
Tel: +44 (0) 2076737289
Office: 4.17 (249)
E-mail: f.sarro@ucl.ac.uk<mailto:f.sarro@ucl.ac.uk>
Web: http://www0.cs.ucl.ac.uk/staff/F.Sarro/
------------------------------
Message: 2
Date: Sat, 20 Dec 2014 15:53:39 +0000
From: Per Kristian Lehre <Perkristian.Lehre@nottingham.ac.uk>
To: "dmanet@zpr.uni-koeln.de" <dmanet@zpr.uni-koeln.de>
Subject: [DMANET] PhD Studentships - Theoretical Analysis of
Evolutionary Processes
Message-ID:
<834C946D8CED2340B4A9DC8401B55CE00C47313DED@EXCHANGE1.ad.nottingham.ac.uk>
Content-Type: text/plain; charset="iso-8859-1"
PhD Studentships - Theoretical Analysis of Evolutionary Processes
Applications are invited for PhD studentships funded by the School of Computer Science, University of Nottingham. Studentships are available from October 2015 for a period of three years and include a stipend of ?13,863 per year and tuition fees, and are available to students of any nationality. Applicants are expected to have a first-class Masters or Bachelors degree in Computer Science or related discipline, and must obtain support from a potential supervisor. I am happy support strong applicants interested in the following topic.
Evolutionary algorithms and other randomised search heuristics have been successfully applied to various industrial optimisation domains. However, the theoretical understanding of these methods has been limited. Recently, there has been significant progress in analysing the runtime (also called optimisation time) of randomised search heuristics using rigorous techniques from probability theory, randomised algorithms, and computational complexity. Results about the runtime give insights into how the behaviour of a randomised search heuristic depends on its parameter-settings and on the characteristics of the underlying optimisation problem.
The successful candidate(s) will contribute to this exciting research area, which lies at the interface between probability theory and theoretical computer science. The aim is to develop theory that aids in predicting and controlling the behaviour of evolutionary processes, both natural processes as well as in evolutionary algorithms.
The topic is mathematically challenging and requires an excellent degree in mathematics or computer science. In particular, the candidate should have a strong background in probability theory, discrete mathematics, and/or theoretical computer science.
The research will be carried out in the context of the EU-funded project Speed of Adaptation in Population Genetics and Evolutionary Computation (SAGE) which brings together researchers from population genetics and evolutionary computation. The studentship is locally associated with the Automated Scheduling, OptimisAtion and Planning (ASAP) research group, one of the five main Research Groups within the School of Computer Science at Nottingham.
For further information, please contact,
- Per Kristian Lehre <PerKristian.Lehre@nottingham.ac.uk>
- http://www.cs.nott.ac.uk/~pkl
and see
- http://www.jobs.ac.uk/job/AJW968/10-fully-funded-phd-studentships-in-the-school-of-computer-science/
- http://www.project-sage.eu
This message and any attachment are intended solely for the addressee
and may contain confidential information. If you have received this
message in error, please send it back to me, and immediately delete it.
Please do not use, copy or disclose the information contained in this
message or in any attachment. Any views or opinions expressed by the
author of this email do not necessarily reflect the views of the
University of Nottingham.
This message has been checked for viruses but the contents of an
attachment may still contain software viruses which could damage your
computer system, you are advised to perform your own checks. Email
communications with the University of Nottingham may be monitored as
permitted by UK legislation.
------------------------------
Message: 3
Date: Sat, 20 Dec 2014 17:35:22 +0100
From: L. Kuszner <kuszner@eti.pg.gda.pl>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] CFP: FCT 2015, 20th International Symposium on
Fundamentals of Computation Theory
Message-ID:
<a61af533af4a5e7d9e47e8c810ceb363.squirrel@eclipse.eti.pg.gda.pl>
Content-Type: text/plain;charset=iso-8859-2
*** Call for Papers ***
20th International Symposium on Fundamentals of Computation Theory (FCT 2015)
August 17-19, 2015, Gdansk, Poland
http://sites.google.com/site/fct2015gdansk/
Authors are invited to submit original research papers in all areas
related to the Foundations of Computer Science (algorithms, formal
methods, emerging fields of study).
Submissions should be made via the conference website, no later
than April 25, 2015 (anytime in the world). No simultaneous submission to
other conferences with published proceedings is allowed.
* About FCT *
FCT is a biennial series of conferences in the field of theoretical
computer science. It was established in 1977 for researchers interested in
all aspects of theoretical computer science, and in particular
algorithms, complexity, formal and logical methods.
The 20th edition of FCT will be held in Gdansk, a 1000-year old city on
the Baltic coast in northern Poland, with a medieval Old Town
picturesquely set on the banks of the Motlawa River.
The invited speakers will be: Marek Karpinski, Peter Widmayer, and Antonin
Kucera.
* Important dates *
Submission deadline: April 25, 2015
Notification to authors: June 4, 2015
Symposium: August 17-19, 2015
* Scope *
The program committee is soliciting original and significant research
contributions to the Fundamentals of Computation Theory, including (but
not limited to):
Algorithms:
- algorithm design and optimization
- approximation, randomized, and heuristic methods
- circuits and boolean functions
- combinatorics and analysis of algorithms
- computational algebra
- computational complexity
- computational geometry
- online algorithms
- streaming algorithms
- distributed and parallel computing
Formal methods:
- algebraic and categorical methods
- automata and formal languages
- computability and nonstandard computing models
- database theory
- foundations of concurrency and distributed systems
- logics and model checking
- models of reactive, hybrid and stochastic systems
- principles of programming languages
- program analysis and transformation
- specification, refinement and verification
- security
- type systems
Emerging fields:
- ad hoc, dynamic and evolving systems
- algorithmic game theory
- computational biology
- foundations of cloud computing and ubiquitous systems
- quantum information and quantum computing
* Submission *
Papers must be submitted electronically in PDF format via EasyChair, using
the link provided on the conference website. Submissions should consist of
the following elements:
- a cover page containing: the title of the paper, the names and
affiliations of all the authors and an abstract of at least one paragraph
detailing the main contributions of the paper,
- a self-contained exposition of the contribution of the paper of at most
11 pages length (excluding the cover page and references) in A4 format,
typeset in at least 11pt font, with standard line spacing and reasonable
page margins.
* Publication *
Conference proceedeings will be published in the Springer "Lecture Notes
in Computer Science" series. Selected papers will be invited to a special
issue of the journal "Discrete Mathematics & Theoretical
Computer Science", devoted to FCT'15. It is required that each accepted
paper be presented at the conference by one of its authors.
* Program Committee *
Per Austrin, KTH Royal Institute of Technology, Stockholm
Christel Baier, Technische Universitat Dresden
Marcin Bienkowski, University of Wroclaw
Tomas Brazdil, Masaryk University, Brno
Luis Caires, Universidade Nova de Lisboa
Thomas Colcombet, CNRS and Universite Paris Diderot
Marek Cygan, University of Warsaw
Stephane Demri, CNRS and ENS Cachan
Dariusz Dereniowski, Gdansk University of Technology
Konstantinos Georgiou, University of Waterloo
Radu Grosu, Vienna University of Technology
Rolf Klein, University of Bonn
Barbara Konig, University of Duisburg-Essen
Adrian Kosowski, Inria and Universite Paris Diderot (co-chair)
Dan Kral, University of Warwick
Leonid Libkin, University of Edinburgh
Andrzej Murawski, University of Warwick
Jelani Nelson, Harvard University
Gennaro Parlato, University of Southampton
Andrzej Pelc, Universite du Quebec en Outaouais
Guido Proietti, University of L'Aquila
Andrzej Proskurowski, University of Oregon
Stanislaw Radziszowski, Rochester Institute of Technology
Davide Sangiorgi, Inria and University of Bologna
Thomas Sauerwald, University of Cambridge
Pawel Sobocinski, University of Southampton
Andrzej Szepietowski, University of Gdansk
Wojciech Szpankowski, Purdue University
Igor Walukiewicz, CNRS and Universite de Bordeaux (co-chair)
Pawel Zylinski, University of Gdansk
*************************
------------------------------
Message: 4
Date: Sun, 21 Dec 2014 22:54:09 +0100
From: David Pisinger <pisinger@man.dtu.dk>
To: <dmanet@zpr.uni-koeln.de>
Subject: [DMANET] EURO 2015 in Glasgow --- 2nd Call for Papers
Message-ID: <54974181.4090705@man.dtu.dk>
Content-Type: text/plain; charset="utf-8"; format=flowed
EURO 2015
27th European Conference on Operational Research,
July 12-15, 2015, University of Strathclyde, Glasgow, UK
http://www.euro2015.org/
Second CALL FOR PAPERS
The next European Conference on Operational Research, EURO 2015:
Operational Research In Practice, will take place at the University of
Strathclyde's new Technology and Innovation Centre in Glasgow. It is
the place to present your work and find out about other cutting edge
ideas emerging from the Operational Research community. Glasgow is
very lively city, and we have a great social programme to look forward
to.
Researchers, academics, practitioners, and students interested in any
branch of Operational Research, mathematical modelling or economic
analysis are invited to submit abstracts or organise sessions.
The deadline for abstract submissions is March 16, 2015, but if you
are interested in organising a session then you should contact the
Programme Committee. More information is on the website, including
details of the main topical areas, the Programme and Organising
Committee members, and details of how to submit your abstract.
Submit your Abstract now: http://www.euro-online.org/conf/euro27/.
Event Deadlines
Abstracts:
Abstract Submission: OPEN
Abstract Submission Deadline: Monday, March 16, 2015
Registration:
Registration and Accommodation Booking: OPEN
Early Bird Deadline: Monday, April 20, 2015
Registration Deadline: Friday, May 8, 2015
Plenary Speakers Announced:
R. Tyrrell Rockafellar (University of Washington):
"Convex analysis, stochastic programming, and finance"
Sir Alan Wilson (University College London):
"Public policy & governance, sustainable cities"
M. Grazia Speranza (University of Brescia):
"Trends in transportation and logistics"
Further news about the programme and key speakers will be announced soon.
We look forward to welcoming you to our very exciting conference in Glasgow.
David Pisinger, Technical University of Denmark
PC chair of EURO-2015
----
Conference Secretariat
c/o MCI UK Ltd
Suite 4.1, Turnberry House
175 West George Street
Glasgow
G2 2LB
Tel: +44 (0) 141 202 2888
Twitter: @EUROonline_News
Email: euro2015@mci-group.com
Web: www.euro2015.org
------------------------------
Message: 5
Date: Mon, 22 Dec 2014 04:45:41 +0300
From: "The International Conference on Digital Information Processing,
Data Mining, and Wireless Communications (DIPDMWC2015)"
<dipdmwc15@sdiwc.net>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] CFP: DIPDMWC * Jan. 28-30, 2015 * Dubai, UAE
Message-ID: <1b16810af22e330e32018ee3fc4956ed.squirrel@sdiwc.net>
Content-Type: text/plain;charset=iso-8859-1
[Apologies for cross-posting. Please forward to anybody who might be
interested]
=*=*=*=*=*=*=*=*=*=*=*=*=*=*=*=*=*=*=*=*=*=*
CALL FOR PAPERS:
[DIPDMWC2015] The International Conference on Digital Information
Processing, Data Mining, and Wireless Communications
http://sdiwc.net/conferences/dipdmwc2015/
dipdmwc15@sdiwc.net
January 28-30, 2015 - Dubai, UAE
=*=*=*=*=*=*=*=*=*=*=*=*=*=*=*=*=*=*=*=*=*=*
DIPDMWC2015 will be held over three days, with presentations delivered
by researchers from the international community, including presentations
from keynote speakers and state-of-the-art lectures.
TOPICS:
=*Digital Information Processing
- Adaptive Signal Processing
- Parallel Programming & Processing
- Artificial Intelligence
- Expert Systems
- Image Processing
- Information Security and Cryptography
- Modulation, Coding, and Channel Analysis
- Multimedia Signal Processing
- Bioinformatics & Biomedical Imaging
- Biomedical Signal Processing
- Natural Language Processing
- Neural Networks and Genetic Algorithms
- Computer-Aided Surgery
- Data Compression and Watermarking
- Speech Recognition, Analysis and Synthesis
- Energy Minimization in Cluster-Based Wireless Sensor Networks
- Biometric and Pattern Recognition
- Video Compression and Streaming
- Face Recognition and High-Resolution Imaging
- Object Detection, Recognition and Categorization
- Network and Cyber Security
- Data Modeling for Cloud-Based Networks
- E-Learning, E-Commerce, E-Marketing, E-Banking
=*Data Mining
- Data Mining Techniques
- Ethics of Data Mining
- Risk Management and Analysis
- Data Classification and Clustering
- Abnormally and Outlier Detection
- Feature Extraction and Data Reduction
- Multi-Task Learning
- Optimization Techniques
- Data Cleaning and Processing
- Text and Web Mining
- Data Mining for Complex Dataset
- Data Mining for Network/Cyber Security
- Data Mining for Customer Retention
- Data Mining for Climate Change and Impacts
- Data Mining for Business Intelligent
- Data Mining for Social Network Analysis
- Data Mining for Network Intrusion Detection
- Data Mining for Traffic Control
- Online Algorithms for Data Mining
- Data Mining and Cloud Computing
=*Wireless Communications
- Energy Minimization in Cluster-Based Wireless Sensor Networks
- Bioinformatics and Scientific Computing
- Coding and Modulation
- Mobile IP Networks/ Ad-hoc Networks
- Vehicular Wireless Networks
- Security and Robustness in Wireless Networks
- Wireless Sensor Networks
- Network Management
- Wi-Fi and Wi-MAX B3G/ 4G Wireless Networks
- Wireless Local Area Networks
- Bluetooth and Personal Area Networks
- Wireless System Architecture
- Mobile Management in Wireless Networks
- Mobile Database Access and Design
- IP Multimedia Sub-Systems
- Key Management Protocols
- Mobile/ Wireless Network Modeling and Simulation
- Mobile / Wireless Network Planning
- Wireless Network Standard and Protocols
- Digital Right Management and Multimedia Protection
=*=*=*=*=*=*=*=*=*=*=*=*=*=*=*=*=*=*=*=*=*=*
=*IMPORTANT DATES*=
- Submission Date: The submission is open from now until Jan. 08, 2015
- Notification of Acceptance: 2-3 weeks from the submission date
- Camera Ready Submission: Open from now until Jan. 18, 2015
- Last Day for Registration: Open from now until Jan. 18, 2015
=*=*=*=*=*=*=*=*=*=*=*=*=*=*=*=*=*=*=*=*=*=*
=*Invited Keynote Speaker*=
Prof. Keith A. Teague, Oklahoma State University, United State
=*Program Committees*=
* General Chair
Dr. Mohammad V. Malakooti, Islamic Azad University (IAU), Dubai
* Program Chair
Dr. Jacek Stando, Lodz University of Technology, Poland
* Program Co-Chairs
Dr. Yoshiro Imai, Kagawa University, Japan
Dr. Mohammad Salman, Mevlana University, Turkey
* Proceedings Chair
Dr. Jan Platos, VSB-Technical University of Ostrava, Czech Republic
* Publicity Chairs
Dr. Mazdak Zamani, Universiti Teknologi Malaysia, Malaysia
Dr. Faraja Igira, The Institute of Finance Management, Tanzania
* Deputy Chair and Head of Organizing Committee
Dr. Muhammad Ehsan Rana, The Asia Pacific University of Technology and
Innovation (APU), Malaysia
=*=*=*=*=*=*=*=*=*=*=*=*=*=*=*=*=*=*=*=*=*=*
WE ARE SINCERELY LOOKING FORWARD TO SEE YOU IN DUBAI IN JAN. 2015
Aya Akiyama
www.sdiwc.net
=*=*=*=*=*=*=*=
------------------------------
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 82, Issue 22
**************************************
No comments:
Post a Comment