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. [Highlights of Logic, Games and Automata 2016]: Call for
Presentations (Thomas Schwentick)
2. Postdoc and Phd student positions in Aalto University
(Oulasvirta Antti)
3. SIGEVO Plenary Lecture, GECCO 2016: Stephanie Forrest
(Per Kristian Lehre)
4. Funded PhD project in graph theory (Kristina Vuskovic)
5. [15th AdHoc-Now] [July 4th to July 6th Lille, FRANCE] Online
registration now available (Abdoul Aziz Mbacke)
6. PhD position in Nancy (France) (Bernardetta Addis)
----------------------------------------------------------------------
Message: 1
Date: Mon, 9 May 2016 20:11:30 +0200
From: Thomas Schwentick <thomas.schwentick@udo.edu>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] [Highlights of Logic, Games and Automata 2016]:
Call for Presentations
Message-ID: <C33687AE-70C0-458E-B23A-AD04AEA7912C@udo.edu>
Content-Type: text/plain; charset=utf-8
================================================================
Highlights of Logic, Games and Automata (HIGHLIGHTS 2016)
Brussels, 6-9 SEPTEMBER 2016
http://highlights-conference.org
2nd CALL FOR PRESENTATIONS
================================================================
HIGHLIGHTS 2016 is the fourth conference on Highlights of Logic, Games and Automata which aims at integrating the community working in these fields. Papers from these areas are dispersed across many conferences, which makes them difficult to follow. A visit to Highlights conference should offer a wide picture of the latest research in the field and a chance to meet everybody in the community, not just those who happen to publish in one particular proceedings volume. We encourage you to attend and present your best work, be it already published or not, at the Highlights conference.
Representative areas include, but are not restricted to: logic and finite model theory, automata theory, games for logic and verification.
The conference itself is three days long (Sept. 7-9) and it is preceeded by the Highlights tutorial day (Sept. 6). The participation costs will be modest (100 Euro with a discount for students and post-docs) and Brussels is very easy to reach.
The contributed talks are around ten minutes. Ideally, they let participants learn something new, and enable them to understand the objective/problem/question and the result, and to get an idea of the technique.
To promote excellent presentations, there will be an „Outstanding Presentation Award", the details of which will be announced later.
The program will further offer three keynotes by Meena Mahajan (Chennai), Andreas Maletti (Stuttgart), and Marc Zeitoun (Bordeaux), and two invited sessions, organised by Sławomir Lasota (Warsaw) and Anca Muscholl (Bordeaux). The tutorials will be given by Benedikt Bollig (Cachan) and Antonín Kučera (Prague).
The submission deadline is
*** JUNE 3, 2016 ***
Notifications will be sent by June 13, 2016. Registration will be possible until August 7, 2016.
You submit a proposal for a presentation, not a paper. Hence, submissions should have a single author, who is the speaker. Since we expect you to present your favorite result of the year, there should be at most one submission per speaker. The abstract, of 1-2 pages, may include a list of coauthors. There are no formal proceedings and we encourage submission of work presented elsewhere. Submissions are possible through https://easychair.org/conferences/?conf=highlights2016.
The instructions and detailed information about Highlights 2016 are available at http://highlights-conference.org.
================================================================
------------------------------
Message: 2
Date: Mon, 9 May 2016 22:09:02 +0000
From: Oulasvirta Antti <antti.oulasvirta@aalto.fi>
To: "dmanet@zpr.uni-koeln.de" <dmanet@zpr.uni-koeln.de>
Subject: [DMANET] Postdoc and Phd student positions in Aalto
University
Message-ID: <D3565889.BBA0%antti.oulasvirta@aalto.fi>
Content-Type: text/plain; charset="utf-8"
** Postdoc and PhD positions in Aalto University, Helsinki **
** Application deadline May 23 2016 **
The User Interfaces group at Aalto University is looking for a
postdoctoral scholar and a PhD student to join their team.
The positions will be placed in the User Interfaces group led by Prof.
Antti Oulasvirta. The group has a strong presence at CHI, high visibility
in international media, and strong collaborations with leading PIs around
the world. The group is funded by an European Research Council (ERC) grant
focusing on the topic of computational user interface design. The research
topics include fundamental aspects of interface optimization - model
acquisition, optimization methods, interactive support for designers, as
well as applications. The successful candidate will join an ambitious
research group that is at the forefront of this exciting research area.
The group offers a collegiate and stimulating environment as well as
access to state-of-the-art equipment.
REQUIREMENTS
We invite applications from outstanding individuals with suitable
background for example in Computer Science, Data Sciences, Human-Computer
Interaction, Machine Learning, Information Visualization, Operations
Research, Neurosciences, or Cognitive Science. An interdisciplinary
perspective and experience is valued. The successful applicant has
demonstrated excellence in one or more of the following topics:
* Optimization
* HCI, especially interaction techniques, information visualization, or
modeling.
* Machine learning
* Modeling
SALARY AND CONTRACT TERMS
The expected starting salary for postdocs is around 3,500-3,900 €/month
and for PhD students 2,500-2,800 €/month, depending on experience and
qualifications, and it will increase with responsibilities and performance
over time. The contract includes occupational health and social security
benefits. The starting date is negotiable. The position will be initially
filled for 1 year, with possible extensions max a total of 4 years.
APPLICATIONS
Apply by submitting (a) CV, (b) cover letter describing research interests
and preferred starting date, (c) two representative publications as PDFs,
(d) course transcripts from previous degrees (with grades), and (e) names
and contact information for two references. Incomplete applications are
not considered. Submit your application via email to
antti.oulasvirta@aalto.fi. We start reviewing candidates on May 23 2016,
but applications will be considered until the position is filled.
ABOUT AALTO UNIVERSITY CAMPUS AND HELSINKI
Aalto University is a new university with over a century of experience.
Created from a high-profile merger between three leading universities in
Finland – the Helsinki School of Economics, Helsinki University of
Technology and the University of Art and Design Helsinki – Aalto
University opens up new possibilities for strong multidisciplinary
education and research. The university has 20 000 students and a staff of
5 000 including 350 professors. In a recent MIT study of the world's
leading 200 universities, Aalto University was grouped among the five
rising stars. The department is located at Otaniemi campus in the Helsinki
metropolitan area, Finland. As a living and work environment, Finland
consistent ranks high in quality-of-life. Finland has been selected as the
world's best country to live in (Newsweek, 2010), and it is in the top 10
of the most highly educated nations in the world (OECD, 2013). The capital
city Helsinki has been ranked as the World's Most Livable City (Monocle,
2011). It is the 2nd happiest place in the world according to a 2007 OECD
study. For more information about living in Finland:
http://www.aalto.fi/en/about/careers/international_staff/
MORE INFORMATION
* Homepage of the PI with example papers:
http://users.comnet.aalto.fi/oulasvir/
* Group homepage: http://userinterfaces.aalto.fi
<http://userinterfaces.aalto.fi/>
* Email antti.oulasvirta@aalto.fi
------------------------------
Message: 3
Date: Tue, 10 May 2016 00:39:13 +0100
From: Per Kristian Lehre <PerKristian.Lehre@nottingham.ac.uk>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] SIGEVO Plenary Lecture, GECCO 2016: Stephanie
Forrest
Message-ID: <87d1ouol2n.fsf@gamma.cs.nott.ac.uk>
Content-Type: text/plain; charset=iso-8859-1
The Biology of Software
Stephanie Forrest
Regents Distinguished Professor, University of New Mexico, USA
SIGEVO Plenary Lecture, Sunday, July 24, 2016
In Memory of John Holland
at GECCO 2016, Denver, Colorado, USA
http://gecco-2016.sigevo.org
Abstract:
Biological design principles can potentially change the way we study,
engineer, maintain, and develop large dynamic software systems. For
example, computer programmers like to think of software as the product
of intelligent design, carefully crafted to meet wellspecified goals.
In reality, large software systems evolve inadvertently through the
actions of many individual programmers, often leading to unanticipated
consequences. Because software is subject to constraints similar to
those faced by evolving biological systems, we have much to gain by
viewing software through the lens of biology. The talk will highlight
how abstractions of biological processes can lead to new computational
algorithms and engineering principles using examples from my own
research. Specifically, it will show how the biological concepts of
Darwinian evolution and immunology can be applied to problems such as
repairing software bugs and cybersecurity.
The lecture is dedicated to John H. Holland, whose lifelong study of
the mechanisms that produce adaptive behavior in complex systems left
an intellectual legacy that will guide research in intelligent and
complex systems for many years to come.
Biography:
Stephanie Forrest is the Regents Distinguished Professor of Computer
Science at the University of New Mexico in Albuquerque. She is
renowned for her work in adaptive systems, including genetic
algorithms, computational immunology, biological modeling, automated
software repair, and computer security. Her research accomplishments
include developing the first practical anomaly intrusiondetection
system; designing automated responses to cyberattacks; writing an
early influential paper proposing automatic diversity and introducing
instructionset randomization as a particular implementation;
developing noncryptographic privacyenhancing data representations;
agentbased modeling of largescale computational networks; and
recently, work on automated repair of security vulnerabilities. She
has conducted many computational modeling projects in biology, where
her specialties are immunology and evolutionary diseases, such as
influenza and cancer.
A University of Michigan alum and doctoral student of John Holland,
Prof. Forrest was awarded the NSF Presidential Young Investigator
Award in 1991, the IFIP TC2 Manfred Paul Award for Excellence in
Software in 2009, and the ACM AAAI Allen Newell Award in
2011. She is an I.E.E.E. Fellow. She has contributed exemplary
leadership to the Evolutionary Computation community, SIGEVO and
GECCO. She served as ICGA Chair in 1993, was elected a Senior Fellow
of the International Society for Genetic and Evolutionary Computation
in 2003, shared the ACM SIGEVO GECCO Impact Award in 2009 (for a paper
published in 1999), shared the gold award in the 2009 HUMIES
competition and the bronze award in 2012 and served on the editorial
board of Evolutionary Computation. An outstanding ambassador for
evolutionary computation, she has won highly regarded paper awards at
the International Conference on Software Engineering (2009 and 2012),
held an appointment as Senior Science Advisor for Communication and
Information Policy at the U.S. Dept. of State (20132014), cochaired
the Science Board of the Santa Fe Institute (20102013, was a member
of the DARPA Information Science and Technology (ISAT) advisory group
(20012004) and held a Jefferson Science Fellowship of the USA
National Academies of Science and Engineering (20132014).
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: 4
Date: Tue, 10 May 2016 06:31:25 +0000
From: Kristina Vuskovic <K.Vuskovic@leeds.ac.uk>
To: "dmanet@zpr.uni-koeln.de" <dmanet@zpr.uni-koeln.de>
Subject: [DMANET] Funded PhD project in graph theory
Message-ID:
<VI1PR03MB15331A4FAA987BA90DCF1FDCD0710@VI1PR03MB1533.eurprd03.prod.outlook.com>
Content-Type: text/plain; charset="iso-8859-1"
School of Computing, University of Leeds is funding up to 6 PhD projects,
one of them in
Structure of hereditary graph classes and its algorithmic consequences.
Application deadline: June 17, 2016
For further information please see:
------------------------------
Message: 5
Date: Tue, 10 May 2016 09:17:16 +0200 (CEST)
From: Abdoul Aziz Mbacke <aziz.mbacke@inria.fr>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] [15th AdHoc-Now] [July 4th to July 6th Lille,
FRANCE] Online registration now available
Message-ID:
<625237159.75475917.1462864636402.JavaMail.zimbra@inria.fr>
Content-Type: text/plain; charset=utf-8
For accepted papers to be published in the ADHOC-NOW 2016 Conference Proceedings an author of an accepted paper is required to register for the conference at the full rate and the paper must be presented by an author of that paper at the conference, unless the TPC Chair grants permission for a substitute presenter arranged in advance of the event and who is qualified both to present and answer questions.
The full registration fees includes for all packages:
* Lunches and Breaks from July 4 to 6, 2016
* A gala dinner July 5, 2016
* A cocktail July 4, 2016
* FIT-IoT Lab Tutorial
* Conference bag, containing the official conference material
It is possible to join only the tutorial of Wednesday, July 6th – price: 110 euros (includes the breaks and the lunch)
Travel and hotel accommodation costs are not included and are the responsibility of each conference participant.
Registration (Early rates): May 31, 2016
* Student: Early Registration 300€ – Late Registration 370€
* Regular: Early Registration 405€ – Late Registration 500€
* Industrial: Early Registration 600€ – Late Registration 650€
* FIT-IoT Tutorial only: 110€
For further information please visit: https://project.inria.fr/AdHocNow2016/authors/registration/
------------------------------
Message: 6
Date: Tue, 10 May 2016 10:04:15 +0200 (CEST)
From: Bernardetta Addis <bernardetta.addis@univ-lorraine.fr>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] PhD position in Nancy (France)
Message-ID:
<598058337.9078639.1462867455137.JavaMail.zimbra@univ-lorraine.fr>
Content-Type: text/plain; charset=utf-8
A PhD financed by the University of Lorraine, Nancy (France), is available.
The PhD project is the result of the collaboration between two laboratories in Nancy: LRGP and LORIA, and Università di Roma Tor Vergata (Italy).
The financing will be for 3 years, starting from October 2016.
To obtain the double title (Italian and French), it is necessary to participate to the Italian competition for the PhdD school in Computer science, control and geoinformation at Università di Roma Tor Vergata.
The application for the Italian competition must be sent before the 30th of May (we can provide assistance in order to produce the documents)
Below you can find a description of the thesis.
For any additional questions, you can contact:
Veronica Piccialli ( veronica.piccialli@uniroma2.it )
Bernardetta Addis ( bernardetta.addis@loria.fr ), co-director of the thesis with Christophe Castel (LRGP - Nancy)
Veronica Piccialli and Bernardetta Addis
-----------------------------------------------------------
Mixed Integer Nonlinear programming for membrane system Design
Introduction
Membrane gas separation processes are currently applied in numerous industrial sectors (energy,
chemistry, pharmacy, electronics, aeronautics) [B2004] and are considered as one the most
attractive technology for the development of sustainable processes for industries [H2008, TR2005].
Membrane separations indeed combine a series of key advantages: continuous operation without a
regeneration step (simple process), no phase change (energy efficient process), compact units due
to the large specific surface area of modules (intensified process), physical separation process
without chemical reactions involved and without wasted chemicals losses (environmental friendly
process) [HK1997].
The design of membrane gas separations processes for a target application has received
considerable attention for decades [B2004, H2008, EEA1998]. A state of the art analysis shows that
the separation performances of a single membrane module can, in a large majority of cases, be
correctly predicted through a standard chemical engineering modelling and simulation approach
[EEA1998, KKS2000]. Nevertheless, the achievement of the target process performances (i.e.
product purity and recovery, energy efficiency, productivity) often requires multistage processes to
be designed, including recycling loops [B2004, KM2000, B2002]. The resulting process architecture
can be complex and the identification of the optimal design (number of stages, number and location
of recycling loops) addresses a formidable computational challenge [KKS2000, KM2000].
>From an optimization point of view, the design of membrane gas separations processes can be
modelled as a Mixed Integer Nonlinear Programming (MINLP) problem. Continuous variables and
constraints allow to model a single membrane behaviour, and discrete variables are necessary to
parametrize the number and connection of different membranes (and eventually the type of
membrane involved). In recent years, some works addressed the problem of membrane design
using MINLP models [QH2000SWM2014], and proposing solution techniques, but all of them
impose strong restrictions on the possible design and/or focus on a specific application.
Defining a suitable MINLP model able to represent all the spectrum of interesting configurations is
already a challenge, and to the best of our knowledge there is no work addressing this issue.
Effectively solving the design problem asks for finding an appropriate algorithm to solve the
resulting optimization model. MINLP is NPhard, and state of the art solvers either require some
hypothesis (as convexity or structure of the problem) or are able to solve only small size instances.
All the existing algorithms for solving MINLP have some limitations, for example some can deal only
with convex optimization, others ask for algebraic representation of the constraints and the
objective function and impose some limitation on their form. Problems that can be solved at
optimality are still of quite small size, compared to the ones solved by Mixed Integer Programming
solvers and Nonlinear Programming solvers.
For these reasons, researchers deal with MINLP tailoring and combining existing tools, exploiting
specific knowledge on the considered system. This allows to reduce the search space, improving the
algorithm performances in terms of computational time and quality of the solution [Betal2012, FCRL2008, LLPV2005].
Objective
The objective of the thesis is to develop a tailor made computer program in order to identify the
optimal multistage membrane process design (architecture) for a set of target performances (i.e.
purity, recovery, energy efficiency, cost).
To this aim adequate optimization models to describe a general membrane system and optimization
methods to find optimal or nearly optimal solutions of such models must be studied. To the best of
our knowledge, no systematic simulation and optimization tool is available today in order to achieve
this purpose.
To reach this objective a key role is played by the interdisciplinarity of the collaboration in act
between the LRGP and LORIA in Nancy and the Università di Roma "Tor Vergata", Italy.
In fact, conception and development of efficient methods for difficult MINLP problems need
combination of skills in advanced optimization techniques (LORIA, Università di Roma "Tor
Vergata") and a deep knowledge of membranes systems (LRGP).
The thesis will be codirected by Christophe Castel (LRGP Nancy), Bernardetta Addis
(LORIANancy) and Veronica Piccialli (Università di Roma "Tor Vergata").
References
[B2004] R.W. Baker (2004) "Membrane Technology and Applications" , 2nd Ed. John Wiley & Sons, Chichester, England.
[H2008] H.W. Häring (2008) "Industrial Gas Processing", Wiley VCH.
[TR2005] "Materials research for separations technologies: energy and emission reduction
opportunities", US Department Of Energy, Industrial Technologies Program, Tech Report, May 2005.
[HK1997] J.L. Humphrey, G.E. Keller (1997) "Separation Process Technology" , MacGraw Hill Ed., New York.
[EEA1998] H.M. Ettouney, H.T. ElDessouky, W. Abou Waar (1998) "Separation characteristics of air by polysulfone hollow fiber membranes in series", Journal of Membrane Science, 148, 105117.
[KKS2000] S.P. Kaldis, G.C.Kapantaidakis, G.P. Sakellaropoulos (2000) "Simulation of
multicomponent gas separation in a hollow fiber membrane by orthogonal collocation – Hydrogen recovery from refinery gases", Journal of Membrane Science, 173, 6171.
[KM2000] W.J. Koros, R. Mahajan (2000) "Pushing the limits on possibilities for large scale gas separation: which strategies?", Journal of Membrane Science, 175, 181196.
[B2002] R. W. Baker (2002) "Future directions of membrane gas separation technology" , Industrial & Engineering Chemistry Research, 41, 1393.
[QH2000] R. Qi, M.A. Henson (2000) " Membrane system design for multicomponent gas mixtures via mixedinteger nonlinear programming", Computers & Chemical Engineering, 24, 27192737.
[SWM2014] M. Skuborowski, J. Wessel, W. Marquardt (2014) "Efficient OptimizationBased Design of MembraneAssisted Distillation Processes", Industrial & Engineering Chemistry Research, 53, 1569815717.
[Betal2012] C. Bragalli, C. D'Ambrosio, J. Lee, A. Lodi, P. Toth (2012) "On the optimal design of water distribution networks: a practical MINLP approach", Optimization and Engineering, 13, 219–246.
[FCRL2008] T. Farkas, B. Czuczai, E. Rev, Z. Lelkes (2008) "New MINLP model and modified outer approximation algorithm for distillation column synthesis", Industrial & Engineering Chemistry
Research, 47(9), 3088–3103.
[LLPV2005] G. Liuzzi, S. Lucidi, V. Piccialli, M. Villani (2005) "Design of induction motors using a mixed variable approach. Computational Management Science", 2 (3), 213228.
------------------------------
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 99, Issue 10
**************************************
No comments:
Post a Comment