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. Fwd: VCLA International Student Awards (Robert Ganian)
2. CFP: NIPS workshop on Discrete Optimization in Machine
Learning (Stefanie Jegelka)
3. Associate Professors in Computer Science, Aarhus University
(Katrine Aakj?r Nielsen)
4. CFP: ACM e-Energy 2015 (vincenzo mancuso)
----------------------------------------------------------------------
Message: 1
Date: Tue, 7 Oct 2014 16:57:26 +0200
From: Robert Ganian <rganian@gmail.com>
To: DMANET@zpr.uni-koeln.de
Subject: [DMANET] Fwd: VCLA International Student Awards
Message-ID:
<CADesQ5HynkgbQfktyy5TUvVKgCtfJ2o7ZuTwsFNdPca9zGBWkA@mail.gmail.com>
Content-Type: text/plain; charset=UTF-8
The Vienna Center for Logic and Algorithms calls for the nomination of
authors of outstanding scientific works in the field of Logic and
Computer Science, for the following awards:
- Outstanding Master Thesis Award (thesis for obtaining a Masters
degree or equivalent)
- Outstanding Undergraduate Research Award (thesis or final project
for obtaining a Bachelors degree or equivalent)
In both categories, the work must make an original contribution to a
research field that can be classified as part of Logic in Computer
Science, with focus on databases and artificial intelligence,
verification, and computational logic.
The degree must have been awarded no earlier than November 1st, 2012.
Students that obtained the degree at the Vienna University of
Technology are excluded from nomination.
The committee will select a winner for each category. The winners will
be invited to Vienna to present their project and participate in a
festive award ceremony. Additionally, the Outstanding Master Thesis
Award category is accompanied by a prize of 1,200 Eur, and the
Outstanding Undergraduate Research Award by a prize of 800 Eur. The
decisions of the committee are not appealable.
For more information, please see http://logic-cs.at/award/
IMPORTANT DATES
------------------
Nomination deadline: November 15, 2014 (AoE)
Notification of decision: Mid January 2015
Award ceremony: Spring 2015 (precise date to be announced)
TOPICS OF INTEREST
------------------
Both awards recognize the author of an original contribution to a
research field that can be classified as part of *Logic in Computer
Science*, understood broadly as the use of logic as a tool that
enables computer programs to reason about the world.
The main areas of interest are:
- Databases and artificial intelligence, including subjects like
answer-set programming and Datalog, query languages based on logical
concepts (such as SQL, current XML-based languages), optimization of
queries, novel database-theoretical methods (like schema mappings,
information integration, querying ontologies), logic programming,
description logics, knowledge representation and reasoning (belief
change, abductive reasoning, multi-context systems, inconsistency
handling, incomplete knowledge, diagnosis), and AI formalisms
(argumentation, planning, preferential reasoning, decision support
systems).
- Verification, concerned with logical methods and automated tools for
reasoning about the behavior and correctness of complex state-based
systems such as software and hardware designs as well as hybrid
systems. It ranges from model checking, program analysis and
abstraction to new interdisciplinary areas such as fault localization,
program repair, program synthesis, and the analysis of biological
systems.
- Computational logic, covering theoretical and mathematical
foundations such as proof theory (cut elimination, proof mining,
interpolants), automated deduction (resolution, refutation, theorem
proving), non-classical logics (multi-valued logics, juridical
reasoning, deontic logics, modal and temporal logics), computational
complexity (complexity analysis, parameterized complexity,
decomposition methods) and constraint satisfaction (SAT, QSAT, CSP).
NOMINATION INSTRUCTIONS
------------------
Nominations must include:
* A cover page with the name and contact details of the nominated
person, the title of the work for which the person is being nominated,
category, date on which the degree was awarded (or if not applicable,
the date on which the work was submitted), and name of the university.
* An English summary of the thesis or project of maximum 3 pages,
excluding references (A4 or letter page size, 11pt font min.). The
summary must clearly state the main contribution of the work, its
novelty, and its relevance to some of the aforementioned areas of
interest.
* CV of the nominated person, including publication list (if applicable)
* An endorsement letter from a supervisor or another endorsing person,
preferably affiliated to the university to which the work was
submitted. The letter must clearly state what was the independent and
novel contribution done by the student and why the endorser believes
the student deserves the award.
* The full thesis/project
All documents should be in English, with the exception of the thesis
or project. In case the thesis or project is in a different language,
it must be accompanied by a research report in English with a maximum
length of 12 pages
excluding references (A4 or letter page size, 11pt font min.). This
report should be sufficient for the committee to evaluate the merit
and quality of the submitted work. In case such a report is provided,
the 3-page summary is
optional.
Nominations should be submitted electronically via EasyChair:
https://easychair.org/conferences/?conf=vcla2014
All documents except the full thesis should be combined (in the order
they are listed) into a single pdf file, to be submitted as "paper" in
Easychair. The full thesis should be submitted as attachment.
The submission must be accompanied by a plain text electronic abstract
of the thesis or project of at most 400 words, and three keywords.
The nominated student must always be listed as first and corresponding
author in the Easychair form. The supervisor or endorser may
optionally be included as second author (for example, in case (s)he
does the electronic submission).
AWARD COMMITTEE
------------------
Ezio Bartocci
Simone Bova
Michael Fink
Robert Ganian
Igor Konnov
Tomer Kotek
Roman Kuznets
Magdalena Ortiz (chair)
Revantha Ramanayake
Mantas Simkus
Daniel Weller
Florian Zuleger
------------------------------
Message: 2
Date: Tue, 7 Oct 2014 22:08:24 -0700
From: Stefanie Jegelka <stefjede@googlemail.com>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] CFP: NIPS workshop on Discrete Optimization in
Machine Learning
Message-ID:
<CAOB8VEk27g7cWqU-zUNX6-2QAx4iBgDFZnu5wD0NxmkvoGmNsw@mail.gmail.com>
Content-Type: text/plain; charset=UTF-8
===================================================================
Call for Papers
DISCML -- 6th Workshop on Discrete Optimization in Machine Learning
at NIPS 2014 (Montreal)
Dec 13, 2014
www.discml.cc
===================================================================
Discrete optimization problems and combinatorial structures are becoming
increasingly important in machine learning. They arise for discrete
labels with complex dependencies, structured estimators, learning with
graphs, partitions, permutations, or when selecting informative subsets
of data or features.
What are efficient algorithms for handling such problems? Can we robustly
solve them in the presence of noise? What about streaming or distributed
settings? Which models are computationally tractable and rich enough for
applications? What theoretical worst-case bounds can we show?
What explains good performance in practice?
Such questions are the theme of the DISCML workshop. It aims to bring
together theorists and practitioners to explore new applications, models
and algorithms, and mathematical properties and concepts that can help
learning with complex interactions and discrete structures.
We invite high-quality submissions that present recent results related
to discrete and combinatorial problems in machine learning, and submissions
that discuss open problems or controversial questions and observations,
e.g., missing theory to explain why algorithms work well in certain
instances but not in general, or illuminating worst case examples.
We also welcome the description of well-tested software and benchmarks.
Areas of interest include, but are not restricted to:
* discrete optimization for machine learning
* graph algorithms
* relaxations
* learning of discrete structures
* new models (e.g. diversity priors, regularization, discrete
probabilistic models)
* algorithms for large data (streaming, sketching, distributed)
* online learning
* new applications
Submissions:
Please send submissions in NIPS 2014 format (length max. 6 pages,
non-anonymous) to
submit<at>discml.cc
submission deadline: October 23, 2014.
Organizers:
Andreas Krause (ETH Zurich, Switzerland),
Jeff A. Bilmes (University of Washington, Seattle),
Stefanie Jegelka (UC Berkeley)
------------------------------
Message: 3
Date: Wed, 8 Oct 2014 06:22:40 +0000
From: Katrine Aakj?r Nielsen <katnie@cs.au.dk>
To: "dmanet@zpr.uni-koeln.de" <dmanet@zpr.uni-koeln.de>
Subject: [DMANET] Associate Professors in Computer Science, Aarhus
University
Message-ID:
<730AEE8F6672954382D438D1DFF9CF39A64282C6@SRVUNIMBX07.uni.au.dk>
Content-Type: text/plain; charset="iso-8859-1"
Associate Professors in Computer Science, Aarhus University
------------------------------------------------------------------------------
One or more positions as associate professor are available at the Department of Computer Science, Aarhus University (www.cs.au.dk) starting March 1, 2015.
The Department has research groups within "Algorithms and Data Structures", "Data-Intensive Systems", "Cryptography and Security", "Mathematical Computer Science", "Logic and Semantics", "Ubiquitous Computing and Interaction", "Computer-Mediated Activity", "Use, Design and Innovation", and "Programming Languages". Moreover, we wish to build competencies within Machine Learning.
Applicants within the areas of "Algorithms and Data Structures", "Data-Intensive systems", and "Machine Learning" are of special interest, but applicants within other research areas are also welcome.
Applicants are expected to have research experience from several years as assistant professor or similar. They must document a strong record of original research and have teaching experience at undergraduate/graduate level.
The department has a staff of 140 people including 23 full and associate professors, 2 assistant professors, 25 postdocs and 65 PhD students. The number of students is approximately 1,000.
Further information on the position can be obtained from Head of Department Lars Birkedal (birkedal@cs.au.dk).
Formalities and salary range:
Science and Technology refers to the Ministerial Order on the Appointment of Academic Staff at Danish Universities under the Danish Ministry of Science, Technology and Innovation.
The application must be in English and include a curriculum vitae, degree certificate, a complete list of publications, a statement of future research plans and information about research activities, teaching portfolio and verified information on previous teaching experience (if any). Guidelines for applicants can be found here.
Appointment shall be in accordance with the collective labour agreement between the Danish Ministry of Finance and the Danish Confederation of Professional Associations. Further information on qualification requirements and job content may be found in the Memorandum on Job Structure for Academic Staff at Danish Universities. (in Danish).
Salary depends on seniority as agreed between the Danish Ministry of Finance and the Confederation of Professional Associations.
Deadline:
All applications must be made online and received by 10.11.2014.
Please apply online here: http://www.peoplexs.com/Peoplexs22/CandidatesPortalNoLogin/ApplicationForm.cfm?VacatureID=683749&PortalID=5283
------------------------------
Message: 4
Date: Wed, 8 Oct 2014 11:16:51 +0200
From: vincenzo mancuso <vincenzo.mancuso@imdea.org>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] CFP: ACM e-Energy 2015
Message-ID:
<CABk+0Yq=B1=mof2rW0tOgHXaE6+eRnT=fZJPqhYEqrqgBrpeqg@mail.gmail.com>
Content-Type: text/plain; charset=UTF-8
CALL FOR PAPERS
ACM e-Energy 2015
The Sixth International Conference on Future Energy Systems
July 14-17, 2015, Bangalore, India
http://conferences.sigcomm.org/eenergy/2015/
Computing and communication technologies impact energy systems in two
distinct ways. The exponential growth in deployment of these
technologies has made them large-scale energy consumers. Therefore,
new architectures, technologies and systems are being developed and
deployed to make computing and networked system more energy efficient.
Additionally, and perhaps more importantly, these technologies are at
the center of the on-going revolution in next generation ?smart? and
sustainable energy systems. They measure, monitor and control energy
systems such as the smart grid; inform and shape human demand; aid in
the prediction, deployment, storage and control of energy resources;
and determine how utilities, generators, regulators, and consumers
measure, analyze, and collectively control system elements.
The sixth International Conference on Future Energy Systems (ACM
e-Energy), to be held in Bangalore, India in July 2015 aims to be the
premier venue for researchers working in the broad areas of computing
and communication for smart energy systems (including the smart grid),
and in energy-efficient computing and communication systems. By
bringing together researchers in a high-quality single-track
conference with significant opportunities for individual and small
group interactions, it will serve as a major forum for presentations
and discussions that will shape the future of this area.
We solicit high-quality papers in the area of computing and
communication for the Smart Grid and energy-efficient computing and
communications. We welcome submissions describing theoretical advances
as well as system design, implementation and experimentation. ACM
eEnergy is committed to a fair, timely, and thorough review process
providing authors of submitted papers with sound and detailed
feedback.
Relevant topics for the conference include, but are not limited to the
following:
- Advances in monitoring and control of smart homes and buildings
- Sensing, monitoring, control, and management of energy systems
- Energy-efficient computing and communication, including
energy-efficient data centers
- The impact of storage integration on the smart grid
- Electric Vehicle monitoring and control
- Distribution and transmission network control techniques
- Microgrid and distributed generation management and control
- Modeling, control, and architectures for renewable energy generation resources
- Smart grid communication architectures and protocols
- Privacy and security of smart grid infrastructure
- Innovative pricing and incentives for demand-side management
- Novel technologies to enhance reliability and robustness of energy systems
- HCI for energy monitoring, management, and awareness
- User studies and behavioral change enabled by computing and
communication technologies
- Data analytics for the smart grid and energy-efficient systems
- Modeling, management and control of variability and uncertainty in
energy supply and demand
Submissions
Three types of contributions are solicited:
- Regular papers, up to 10 pages in ACM double-column format, should
present original theoretical and/or experimental research in any of
the areas listed above that has not been previously published,
accepted for publication, or is not currently under review by another
conference or journal. Regular papers are intended to describe high
quality research work based on novel ideas that have been thoroughly
evaluated. The 10 pages limit is intended to be an upper bound and we
encourage the authors to take fewer pages if appropriate. The review
process for regular papers will include a thorough evaluation by the
program committee, opportunity for authors to respond to reviews, and
a shepherding process to ensure compliance with review comments before
the paper acceptance is finalized.
- Challenge Papers, up to 6 pages in ACM double-column format, should
present revolutionary new ideas that challenge existing assumptions
prevalent among the e-Energy research community. Challenge papers
should provide stimulating ideas or visions that may open up exciting
avenues and/or influence the direction of future research.
Descriptions of new products or evolution of existing work are not
appropriate topics for papers in this category. While an exhaustive
evaluation of the proposed ideas is not necessary, insight into and
in-depth understanding of the issues is expected. Challenges papers
will be reviewed by the program committee and will be part of the
technical program and published in the proceedings. The title of these
papers must start with the prefix "Challenge:" i.e., "Challenge: Rest
of the Title."
- Poster and Demo Abstracts, up to 2 pages in ACM double-column format
showcasing works-in-progress; accepted posters/demos will be presented
at the conference. Topics of interest are the same as research topics
listed above. Preference will be given to posters/demos where the
primary contribution is from one or more students. Additionally, the
demo abstracts should be accompanied by a third page (which will not
be published) describing the script of the demo to be presented as
well as any special resource requirements (space, networking,
electricity etc.). The title for the abstracts must have the prefix
?Poster Abstract:? or ?Demo Abstract:? as appropriate.
The submission must be in PDF format with all fonts embedded, and be
formatted according to the official ACM Proceedings format. Papers
that do not meet the size and formatting requirements will not be
reviewed. Word and LaTeX templates are available at
http://www.acm.org/sigs/publications/proceedings-templates. Please
note that you must use the ?Strict Adherence to SIGS style? template
option.
Submissions are to be made via the Easychair website at:
https://easychair.org/conferences/?conf=eenergy2015
Important Dates
Abstract Registration (Regular Papers): January 5, 2015
Manuscript Submission (Regular Papers): January 12, 2015
Manuscript Submission (Challenge Papers): January 31, 2015
Author Rebuttals Solicited (Regular Papers): February 20, 2015
Author Rebuttals Due (Regular Papers): March 1, 2015
Decision Notification (Regular Papers): April 1, 2015
Manuscript Submission (Poster/Demo): April 10, 2015
Decision Notification (Poster/Demo): April 30, 2015
ACM e-Energy conference, Bangalore, India: July 14-17, 2015
Organizing Committee
General Chairs
- Shivkumar Kalyanaraman - IBM, Australia
- Deva P. Seetharam - Independent Researcher, India
- Rajeev Shorey - IT Research Academy, DEITY, India
TPC Chairs
- Mani Srivastava - UCLA, USA
- Sarvapali D. (Gopal) Ramchurn - University of Southampton, UK
Poster/Demo Track Chairs
- Matteo Vasirani - EPFL, Switzerland
- Sid Chi-Kin Chau - Masdar Institute, Abu Dhabi, UAE
- Niranth Amogh - Huawei, India
For more details, please check the e-Energy 2015 website
(http://conferences.sigcomm.org/eenergy/2015).
--
Dr. Vincenzo Mancuso
PhD in Electronics, Computer Science and Telecommunications
Research Assistant Professor at IMDEA Networks Institute
Avenida del Mar Mediterraneo, 22
28918 Leganes (Madrid)
SPAIN
------------------------------
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 80, Issue 6
*************************************
No comments:
Post a Comment