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. VCLA International Student Awards (Robert Ganian)
2. Deadline extension: CONTENT 2015 || March 22 - 27, 2015 -
Nice, France (Cristina Pascual)
3. MAPSP2015 - First Call for Papers (Frits Spieksma)
4. Last CFP: 6th NIPS workshop on Discrete Optimization in
Machine Learning (Stefanie Jegelka)
----------------------------------------------------------------------
Message: 1
Date: Fri, 17 Oct 2014 14:42:38 +0200
From: Robert Ganian <rganian@gmail.com>
To: DMANET@zpr.uni-koeln.de
Subject: [DMANET] VCLA International Student Awards
Message-ID:
<CADesQ5Ez7gyv094nYogFpJffP0eTbWc5L-8S+Ddm9us7=mQ78w@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: Sat, 18 Oct 2014 08:32:37 +0200
From: Cristina Pascual<cris.pascual.gonzalez@gmail.com>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] Deadline extension: CONTENT 2015 || March 22 - 27,
2015 - Nice, France
Message-ID: <201410180632.s9I6WbuW007271@smtp.upv.es>
Content-Type: text/plain; charset=us-ascii
INVITATION:
=================
Please consider to contribute to and/or forward to the appropriate
groups the following opportunity to submit and publish original
scientific results to CONTENT 2015.
The submission deadline is November 12, 2014.
Authors of selected papers will be invited to submit extended article
versions to one of the IARIA Journals: http://www.iariajournals.org
=================
============== CONTENT 2015 | Call for Papers ===============
CALL FOR PAPERS, TUTORIALS, PANELS
CONTENT 2015, The Seventh International Conference on Creative Content
Technologies
March 22 - 27, 2015 - Nice, France
General page: http://www.iaria.org/conferences2015/CONTENT15.html
Call for Papers: http://www.iaria.org/conferences2015/CfPCONTENT15.html
Submission page: http://www.iaria.org/conferences2015/SubmitCONTENT15.html
Contributions:
- regular papers [in the proceedings, digital library]
- short papers (work in progress) [in the proceedings, digital library]
- ideas: two pages [in the proceedings, digital library]
- extended abstracts: two pages [in the proceedings, digital library]
- posters: two pages [in the proceedings, digital library]
- posters: slide only [slide-deck posted at www.iaria.org]
- presentations: slide only [slide-deck posted at www.iaria.org]
- demos: two pages [posted at www.iaria.org]
- doctoral forum submissions: [in the proceedings, digital library]
Proposals for:
- mini-symposia: see http://www.iaria.org/symposium.html
- workshops: see http://www.iaria.org/workshop.html
- tutorials: [slide-deck posted on www.iaria.org]
- panels: [slide-deck posted on www.iaria.org]
Submission deadline: November 12, 2014
Sponsored by IARIA, www.iaria.org
Extended versions of selected papers will be published in IARIA
Journals: http://www.iariajournals.org
Print proceedings will be available via Curran Associates, Inc.:
http://www.proceedings.com/9769.html
Articles will be archived in the free access ThinkMind Digital Library:
http://www.thinkmind.org
The topics suggested by the conference can be discussed in term of
concepts, state of the art, research, standards, implementations,
running experiments, applications, and industrial case studies. Authors
are invited to submit complete unpublished papers, which are not under
review in any other conference or journal in the following, but not
limited to, topic areas.
All tracks are open to both research and industry contributions, in
terms of Regular papers, Posters, Work in progress,
Technical/marketing/business presentations, Demos, Tutorials, and Panels.
Before submission, please check and comply with the editorial rules:
http://www.iaria.org/editorialrules.html
CONTENT 2015 Topics (topics and submission details: see CfP on the site)
BASICS: Content producers/distributors
Product-innovation and creative content platforms; Creative processes;
Product and content innovation; Knowledge representation for content
creativity; Content injection, cashing, storage, and distribution;
Producing and transmitting streaming content; Content localization
services; Content and customers profiles; Documenting and content
authoring; Authorizing topic-based content; Content customization and
metadata; On-demand content; Content retrieval from archives
(alarm-based, time stamp-based); Content management solutions and
systems; Unstructured content environment; Multi-channel content
delivery/publishing strategies; Content reuse
WEBCONTENT: Web content
Architectures and frameworks for Web content ; Web content mining;
Content retrieval on multimedia Web; XML and non-XML Web content;
Ontology and semantic for processing Web content; Recommenders for Web
content; Content-driven workflow design and management; Web content
performance, accuracy, security, and reliability; Web content modeling;
Web content-based applications
SOCIAL: Tools for producing and handling social content
On-line content; Games technologies; Multi-user and mono-user games;
For-kids contents and programs; Social content and tools (YouTube,
FaceBook, etc.); Open portals (e-Democracy, e-Health, etc.); Email lists
challenges (membership, spamming, etc.); Virtual social communities;
Hybrid real and virtual reality technologies
GRAPHICS: 3D Graphics
Interactive 3D graphics; High-performance 3D graphics; Mixed and
augmented reality; Interactive on-line gaming; Animated humanoids and
complex reactive characters; 3D documents and web/multimedia;
User-interface for real-time 3D graphics and virtual environments;
Innovative 3D web applications /industry, science, medicine, technology,
culture/; 3D content creation technologies and tools; Interactive 3D
graphics for mobile devices
ANIMA: Animation/cinematography
Computer animation; Computational cinematography; Virtual videography;
Autonomous interactive characters; Traditional animation and 3D computer
animation; Re-cinematography; Casual video; Cinematography; Image
stabilization; Virtual Cinematography; Relighting through computation
MEDIMA: Medical image producing, transmission and management
Medical image devices, mechanisms and procedures; Medical imaging
systems; Medical image capture and processing; Feature extraction and
pattern recognition; Matching and computing anatomical atlases; Surface
and volume registration; Medical image analysis (static and motion
analysis); Medical image analysis (functional, metabolic); Multi-modal
image analysis; Image segmentation; Multidimensional data visualization;
Statistical methods (population-based analysis); Image guided diagnosis,
surgery and therapy; Medical image transmission and storage (protocols,
databases)
AUDIO: Audio producing, transmission and management
Audio transmission and reception systems and devices; Digital audio
transmission signal processing; Audio transmission over Internet; Audio
Multiplexing Transmission Systems; Stereo audio transmission signal;
Digital infrared audio transmission; Multi-stream and multi-path audio
transmission; Wireless-compressed digital audio transmission; Perceptual
coding for audio; Transmission and storage; Laser audio transmission;
Synchronizing video and audio transmission; Wide-band audio
transmission; Index-frame audio transmission; Digital audio transmission
rights; Noise in wireless audio transmission; Audio tools and products;
Standards
DATA: Data transmission and management
Data transmission and reception mechanisms and techniques; Enhanced
tools for video data integrity; Data mining, filtering, and reporting;
Secure data transmission; Transmission media and data encoding; Text
reading devices (super-pen, pen-elite, reading-pen); Scanned and
generated lossy (progressive) multi-page text; (Visually) lossless
mechanisms; Pricing data transmission; Differential data transmission
systems; Data transmission equipments and transmission rates;
Delay-constrained data transmission; Undersea and satellite data
transmission techniques; Performance evaluation of data transmission;
Multicast data transmission; High speed data transmission; Data
transmission control; Integrity and privacy in data transmission; Data
transmission standards
VOICE: Voice producing, transmission and management
Planning and implementing voice networks and systems; Voice transmission
systems; Voice transmission performance; Quality real-time voice
transmission; Metrics for quality of voice transmission; Stereophonic
voice transmission systems; Header compression for VoIP over WLAN; Voice
over IP solution for mobile radio interoperability; VoIP over cable TV
networks; VoIP over Wi-Max; WiFi and cellular dual mode phones and
services; Voice over WLANs and Wi-Fi to cellular roaming; Voice
transmission via the Internet; Wi-Fi voice transmission; Bluetooth-based
Ad-Hoc networks for voice transmission; Standards for voice processing
and transmission
VIDEO: Coding/Transmission/Processing
Video coding standards (H.264, SMPTE 421M, AVS-China); Video coders and
decoders; Video surveillance and privacy; Network video recorders; Video
streaming; Video data integrity (error detection, error resilience,
error concealment, tamper resistance); Motion detection, object
tracking; Distributed video coding; Video quality assessment;
Omnidirectional video; 3D video
IMAGE: Image producing, transmission and management
Model-based progressive image transmission; Wireless image transmission;
Computer generated images; Image security, scrambling, and regions of
interest; Timing requirements for image transmission; Transmission of
still and moving images; Protocols for low bit rate; Error-prone image
transmission; Energy efficient image transmission; Multi-technology
image formation; Devices for image capturing and processing (cams,
web-cams, etc.); Scanning and sampling, quantization and halftoning,
color reproduction; Image representation and rendering, display and
printing systems; Image quality assessment; Image search and sorting,
video indexing and editing; Integration of images and video with other
media; Image authentication and watermarking; Image storage, retrieval
and multimedia; Image and video databases; Generic coding of moving
pictures; Media stream packetization; Modes for archival playback;
Image-based applications; Standard for image processing; Image analysis
and segmentation; Imag
e filtering, restoration and enhancement; Image representation and
modeling; Pattern recognition
SPEECH: Speech producing, transmission and management
Tooling, architectures, components and standards; Voice modulation,
frequencies; Linguistics, phonology and phonetics; Discourse and
dialogue; Speech analysis, synthesis, coding, and recognition; Speech
enhancement and noise reduction; Speech features, production, and
perception; Speech coding and transmission; Speech signal processing;
Spoken language generation and synthesis; Speech QoS enhancement;
Speaker characterization and recognition; Spoken language resources and
annotation; Spoken/Multi-modal dialogue technology and systems; Spoken
language information extraction/retrieval; Speech transmission
technology for the aged and disabled; Audio-visual speech processing;
Biomedical applications of speech analysis; Spoken document retrieval;
Speech processing in a packet network environment; Automatic speech
recognition in the context of mobile communications; Human factors in
speech and communication systems; Automatic speech recognition and
understanding technology; Speech to text
systems; Spoken dialog systems; Multilingual language processing; New
applications of spoken language technology and systems
Committee: http://www.iaria.org/conferences2015/ComCONTENT15.html
================================================
------------------------------
Message: 3
Date: Fri, 17 Oct 2014 13:56:27 +0000
From: Frits Spieksma <Frits.Spieksma@kuleuven.be>
To: "dmanet@zpr.uni-koeln.de" <dmanet@zpr.uni-koeln.de>
Subject: [DMANET] MAPSP2015 - First Call for Papers
Message-ID:
<6EBA7D5DB982D644A83CE98C56A5BB13168B6C7A@ICTS-S-MBX13.luna.kuleuven.be>
Content-Type: text/plain; charset="iso-8859-1"
MAPSP 2015 - First Call for Papers
Twelfth Workshop on Models and Algorithms for Planning and Scheduling Problems
June 8-12, 2015
La Roche-en-Ardenne, Belgium
The site : http://www.mapsp2015.com/
MAPSP is a biennial workshop dedicated to all theoretical and practical aspects of scheduling, planning, and timetabling. Previous MAPSP meetings have been held in Menaggio, Italy (1993), Wernigerode, Germany (1995), Cambridge, UK (1997), Renesse, Netherlands (1999), Aussois, France (2001), Aussois, France (2003), Siena, Italy (2005), Istanbul, Turkey (2007), Kerkrade, Netherlands (2009), Nymburk, Czech Republic (2011), and Pont-a-Mousson, France (2013).
------------------------------------------
Submissions:
MAPSP submissions undergo a selection process based on a light refereeing by the Program Committee. MAPSP does not publish proceedings other than a conference booklet.
Hence, presenting your paper at MAPSP will not prevent you from submitting it to journals or to other conferences. Similarly, it is acceptable to submit a paper that was presented at an earlier conference.
Abstracts of 2-3 pages must be submitted using Easychair according to the guidelines at www.mapsp2015.com.
------------------------------------------
Important dates:
Submissions January 31, 2015
Notification March 7, 2015
Early registration March 28, 2015
Conference June 8-12, 2015
------------------------------------------
Invited speakers:
Onno Boxma (TU Eindhoven)
Michel Goemans (MIT)
Rolf Niedermeier (TU Berlin)
Willem-Jan Van Hoeve (Carnegie-Mellon University)
Stephan Westphal (TU Clausthal),
------------------------------------------
The program committee:
Alberto Marchetti-Spaccamela, Sapienza University of Rome (chair); Eyjolfur I. ?sgeirsson, Reykjavik University, Iceland; Sem Borst, TU Eindhoven, Netherlands; Dirk Briskorn, University of Cologne, Germany; Liliana Cucu-Grosjean, INRIA, France; Vitus J.Leung, Sandia National Lab, US; Benjamin Moseley, Washington University in St. Louis, US; Frits Spieksma, KU Leuven, Belgium; Sebastian Stiller, TU University Berlin, Germany; Jos? Verschae, Pontificia Universidad Cat?lica de Chile, Chile; Prudence W.H. Wong, University of Liverpool, UK
------------------------------------------
Organization:
Yves Crama (chair)
Frits Spieksma (chair)
Dries Goossens
Roel Leus
Michael Schyns
------------------------------
Message: 4
Date: Sat, 18 Oct 2014 12:07:38 -0700
From: Stefanie Jegelka <stefjede@googlemail.com>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] Last CFP: 6th NIPS workshop on Discrete Optimization
in Machine Learning
Message-ID:
<CAOB8VEm6Qe-ofONP2G_DVXsKCHM+81bc4KuiNg7=Pg-Y-1j2Yg@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)
------------------------------
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 13
**************************************
No comments:
Post a Comment