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. DCM 2015 (Cali, Colombia): Deadline Extension. (S Barry Cooper)
2. Assistant Professor in Computer Science (Rolf Fagerberg)
3. PhD Opportunities in Computer Science and Applied Mathematics
in Australia (The University of Newcastle) (Pablo Moscato)
4. Logistics Analyst - Port of Dover (Jesse O'Hanley)
----------------------------------------------------------------------
Message: 1
Date: Sat, 1 Aug 2015 13:10:55 +0100 (BST)
From: S Barry Cooper <pmt6sbc@maths.leeds.ac.uk>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] DCM 2015 (Cali, Colombia): Deadline Extension.
Message-ID: <alpine.GSO.1.10.1508011310140.6450@amsta>
Content-Type: TEXT/PLAIN; CHARSET=UTF-8
======================================================
FINAL CALL FOR PAPERS -- DCM 2015
11th International Workshop on Developments in Computational Models
A satellite event of ICTAC 2015 - http://www.ictac2015.co
October 28, 2015, Cali, Colombia
http://dcm-workshop.org.uk/2015/
DEADLINE FOR SUBMISSION OF EXTENDED ABSTRACTS (5 pages): AUGUST 17, 2015
======================================================
Several new models of computation have emerged in the last few years, and
many developments of traditional computational models have been proposed
with the aim of taking into account the new demands of computer systems
users and the new capabilities of computation engines. A new computational
model, or a new feature in a traditional one, usually is reflected in a
new family of programming languages, and new paradigms of software
development.
DCM 2015 is the eleventh in a series of international workshops focusing
on new computational models. The aim of this workshop is to bring together
researchers who are currently developing new computational models or new
features for traditional computational models, in order to foster their
interaction, to provide a forum for presenting new ideas and work in
progress, and to enable newcomers to learn about current activities in
this area.
DCM 2015 will be a one-day satellite event of ICTAC 2015, the Twelfth
International Colloquium on Theoretical Aspects of Computing.
== TOPICS OF INTEREST
Topics of interest include all abstract models of computation and their
properties, and their applications to the development of programming
languages and systems:
- functional calculi: lambda-calculus, rho-calculus, term and graph
rewriting;
- quantum computation, including implementations and formal methods in
quantum protocols;
- probabilistic computation and verification in modeling situations;
- chemical, biological and bio-inspired computation, including spatial
models, self-assembly, growth models;
- models of concurrency, including the treatment of mobility, trust, and
security;
- infinitary models of computation;
- information-theoretic ideas in computing;
- relative and higher type computation.
== IMPORTANT DATES
- Submission Deadline for Extended Abstracts: August 17 (extended)
- Notification: 13 September
- Pre-proceedings version due: 5 October
- Workshop: 28 October
- Submission Deadline for EPTCS Proceedings: 7 December
== INVITED SPEAKERS
Mauricio Ayala Rincón, Universidade de Brasilia (Brazil).
Gilles Dowek, INRIA (France).
== SUBMISSIONS
Submit your paper in PDF format via the conference EasyChair submission
page:
https://www.easychair.org/conferences/?conf=dcm2015
Submissions should be an abstract of at most 5 pages, written in English.
Simultaneous submission to journals, conferences or other workshops is not
permitted. Please use the EPTCS macro package and follow the instructions
of EPTCS, following the EPTCS style:
http://style.eptcs.org/
A submission may contain an appendix, but reading the appendix should not
be necessary to assess its merits. After the workshop authors are invited
to submit a full paper of their presentation. Accepted contributions will
appear in an issue of EPTCS.
== PROGRAM COMMITTEE:
Mario Benevides (Brazil)
Luís Caires (Portugal)
Ugo Dal Lago (Italy)
Nachum Dershowitz (Israel)
Jérôme Feret (France)
Marcelo Frias (Argentina)
Russ Harmer (France)
Ivan Lanese (Italy)
Radu Mardare (Denmark)
Elvira Mayordomo (Spain)
César A. Muñoz (USA) - chair
Jorge A. Pérez (The Netherlands) - chair
Andrés Sicard-Ramírez (Colombia)
Alexandra Silva (The Netherlands)
Daniele Varacca (France)
--
Jorge A. Pérez
Assistant Professor
Johann Bernoulli Institute for Mathematics and Computer Science
University of Groningen
Groningen, The Netherlands
URL: http://www.jorgeaperez.net
------------------------------
Message: 2
Date: Sun, 2 Aug 2015 00:12:47 +0200
From: Rolf Fagerberg <rolf@imada.sdu.dk>
To: <dmanet@zpr.uni-koeln.de>
Subject: [DMANET] Assistant Professor in Computer Science
Message-ID: <alpine.DEB.2.10.1508020000460.29526@login4.imada.sdu.dk>
Content-Type: text/plain; format=flowed; charset="US-ASCII"
ASSISTANT PROFESSOR IN COMPUTER SCIENCE
The Department of Mathematics and Computer Science at the University of
Southern Denmark (SDU), Odense, invites applications for a position as
assistant professor in computer science. The appointment lasts for three
years and is expected to start by 1 March 2016. Contingent on successful
completion of a lecturer training programme and positive performance
evaluation, a position for associate professor is normally opened when
the appointment ends, for which the assistant professor can apply.
The successful applicant is expected to have a PhD in computer science
and a strong track record of research at a high international level, in
an area that complements or supplements our existing research
activities. In particular, areas interesting to us include (but are not
limited to) the following: 1) Database Systems?? 2) Concurrent and
Distributed Systems?? 3) Data Mining, for instance in biological and
health based settings.
In addition to research the applicant must be able to teach and advise
in computer science at all levels (undergraduate through PhD) as well as
teach in a broad range of core computer science areas at the
undergraduate level.
Fluency in English is required. Knowledge of Danish is not a
prerequisite for application. More English than Danish is used when
teaching in computer science, and more than half of the faculty members
in computer science are foreigners. However, the primary administrative
language at SDU is Danish and the candidate, who wishes to apply for an
associate professor position after the assistant professor appointment,
should therefore be willing to acquire Danish reading abilities within a
few years, in order to also contribute to the administrative tasks.
For further information on the department and its research and teaching
activities, see its home page or contact research leader Rolf Fagerberg,
phone: +45 28 21 17 77, email: rolf@imada.sdu.dk.
To apply, follow the link to the full call at:
http://www.sdu.dk/en/servicenavigation/right/ledige_stillinger
The deadline for application is September 15, 2015.
--
Rolf Fagerberg Email: rolf@imada.sdu.dk
Department of Mathematics and Web: http://www.imada.sdu.dk/~rolf
Computer Science Phone (office): +45 6550 2382
University of Southern Denmark Phone (dept.): +45 6550 2387
Campusvej 55, DK-5230 Odense M Phone (home): +45 6475 1006
Denmark Phone (mobile): +45 2821 1777
------------------------------
Message: 3
Date: Mon, 3 Aug 2015 07:13:06 +0000
From: Pablo Moscato <pablo.moscato@newcastle.edu.au>
To: "dmanet@zpr.uni-koeln.de" <dmanet@zpr.uni-koeln.de>
Subject: [DMANET] PhD Opportunities in Computer Science and Applied
Mathematics in Australia (The University of Newcastle)
Message-ID:
<SIXPR04MB045143D44CDB99D9E4E907BDC770@SIXPR04MB045.apcprd04.prod.outlook.com>
Content-Type: text/plain; charset="iso-8859-1"
>From Prof. Pablo Moscato
Founding Director at Centre for Bioinformatics, Biomarker Discovery and Information-based Medicine
https://www.newcastle.edu.au/profile/pablo-moscato
We have several research programs related to Big Data analytics, machine learning, machine teaching and
artificial intelligence, evolutionary computation, theoretical computer science and applications of computer science in the social sciences.
Our methodologies are based on Discrete Applied Mathematics and a highly interdisciplinary approach.
http://theconversation.com/shakespeare-and-cancer-diagnoses-how-bard-can-it-be-15381
Our university has been the only academic institution that had the highest rank in Australia
in Applied Mathematics in two consecutive Excellence in Research Australia exercises of 2010 and 2012.
We welcome your ideas and feel free to suggest potential areas of interest.
Cut-off date is August 31st for this great opportunity to study in a vibrant Australian city on the beach!
See
http://www.youtube.com/watch?v=ukQnPrxR4Cg
for a lively video about our city.
For more information about the application forms and requirements see:
https://www.newcastle.edu.au/research-and-innovation/graduate-research/phd-and-research-degrees/apply-now
Prof. Pablo Moscato - Australian Research Council Future Fellow
Priority Research Centre for Bioinformatics,
Biomarker Discovery and Information-based Medicine (CIBM)
LinkedIn - https://au.linkedin.com/pub/pablo-moscato/2b/5/4
School of Electrical Engineering and Computer Science,
Faculty of Engineering and Built Environment,
The University of Newcastle, Callaghan, NSW 2308, Australia
Phone: +61 (2) 49216056
Email: Pablo.Moscato@newcastle.edu.au;
URL: https://www.newcastle.edu.au/profile/pablo-moscato
------------------------------
Message: 4
Date: Mon, 3 Aug 2015 14:23:38 +0100
From: "Jesse O'Hanley" <j.ohanley@kent.ac.uk>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] Logistics Analyst - Port of Dover
Message-ID: <55BF6B5A.4010209@kent.ac.uk>
Content-Type: text/plain; charset=utf-8; format=flowed
We seek a qualified candidate to work on a 2-year KTP project involving
the application of simulation and optimisation methodologies to drive
long-term strategic developments at the Port of Dover. The Port of Dover
is Europe's busiest ferry port, as well as the second busiest cruise
port in the UK. The Port also operates an active cargo terminal,
importing fresh produce and other goods to supply the UK market.
The successful applicant will be based at the Port of Dover's premises
and will work closely with Port of Dover staff and a team of academics
from the Management Science Group at the Kent Business School. This is
an exciting opportunity to work at a senior level on applying
cutting-edge analytics techniques into practice at a dynamic, publically
visible, and economically important UK company
The KTP Associate will be specifically tasked with helping to frame the
Port of Dover's 10-year master plan by providing the Port with bespoke
quantitative models for optimising traffic flow and the design of a new
cargo terminal. Successful delivery of the project will enable more
efficient use of space at this highly constrained site, resulting in
reduced traffic congestion and increased revenue generation by the Port.
Applicants should ideally hold a PhD in management science / operational
research / business analytics or similar. The Associate must have an
in-depth knowledge of simulation and optimisation modelling techniques,
as well as a good understanding of data analysis and statistics. It is
essential that the Associate be a skilled programmer and have experience
in modelling and solving optimisation problems, including using
off-the-shelf simulation / optimisation packages (e.g., SIMUL8 and
CPLEX) and developing ad-hoc exact and or heuristic methods. Previous
consultancy experience is highly desirable as is well as a proven track
record of publishing.
Further Information
Job Type: Research
Contract Type: 24 Months, Fixed Term
Salary: £30,434 - £38,000 pa
Start date for applications: 03 August 2015
Closing date for applications: 04 September 2015
Interviews are to be held: 14 October 2015
Please see the links below to view the full job description and also to
apply for this post.
Informal enquiries may be directed by email to:
Dr Jesse O'Hanley | Senior Lecturer in Env. Systems Mgmt.
Kent Business School | University of Kent
+44 (0)1227 824286 | j.ohanley@kent.ac.uk
------------------------------
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 90, Issue 2
*************************************
No comments:
Post a Comment