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. Deadline extension | HUSO 2015 || October 11 - 16, 2015 - St.
Julians, Malta (Cristina Pascual)
2. >> CFP: DNCMS 2015 (6th Intl. W. on Dependable Network
Computing & Mobile Systems) in Montreal, Sept. 28-Oct. 1 <<
(Leszek T. Lilien)
3. WG 2015 call for participation (Ernst W. Mayr)
4. OR 2015: ABSTRACT DEADLINE EXTENDED (Gerhard-Wilhelm Weber)
5. One-Day Meeting in Combinatorics at Oxford (Alex Scott)
6. EURANDOM workshop on "Scheduling under Uncertainty" (June
1-5, 2015) (Nikhil Bansal)
----------------------------------------------------------------------
Message: 1
Date: Fri, 1 May 2015 13:47:35 +0200
From: Cristina Pascual<cris.pascual.gonzalez@gmail.com>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] Deadline extension | HUSO 2015 || October 11 - 16,
2015 - St. Julians, Malta
Message-ID: <201505011147.t41BlZjd027887@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 HUSO 2015.
The submission deadline is May 24, 2015.
Authors of selected papers will be invited to submit extended article versions to one of the IARIA Journals: http://www.iariajournals.org
=================
============== HUSO 2015 | Call for Papers ===============
CALL FOR PAPERS, TUTORIALS, PANELS
HUSO 2015, The First International Conference on Human and Social Analytics
October 11 - 16, 2015 - St. Julians, Malta
General page: http://www.iaria.org/conferences2015/HUSO15.html
Call for Papers: http://www.iaria.org/conferences2015/CfPHUSO15.html
Submission page: http://www.iaria.org/conferences2015/SubmitHUSO15.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 posed on www.iaria.org]
- panels: [slide-deck posed on www.iaria.org]
Submission deadline: May 24, 2015
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
HUSO 2015 Topics (topics and submission details: see CfP on the site)
EMOTION BASICS
Modeling and capturing and representing online emotions; Knowledge representation and reasoning about emotions; Emotional behavior in human-computer interaction; Sentiment and emotion summarization and visualization; Emotional behavior modeling and ontologies; Capturing emotions in sounds and music computing; Expressing emotions in interactive entertainment; Expressing emotions in multimedia and multimodal systems; Emotional behavior in storytelling; Emotions in geographical and cultural heritage
EMOTION-DRIVEN SYSTEMS
Requirements engineering for emotions; Representation of emotionally-oriented requirements; Software design and programming of emotionally-oriented systems; Affective computing approaches to software development; Appropriation and deployment of emotionally-oriented systems; Software processes and practice for emotionally-oriented systems; Case studies relating information systems and emotions; Ethics in emotion-driven systems
SENTIMENT ANALYSIS
Mining opinion with explicit/implicit, regular/ irregular, syntactical and semantic rules; Ontologies and knowledge bases for sentiment analysis; Baselines and datasets for semantic sentiment analysis; Concept-level sentiment analysis; Expressions with latent semantics; Sentiment-based indexing, search and retrieval in social networks; Subjectivity, sentiment and emotion detection in social networks; Evolution of sentiment within and across social media systems and topics; Topic based and entity based sentiment analysis; Semantic processing of social media for sentiment analysis; Comparison of semantic approaches for sentiment analysis; Prediction of sentiment towards events, people, organizations;
SOCIAL HUMAN ANALYTICS
Humanistic data collection and interpretation; Context-centric social multimedia discovery and collection; Semantic web technologies for subjectivity and social analysis; Social and expressive media corpora and annotations; Creative language (humor, irony, metaphor, etc.) in social networks; Dynamicity of social event detection; Social network and interaction analysis around places and events; Social media visualization and aggregation of places and events; Event-based and location-based storytelling using social media; Interactive social media applications; Sentiment and engagement analysis using social media; Mobile social networking applications; Collaborative multimedia content production; Social poor-quality arguments; Social fuzzy thinking; Online critical literacy; Linked argumented data; Complex annotation tools and interfaces; Linguistic variation and non-standard or historical use of language; Automatic creation of social semantic resources
PERSONALIZED HUMAN ANALYTICS
Mining personalized opinions; Individual versus collective behavior models; Data-driven profiling/ personalization; User modeling, personalization and linked data; Behavior and context prediction; Gesture recognition; Person-centric reasoning; Web access patterns analysis; Speech and audio data profiling; Personalized ontologies, ontology matching, and alignment; Personalized sentiment analysis; Connecting personalized opinions across blogs, social media, news sites; Balancing privacy/security/reliability/utility/usability of personal data; Multiple patterns extraction across personalized data; Integrating personalized data with public knowledge bases; Interactive dashboards of heterogeneous personalized data
SOCIAL COMPUTING
Social applications, services and technologies; Social computing for citizen engagement; Smart cities and social computing; Urban knowledge and social computing for community participation; Social computing and quality of living; Social analytics and societal behavior for prediction and urban optimization; Social computing and social networks; Social computing and personalized behavior; Social Sensing; Humans and agents of social computing; Citizen incentive for social computing services
-----------------------------
Committee: http://www.iaria.org/conferences2015/ComHUSO15.html
================================================
------------------------------
Message: 2
Date: Sat, 02 May 2015 01:35:16 -0400
From: "Leszek T. Lilien" <leszek.lilien@wmich.edu>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] >> CFP: DNCMS 2015 (6th Intl. W. on Dependable
Network Computing & Mobile Systems) in Montreal, Sept. 28-Oct. 1 <<
Message-ID: <55446214.6070904@wmich.edu>
Content-Type: text/plain; charset=utf-8; format=flowed
**************************************************************
We apologize if you received multiple copies of this CFP.
Please disseminate CFP to your colleagues that might be
interested.
**************************************************************
--------------------------------------------------------------
2nd Call for Papers - DNCMS 2015
--------------------------------------------------------------
6th Intl. W. on Dependable Network Computing & Mobile Systems
September 28 - October 1, 2015, Montreal, Canada
http://www.scs.ryerson.ca/iwoungan/DNCMS15/index.html/
In conjunction with
Symposium on Reliable Distributed Systems (SRDS 2015)
http://srds2015.cs.mcgill.ca/index.html
Sponsored by IEEE Computer Society
Technical Committee on Distributed Processing (TCDP)
--------------------------------------------------------------
*IMPORTANT DATES*
Submission of papers: May 22 (Friday)
Acceptance notification: June 22 (Monday)
Camera-ready papers: July 13 (Monday)
Workshop date: September 28 (Monday)
--------------------------------------------------------------
*SCOPE*
The strong growth in mobile devices, networked embedded
systems and wireless sensors provides a flexible and cheap
infrastructure for collecting and monitoring real-world data
nearly everywhere. This is complemented by the ever increasing
information and computing power offered by computing clusters
and information services over stationary networks The
integration of network computing and mobile systems presents
new challenges especially with respect to the dependability of
integrated applications: accepted measures of availability,
costs, and quality of service for high-bandwidth, high-quality
stationary systems have to be re-thought facing possibly new
dependability paradigms for cheap, resource restricted,
unreliable mobile systems with low-bandwidth communication
facilities, being embedded and subject to the conditions in
the physical world.
*TOPICS*
This workshop solicits papers addressing dependability issues
related to the design, analysis, and implementation, of
infrastructures, systems, architectures, algorithms and
protocols that deal with network computing and mobile/
ubiquitous systems.
Topics include, but are not limited to:
- Wireless communication protocols and mobile networks
- Sensor networks
- Architectures and middleware for mobile device integration
- Location-based computing and data analysis
- Intelligent sensors in networked environments
- Cluster computing, ubiquitous computing, and grid computing
for mobile applications
- Distributed data mining for mobile applications
- Ubiquitous knowledge discovery
- Applications such as cooperative mobile robots, embedded
applications, ...
- Hardware security methods for mobile applications
- Security methods for network computing and mobile systems
- Intelligent mobile systems
*PAPER SUBMISSION*
Papers submission should be made through EasyChair. You must
first create an EasyChair account if you do not have one
already, using https://www.easychair.org/account/signin.cgi.
The EasyChair system will then e-mail you your password. Then
you can login to EasyChair using the password you have
received by email.
The submission page of the DNCMS Workshop in EasyChair is:
http://www.easychair.org/conferences/?conf=dncms2015
Accepted papers will be included in the Workshop Proceedings
published by IEEE Computer Society Press, and distributed at
the Symposium. The papers will also be available online from
the Workshop web pages.
===============================================================
------------------------------
Message: 3
Date: Sat, 2 May 2015 12:55:08 +0200
From: "Ernst W. Mayr" <mayr@in.tum.de>
To: <dmanet@zpr.uni-koeln.de>
Subject: [DMANET] WG 2015 call for participation
Message-ID: <004701d084c6$81cd2280$85676780$@in.tum.de>
Content-Type: text/plain; charset="Windows-1252"
************************************************************************
WG 2015 CALL FOR PARTICIPATION
41st International Workshop on Graph-Theoretic Concepts in Computer Science
June 17 - 19, 2015, Garching near Munich/Germany
http://www14.in.tum.de/WG2015/
************************************************************************
The 41st International Workshop on Graph-Theoretic Concepts in Computer
Science
(WG) will be held from June 17 to June 19, 2015 (Wednesday through
Friday), on the premises of the Garching Campus of TU M?nchen.
SCIENTIFIC PROGRAM
******************
The program, which will soon be available at
http://www14.in.tum.de/WG2015/
is composed of 32 contributed and three invited talks.
INVITED TALKS
***************************
- Rolf Niedermeier, TU Berlin: Parameterized Algorithmics for Graph
Modification Problems
- Daniel Paulusma, U Durham: Coloring Graphs Characterized by Forbidden
Subgraphs
- Shmuel Zaks, Technion Haifa: Approximation and On-line Scheduling
Algorithms with Applications to Optical Networks
The invited and contributed talks start on Wednesday, June 17, at 08:30;
the conference ends on Friday, June 19, around 15:40.
REGISTRATION
************
Registration is via the conference website
http://www14.in.tum.de/WG2015/
Please note: Your registration will become effective only after your
bank transfer is credited to Bayerische Landesbank or your credit card
payment is received.
ACCOMMODATION
*************
On http://www14.in.tum.de/WG2015/index.php/accommodations, we list
several hotels in Garching which offer special prices. The booking code
is "WG 2015". Please note that, for one of the hotels (with the largest
contingent), the room contingent is reserved only until May 15!
INFORMATION
***********
For detailed information on WG 2015, keep watching the conference
website
http://www14.in.tum.de/WG2015/
************************************************************************
_______________________________________________________________________
Prof. Ernst W. Mayr Tel.: +49-89-289-17704
Lehrstuhl f?r Effiziente Algorithmen Sekr.: +49-89-289-17706
Fakult?t f?r Informatik, I14 Fax: +49-89-289-17707
TU M?nchen E-Mail: mayr@in.tum.de
Boltzmannstra?e 3
85748 Garching Raum: MI 03.09.052
Germany URL: http://www.in.tum.de/~mayr/
_______________________________________________________________________
------------------------------
Message: 4
Date: Sat, 02 May 2015 16:20:43 +0300
From: Gerhard-Wilhelm Weber <gweber@metu.edu.tr>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] OR 2015: ABSTRACT DEADLINE EXTENDED
Message-ID: <20150502162043.12723eiuc8nu6ckr@horde.metu.edu.tr>
Content-Type: text/plain; charset=ISO-8859-1; DelSp="Yes";
format="flowed"
Dear Colleagues and Friends,
In response to many requests for "a bit more time", the Organizing
Committee for OR 2015 has taken the decision to extend the deadline
for submission of abstracts by ten days, to
Sunday 10th May 2015.
We have been delighted to see the number of sessions organized and
abstracts submitted growing quickly during the past weeks and are
pleased to offer this extended opportunity for you to become involved
in this unique event, if you have not already signed up - or to
convince someone else to do so.
About OR 2015:
OR 2015 is the next international conference on Operations Research
organized jointly by the Austrian (OEGOR), German (GOR), and Swiss
(SVOR/ASRO) OR societies.
It will take place at the University of Vienna, Austria,
1-4 September 2015.
The theme of this conference is "Optimal Decisions and Big Data", but
the conference covers all directions of Operations Research.
Please visit our webpages for further information, including details
of the main topical areas, Plenaries and Semi-Plenaries, the Program
and Organizing Committee Members, details of how to submit your
abstract, and registration:
http://or2015.univie.ac.at/
There will be a business day, software and book exhibitions, an
emerging scholar program, and more. Practitioners and academic people
are invited to participate and contribute to this event with
interdisciplinary perspective in mathematics, computer science,
economics, and business. Come and enjoy the conference as well as the
social program in Vienna,the city full of history, art, music,
science, and Gemuetlichkeit.
We are really looking forward to welcoming you to Vienna.
Kind regards,
Gernot Tragler (Chair PC) and Georg Pflug (Chair OC)
gernot.tragler@tuwien.ac.at, georg.pflug@univie.ac.at
------------------------------
Message: 5
Date: Sun, 3 May 2015 13:14:36 +0100 (BST)
From: Alex Scott <scott@maths.ox.ac.uk>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] One-Day Meeting in Combinatorics at Oxford
Message-ID: <alpine.DEB.2.10.1505031305180.10914@gate1.maths.ox.ac.uk>
Content-Type: TEXT/PLAIN; format=flowed; charset=US-ASCII
A One-Day Meeting in Combinatorics will be held in Oxford on Wednesday 27
May 2015. The meeting will take place in the Mathematical Institute, with
talks starting at 11am and coffee available beforehand from 10.30am.
This year's speakers are Louigi Addario-Berry (Montreal), Maria Chudnovsky
(Princeton), Amin Coja-Oghlan (Goethe University, Frankfurt), Paul Seymour
(Princeton) and Andrew Thomason (Princeton).
Anyone interested is welcome to attend. Some funds may be available to
contribute to the expenses of research students who wish to attend the
meeting.
Further details can be obtained from the web page, which can be found at
http://people.maths.ox.ac.uk/scott/Pages/one-day_meeting.htm
The meeting is supported by the London Mathematical Society and the
British Combinatorial Committee.
------------------------------
Message: 6
Date: Sun, 3 May 2015 18:30:02 +0200
From: Nikhil Bansal <bansal@gmail.com>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] EURANDOM workshop on "Scheduling under Uncertainty"
(June 1-5, 2015)
Message-ID:
<CACKn54-smiXsyfX4U6R2EH3veuc9jjcLnBf3AOHv9H6Sih4chA@mail.gmail.com>
Content-Type: text/plain; charset=UTF-8
We're proud to announce the upcoming workshop on "Scheduling under
Uncertainty".
The workshop will feature an exciting program with several top
speakers and take place at EURANDOM, Eindhoven University of
Technology, June 1-5, followed back-to-back by the 12th Workshop on
Models and Algorithms for Planning and Scheduling Problems (MAPSP
2015), which will be held in La Roche-en-Ardenne during the week of
June 8-12.
Thematic scope:
The workshop's goal is to bring together and promote the dialogue and
collaboration between researchers in two different communities: the
stochastic scheduling and networking community, and the worst-case
approximation scheduling community. Both these communities consider
mathematical and algorithmic problems motivated by resource
allocation, scheduling shared resources and load balancing, routing
and speed scaling in large-scale systems. However, the specific
problems studied and the techniques used to address them are quite
different. The workshop will bring together experts in both these
areas, and especially researchers who span both these communities, and
foster links by exploring problem areas of mutual interest and
encouraging lively interaction and discussions.
In addition to the invited speakers, we also expect a broad attendance
of local Dutch researchers and students from Europe.
5-Minute presentations:
We plan to organize a special session with 5-minute presentations. If
you're interested to give such a 5-minute presentation, then please
send an email to Nikhil Bansal at n.bansal@tue.nl with a title and
brief abstract by May 15.
Organizers:
Nikhil Bansal (Eindhoven)
Sem Borst (Eindhoven)
Leen Stougie (VU & CWI Amsterdam)
Gerhard Woeginger (Eindhoven)
Program:
The workshop features keynotes/tutorials by four excellent speakers:
Prof. Kamesh Munagala (Duke)
Prof. Kirk Pruhs (U. Pittsburgh)
Prof. R. Srikant (UIUC)
Prof. Jean Walrand (Berkeley)
Additional confirmed invited speakers:
Dr. Matthew Andrews (Alcatel-Lucent)
Prof. Urtzi Ayesta (CNRS-LAAS)
Prof. Yossi Azar (Tel-Aviv)
Dr. Christoph Durr (LIP6, Paris)
Prof. Leah Epstein (Haifa)
Prof. Asaf Levin (Technion)
Prof. Nicole Megow (TU Berlin)
Prof. Rolf Moehring (TU Berlin)
Prof. Mike Pinedo (NYU)
Prof. Ramandeep Randhawa (USC)
Prof. Sasha Stolyar (LeHigh)
Prof. Marc Uetz (Twente)
Dr. Andreas Wiese (MPI Saarbruecken)
Prof. Kuang Xu (INRIA/Stanford)
Prof. Yuan Zhong (Columbia)
Sponsors:
The workshop is financially supported by EURANDOM and NETWORKS.
Practical information and registration:
For further information, online registration and updates,
please go to http://www.eurandom.tue.nl/events/workshops/2015/Scheduling/Scheduling_index.html
Registration is free-of-charge, but mandatory since only a limited
number of participants can be accommodated (on a First-Come
First-Served basis).
------------------------------
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 87, Issue 3
*************************************
Monday, May 4, 2015
Saturday, May 2, 2015
dmanet Digest, Vol 87, Issue 2
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. Third St.Petersburg Days of Logic and Computability
(Alexander S. Kulikov)
2. 24th Workshop "Cycles and Colourings 2015" (Tommy Madaras)
3. PhD position Computational Optimization (Ah Bee)
----------------------------------------------------------------------
Message: 1
Date: Thu, 30 Apr 2015 09:28:05 -0700
From: "Alexander S. Kulikov" <kulikov@logic.pdmi.ras.ru>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] Third St.Petersburg Days of Logic and Computability
Message-ID:
<CAKWj8b-C5+35FL9YPBtMMiDxRQnbCCKXDVNi04UKONaWssg5tA@mail.gmail.com>
Content-Type: text/plain; charset=UTF-8
International meeting
Third St.Petersburg Days of
LOGIC and COMPUTABILITY
devoted to the memory of
Grigory MINTS (1939--2014)
August 24-26, 2015 St.Petersburg, Russia
Call for papers
MAIN TOPICS
This third meeting in the series of St.Petersburg Days of Logic and
Computability is devoted to the memory of Grigory Mints. The main
themes of the meeting are those related to his mathematical interests:
* Proof theory
* Intuitionistic logic
* Modal logic
* Non-classical logics
* Automated deduction
* Constructive mathematics
* Applications of proof theory to category theory
PROGRAM COMMITTEE
* Vladimir OREVKOV (St.Petersburg), chairperson
* Solomon FEFERMAN (Stanford)
* Boris KONEV (Liverpool)
* Yuri MATIYASEVICH (St.Petersburg)
* Anatol SLISSENKO (Paris)
* Enn Tyugu (Tallinn)
* Yuri MANIN (Germany)
ORGANIZING COMMITTEE
* Boris KONEV (Liverpool)
* Nikolai KOSSOVSKI (St.Petersburg)
* Vladimir OREVKOV (St.Petersburg)
* Alexei PASTOR (St.Petersburg)
* Maxim VSEMIRNOV (St.Petersburg)
Working LANGUAGE: English
SUBMISSION of papers:
If you wish to present a paper, please send an (extended) abstract
in LaTeX on the conference e-mail: LogicDays@logic.pdmi.ras.ru
You can find the template for your abstract on our website:
http://www.pdmi.ras.ru/EIMI/2015/LC/abstract_guide.tex
The deadline for submission is May 15, 2015.
Notifications are due before June 15.
PUBLICATIONS
Abstracts of talks will be available on WWW and will be delivered to
the participants in printed form.
REGISTRATION
Please register via http://www.pdmi.ras.ru/EIMI/2015/LC/app.html
Participation FEE:
The fee will cover common meals and coffee breaks. The fee equivalent
to 120 euro can be paid on arrival. We hope to obtain the support of
Russian Foundation of Basic Research to cover in part the expenses of
Russian participants but unfortunately we cannot provide any financial
support to foreign participants.
Location of the meeting:
The "3rd DAYS" will take place at the Euler International Mathematical
Institute (which is now a part of St.Petersburg Department of Steklov
Institute of Mathematics of the Russian Academy of Sciences). The
building of the Euler Institute is located at 10, Pesochnaya
embankment, St.Petersburg.
ACCOMMODATION
The Euler IMI has a preliminary reservation at the Nauka budget hotel
and the Andersen hotel. More information can be found on our website:
http://www.pdmi.ras.ru/EIMI/2015/LC/hotel.html
VISAS
Please take into account that participants from most countries need a
visa to enter Russia. After receiving your registration form the
Organizing Committee will start preparing a formal invitation, which
you will have to present together with your visa application form at
a nearby Russian Consulate. It may take a long time before you have
your visa, so we strongly recommend that you register at least
three months in advance.
CONTACTS
* Website of the meeting:
http://www.pdmi.ras.ru/EIMI/2015/LC/index.html
* E-mail: LogicDays@logic.pdmi.ras.ru
* FAX:
o 7 (812) 310 53 77 (Program Committee)
o 7 (812) 234 58 19 (Organizing Committee)
Useful LINKS:
* The First Days of Logic and Computability:
http://logic.pdmi.ras.ru/LogicDays
* The Second Days of Logic and Computability:
http://logic.pdmi.ras.ru/2ndDays
* Euler International Mathematical Institute:
http://www.pdmi.ras.ru/EIMI
* St.Petersburg Department of Steklov Institute of Mathematics:
http://www.pdmi.ras.ru
More links can be found on the website of the meeting.
------------------------------
Message: 2
Date: Thu, 30 Apr 2015 22:04:42 +0200
From: Tommy Madaras <tommy.madaras@gmail.com>
To: DMANET@zpr.uni-koeln.de
Subject: [DMANET] 24th Workshop "Cycles and Colourings 2015"
Message-ID:
<CAKLnbQROSgr2_B8ME7VCKXPw6paosA58YFAfbzamfht1y31Bzw@mail.gmail.com>
Content-Type: text/plain; charset=UTF-8
We cordially invite you to attend the
24th Workshop "Cycles and Colourings 2015"
which will take place on September 6 - 11, 2015 in Hotel Atrium, Novy
Smokovec in High Tatras, Slovakia.
The invited speakers are
Daniel W. Cranston Virginia Commonwealth University, Richmond, USA
Magn?s M?r Halld?rsson, Reykjavik University, Reykjavik, Iceland
Roman Nedela, Matej Bel University, Bansk? Bystrica, Slovakia
Kenta Ozeki, National Institute of Informatics, Tokyo, Japan
Jakub Przyby?o, AGH University of Science and Technology, Krak?w,
Poland
?ric Sopena, LaBRI, Bordeaux, France
The deadlines for the early registration is May 31st, 2015, the late
registration is until July 31st, 2015.
All information can be found at the conference webpage
http://umv.science.upjs.sk/c&c/ .
With kind regards,
The Organizing Committee
------------------------------
Message: 3
Date: Fri, 1 May 2015 16:57:33 +0300
From: Ah Bee <dotjimdot@gmail.com>
To: dmanet <dmanet@zpr.uni-koeln.de>
Subject: [DMANET] PhD position Computational Optimization
Message-ID:
<CAMRWt12dM_YZSf_82GAGbnKjaFmSBy-gaftg9aBx8_NpKzD-4w@mail.gmail.com>
Content-Type: text/plain; charset=UTF-8
The Computer Science Institute of the University of Tartu,
Estonia, is looking to fill a
PhD-Position in Computational Optimization.
The work environment is multi-national. The language of
instruction and communication is English.
The PhD project consists in developing a software for the
solution of a certain type of constrained optimization
problems, and to apply it to problems in neuro science and
data mining (in Tartu). Moreover, the candidate will apply
discrete optimization in some other, short term projects.
The position also entails the following duties:
- write down intermediate findings in papers for
publication in conferences and/or journals;
- teach 2h per term week (32 term weeks per year) in
courses on algorithms and optimization.
The 4-year PhD program requires to complete a certain amount
(60 ECTS) of course work.
The after tax monthly salary is 1100 Euros (34% above the
average Estonian net income) in the 8 teaching months; 1000
Euros in the 4 non-teaching months.
The successful candidate will
- have an excellent command of the English language (spoken
& written);
- have excellent coding skills in C/C++;
- have good background in each of: Discrete Optimization,
Linear Programming, Non-Linear Optimization;
- hold a Masters degree (or equivalent), or be in the
process of acquiring one.
Deadline for the formal online application is June 3rd
(http://www.ut.ee/en/admissions/doctoral-studies), but if
you are interested, GET IN TOUCH with your would-be
supervisor AS SOON AS POSSIBLE:
Dr Dirk Oliver Theis
Associate Professor
University of Tartu
dotheis@ut.ee
See below for more information about Estonia, Tartu, the
University of Tartu, and the CS institute.
Estonia
=======
Estonia is a Euro-zone country located directly south of
Finland. It has about 10% more average annual sunshine
hours than Berlin, and 18% more than Cologne. (It's because
the sky's blue most of the time.)
Estonia is an ``E-Society'': Broadband Internet is fast and
inexpensive or free, public WiFi is ubiquitous. The country
scores 1st in the world in Internet Freedom and 5th in
Privacy. It is ranked directly behind Germany in the
``State of the World's Children's Index'' (10th). In the
Human-Development index, it scores between the UK and
Portugal. See Wikipedia for these and other statistical
facts.
Since most Estonians speak English, it is not necessary to
learn Estonian. The language is similar to Finnish and
Hungarian.
Tartu
=====
Tartu is a picturesque city in southern Estonia. Home to
17,000 students (in a population of 105,000), there are lots
of inexpensive restaurants, bars, and caf?s.
University of Tartu
===================
Founded in 1632, ``Universitas Tartuensis'' is one of the
most venerable centers of education and research in this
part of the world. In rankings, it is ranked in the top 400
universities world wide, with a rapid ascent over the recent
years.
The CS institute
================
A significant number of the Computer Science institute
faculty are expatriates, the ratio is even higher for PhD
students. Next to Combinatorial Optimization, which is part
of Theoretical Computer Science, the strong subjects are
Bioinformatics, Data Mining, Neuro Science, and Scientific
Computing.
------------------------------
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 87, Issue 2
*************************************
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. Third St.Petersburg Days of Logic and Computability
(Alexander S. Kulikov)
2. 24th Workshop "Cycles and Colourings 2015" (Tommy Madaras)
3. PhD position Computational Optimization (Ah Bee)
----------------------------------------------------------------------
Message: 1
Date: Thu, 30 Apr 2015 09:28:05 -0700
From: "Alexander S. Kulikov" <kulikov@logic.pdmi.ras.ru>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] Third St.Petersburg Days of Logic and Computability
Message-ID:
<CAKWj8b-C5+35FL9YPBtMMiDxRQnbCCKXDVNi04UKONaWssg5tA@mail.gmail.com>
Content-Type: text/plain; charset=UTF-8
International meeting
Third St.Petersburg Days of
LOGIC and COMPUTABILITY
devoted to the memory of
Grigory MINTS (1939--2014)
August 24-26, 2015 St.Petersburg, Russia
Call for papers
MAIN TOPICS
This third meeting in the series of St.Petersburg Days of Logic and
Computability is devoted to the memory of Grigory Mints. The main
themes of the meeting are those related to his mathematical interests:
* Proof theory
* Intuitionistic logic
* Modal logic
* Non-classical logics
* Automated deduction
* Constructive mathematics
* Applications of proof theory to category theory
PROGRAM COMMITTEE
* Vladimir OREVKOV (St.Petersburg), chairperson
* Solomon FEFERMAN (Stanford)
* Boris KONEV (Liverpool)
* Yuri MATIYASEVICH (St.Petersburg)
* Anatol SLISSENKO (Paris)
* Enn Tyugu (Tallinn)
* Yuri MANIN (Germany)
ORGANIZING COMMITTEE
* Boris KONEV (Liverpool)
* Nikolai KOSSOVSKI (St.Petersburg)
* Vladimir OREVKOV (St.Petersburg)
* Alexei PASTOR (St.Petersburg)
* Maxim VSEMIRNOV (St.Petersburg)
Working LANGUAGE: English
SUBMISSION of papers:
If you wish to present a paper, please send an (extended) abstract
in LaTeX on the conference e-mail: LogicDays@logic.pdmi.ras.ru
You can find the template for your abstract on our website:
http://www.pdmi.ras.ru/EIMI/2015/LC/abstract_guide.tex
The deadline for submission is May 15, 2015.
Notifications are due before June 15.
PUBLICATIONS
Abstracts of talks will be available on WWW and will be delivered to
the participants in printed form.
REGISTRATION
Please register via http://www.pdmi.ras.ru/EIMI/2015/LC/app.html
Participation FEE:
The fee will cover common meals and coffee breaks. The fee equivalent
to 120 euro can be paid on arrival. We hope to obtain the support of
Russian Foundation of Basic Research to cover in part the expenses of
Russian participants but unfortunately we cannot provide any financial
support to foreign participants.
Location of the meeting:
The "3rd DAYS" will take place at the Euler International Mathematical
Institute (which is now a part of St.Petersburg Department of Steklov
Institute of Mathematics of the Russian Academy of Sciences). The
building of the Euler Institute is located at 10, Pesochnaya
embankment, St.Petersburg.
ACCOMMODATION
The Euler IMI has a preliminary reservation at the Nauka budget hotel
and the Andersen hotel. More information can be found on our website:
http://www.pdmi.ras.ru/EIMI/2015/LC/hotel.html
VISAS
Please take into account that participants from most countries need a
visa to enter Russia. After receiving your registration form the
Organizing Committee will start preparing a formal invitation, which
you will have to present together with your visa application form at
a nearby Russian Consulate. It may take a long time before you have
your visa, so we strongly recommend that you register at least
three months in advance.
CONTACTS
* Website of the meeting:
http://www.pdmi.ras.ru/EIMI/2015/LC/index.html
* E-mail: LogicDays@logic.pdmi.ras.ru
* FAX:
o 7 (812) 310 53 77 (Program Committee)
o 7 (812) 234 58 19 (Organizing Committee)
Useful LINKS:
* The First Days of Logic and Computability:
http://logic.pdmi.ras.ru/LogicDays
* The Second Days of Logic and Computability:
http://logic.pdmi.ras.ru/2ndDays
* Euler International Mathematical Institute:
http://www.pdmi.ras.ru/EIMI
* St.Petersburg Department of Steklov Institute of Mathematics:
http://www.pdmi.ras.ru
More links can be found on the website of the meeting.
------------------------------
Message: 2
Date: Thu, 30 Apr 2015 22:04:42 +0200
From: Tommy Madaras <tommy.madaras@gmail.com>
To: DMANET@zpr.uni-koeln.de
Subject: [DMANET] 24th Workshop "Cycles and Colourings 2015"
Message-ID:
<CAKLnbQROSgr2_B8ME7VCKXPw6paosA58YFAfbzamfht1y31Bzw@mail.gmail.com>
Content-Type: text/plain; charset=UTF-8
We cordially invite you to attend the
24th Workshop "Cycles and Colourings 2015"
which will take place on September 6 - 11, 2015 in Hotel Atrium, Novy
Smokovec in High Tatras, Slovakia.
The invited speakers are
Daniel W. Cranston Virginia Commonwealth University, Richmond, USA
Magn?s M?r Halld?rsson, Reykjavik University, Reykjavik, Iceland
Roman Nedela, Matej Bel University, Bansk? Bystrica, Slovakia
Kenta Ozeki, National Institute of Informatics, Tokyo, Japan
Jakub Przyby?o, AGH University of Science and Technology, Krak?w,
Poland
?ric Sopena, LaBRI, Bordeaux, France
The deadlines for the early registration is May 31st, 2015, the late
registration is until July 31st, 2015.
All information can be found at the conference webpage
http://umv.science.upjs.sk/c&c/ .
With kind regards,
The Organizing Committee
------------------------------
Message: 3
Date: Fri, 1 May 2015 16:57:33 +0300
From: Ah Bee <dotjimdot@gmail.com>
To: dmanet <dmanet@zpr.uni-koeln.de>
Subject: [DMANET] PhD position Computational Optimization
Message-ID:
<CAMRWt12dM_YZSf_82GAGbnKjaFmSBy-gaftg9aBx8_NpKzD-4w@mail.gmail.com>
Content-Type: text/plain; charset=UTF-8
The Computer Science Institute of the University of Tartu,
Estonia, is looking to fill a
PhD-Position in Computational Optimization.
The work environment is multi-national. The language of
instruction and communication is English.
The PhD project consists in developing a software for the
solution of a certain type of constrained optimization
problems, and to apply it to problems in neuro science and
data mining (in Tartu). Moreover, the candidate will apply
discrete optimization in some other, short term projects.
The position also entails the following duties:
- write down intermediate findings in papers for
publication in conferences and/or journals;
- teach 2h per term week (32 term weeks per year) in
courses on algorithms and optimization.
The 4-year PhD program requires to complete a certain amount
(60 ECTS) of course work.
The after tax monthly salary is 1100 Euros (34% above the
average Estonian net income) in the 8 teaching months; 1000
Euros in the 4 non-teaching months.
The successful candidate will
- have an excellent command of the English language (spoken
& written);
- have excellent coding skills in C/C++;
- have good background in each of: Discrete Optimization,
Linear Programming, Non-Linear Optimization;
- hold a Masters degree (or equivalent), or be in the
process of acquiring one.
Deadline for the formal online application is June 3rd
(http://www.ut.ee/en/admissions/doctoral-studies), but if
you are interested, GET IN TOUCH with your would-be
supervisor AS SOON AS POSSIBLE:
Dr Dirk Oliver Theis
Associate Professor
University of Tartu
dotheis@ut.ee
See below for more information about Estonia, Tartu, the
University of Tartu, and the CS institute.
Estonia
=======
Estonia is a Euro-zone country located directly south of
Finland. It has about 10% more average annual sunshine
hours than Berlin, and 18% more than Cologne. (It's because
the sky's blue most of the time.)
Estonia is an ``E-Society'': Broadband Internet is fast and
inexpensive or free, public WiFi is ubiquitous. The country
scores 1st in the world in Internet Freedom and 5th in
Privacy. It is ranked directly behind Germany in the
``State of the World's Children's Index'' (10th). In the
Human-Development index, it scores between the UK and
Portugal. See Wikipedia for these and other statistical
facts.
Since most Estonians speak English, it is not necessary to
learn Estonian. The language is similar to Finnish and
Hungarian.
Tartu
=====
Tartu is a picturesque city in southern Estonia. Home to
17,000 students (in a population of 105,000), there are lots
of inexpensive restaurants, bars, and caf?s.
University of Tartu
===================
Founded in 1632, ``Universitas Tartuensis'' is one of the
most venerable centers of education and research in this
part of the world. In rankings, it is ranked in the top 400
universities world wide, with a rapid ascent over the recent
years.
The CS institute
================
A significant number of the Computer Science institute
faculty are expatriates, the ratio is even higher for PhD
students. Next to Combinatorial Optimization, which is part
of Theoretical Computer Science, the strong subjects are
Bioinformatics, Data Mining, Neuro Science, and Scientific
Computing.
------------------------------
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 87, Issue 2
*************************************
Friday, May 1, 2015
dmanet Digest, Vol 87, Issue 1
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. Post-doc position announcement in Pisa (Maria Grazia Scutella')
----------------------------------------------------------------------
Message: 1
Date: Thu, 30 Apr 2015 11:34:23 +0200
From: "Maria Grazia Scutella'" <scut@di.unipi.it>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] Post-doc position announcement in Pisa
Message-ID: <a06240805d167a7440b81@[131.114.88.194]>
Content-Type: text/plain; charset="us-ascii" ; format="flowed"
We are pleased to announce the immediate availability of a
fully-funded, one-year post-doc (Assegno di Ricerca) position at the
Department of Computer Science of the University of Pisa. This
position is funded by the research project
Mathematical models and computational methods for complex networks.
This is an interdisciplinary effort between the Department of
Computer Science and the Department of Mathematics of the University
of Pisa to foster stricter collaboration between Numerical Analysis
and Operations Research experts, for the solution of complex
numerical and optimization problems related to todays' networks
(telecommunication, transportation, energy, social, ...).
The candidate should hold a Ph.D. degree in Numerical Analysis,
Operations Research or Computer Science. She/he is expected to choose
and carry forward two different lines of research among the several
ones proposed by the 14 participants to the project, bringing
together aspects of Numerical Analysis and Operations Research, and
possible also of Computer Science. The participants to the project
span several areas of Numerical Analysis and Operations Research, so
finding good matches is not expected to be hard. Proposing her/his
own research lines with analogous characteristics is also welcome,
provided they pick the (varied) interest of some of the participants
to the project.
The position is funded for one year at the standard rate for Italian
"assegno di ricerca" (23336 Euro gross, with low taxation), and some
extra money is available for travel. Candidates of all nationalities
are warmly welcome.
Information about application can be found at
http://www.unipi.it/ateneo/bandi/assegni/pra2015/inform
The deadline for application is May 14, 2015. Interviews with the
candidates are expected to be held on May 28, 2015. Remote interviews
are possible. Formal start of the position is expected on mid June to
beginning of July.
Enquiries can be directed to Antonio Frangioni (frangio@di.unipi.it).
------------------------------
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 87, Issue 1
*************************************
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. Post-doc position announcement in Pisa (Maria Grazia Scutella')
----------------------------------------------------------------------
Message: 1
Date: Thu, 30 Apr 2015 11:34:23 +0200
From: "Maria Grazia Scutella'" <scut@di.unipi.it>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] Post-doc position announcement in Pisa
Message-ID: <a06240805d167a7440b81@[131.114.88.194]>
Content-Type: text/plain; charset="us-ascii" ; format="flowed"
We are pleased to announce the immediate availability of a
fully-funded, one-year post-doc (Assegno di Ricerca) position at the
Department of Computer Science of the University of Pisa. This
position is funded by the research project
Mathematical models and computational methods for complex networks.
This is an interdisciplinary effort between the Department of
Computer Science and the Department of Mathematics of the University
of Pisa to foster stricter collaboration between Numerical Analysis
and Operations Research experts, for the solution of complex
numerical and optimization problems related to todays' networks
(telecommunication, transportation, energy, social, ...).
The candidate should hold a Ph.D. degree in Numerical Analysis,
Operations Research or Computer Science. She/he is expected to choose
and carry forward two different lines of research among the several
ones proposed by the 14 participants to the project, bringing
together aspects of Numerical Analysis and Operations Research, and
possible also of Computer Science. The participants to the project
span several areas of Numerical Analysis and Operations Research, so
finding good matches is not expected to be hard. Proposing her/his
own research lines with analogous characteristics is also welcome,
provided they pick the (varied) interest of some of the participants
to the project.
The position is funded for one year at the standard rate for Italian
"assegno di ricerca" (23336 Euro gross, with low taxation), and some
extra money is available for travel. Candidates of all nationalities
are warmly welcome.
Information about application can be found at
http://www.unipi.it/ateneo/bandi/assegni/pra2015/inform
The deadline for application is May 14, 2015. Interviews with the
candidates are expected to be held on May 28, 2015. Remote interviews
are possible. Formal start of the position is expected on mid June to
beginning of July.
Enquiries can be directed to Antonio Frangioni (frangio@di.unipi.it).
------------------------------
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 87, Issue 1
*************************************
Thursday, April 30, 2015
dmanet Digest, Vol 86, Issue 31
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. Graph Theory book iOS app can now be annotated (Reinhard Diestel)
2. ACP Summer School 2015 - Call for Participation
(Andre Augusto Cire)
3. Deadline extension | ICCGI 2015 || October 11 - 16, 2015 -
St. Julians, Malta (Cristina Pascual)
4. AIRO 2015: deadline extension (Maria Grazia Scutella')
----------------------------------------------------------------------
Message: 1
Date: Tue, 28 Apr 2015 23:14:11 +0200
From: Reinhard Diestel <R.Diestel@math.uni-hamburg.de>
To: DMANET@zpr.uni-koeln.de
Subject: [DMANET] Graph Theory book iOS app can now be annotated
Message-ID: <9F2FF465-14AB-430B-9582-C730922857B5@math.uni-hamburg.de>
Content-Type: text/plain; charset=us-ascii
The iPad app for my book, Graph Theory, now offers annotations: you can scribble in the margins, mark text, add typed text fields and so on. The annotations can be saved and synced between devices via iCloud.
This is a major overhaul of the software, and I'd be very grateful for any feedback you might have. The app itself is free, and the sample chapter that comes with it has all the annotation tools installed. Please try it out and let me know what you think...
For more info, see http://diestel-graph-theory.com. The direct link to the app is
https://itunes.apple.com/app/graph-theory-by-reinhard-diestel/id614583848?
Thank you! Reinhard Diestel
------------------------------
Message: 2
Date: Wed, 29 Apr 2015 17:59:35 -0400
From: Andre Augusto Cire <acire@utsc.utoronto.ca>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] ACP Summer School 2015 - Call for Participation
Message-ID:
<CAO4nHpvozLtAZ94gbSEcfW=omXV-98U8YCTLwNE=K1-Em5CO6w@mail.gmail.com>
Content-Type: text/plain; charset=UTF-8
------------------------------------------------------------------------------
Call for Participation
2015 ACP Summer School in Constraint Programming
http://acpss2015.uconn.edu/
** New Frontiers in Constraint Programming **
Dates: July 8-11th
Location: University of Toronto Scarborough, Canada
------------------------------------------------------------------------------
The subject of the 2015 ACP Summer School is "New Frontiers in Constraint
Programming", where we explore some of the most exciting and innovative
applications and research directions in Constraint Programming that have
been shaping the field in recent years. The goal of the school is to
familiarize PhD students, post-docs, and interested researchers with these
new perspectives to foster ideas that can contribute to their own research
and to better position themselves in the field.
** Competition: The school is also hosting a Constraint Programming
competition where winners and their work will be featured at the 21st
International Conference on Principles and Practice of Constraint
Programming (CP 2015).
* Confirmed Speakers
(More speakers may be confirmed soon)
- Christopher Beck, University of Toronto, Canada
Hybrid Techniques
- Claude-Guy Quimper, Universit? Laval, Canada
Parallel Constraint Programming
- Willem-Jan van Hoeve, Carnegie Mellon University, USA
Decision Diagram-Based Constraint Programming
- Pascal Van Hentenryck, Australian National University, Australia
Trends in Real-World Applications of Constraint Programming
- Petr Vilim, IBM Research, Czech Republic
New Developments in Constraint-Based Scheduling
* Registration
- Cost: CAD$ 300
- Link: http://acpss2015.uconn.edu/registration-2/
* For those attending ISMP 2015, transportation will be arranged from
Toronto to Pittsburgh.
* Organizers & Contact Information:
David Bergman, University of Connecticut
David.Bergman@business.uconn.edu
Andre A. Cire, University of Toronto Scarborough
acire@utsc.utoronto.ca
--
Andre Augusto Cire
Assistant Professor in Operations Management
Department of Management, University of Toronto Scarborough
Rotman School of Management (cross-appoint.)
Phone: +1-416-208-4838 (UTSC), +1-416-978-5454 (Rotman)
acire@utsc.utoronto.ca
------------------------------
Message: 3
Date: Thu, 30 Apr 2015 10:23:46 +0200
From: Cristina Pascual<cris.pascual.gonzalez@gmail.com>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] Deadline extension | ICCGI 2015 || October 11 - 16,
2015 - St. Julians, Malta
Message-ID: <201504300823.t3U8NjEL018150@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 ICCGI 2015.
The submission deadline is May 24, 2015.
Authors of selected papers will be invited to submit extended article versions to one of the IARIA Journals: http://www.iariajournals.org
=================
============== ICCGI 2015 | Call for Papers ===============
CALL FOR PAPERS, TUTORIALS, PANELS
ICCGI 2015, The Tenth International Multi-Conference on Computing in the Global Information Technology
October 11 - 16, 2015 - St. Julians, Malta
General page: http://www.iaria.org/conferences2015/ICCGI15.html
Call for Papers: http://www.iaria.org/conferences2015/CfPICCGI15.html
Submission page: http://www.iaria.org/conferences2015/SubmitICCGI15.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 posed on www.iaria.org]
- panels: [slide-deck posed on www.iaria.org]
Submission deadline: May 24, 2015
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
ICCGI 2015 Topics (topics and submission details: see CfP on the site)
Industrial systems
Control theory and systems; Fault-tolerance and reliability; Data engineering; Enterprise computing and evaluation; Electrical and electronics engineering; Economic decisions and information systems; Advanced robotics; Virtual reality systems; Industrial systems and applications; Industrial and financial systems; Industrial control electronics; Industrial IT solutions
Evolutionary computation
Algorithms, procedures, mechanisms and applications; Computer architecture and systems; Computational sciences; Computation in complex systems; Computer and communication systems; Computer networks; Computer science theory; Computation and computer security; Computer simulation; Digital telecommunications; Distributed and parallel computing; Computation in embedded and real-time systems; Soft computing; User-centric computation
Autonomic and autonomous systems
Automation and autonomous systems; Theory of Computing; Autonomic computing; Autonomic networking; Network computing; Protecting computing; Theories of agency and autonomy; Multi-agent evolution, adaptation and learning; Adjustable and self-adjustable autonomy; Pervasive systems and computation; Computing with locality principles; GRID networking and services; Pervasive computing; Cluster computing and performance; Artificial intelligence Computational linguistics; Cognitive technologies; Decision making; Evolutionary computation; Expert systems; Computational biology
Bio-technologies
Models and techniques for biometric technologies; Bioinformatics; Biometric security; Computer graphics and visualization; Computer vision and image processing; Computational biochemistry; Finger, facial, iris, voice, and skin biometrics; Signature recognition; Multimodal biometrics; Verification and identification techniques; Accuracy of biometric technologies; Authentication smart cards and biometric metrics; Performance and assurance testing; Limitations of biometric technologies; Biometric card technologies; Biometric wireless technologies; Biometric software and hardware; Biometric standards
Knowledge data systems
Data mining and Web mining; Knowledge databases and systems; Data warehouse and applications; Data warehousing and information systems; Database performance evaluation; Semantic and temporal databases; Database systems Databases and information retrieval; Digital library design; Meta-data modeling
Mobile and distance education
Human computer interaction; Educational technologies; Computer in education; Distance learning; E-learning; Mobile learning Cognitive support for learning; Internet-based education; Impact of ICT on education and society; Group decision making and software; Habitual domain and information technology; Computer-mediated communications; Immersing authoring; Contextual and cultural challenges in user mobility; Learning process of digital nationality; M-learning's function in business training and in higher education
Intelligent techniques, logics, and systems
Intelligent agent technologies; Intelligent and fuzzy information processing; Intelligent computing and knowledge management; Intelligent systems and robotics; Fault-tolerance and reliability; Fuzzy logic & systems; Genetic algorithms; Haptic phenomena; Graphic recognition; Neural networks; Symbolic and algebraic computation; Modeling, simulation and analysis of business processes and systems
Knowledge processing
Knowledge representation models; Knowledge languages; Cognitive science; Knowledge acquisition; Knowledge engineering; Knowledge processing under uncertainty; Machine intelligence; Machine learning; Making decision through Internet; Networking knowledge plan
Information technologies
Information technology and organizational behavior; Agents, data mining and ontologies; Information retrieval systems; Information and network security; Information ethics and legal evaluations; Optimization and information technology; Organizational information systems; Information fusion; Information management systems; Information overload; Information policy making; Information security; Information systems; Information discovery; Content-consumer IT applications for mobile platforms; New ICT-based applications in the digital society; Micro-contents' function on the way of the Web 3.0
Internet and web technologies
Internet and WWW-based computing; Web and Grid computing; Internet service and training; IT and society; IT in education and health; Management information systems; Visualization and group decision making; Web based language development; Web search and decision making; Web service ontologies; Scientific web intelligence; Online business and decision making; Business rule language; E-Business; E-Commerce; Online and collaborative work; Social eco-systems and social networking; Social decisions on Internet; Computer ethics
Digital information processing
Mechatronics; Natural language processing; Medical imaging; Image processing; Signal processing; Speech processing; Video processing; Pattern recognition; Pattern recognition models; Graphics & computer vision; Medical systems and computing
Cognitive science and knowledge agent-based systems
Cognitive support for e-learning and mobile learning; Agents and cognitive models; Agents & complex systems; computational ecosystems; Agent architectures, perception, action & planning in agents; Agent communication: languages, semantics, pragmatics & protocols; Agent-based electronic commerce and trading systems Multi-agent constraint satisfaction; Agent programming languages, development environments and testbeds; Computational complexity in autonomous agents; Multi-agent planning and cooperation; Logics and formal models of for agency verification; Nomadic agents; Negotiation, auctions, persuasion; Privacy and security issues in multi-agent systems
Mobility and multimedia systems
Mobile communications; Multimedia and visual programming; Multimedia and decision making; Multimedia systems; Mobile multimedia systems; User-centered mobile applications; Designing for the mobile devices; Contextual user mobility; Mobile strategies for global market; Interactive television and mobile commerce
Systems performance
Performance evaluation; Performance modeling; Performance of parallel computing; Reasoning under uncertainty; Reliability and fault-tolerance; Performance instrumentation; Performance monitoring and corrections; Performance in entity-dependable systems; Real-time performance and near-real time performance evaluation; Performance in software systems; Performance and hybrid systems; Measuring performance in embedded systems
Networking and telecommunications
Telecommunication and Networking; Telecommunication Systems and Evaluation; Multiple Criteria Decision Making in Information Technology; Network and Decision Making; Networks and Security; Communications protocols (SIP/H323/MPLS/IP); Specialized networks (GRID/P2P/Overlay/Ad hoc/Sensor); Advanced services (VoIP/IPTV/Video-on-Demand; Network and system monitoring and management; Feature interaction detection and resolution; Policy-based monitoring and managements systems; Traffic modeling and monitoring; Traffic engineering and management; Self-monitoring, self-healing and self-management systems; Man-in-the-loop management paradigm
Software development and deployment
Software requirements engineering; Software design, frameworks, and architectures; Software interactive design; Formal methods for software development, verification and validation; Neural networks and performance; Patterns/Anti-patterns/Artifacts/Frameworks; Agile/Generic/Agent-oriented programming; Empirical software evaluation metrics; Software vulnerabilities; Reverse engineering; Software reuse; Software security, reliability and safety; Software economics; Software testing and debugging; Tracking defects in the OO design; Distributed and parallel software; Programming languages; Declarative programming; Real-time and embedded software; Open source software development methodologies; Software tools and deployment environments; Software Intelligence; Software Performance and Evaluation
Knowledge virtualization
Modeling techniques, tools, methodologies, languages; Model-driven architectures (MDA); Service-oriented architectures (SOA); Utility computing frameworks and fundamentals; Enabled applications through virtualization; Small-scale virtualization methodologies and techniques; Resource containers, physical resource multiplexing, and segmentation; Large-scale virtualization methodologies and techniques; Management of virtualized systems; Platforms, tools, environments, and case studies; Making virtualization real; On-demand utilities Adaptive enterprise; Managing utility-based systems; Development environments, tools, prototypes
Systems and networks on the chip
Microtechnology and nanotechnology; Real-time embedded systems; Programming embedded systems; Controlling embedded systems; High speed embedded systems; Designing methodologies for embedded systems; Performance on embedded systems; Updating embedded systems; Wireless/wired design of systems-on-the-chip; Testing embedded systems; Technologies for systems processors; Migration to single-chip systems
Context-aware systems
Context-aware autonomous entities; Context-aware fundamental concepts, mechanisms, and applications; Modeling context-aware systems; Specification and implementation of awareness behavioral contexts; Development and deployment of large-scale context-aware systems and subsystems; User awareness requirements Design techniques for interfaces and systems; Methodologies, metrics, tools, and experiments for specifying context-aware systems; Tools evaluations, Experiment evaluations
Networking technologies
Next generation networking; Network, control and service architectures; Network signalling, pricing and billing; Network middleware; Telecommunication networks architectures; On-demand networks, utility computing architectures; Next generation networks [NGN] principles; Storage area networks [SAN]; Access and home networks; High-speed networks; Optical networks; Peer-to-peer and overlay networking; Mobile networking and systems; MPLS-VPN, IPSec-VPN networks; GRID networks; Broadband networks
Security in network, systems, and applications
IT in national and global security; Formal aspects of security; Systems and network security; Security and cryptography; Applied cryptography; Cryptographic protocols; Key management; Access control; Anonymity and pseudonymity management; Security management; Trust management; Protection management; Certification and accreditation; Virii, worms, attacks, spam; Intrusion prevention and detection; Information hiding; Legal and regulatory issues
Knowledge for global defense
Business continuity and availability; Risk assessment; Aerospace computing technologies; Systems and networks vulnerabilities; Developing trust in Internet commerce; Performance in networks, systems, and applications; Disaster prevention and recovery; IT for anti-terrorist technology innovations (ATTI); Networks and applications emergency services; Privacy and trust in pervasive communications; Digital rights management; User safety and protection
Information Systems [IS]
Management Information Systems; Decision Support Systems; Innovation and IS; Enterprise Application Integration; Enterprise Resource Planning; Business Process Change; Design and Development Methodologies and Frameworks; Iterative and Incremental Methodologies; Agile Methodologies; IS Standards and Compliance Issues; Risk Management in IS Design and Development; Research Core Theories; Conceptualisations and Paradigms in IS; Research Ontological Assumptions in IS Research; IS Research Constraints, Limitations and Opportunities; IS vs Computer Science Research; IS vs Business Studies
IPv6 Today - Technology and deployment
IP Upgrade - An Engineering Exercise or a Necessity?; Worldwide IPv6 Adoption - Trends and Policies; IPv6 Programs, from Research to Knowledge Dissemination; IPv6 Technology - Practical Information; Advanced Topics and Latest Developments in IPv6; IPv6 Deployment Experiences and Case Studies; IPv6 Enabled Applications and Devices
Modeling
Continuous and discrete Models; Optimal Models; Complex System Modeling; Individual-Based Models; Modeling Uncertainty; Compact fuzzy models; Modeling languages; Real-time modeling; Performance modeling; Decision support systems; Multiple criteria decision aiding; Problem structuring methods
Optimization
Multicriteria Optimization; Multilervel Optimization; Goal Programming; Optimization and Efficiency; Optimization-based decisions; Evolutionary Optimization; Self-Optimization; Extreme Optimization; Combinatorial Optimization; Disccrete Optimization; Fuzzy Optimization; Lipschitzian Optimization; Non-Convex Optimization; Convexity; Continuous Optimization; Interior point methods; Semidefinite and Conic Programming
Complexity
Complexity Analysis; Computational Complexity; Complexity Reduction; Optimizing Model Complexity; Communication Complexity; Managing Complexity; Modeling Complexity in Social Systems; Low-complexity Global Optimization; Software Development for Modeling and Optimization; Industrial applications
---------------------
Committee: http://www.iaria.org/conferences2015/ComICCGI15.html
================================================
------------------------------
Message: 4
Date: Thu, 30 Apr 2015 11:05:23 +0200
From: "Maria Grazia Scutella'" <scut@di.unipi.it>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] AIRO 2015: deadline extension
Message-ID: <a06240801d167a00a5a0a@[131.114.88.194]>
Content-Type: text/plain; charset="us-ascii" ; format="flowed"
This is to announce that the abstract submission deadline to the 45th
Annual Conference of the Italian Operations Research Society, AIRO
2015 (Pisa, September 7-10, 2015), has been prolonged to May 15, 2015.
In order to submit you have first to register at the site:
http://www.airo.org/conferences/airo2015/index.php/component/users/?view=registration
After you login, you will be able to access the "Abstract Submissions" section.
We encourage perspective session chairs to submit to:
<mailto:airo2015info@airo.org>airo2015info@airo.org
proposals for sessions they could be willing to organize.
More information can be found on the web site of the conference:
http://www.airo.org/conferences/airo2015/
Maria Grazia
Scutella' (Conference chair)
--============_-781737763==_ma============
------------------------------
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 86, Issue 31
**************************************
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. Graph Theory book iOS app can now be annotated (Reinhard Diestel)
2. ACP Summer School 2015 - Call for Participation
(Andre Augusto Cire)
3. Deadline extension | ICCGI 2015 || October 11 - 16, 2015 -
St. Julians, Malta (Cristina Pascual)
4. AIRO 2015: deadline extension (Maria Grazia Scutella')
----------------------------------------------------------------------
Message: 1
Date: Tue, 28 Apr 2015 23:14:11 +0200
From: Reinhard Diestel <R.Diestel@math.uni-hamburg.de>
To: DMANET@zpr.uni-koeln.de
Subject: [DMANET] Graph Theory book iOS app can now be annotated
Message-ID: <9F2FF465-14AB-430B-9582-C730922857B5@math.uni-hamburg.de>
Content-Type: text/plain; charset=us-ascii
The iPad app for my book, Graph Theory, now offers annotations: you can scribble in the margins, mark text, add typed text fields and so on. The annotations can be saved and synced between devices via iCloud.
This is a major overhaul of the software, and I'd be very grateful for any feedback you might have. The app itself is free, and the sample chapter that comes with it has all the annotation tools installed. Please try it out and let me know what you think...
For more info, see http://diestel-graph-theory.com. The direct link to the app is
https://itunes.apple.com/app/graph-theory-by-reinhard-diestel/id614583848?
Thank you! Reinhard Diestel
------------------------------
Message: 2
Date: Wed, 29 Apr 2015 17:59:35 -0400
From: Andre Augusto Cire <acire@utsc.utoronto.ca>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] ACP Summer School 2015 - Call for Participation
Message-ID:
<CAO4nHpvozLtAZ94gbSEcfW=omXV-98U8YCTLwNE=K1-Em5CO6w@mail.gmail.com>
Content-Type: text/plain; charset=UTF-8
------------------------------------------------------------------------------
Call for Participation
2015 ACP Summer School in Constraint Programming
http://acpss2015.uconn.edu/
** New Frontiers in Constraint Programming **
Dates: July 8-11th
Location: University of Toronto Scarborough, Canada
------------------------------------------------------------------------------
The subject of the 2015 ACP Summer School is "New Frontiers in Constraint
Programming", where we explore some of the most exciting and innovative
applications and research directions in Constraint Programming that have
been shaping the field in recent years. The goal of the school is to
familiarize PhD students, post-docs, and interested researchers with these
new perspectives to foster ideas that can contribute to their own research
and to better position themselves in the field.
** Competition: The school is also hosting a Constraint Programming
competition where winners and their work will be featured at the 21st
International Conference on Principles and Practice of Constraint
Programming (CP 2015).
* Confirmed Speakers
(More speakers may be confirmed soon)
- Christopher Beck, University of Toronto, Canada
Hybrid Techniques
- Claude-Guy Quimper, Universit? Laval, Canada
Parallel Constraint Programming
- Willem-Jan van Hoeve, Carnegie Mellon University, USA
Decision Diagram-Based Constraint Programming
- Pascal Van Hentenryck, Australian National University, Australia
Trends in Real-World Applications of Constraint Programming
- Petr Vilim, IBM Research, Czech Republic
New Developments in Constraint-Based Scheduling
* Registration
- Cost: CAD$ 300
- Link: http://acpss2015.uconn.edu/registration-2/
* For those attending ISMP 2015, transportation will be arranged from
Toronto to Pittsburgh.
* Organizers & Contact Information:
David Bergman, University of Connecticut
David.Bergman@business.uconn.edu
Andre A. Cire, University of Toronto Scarborough
acire@utsc.utoronto.ca
--
Andre Augusto Cire
Assistant Professor in Operations Management
Department of Management, University of Toronto Scarborough
Rotman School of Management (cross-appoint.)
Phone: +1-416-208-4838 (UTSC), +1-416-978-5454 (Rotman)
acire@utsc.utoronto.ca
------------------------------
Message: 3
Date: Thu, 30 Apr 2015 10:23:46 +0200
From: Cristina Pascual<cris.pascual.gonzalez@gmail.com>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] Deadline extension | ICCGI 2015 || October 11 - 16,
2015 - St. Julians, Malta
Message-ID: <201504300823.t3U8NjEL018150@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 ICCGI 2015.
The submission deadline is May 24, 2015.
Authors of selected papers will be invited to submit extended article versions to one of the IARIA Journals: http://www.iariajournals.org
=================
============== ICCGI 2015 | Call for Papers ===============
CALL FOR PAPERS, TUTORIALS, PANELS
ICCGI 2015, The Tenth International Multi-Conference on Computing in the Global Information Technology
October 11 - 16, 2015 - St. Julians, Malta
General page: http://www.iaria.org/conferences2015/ICCGI15.html
Call for Papers: http://www.iaria.org/conferences2015/CfPICCGI15.html
Submission page: http://www.iaria.org/conferences2015/SubmitICCGI15.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 posed on www.iaria.org]
- panels: [slide-deck posed on www.iaria.org]
Submission deadline: May 24, 2015
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
ICCGI 2015 Topics (topics and submission details: see CfP on the site)
Industrial systems
Control theory and systems; Fault-tolerance and reliability; Data engineering; Enterprise computing and evaluation; Electrical and electronics engineering; Economic decisions and information systems; Advanced robotics; Virtual reality systems; Industrial systems and applications; Industrial and financial systems; Industrial control electronics; Industrial IT solutions
Evolutionary computation
Algorithms, procedures, mechanisms and applications; Computer architecture and systems; Computational sciences; Computation in complex systems; Computer and communication systems; Computer networks; Computer science theory; Computation and computer security; Computer simulation; Digital telecommunications; Distributed and parallel computing; Computation in embedded and real-time systems; Soft computing; User-centric computation
Autonomic and autonomous systems
Automation and autonomous systems; Theory of Computing; Autonomic computing; Autonomic networking; Network computing; Protecting computing; Theories of agency and autonomy; Multi-agent evolution, adaptation and learning; Adjustable and self-adjustable autonomy; Pervasive systems and computation; Computing with locality principles; GRID networking and services; Pervasive computing; Cluster computing and performance; Artificial intelligence Computational linguistics; Cognitive technologies; Decision making; Evolutionary computation; Expert systems; Computational biology
Bio-technologies
Models and techniques for biometric technologies; Bioinformatics; Biometric security; Computer graphics and visualization; Computer vision and image processing; Computational biochemistry; Finger, facial, iris, voice, and skin biometrics; Signature recognition; Multimodal biometrics; Verification and identification techniques; Accuracy of biometric technologies; Authentication smart cards and biometric metrics; Performance and assurance testing; Limitations of biometric technologies; Biometric card technologies; Biometric wireless technologies; Biometric software and hardware; Biometric standards
Knowledge data systems
Data mining and Web mining; Knowledge databases and systems; Data warehouse and applications; Data warehousing and information systems; Database performance evaluation; Semantic and temporal databases; Database systems Databases and information retrieval; Digital library design; Meta-data modeling
Mobile and distance education
Human computer interaction; Educational technologies; Computer in education; Distance learning; E-learning; Mobile learning Cognitive support for learning; Internet-based education; Impact of ICT on education and society; Group decision making and software; Habitual domain and information technology; Computer-mediated communications; Immersing authoring; Contextual and cultural challenges in user mobility; Learning process of digital nationality; M-learning's function in business training and in higher education
Intelligent techniques, logics, and systems
Intelligent agent technologies; Intelligent and fuzzy information processing; Intelligent computing and knowledge management; Intelligent systems and robotics; Fault-tolerance and reliability; Fuzzy logic & systems; Genetic algorithms; Haptic phenomena; Graphic recognition; Neural networks; Symbolic and algebraic computation; Modeling, simulation and analysis of business processes and systems
Knowledge processing
Knowledge representation models; Knowledge languages; Cognitive science; Knowledge acquisition; Knowledge engineering; Knowledge processing under uncertainty; Machine intelligence; Machine learning; Making decision through Internet; Networking knowledge plan
Information technologies
Information technology and organizational behavior; Agents, data mining and ontologies; Information retrieval systems; Information and network security; Information ethics and legal evaluations; Optimization and information technology; Organizational information systems; Information fusion; Information management systems; Information overload; Information policy making; Information security; Information systems; Information discovery; Content-consumer IT applications for mobile platforms; New ICT-based applications in the digital society; Micro-contents' function on the way of the Web 3.0
Internet and web technologies
Internet and WWW-based computing; Web and Grid computing; Internet service and training; IT and society; IT in education and health; Management information systems; Visualization and group decision making; Web based language development; Web search and decision making; Web service ontologies; Scientific web intelligence; Online business and decision making; Business rule language; E-Business; E-Commerce; Online and collaborative work; Social eco-systems and social networking; Social decisions on Internet; Computer ethics
Digital information processing
Mechatronics; Natural language processing; Medical imaging; Image processing; Signal processing; Speech processing; Video processing; Pattern recognition; Pattern recognition models; Graphics & computer vision; Medical systems and computing
Cognitive science and knowledge agent-based systems
Cognitive support for e-learning and mobile learning; Agents and cognitive models; Agents & complex systems; computational ecosystems; Agent architectures, perception, action & planning in agents; Agent communication: languages, semantics, pragmatics & protocols; Agent-based electronic commerce and trading systems Multi-agent constraint satisfaction; Agent programming languages, development environments and testbeds; Computational complexity in autonomous agents; Multi-agent planning and cooperation; Logics and formal models of for agency verification; Nomadic agents; Negotiation, auctions, persuasion; Privacy and security issues in multi-agent systems
Mobility and multimedia systems
Mobile communications; Multimedia and visual programming; Multimedia and decision making; Multimedia systems; Mobile multimedia systems; User-centered mobile applications; Designing for the mobile devices; Contextual user mobility; Mobile strategies for global market; Interactive television and mobile commerce
Systems performance
Performance evaluation; Performance modeling; Performance of parallel computing; Reasoning under uncertainty; Reliability and fault-tolerance; Performance instrumentation; Performance monitoring and corrections; Performance in entity-dependable systems; Real-time performance and near-real time performance evaluation; Performance in software systems; Performance and hybrid systems; Measuring performance in embedded systems
Networking and telecommunications
Telecommunication and Networking; Telecommunication Systems and Evaluation; Multiple Criteria Decision Making in Information Technology; Network and Decision Making; Networks and Security; Communications protocols (SIP/H323/MPLS/IP); Specialized networks (GRID/P2P/Overlay/Ad hoc/Sensor); Advanced services (VoIP/IPTV/Video-on-Demand; Network and system monitoring and management; Feature interaction detection and resolution; Policy-based monitoring and managements systems; Traffic modeling and monitoring; Traffic engineering and management; Self-monitoring, self-healing and self-management systems; Man-in-the-loop management paradigm
Software development and deployment
Software requirements engineering; Software design, frameworks, and architectures; Software interactive design; Formal methods for software development, verification and validation; Neural networks and performance; Patterns/Anti-patterns/Artifacts/Frameworks; Agile/Generic/Agent-oriented programming; Empirical software evaluation metrics; Software vulnerabilities; Reverse engineering; Software reuse; Software security, reliability and safety; Software economics; Software testing and debugging; Tracking defects in the OO design; Distributed and parallel software; Programming languages; Declarative programming; Real-time and embedded software; Open source software development methodologies; Software tools and deployment environments; Software Intelligence; Software Performance and Evaluation
Knowledge virtualization
Modeling techniques, tools, methodologies, languages; Model-driven architectures (MDA); Service-oriented architectures (SOA); Utility computing frameworks and fundamentals; Enabled applications through virtualization; Small-scale virtualization methodologies and techniques; Resource containers, physical resource multiplexing, and segmentation; Large-scale virtualization methodologies and techniques; Management of virtualized systems; Platforms, tools, environments, and case studies; Making virtualization real; On-demand utilities Adaptive enterprise; Managing utility-based systems; Development environments, tools, prototypes
Systems and networks on the chip
Microtechnology and nanotechnology; Real-time embedded systems; Programming embedded systems; Controlling embedded systems; High speed embedded systems; Designing methodologies for embedded systems; Performance on embedded systems; Updating embedded systems; Wireless/wired design of systems-on-the-chip; Testing embedded systems; Technologies for systems processors; Migration to single-chip systems
Context-aware systems
Context-aware autonomous entities; Context-aware fundamental concepts, mechanisms, and applications; Modeling context-aware systems; Specification and implementation of awareness behavioral contexts; Development and deployment of large-scale context-aware systems and subsystems; User awareness requirements Design techniques for interfaces and systems; Methodologies, metrics, tools, and experiments for specifying context-aware systems; Tools evaluations, Experiment evaluations
Networking technologies
Next generation networking; Network, control and service architectures; Network signalling, pricing and billing; Network middleware; Telecommunication networks architectures; On-demand networks, utility computing architectures; Next generation networks [NGN] principles; Storage area networks [SAN]; Access and home networks; High-speed networks; Optical networks; Peer-to-peer and overlay networking; Mobile networking and systems; MPLS-VPN, IPSec-VPN networks; GRID networks; Broadband networks
Security in network, systems, and applications
IT in national and global security; Formal aspects of security; Systems and network security; Security and cryptography; Applied cryptography; Cryptographic protocols; Key management; Access control; Anonymity and pseudonymity management; Security management; Trust management; Protection management; Certification and accreditation; Virii, worms, attacks, spam; Intrusion prevention and detection; Information hiding; Legal and regulatory issues
Knowledge for global defense
Business continuity and availability; Risk assessment; Aerospace computing technologies; Systems and networks vulnerabilities; Developing trust in Internet commerce; Performance in networks, systems, and applications; Disaster prevention and recovery; IT for anti-terrorist technology innovations (ATTI); Networks and applications emergency services; Privacy and trust in pervasive communications; Digital rights management; User safety and protection
Information Systems [IS]
Management Information Systems; Decision Support Systems; Innovation and IS; Enterprise Application Integration; Enterprise Resource Planning; Business Process Change; Design and Development Methodologies and Frameworks; Iterative and Incremental Methodologies; Agile Methodologies; IS Standards and Compliance Issues; Risk Management in IS Design and Development; Research Core Theories; Conceptualisations and Paradigms in IS; Research Ontological Assumptions in IS Research; IS Research Constraints, Limitations and Opportunities; IS vs Computer Science Research; IS vs Business Studies
IPv6 Today - Technology and deployment
IP Upgrade - An Engineering Exercise or a Necessity?; Worldwide IPv6 Adoption - Trends and Policies; IPv6 Programs, from Research to Knowledge Dissemination; IPv6 Technology - Practical Information; Advanced Topics and Latest Developments in IPv6; IPv6 Deployment Experiences and Case Studies; IPv6 Enabled Applications and Devices
Modeling
Continuous and discrete Models; Optimal Models; Complex System Modeling; Individual-Based Models; Modeling Uncertainty; Compact fuzzy models; Modeling languages; Real-time modeling; Performance modeling; Decision support systems; Multiple criteria decision aiding; Problem structuring methods
Optimization
Multicriteria Optimization; Multilervel Optimization; Goal Programming; Optimization and Efficiency; Optimization-based decisions; Evolutionary Optimization; Self-Optimization; Extreme Optimization; Combinatorial Optimization; Disccrete Optimization; Fuzzy Optimization; Lipschitzian Optimization; Non-Convex Optimization; Convexity; Continuous Optimization; Interior point methods; Semidefinite and Conic Programming
Complexity
Complexity Analysis; Computational Complexity; Complexity Reduction; Optimizing Model Complexity; Communication Complexity; Managing Complexity; Modeling Complexity in Social Systems; Low-complexity Global Optimization; Software Development for Modeling and Optimization; Industrial applications
---------------------
Committee: http://www.iaria.org/conferences2015/ComICCGI15.html
================================================
------------------------------
Message: 4
Date: Thu, 30 Apr 2015 11:05:23 +0200
From: "Maria Grazia Scutella'" <scut@di.unipi.it>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] AIRO 2015: deadline extension
Message-ID: <a06240801d167a00a5a0a@[131.114.88.194]>
Content-Type: text/plain; charset="us-ascii" ; format="flowed"
This is to announce that the abstract submission deadline to the 45th
Annual Conference of the Italian Operations Research Society, AIRO
2015 (Pisa, September 7-10, 2015), has been prolonged to May 15, 2015.
In order to submit you have first to register at the site:
http://www.airo.org/conferences/airo2015/index.php/component/users/?view=registration
After you login, you will be able to access the "Abstract Submissions" section.
We encourage perspective session chairs to submit to:
<mailto:airo2015info@airo.org>airo2015info@airo.org
proposals for sessions they could be willing to organize.
More information can be found on the web site of the conference:
http://www.airo.org/conferences/airo2015/
Maria Grazia
Scutella' (Conference chair)
--============_-781737763==_ma============
------------------------------
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 86, Issue 31
**************************************
Wednesday, April 29, 2015
dmanet Digest, Vol 86, Issue 30
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. Deadline extension | INTELLI 2015 || October 11 - 16, 2015 -
St. Julians, Malta (Cristina Pascual)
2. Deadline Extension: 6th May 2015 - Short Paper Track and
Graduate Student Track SSBSE'15 (International Symposium on
Search-Based Software Engineering) (Sarro, Federica)
3. Two Research Assistant Positions in Algorithmic Game Theory
at University of Oxford (Laura Marmor)
4. Call for Prize Nominations: Prize for Innovation in
Distributed Computing 2016 (Corrections, and DEADLINE MOVED to
May 30th, 2015) (Chen Avin)
5. Registration still open: Optimization & Big Data 2015
(Edinburgh, May 6-8, 2015) (Peter Richtarik)
----------------------------------------------------------------------
Message: 1
Date: Wed, 29 Apr 2015 10:36:27 +0200
From: Cristina Pascual<cris.pascual.gonzalez@gmail.com>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] Deadline extension | INTELLI 2015 || October 11 -
16, 2015 - St. Julians, Malta
Message-ID: <201504290836.t3T8aQGR024886@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 INTELLI 2015.
The submission deadline is May 24, 2015.
Authors of selected papers will be invited to submit extended article versions to one of the IARIA Journals: http://www.iariajournals.org
=================
============== INTELLI 2015 | Call for Papers ===============
CALL FOR PAPERS, TUTORIALS, PANELS
INTELLI 2015, The Fourth International Conference on Intelligent Systems and Applications
October 11 - 16, 2015 - St. Julians, Malta
General page: http://www.iaria.org/conferences2015/INTELLI15.html
Call for Papers: http://www.iaria.org/conferences2015/CfPINTELLI15.html
Submission page: http://www.iaria.org/conferences2015/SubmitINTELLI15.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 posed on www.iaria.org]
- panels: [slide-deck posed on www.iaria.org]
Submission deadline: May 24, 2015
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
INTELLI 2015 Topics (topics and submission details: see CfP on the site)
Fundamentals in intelligent systems and applications
Intelligence by design
Intelligent distributed systems
Context-aware intelligent systems
Symbolic intelligence
Collective intelligence
Ambient Intelligence
Cooperative intelligent applications
Formal ontology and semantics
Persuasive intelligence
Bio-inspired intelligence
Cognitive systems and applications
Real-time intelligence
Hybrid artificial intelligent systems
Heuristic search
Automated planning
Adaptive problem solving
Intelligent signal processing
Intelligent data analysis
Web intelligence
Intelligent web search engines
Intelligent perception and intelligent machines
Intelligent agents
Patterns in intelligent applications
Stability in intelligent systems
Ethical evaluation of intelligent systems
Intelligent communication networks
Cognitive intelligence in vehicular networks
Guidance systems
Intelligent health systems
Indoor special-awareness
Intelligent systems for software computing
Sensor-based intelligent systems
Intelligent systems for wireless applications
Intelligent transport systems
Intelligent applications for disaster management
Intelligence in medical decision applications
Intelligent forecasting applications
Intelligent human-computer interaction systems
Intelligent multimedia
Intelligent recommenders
Intelligent security systems and applications
Intelligent robotics
Intelligent sensors and sensing applications
Mobility intelligence and semantic applications
-----------------------
Committee: http://www.iaria.org/conferences2015/ComINTELLI15.html
================================================
------------------------------
Message: 2
Date: Wed, 29 Apr 2015 09:01:21 +0000
From: "Sarro, Federica" <f.sarro@ucl.ac.uk>
To: "dmanet@zpr.uni-koeln.de" <dmanet@zpr.uni-koeln.de>
Subject: [DMANET] Deadline Extension: 6th May 2015 - Short Paper Track
and Graduate Student Track SSBSE'15 (International Symposium on
Search-Based Software Engineering)
Message-ID: <DFECA3CE-5BA8-41B0-8228-D3BDE328B56F@live.ucl.ac.uk>
Content-Type: text/plain; charset="us-ascii"
************************************************
*
* DEADLINE EXTENDED: 6th May 2015, Midnight HST
*
************************************************
**************************************************************
SSBSE 2015
7th International Symposium on Search-Based Software Engineering
September 5-7, 2015 - Bergamo, Italy
http://www.ssbse.org/2015
**************************************************************
---------------------
SSBSE 2015
---------------------
SSBSE 2015 is the seventh edition of the annual symposium dedicated to Search-Based Software Engineering (SBSE). Search-based Software Engineering (SBSE) is the application of meta-heuristic optimization techniques to various software engineering problems, ranging from requirements engineering to software testing and maintenance. The symposium builds on the flourishing interest in SBSE and provides a welcoming forum for discussion and dissemination that will strengthen the rapidly-growing international SBSE community. We invite contributions of different forms in this call for papers as follows:
---------------------
SHORT PAPER TRACK
---------------------
We invite short papers presenting new ideas, tools, experience reports, or novel techniques and ideas, which will be included in the proceedings and presented at the symposium. Papers submitted to this track should not exceed 6 pages in length using the regular symposium format. The SSBSE Short Paper Track performs double-blind review of all submissions (i.e., authors will not be identified to reviewers and reviewers will not be identified to authors). Please consult the submission information page (http://ssbse.org/2015/?page_id=76) to prepare your manuscript for double-blind process.
----------------------
GRADUATE STUDENT TRACK
----------------------
We invite students to submit papers to a special Graduate Student track. This track gives students the opportunity to showcase their SBSE research and receive feedback from senior members of the SBSE community. Papers submitted to this track should not exceed 6 pages in length using the regular symposium format. To be eligible, papers should be primarily the work of students currently registered on a doctoral or masters programme that have not yet completed their studies. The paper may have co-authors who are not students but the student author is expected to present the paper at the symposium. The work presented in submitted papers does not have to be complete, although initial experimental results would be very welcome. This track would be an ideal venue for PhD and masters students to present and discuss their research agenda in the company of leading experts in the domain. The SSBSE Graduate Student Track performs double-blind review of all submissions (i.e., authors wil!
l not be identified to reviewers and reviewers will not be identified to authors). Please consult the submission information page (http://ssbse.org/2015/?page_id=76) to prepare your manuscript for double-blind process.
---------------------
AWARD
---------------------
Papers accepted for presentation at SSBSE 2015 will be considered for prizes in the following categories:
* Best Student Paper with industry-relevant SBSE results (1,500 EUR; sponsored by Huawei)
* Challenge Track Award (1,000 EUR)
---------------------
FORMAT AND SUBMISSION
---------------------
Papers must not have been previously published, or be in consideration for, any journal, book, or other conference. Papers will be evaluated by members of the program committee based on their originality, technical soundness and presentation quality. Submissions must conform to Springer's LNCS format (http://www.springer.com/lncs). Further information on paper formatting and submission will be soon available from the symposium website. If a paper is accepted, at least one author is expected to attend the symposium and to present the paper. In case of a student paper, the first (student) author is expected to attend and present the paper.
-----------------------
CONFERENCE PROCEEDINGS
-----------------------
Accepted papers will be published in a volume of the Springer Lecture Notes in Computer Science series (LNCS).
-----------------------------
SPECIAL ISSUE FOR BEST PAPERS
-----------------------------
The authors of best selected symposium papers will be invited to submit extended versions of their papers for a special issue in one of the leading software engineering journals. Details will be announced soon.
---------------
IMPORTANT DATES
---------------
GRADUATE STUDENT PAPERS TRACK
Submission May 6, 2015
Notification May 25, 2015
SHORT PAPERS TRACK
Submission May 6, 2015
Notification May 25, 2015
SBSE CHALLENGE TRACK
Submission May 6, 2015
Notification May 25, 2015
------------------------------
CONTACT INFORMATION:
To contact the Short Paper and Graduate Student Tracks Chair, please email: f.sarro@ucl.ac.uk<mailto:f.sarro@ucl.ac.uk>
------------------------------
--------------------------------
VENUE - BERGAMO (ITALY)
--------------------------------
Nestling in the Alpine foothills, just 40 km northeast of Milan, Bergamo is one of the prettiest towns in Northern Italy and is the second touristic destination in Lombardy after Milan. Structured in two levels, the lower city, called "Cittv?bassa" is more modern and dynamic, while the famous "upper city", called "Citta Alta", built up on the hills, boasts a stunning historic center with an extremely rich heritage of art and history. The two cities are separated, both physically and symbolically, by the powerful Venetian Walls; nowadays, also a funicular railway "funicolare" brings visitors and residents from the lower city to the upper city. Bergamo hosts several extraordinary art museums: the "Bernareggi" Museum of Sacred Art and the famous Pinacoteca Carrara, an art gallery situated near to the Gallery of Modern and Contemporary Art (GAMEC). It is served by the Orio al Serio Airport, which also serves the Province of Bergamo and the metropolitan area of Milan.
--------------------
ORGANIZING COMMITTEE
--------------------
GENERAL CHAIR
Paolo Tonella, Fondazione Bruno Kessler, Italy.
PROGRAM CHAIRS
Yvan Labiche, Carleton University, Canada.
Marcio Barros, Universidade Federal do Estado do Rio de Janeiro, Brazil.
GRADUATE STUDENT TRACK CHAIR
Federica Sarro, University College London, UK.
SBSE CHALLENGE TRACK CHAIR
Shin Yoo, University College London, UK.
Leandro L. Minku, University of Birmingham, UK.
LOCAL ORGANIZATION
Angelo Gargantini, University of Bergamo, Italy.
-----------------
PROGRAM COMMITTEE
-----------------
Shaukat Ali, Simula Research Laboratory
Leonardo Bottaci, University of Hull
John A. Clark, University of York
Thelma Elita Colanzi, State University of Maring?
Massimiliano Di Penta, University of Sannio
Arilo Claudio Dias-Neto, Federal University of Amazonas
Robert Feldt, Blekinge Institute of Technology
Gordon Fraser, University of Sheffield
Mathew Hall, University of Sheffield
Colin Johnson, University of Kent
Marouane Kessentini, University of Michigan
Fitsum Meshesha Kifetew, Fondazione Bruno Kessler
Dongsun Kim, Sogang University
Claire Le Goues, Carnegie Mellon University
Raluca Lefticaru, University of Bucharest
Zheng Li, Beijing University of Chemical Technology
Phil McMinn, University of Sheffield
Timothy Menzies, North Carolina State University
Mel 'Cinnide, University College Dublin
Justyna Petke, University College London
Pasqualina Potena, University of Alcala
Simon Poulding, Blekinge Institute of Technology
Xiao Qu, ABB Corporate Research
Marc Roper, University of Strathclyde
Guenther Ruhe, University of Calgary
Christopher Simons, University of the West of England
Jerffeson Souza, State University of Ceara
Angelo Susi, Fondazione Bruno Kessler
Jerry Swan, University of Stirling
Silvia Vergilio, Federal University of Paran
David White, University of Glasgow
Xin Yao, University of Birmingham
Yuanyuan Zhang, University College London
------------------------------
Message: 3
Date: Wed, 29 Apr 2015 12:00:31 +0000
From: Laura Marmor <laura.marmor@cs.ox.ac.uk>
To: "dmanet@zpr.uni-koeln.de" <dmanet@zpr.uni-koeln.de>
Subject: [DMANET] Two Research Assistant Positions in Algorithmic Game
Theory at University of Oxford
Message-ID:
<1636200A87934545AD099B492F7BB465ABF5347F@MBX10.ad.oak.ox.ac.uk>
Content-Type: text/plain; charset="iso-8859-1"
Professor Elias Koutsoupias is looking for two Research Assistants to join the ERC project "Algorithms, Games, Mechanisms, and the Price of Anarchy" (ALGAME) at the University of Oxford.
The "Algorithms, Games, Mechanisms, and the Price of Anarchy" (ALGAME) project involves investigating, designing, and analysing mechanisms, extending the theory of the price of anarchy and stability, and investigating game-playing issues that arise by applying the algorithmic approach (e.g. limitations in computation and communication) to classical game theory.
Candidates should have a first degree and a doctorate in computer science (or related discipline), and a record of research in algorithmic game theory or a related area. Experience of working in collaborative or inter-disciplinary environments is highly desired.
This is a fixed-term contract for up to 2 years (with the possibility of extension). The salary range is ?30,434 - ?37,394 p.a.
Details and application form at https://www.recruit.ox.ac.uk/pls/hrisliverecruit/erq_jobspec_version_4.display_form.
Deadline for applications: 20 May 2015 at 12 noon.
------------------------------
Message: 4
Date: Wed, 29 Apr 2015 15:43:28 +0300
From: Chen Avin <avin@cse.bgu.ac.il>
To: DMANET@zpr.uni-koeln.de
Subject: [DMANET] Call for Prize Nominations: Prize for Innovation in
Distributed Computing 2016 (Corrections, and DEADLINE MOVED to May
30th, 2015)
Message-ID:
<CAB1dc2Oc1v++R6tvoshYsPThrC+zZknh4Sdekw2Y-aC38iXwfw@mail.gmail.com>
Content-Type: text/plain; charset=UTF-8
Prize for Innovation in Distributed Computing 2016
Call for Prize Nominations
DEADLINE May 30th, 2015
---------------------------------------------------------------------
Awarded by the Colloquium on Structural Information and Communication
Complexity (SIROCCO).
Nominations are requested for the Prize for Innovation In Distributed Computing.
This prize was established to recognize individuals whose research
contributions expanded the
collective investigative horizon in SIROCCO's area of interest. That
is, they formulated new problems,
or identified new research areas, that were at the time of their
introduction, unorthodox and outside the
mainstream, but later attracted the interest of the SIROCCO community.
This community is interested in the relationships between information
and efficiency in decentralized
computing. The prize recognizes originality, innovation, and
creativity -- the qualities that reflect the
spirit of the SIROCCO conference.
The winner is expected to give an invited talk at SIROCCO NEXT year.
The winner chosen last year
(Michel Raynal) will give a talk at sirocco in the current year:
SIROCCO 2015 is going to be held on
July 15-17, Montserrat, Spain (a few days before PODC, also in Spain
this year; papers submission
deadline is April 30th). (Other invited speakers this current year
are: Nati Linial (Keynote), Amos
Korman, Bernhard Haupler, and Sakat Navlakha).
The prize may not necessarily be awarded every year.
Past prize winners are Nicola Santoro, Jean-Claude Bermond, David
Peleg, Roger Wattenhofer,
Andrzej Pelc, Pierre Fraigniaud, and Michel Raynal.
Eligibility
-----------
The following conditions must be met by the nominees to be eligible
for the prize. It is requested
that a nomination letter explains and demonstrates how the nominee
matches these conditions.
(1) The original innovative contribution was introduced by the
nominee(s) for the first time in a
publication at least five years before the nomination deadline, and
the publication must have appeared
in a conference proceedings or a scientific journal.
(2) At least one paper (co)authored by the nominee(s), either the
original paper, or a paper very related
to the innovative contribution, must have appeared in a SIROCCO proceedings.
A nomination letter should identify the paper(s) that make(s) the
nominee eligible according to conditions
(1) and (2) above, as well as explain the contribution, its
originality, and its significance.
Past SIROCCO papers and authors can be found at indexing sites, e.g. Google
Scholar or http://www.informatik.uni-trier.de/~ley/db/conf/sirocco/index.html.
Selection process
------------------
The prize winners are selected by the Award Committee composed of the
current Steering Committee (SC)
Chair of the SIROCCO conference, the PC chairs, including co-chairs,
of the three SIROCCO conferences
immediately preceding the nominations deadline, plus one additional
member of the Advisory Board,
or one past winner, selected by the Steering Committee for the current year.
In 2015, the Award Committee consists of: Guy Even (Tel Aviv
University), Magn?s Halld?rssonReykjavik
University), Shay Kutten (Technion)- chair, Thomas Moscibroda
(Microsoft), and Andrzej Pelc
(Universite du Quebec en Outaouais).
Nominations can be made by any member of the scientific community.
DEADLINE : Please send the nomination to the prize committee chair,
kutten@ie.technion.ac.il by MAY 15th, 2015.
(Please note: May 2015, we select this year the winner of next year).
PLEASE write SIROCCO Prize Nomination IN THE SUBJECT LINE.
Please help in recognizing the contributions of members of our community.
------------------------------
Message: 5
Date: Wed, 29 Apr 2015 16:07:12 +0100
From: Peter Richtarik <peter.richtarik@ed.ac.uk>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] Registration still open: Optimization & Big Data
2015 (Edinburgh, May 6-8, 2015)
Message-ID: <A0796E4E-85BC-4485-B140-DDAFABD42EE1@ed.ac.uk>
Content-Type: text/plain; charset=utf-8
Optimization & Big Data 2015, Edinburgh, May 6-8, 2015
Venue: University of Edinburgh (Informatics Forum / JCMB)
Dear colleagues and friends,
1. Registration
? is still open for the event (fee = ?45):
http://www.maths.ed.ac.uk/~prichtar/Optimization_and_Big_Data_2015/registration.html <http://www.maths.ed.ac.uk/~prichtar/Optimization_and_Big_Data_2015/registration.html>
2. Workshop Website
http://www.maths.ed.ac.uk/~prichtar/Optimization_and_Big_Data_2015 <http://www.maths.ed.ac.uk/~prichtar/Optimization_and_Big_Data_2015>
3. Invited Speakers
Coralia Cartis (Oxford)
Global convergence rate analysis of unconstrained optimization methods based on probabilistic models
Patrick Louis Combettes (Paris 6)
Splitting techniques in the face of huge problem sizes: block-coordinate and block-iterative approaches
Jonathan Eckstein (Rutgers)
Object-parallel solution of large-scale lasso problems
Garud Iyengar (Columbia)
A distributed proximal method for composite convex optimization
Rodolphe Jenatton (Amazon Berlin)
Sparse and spurious: dictionary learning with noise and outliers
Jakub Konecny (Edinburgh)
Distributed optimization with arbitrary local solvers
Francois Glineur (Louvain)
Smooth strongly convex interpolation and exact worst-case performance of first-order methods
Donald Goldfarb (Columbia)
Low-rank matrix and tensor recovery: theory and algorithms
Robert Gower (Edinburgh)
Randomized fixed point methods for linear systems and inverting matrices
Arkadi Nemirovski (Georgia Tech) - keynote
Fenchel-type representations and large-scale problems with convex structure on difficult geometry domains
Zheng Qu (Edinburgh) - organizer
Randomized dual coordinate ascent with arbitrary sampling
Peter Richtarik (Edinburgh) - organizer
SDNA: Stochastic Dual Newton Ascent for empirical risk minimization
Katya Scheinberg (Lehigh)
Unconstrained trust region based stochastic optimization with biased and unbiased noise
Mark Schmidt (UBC)
Is greedy coordinate descent a terrible algorithm?
4. Accepted Contributions
In addition to the invited talks, there is a contributed track (spotlight talks + poster sessions) attracting a prize from Amazon (prize committee: Arkadi Nemirovski & Rodolphe Jenatton)
Jose Vidal Alcala-Burgos (Universidad Autonoma de Yucatan, Mexico)
Affine invariant stochastic optimization
Dominik Csiba <http://www.maths.ed.ac.uk/people/show?person=417> (University of Edinburgh, UK)
Stochastic dual coordinate ascent with adaptive probabilities
Kimon Fountoulakis <http://www.maths.ed.ac.uk/%7Ekfount/> (University of Edinburgh, UK)
A problem generator for big data optimization <http://www.maths.ed.ac.uk/%7Eprichtar/Optimization_and_Big_Data_2015/posters/Fountoulakis.pdf>
Gordon Inverarity <http://www.metoffice.gov.uk/research/people/gordon-inverarity> (Met Office, UK)
Data assimilation for weather forecasting <http://www.maths.ed.ac.uk/%7Eprichtar/Optimization_and_Big_Data_2015/posters/Inverarity.pdf>
Maria Koroliuk <http://www2.warwick.ac.uk/fac/cross_fac/complexity/people/students/emstudents/2013intake/> (University of Warwick, UK)
Analysis of urban traffic data <http://www.maths.ed.ac.uk/%7Eprichtar/Optimization_and_Big_Data_2015/posters/Koroliuk.pdf>
Dimitris Kouzoupis <https://www.imtek.de/laboratories/systemtheorie/mitarbeiter-en/ma_gruppiert?set_language=en> (University of Freiburg, Germany)
First-order methods in nonlinear model predictive control <http://www.maths.ed.ac.uk/%7Eprichtar/Optimization_and_Big_Data_2015/posters/Kouzoupis.pdf>
Wenting Long <http://cn.linkedin.com/in/wentinglong> (Sun Yat-sen University, China)
Fixed point algorithm based on proximity and precondition operator for high resolution image reconstruction with displacement errors <http://www.maths.ed.ac.uk/%7Eprichtar/Optimization_and_Big_Data_2015/posters/Long.pdf>
Aurelien Lucchi <http://www.da.inf.ethz.ch/people/AurelienLucchi/> (ETH Zurich, Switzerland)
Neighbourhood watch: variance reduction using nearest-neighbours <http://www.maths.ed.ac.uk/%7Eprichtar/Optimization_and_Big_Data_2015/posters/Lucchi.pdf>
Rodrigo Mendoza Smith <https://www.maths.ox.ac.uk/people/rodrigo.mendozasmith> (University of Oxford, UK)
Expander L0 decoding
Christian Mueller <https://www.simonsfoundation.org/simons-center-for-data-analysis/scda-staff/> (Simons Center for Data Analysis, USA)
Auto-tuned high-dimensional regression with the TREX: theoretical guarantees and non-convex global optimization <http://www.maths.ed.ac.uk/%7Eprichtar/Optimization_and_Big_Data_2015/posters/Mueller.pdf>
Thomas Prescott <http://sysos.eng.ox.ac.uk/control/sysos/index.php/User:Prescott> (University of Oxford, UK)
Layered synthetic biomolecular systems
Daniel Robinson <https://sites.google.com/site/danielprobinson/> (Johns Hopkins University, USA)
A hybrid ADMM algorithm
Chee-Wei Tan <http://www.cs.cityu.edu.hk/profile/cheewtan.html> (City University of Hong Kong, Hong Kong)
A probabilistic approach to rumor source detection and graph-based message passing algorithms <http://www.maths.ed.ac.uk/%7Eprichtar/Optimization_and_Big_Data_2015/posters/Tan.pdf>
Simon Tett <http://www.geos.ed.ac.uk/homes/stett2> (University of Edinburgh, UK)
Optimising parameter values in climate models: observational/model synthesis
Weiqi Zhou <http://www.jacobs-university.de/directory/wzhou> (Jacobs University, Germany)
Kaczmarz iteration with random row permutation
-----
Zheng Qu and Peter Richtarik (organizers)
University of Edinburgh
The School of Mathematics
University of Edinburgh
http://www.maths.ed.ac.uk/~richtarik
------------------------------
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 86, Issue 30
**************************************
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. Deadline extension | INTELLI 2015 || October 11 - 16, 2015 -
St. Julians, Malta (Cristina Pascual)
2. Deadline Extension: 6th May 2015 - Short Paper Track and
Graduate Student Track SSBSE'15 (International Symposium on
Search-Based Software Engineering) (Sarro, Federica)
3. Two Research Assistant Positions in Algorithmic Game Theory
at University of Oxford (Laura Marmor)
4. Call for Prize Nominations: Prize for Innovation in
Distributed Computing 2016 (Corrections, and DEADLINE MOVED to
May 30th, 2015) (Chen Avin)
5. Registration still open: Optimization & Big Data 2015
(Edinburgh, May 6-8, 2015) (Peter Richtarik)
----------------------------------------------------------------------
Message: 1
Date: Wed, 29 Apr 2015 10:36:27 +0200
From: Cristina Pascual<cris.pascual.gonzalez@gmail.com>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] Deadline extension | INTELLI 2015 || October 11 -
16, 2015 - St. Julians, Malta
Message-ID: <201504290836.t3T8aQGR024886@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 INTELLI 2015.
The submission deadline is May 24, 2015.
Authors of selected papers will be invited to submit extended article versions to one of the IARIA Journals: http://www.iariajournals.org
=================
============== INTELLI 2015 | Call for Papers ===============
CALL FOR PAPERS, TUTORIALS, PANELS
INTELLI 2015, The Fourth International Conference on Intelligent Systems and Applications
October 11 - 16, 2015 - St. Julians, Malta
General page: http://www.iaria.org/conferences2015/INTELLI15.html
Call for Papers: http://www.iaria.org/conferences2015/CfPINTELLI15.html
Submission page: http://www.iaria.org/conferences2015/SubmitINTELLI15.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 posed on www.iaria.org]
- panels: [slide-deck posed on www.iaria.org]
Submission deadline: May 24, 2015
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
INTELLI 2015 Topics (topics and submission details: see CfP on the site)
Fundamentals in intelligent systems and applications
Intelligence by design
Intelligent distributed systems
Context-aware intelligent systems
Symbolic intelligence
Collective intelligence
Ambient Intelligence
Cooperative intelligent applications
Formal ontology and semantics
Persuasive intelligence
Bio-inspired intelligence
Cognitive systems and applications
Real-time intelligence
Hybrid artificial intelligent systems
Heuristic search
Automated planning
Adaptive problem solving
Intelligent signal processing
Intelligent data analysis
Web intelligence
Intelligent web search engines
Intelligent perception and intelligent machines
Intelligent agents
Patterns in intelligent applications
Stability in intelligent systems
Ethical evaluation of intelligent systems
Intelligent communication networks
Cognitive intelligence in vehicular networks
Guidance systems
Intelligent health systems
Indoor special-awareness
Intelligent systems for software computing
Sensor-based intelligent systems
Intelligent systems for wireless applications
Intelligent transport systems
Intelligent applications for disaster management
Intelligence in medical decision applications
Intelligent forecasting applications
Intelligent human-computer interaction systems
Intelligent multimedia
Intelligent recommenders
Intelligent security systems and applications
Intelligent robotics
Intelligent sensors and sensing applications
Mobility intelligence and semantic applications
-----------------------
Committee: http://www.iaria.org/conferences2015/ComINTELLI15.html
================================================
------------------------------
Message: 2
Date: Wed, 29 Apr 2015 09:01:21 +0000
From: "Sarro, Federica" <f.sarro@ucl.ac.uk>
To: "dmanet@zpr.uni-koeln.de" <dmanet@zpr.uni-koeln.de>
Subject: [DMANET] Deadline Extension: 6th May 2015 - Short Paper Track
and Graduate Student Track SSBSE'15 (International Symposium on
Search-Based Software Engineering)
Message-ID: <DFECA3CE-5BA8-41B0-8228-D3BDE328B56F@live.ucl.ac.uk>
Content-Type: text/plain; charset="us-ascii"
************************************************
*
* DEADLINE EXTENDED: 6th May 2015, Midnight HST
*
************************************************
**************************************************************
SSBSE 2015
7th International Symposium on Search-Based Software Engineering
September 5-7, 2015 - Bergamo, Italy
http://www.ssbse.org/2015
**************************************************************
---------------------
SSBSE 2015
---------------------
SSBSE 2015 is the seventh edition of the annual symposium dedicated to Search-Based Software Engineering (SBSE). Search-based Software Engineering (SBSE) is the application of meta-heuristic optimization techniques to various software engineering problems, ranging from requirements engineering to software testing and maintenance. The symposium builds on the flourishing interest in SBSE and provides a welcoming forum for discussion and dissemination that will strengthen the rapidly-growing international SBSE community. We invite contributions of different forms in this call for papers as follows:
---------------------
SHORT PAPER TRACK
---------------------
We invite short papers presenting new ideas, tools, experience reports, or novel techniques and ideas, which will be included in the proceedings and presented at the symposium. Papers submitted to this track should not exceed 6 pages in length using the regular symposium format. The SSBSE Short Paper Track performs double-blind review of all submissions (i.e., authors will not be identified to reviewers and reviewers will not be identified to authors). Please consult the submission information page (http://ssbse.org/2015/?page_id=76) to prepare your manuscript for double-blind process.
----------------------
GRADUATE STUDENT TRACK
----------------------
We invite students to submit papers to a special Graduate Student track. This track gives students the opportunity to showcase their SBSE research and receive feedback from senior members of the SBSE community. Papers submitted to this track should not exceed 6 pages in length using the regular symposium format. To be eligible, papers should be primarily the work of students currently registered on a doctoral or masters programme that have not yet completed their studies. The paper may have co-authors who are not students but the student author is expected to present the paper at the symposium. The work presented in submitted papers does not have to be complete, although initial experimental results would be very welcome. This track would be an ideal venue for PhD and masters students to present and discuss their research agenda in the company of leading experts in the domain. The SSBSE Graduate Student Track performs double-blind review of all submissions (i.e., authors wil!
l not be identified to reviewers and reviewers will not be identified to authors). Please consult the submission information page (http://ssbse.org/2015/?page_id=76) to prepare your manuscript for double-blind process.
---------------------
AWARD
---------------------
Papers accepted for presentation at SSBSE 2015 will be considered for prizes in the following categories:
* Best Student Paper with industry-relevant SBSE results (1,500 EUR; sponsored by Huawei)
* Challenge Track Award (1,000 EUR)
---------------------
FORMAT AND SUBMISSION
---------------------
Papers must not have been previously published, or be in consideration for, any journal, book, or other conference. Papers will be evaluated by members of the program committee based on their originality, technical soundness and presentation quality. Submissions must conform to Springer's LNCS format (http://www.springer.com/lncs). Further information on paper formatting and submission will be soon available from the symposium website. If a paper is accepted, at least one author is expected to attend the symposium and to present the paper. In case of a student paper, the first (student) author is expected to attend and present the paper.
-----------------------
CONFERENCE PROCEEDINGS
-----------------------
Accepted papers will be published in a volume of the Springer Lecture Notes in Computer Science series (LNCS).
-----------------------------
SPECIAL ISSUE FOR BEST PAPERS
-----------------------------
The authors of best selected symposium papers will be invited to submit extended versions of their papers for a special issue in one of the leading software engineering journals. Details will be announced soon.
---------------
IMPORTANT DATES
---------------
GRADUATE STUDENT PAPERS TRACK
Submission May 6, 2015
Notification May 25, 2015
SHORT PAPERS TRACK
Submission May 6, 2015
Notification May 25, 2015
SBSE CHALLENGE TRACK
Submission May 6, 2015
Notification May 25, 2015
------------------------------
CONTACT INFORMATION:
To contact the Short Paper and Graduate Student Tracks Chair, please email: f.sarro@ucl.ac.uk<mailto:f.sarro@ucl.ac.uk>
------------------------------
--------------------------------
VENUE - BERGAMO (ITALY)
--------------------------------
Nestling in the Alpine foothills, just 40 km northeast of Milan, Bergamo is one of the prettiest towns in Northern Italy and is the second touristic destination in Lombardy after Milan. Structured in two levels, the lower city, called "Cittv?bassa" is more modern and dynamic, while the famous "upper city", called "Citta Alta", built up on the hills, boasts a stunning historic center with an extremely rich heritage of art and history. The two cities are separated, both physically and symbolically, by the powerful Venetian Walls; nowadays, also a funicular railway "funicolare" brings visitors and residents from the lower city to the upper city. Bergamo hosts several extraordinary art museums: the "Bernareggi" Museum of Sacred Art and the famous Pinacoteca Carrara, an art gallery situated near to the Gallery of Modern and Contemporary Art (GAMEC). It is served by the Orio al Serio Airport, which also serves the Province of Bergamo and the metropolitan area of Milan.
--------------------
ORGANIZING COMMITTEE
--------------------
GENERAL CHAIR
Paolo Tonella, Fondazione Bruno Kessler, Italy.
PROGRAM CHAIRS
Yvan Labiche, Carleton University, Canada.
Marcio Barros, Universidade Federal do Estado do Rio de Janeiro, Brazil.
GRADUATE STUDENT TRACK CHAIR
Federica Sarro, University College London, UK.
SBSE CHALLENGE TRACK CHAIR
Shin Yoo, University College London, UK.
Leandro L. Minku, University of Birmingham, UK.
LOCAL ORGANIZATION
Angelo Gargantini, University of Bergamo, Italy.
-----------------
PROGRAM COMMITTEE
-----------------
Shaukat Ali, Simula Research Laboratory
Leonardo Bottaci, University of Hull
John A. Clark, University of York
Thelma Elita Colanzi, State University of Maring?
Massimiliano Di Penta, University of Sannio
Arilo Claudio Dias-Neto, Federal University of Amazonas
Robert Feldt, Blekinge Institute of Technology
Gordon Fraser, University of Sheffield
Mathew Hall, University of Sheffield
Colin Johnson, University of Kent
Marouane Kessentini, University of Michigan
Fitsum Meshesha Kifetew, Fondazione Bruno Kessler
Dongsun Kim, Sogang University
Claire Le Goues, Carnegie Mellon University
Raluca Lefticaru, University of Bucharest
Zheng Li, Beijing University of Chemical Technology
Phil McMinn, University of Sheffield
Timothy Menzies, North Carolina State University
Mel 'Cinnide, University College Dublin
Justyna Petke, University College London
Pasqualina Potena, University of Alcala
Simon Poulding, Blekinge Institute of Technology
Xiao Qu, ABB Corporate Research
Marc Roper, University of Strathclyde
Guenther Ruhe, University of Calgary
Christopher Simons, University of the West of England
Jerffeson Souza, State University of Ceara
Angelo Susi, Fondazione Bruno Kessler
Jerry Swan, University of Stirling
Silvia Vergilio, Federal University of Paran
David White, University of Glasgow
Xin Yao, University of Birmingham
Yuanyuan Zhang, University College London
------------------------------
Message: 3
Date: Wed, 29 Apr 2015 12:00:31 +0000
From: Laura Marmor <laura.marmor@cs.ox.ac.uk>
To: "dmanet@zpr.uni-koeln.de" <dmanet@zpr.uni-koeln.de>
Subject: [DMANET] Two Research Assistant Positions in Algorithmic Game
Theory at University of Oxford
Message-ID:
<1636200A87934545AD099B492F7BB465ABF5347F@MBX10.ad.oak.ox.ac.uk>
Content-Type: text/plain; charset="iso-8859-1"
Professor Elias Koutsoupias is looking for two Research Assistants to join the ERC project "Algorithms, Games, Mechanisms, and the Price of Anarchy" (ALGAME) at the University of Oxford.
The "Algorithms, Games, Mechanisms, and the Price of Anarchy" (ALGAME) project involves investigating, designing, and analysing mechanisms, extending the theory of the price of anarchy and stability, and investigating game-playing issues that arise by applying the algorithmic approach (e.g. limitations in computation and communication) to classical game theory.
Candidates should have a first degree and a doctorate in computer science (or related discipline), and a record of research in algorithmic game theory or a related area. Experience of working in collaborative or inter-disciplinary environments is highly desired.
This is a fixed-term contract for up to 2 years (with the possibility of extension). The salary range is ?30,434 - ?37,394 p.a.
Details and application form at https://www.recruit.ox.ac.uk/pls/hrisliverecruit/erq_jobspec_version_4.display_form.
Deadline for applications: 20 May 2015 at 12 noon.
------------------------------
Message: 4
Date: Wed, 29 Apr 2015 15:43:28 +0300
From: Chen Avin <avin@cse.bgu.ac.il>
To: DMANET@zpr.uni-koeln.de
Subject: [DMANET] Call for Prize Nominations: Prize for Innovation in
Distributed Computing 2016 (Corrections, and DEADLINE MOVED to May
30th, 2015)
Message-ID:
<CAB1dc2Oc1v++R6tvoshYsPThrC+zZknh4Sdekw2Y-aC38iXwfw@mail.gmail.com>
Content-Type: text/plain; charset=UTF-8
Prize for Innovation in Distributed Computing 2016
Call for Prize Nominations
DEADLINE May 30th, 2015
---------------------------------------------------------------------
Awarded by the Colloquium on Structural Information and Communication
Complexity (SIROCCO).
Nominations are requested for the Prize for Innovation In Distributed Computing.
This prize was established to recognize individuals whose research
contributions expanded the
collective investigative horizon in SIROCCO's area of interest. That
is, they formulated new problems,
or identified new research areas, that were at the time of their
introduction, unorthodox and outside the
mainstream, but later attracted the interest of the SIROCCO community.
This community is interested in the relationships between information
and efficiency in decentralized
computing. The prize recognizes originality, innovation, and
creativity -- the qualities that reflect the
spirit of the SIROCCO conference.
The winner is expected to give an invited talk at SIROCCO NEXT year.
The winner chosen last year
(Michel Raynal) will give a talk at sirocco in the current year:
SIROCCO 2015 is going to be held on
July 15-17, Montserrat, Spain (a few days before PODC, also in Spain
this year; papers submission
deadline is April 30th). (Other invited speakers this current year
are: Nati Linial (Keynote), Amos
Korman, Bernhard Haupler, and Sakat Navlakha).
The prize may not necessarily be awarded every year.
Past prize winners are Nicola Santoro, Jean-Claude Bermond, David
Peleg, Roger Wattenhofer,
Andrzej Pelc, Pierre Fraigniaud, and Michel Raynal.
Eligibility
-----------
The following conditions must be met by the nominees to be eligible
for the prize. It is requested
that a nomination letter explains and demonstrates how the nominee
matches these conditions.
(1) The original innovative contribution was introduced by the
nominee(s) for the first time in a
publication at least five years before the nomination deadline, and
the publication must have appeared
in a conference proceedings or a scientific journal.
(2) At least one paper (co)authored by the nominee(s), either the
original paper, or a paper very related
to the innovative contribution, must have appeared in a SIROCCO proceedings.
A nomination letter should identify the paper(s) that make(s) the
nominee eligible according to conditions
(1) and (2) above, as well as explain the contribution, its
originality, and its significance.
Past SIROCCO papers and authors can be found at indexing sites, e.g. Google
Scholar or http://www.informatik.uni-trier.de/~ley/db/conf/sirocco/index.html.
Selection process
------------------
The prize winners are selected by the Award Committee composed of the
current Steering Committee (SC)
Chair of the SIROCCO conference, the PC chairs, including co-chairs,
of the three SIROCCO conferences
immediately preceding the nominations deadline, plus one additional
member of the Advisory Board,
or one past winner, selected by the Steering Committee for the current year.
In 2015, the Award Committee consists of: Guy Even (Tel Aviv
University), Magn?s Halld?rssonReykjavik
University), Shay Kutten (Technion)- chair, Thomas Moscibroda
(Microsoft), and Andrzej Pelc
(Universite du Quebec en Outaouais).
Nominations can be made by any member of the scientific community.
DEADLINE : Please send the nomination to the prize committee chair,
kutten@ie.technion.ac.il by MAY 15th, 2015.
(Please note: May 2015, we select this year the winner of next year).
PLEASE write SIROCCO Prize Nomination IN THE SUBJECT LINE.
Please help in recognizing the contributions of members of our community.
------------------------------
Message: 5
Date: Wed, 29 Apr 2015 16:07:12 +0100
From: Peter Richtarik <peter.richtarik@ed.ac.uk>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] Registration still open: Optimization & Big Data
2015 (Edinburgh, May 6-8, 2015)
Message-ID: <A0796E4E-85BC-4485-B140-DDAFABD42EE1@ed.ac.uk>
Content-Type: text/plain; charset=utf-8
Optimization & Big Data 2015, Edinburgh, May 6-8, 2015
Venue: University of Edinburgh (Informatics Forum / JCMB)
Dear colleagues and friends,
1. Registration
? is still open for the event (fee = ?45):
http://www.maths.ed.ac.uk/~prichtar/Optimization_and_Big_Data_2015/registration.html <http://www.maths.ed.ac.uk/~prichtar/Optimization_and_Big_Data_2015/registration.html>
2. Workshop Website
http://www.maths.ed.ac.uk/~prichtar/Optimization_and_Big_Data_2015 <http://www.maths.ed.ac.uk/~prichtar/Optimization_and_Big_Data_2015>
3. Invited Speakers
Coralia Cartis (Oxford)
Global convergence rate analysis of unconstrained optimization methods based on probabilistic models
Patrick Louis Combettes (Paris 6)
Splitting techniques in the face of huge problem sizes: block-coordinate and block-iterative approaches
Jonathan Eckstein (Rutgers)
Object-parallel solution of large-scale lasso problems
Garud Iyengar (Columbia)
A distributed proximal method for composite convex optimization
Rodolphe Jenatton (Amazon Berlin)
Sparse and spurious: dictionary learning with noise and outliers
Jakub Konecny (Edinburgh)
Distributed optimization with arbitrary local solvers
Francois Glineur (Louvain)
Smooth strongly convex interpolation and exact worst-case performance of first-order methods
Donald Goldfarb (Columbia)
Low-rank matrix and tensor recovery: theory and algorithms
Robert Gower (Edinburgh)
Randomized fixed point methods for linear systems and inverting matrices
Arkadi Nemirovski (Georgia Tech) - keynote
Fenchel-type representations and large-scale problems with convex structure on difficult geometry domains
Zheng Qu (Edinburgh) - organizer
Randomized dual coordinate ascent with arbitrary sampling
Peter Richtarik (Edinburgh) - organizer
SDNA: Stochastic Dual Newton Ascent for empirical risk minimization
Katya Scheinberg (Lehigh)
Unconstrained trust region based stochastic optimization with biased and unbiased noise
Mark Schmidt (UBC)
Is greedy coordinate descent a terrible algorithm?
4. Accepted Contributions
In addition to the invited talks, there is a contributed track (spotlight talks + poster sessions) attracting a prize from Amazon (prize committee: Arkadi Nemirovski & Rodolphe Jenatton)
Jose Vidal Alcala-Burgos (Universidad Autonoma de Yucatan, Mexico)
Affine invariant stochastic optimization
Dominik Csiba <http://www.maths.ed.ac.uk/people/show?person=417> (University of Edinburgh, UK)
Stochastic dual coordinate ascent with adaptive probabilities
Kimon Fountoulakis <http://www.maths.ed.ac.uk/%7Ekfount/> (University of Edinburgh, UK)
A problem generator for big data optimization <http://www.maths.ed.ac.uk/%7Eprichtar/Optimization_and_Big_Data_2015/posters/Fountoulakis.pdf>
Gordon Inverarity <http://www.metoffice.gov.uk/research/people/gordon-inverarity> (Met Office, UK)
Data assimilation for weather forecasting <http://www.maths.ed.ac.uk/%7Eprichtar/Optimization_and_Big_Data_2015/posters/Inverarity.pdf>
Maria Koroliuk <http://www2.warwick.ac.uk/fac/cross_fac/complexity/people/students/emstudents/2013intake/> (University of Warwick, UK)
Analysis of urban traffic data <http://www.maths.ed.ac.uk/%7Eprichtar/Optimization_and_Big_Data_2015/posters/Koroliuk.pdf>
Dimitris Kouzoupis <https://www.imtek.de/laboratories/systemtheorie/mitarbeiter-en/ma_gruppiert?set_language=en> (University of Freiburg, Germany)
First-order methods in nonlinear model predictive control <http://www.maths.ed.ac.uk/%7Eprichtar/Optimization_and_Big_Data_2015/posters/Kouzoupis.pdf>
Wenting Long <http://cn.linkedin.com/in/wentinglong> (Sun Yat-sen University, China)
Fixed point algorithm based on proximity and precondition operator for high resolution image reconstruction with displacement errors <http://www.maths.ed.ac.uk/%7Eprichtar/Optimization_and_Big_Data_2015/posters/Long.pdf>
Aurelien Lucchi <http://www.da.inf.ethz.ch/people/AurelienLucchi/> (ETH Zurich, Switzerland)
Neighbourhood watch: variance reduction using nearest-neighbours <http://www.maths.ed.ac.uk/%7Eprichtar/Optimization_and_Big_Data_2015/posters/Lucchi.pdf>
Rodrigo Mendoza Smith <https://www.maths.ox.ac.uk/people/rodrigo.mendozasmith> (University of Oxford, UK)
Expander L0 decoding
Christian Mueller <https://www.simonsfoundation.org/simons-center-for-data-analysis/scda-staff/> (Simons Center for Data Analysis, USA)
Auto-tuned high-dimensional regression with the TREX: theoretical guarantees and non-convex global optimization <http://www.maths.ed.ac.uk/%7Eprichtar/Optimization_and_Big_Data_2015/posters/Mueller.pdf>
Thomas Prescott <http://sysos.eng.ox.ac.uk/control/sysos/index.php/User:Prescott> (University of Oxford, UK)
Layered synthetic biomolecular systems
Daniel Robinson <https://sites.google.com/site/danielprobinson/> (Johns Hopkins University, USA)
A hybrid ADMM algorithm
Chee-Wei Tan <http://www.cs.cityu.edu.hk/profile/cheewtan.html> (City University of Hong Kong, Hong Kong)
A probabilistic approach to rumor source detection and graph-based message passing algorithms <http://www.maths.ed.ac.uk/%7Eprichtar/Optimization_and_Big_Data_2015/posters/Tan.pdf>
Simon Tett <http://www.geos.ed.ac.uk/homes/stett2> (University of Edinburgh, UK)
Optimising parameter values in climate models: observational/model synthesis
Weiqi Zhou <http://www.jacobs-university.de/directory/wzhou> (Jacobs University, Germany)
Kaczmarz iteration with random row permutation
-----
Zheng Qu and Peter Richtarik (organizers)
University of Edinburgh
The School of Mathematics
University of Edinburgh
http://www.maths.ed.ac.uk/~richtarik
------------------------------
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 86, Issue 30
**************************************
dmanet Digest, Vol 86, Issue 29
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. CfP - CivicTech 2015 - October 13, 2015 (Bratislava,
Slovakia) (Valeria Loscri)
----------------------------------------------------------------------
Message: 1
Date: Tue, 28 Apr 2015 13:51:26 +0200
From: Valeria Loscri <valeria.loscri@inria.fr>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] CfP - CivicTech 2015 - October 13, 2015 (Bratislava,
Slovakia)
Message-ID: <6F8973F8-6EA9-4B0E-9919-BF7B44FE59F6@inria.fr>
Content-Type: text/plain; charset=utf-8
International Conference on Civic Technologies for Smart Cities (CivicTech 2015)
collocated with Smart City 360 Summit, 13 October 2015, Bratislava, Slovakia
http://civictech.eu/2015/show/home
Scope:
1st International Conference on Civic Technologies for Smart Cities seeks novel previously unpublished contributions in smart cities research. Smart cities can be characterized as cities that offer sustainable economic environment and high quality of life, while relying on technology in order to achieve these goals. The purpose of this conference is to bring together researchers, designers, developers and practitioners interested in smart cities technologies. We invite articles discussing theoretical aspects of smart cities, simulation, modeling and experimentation, case studies and tests as well as review articles.
The event is endorsed by the European Alliance for Innovation, a leading community-based organization devoted to the advancement of innovation in the field of Smart Cities, ICT and e-Health and will be co-located with the Smart City 360 Summit.
Participation in this event will give attendees the unique opportunity to be exposed to all technical scientific aspects of Smart City related topic areas at co-located conferences, as well as be able to have full access to the Smart City market place and business aspects in practice at the Smart City 360 Summit.
Topics:
? Big data
? Urban security
? Biometrics
? Enabling wireless and mobile technologies for smart cities
? M2M Communications for Smart Cities
? IoT architectures and middleware for smart cities;
? Self-organizing wireless networks for pervasive urban access;
? Mobile-aware cloud computing models, infrastructures, and approaches for smart cities
? Crowd sourcing in smart cities
? Reliability, Security, Privacy and Trust in smart cities ecosystems;
? Sensor networks, smart sensors, smart integrated systems
? Communication protocols for smart cities
? Intelligent infrastructure
? Vehicle-to-infrastructure communication
? Smart buildings
? Modeling and simulation of smart cities
? Urban population modeling and simulation
? Smart grid
? Energy efficient technologies
? Smart traffic operation systems
? Monitoring technologies
? Fault detection technologies
? Social networks for smart cities
? Information harvesting in smart cities
? Advanced robotic systems for smart cities
? In-building navigation
? Modeling experimentation for Smart Cities
? Case Studies of Smart Cities
Highlights:
Accepted papers will be published in the CivicTech Conference Proceedings and by Springer-Verlag in the Lecture Notes of ICST (LNICST). The proceedings will be available both in book form and via the SpringerLink digital library, which is one of the largest digital libraries online and covers a variety of scientific disciplines.
The proceedings are submitted for inclusion to the leading indexing services: DBLP, Google Scholar, Thomson Scientific ISI Proceedings, EI Elsevier Engineering Index, CrossRef, Scopus, as well as ICST's own EU Digital Library (EUDL).
Best Papers will be considered for publication in the ACM/Springer Mobile Networks and Applications Journal (MONET).
Important dates
Full Paper Submission deadline: 15 June 2015
Notification deadline: 31 July 2015
Camera-ready deadline: 31 August 2015
General Chair:
Milo? Oravec, Slovak University of Technology
General Co-Chairs:
Valeria Loscri, Inria Lille-Nord Europe
Athanasios Vasilakos, Lulea University of Technology
Anna Maria Vegni, University of Roma Tre
TPC Chair:
Martin Drozda, Slovak University of Technology
Conference Manager:
Lucia Mrazova, EAI
ASK FOR INFO - info@smartcity360.org
------------------------------
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 86, Issue 29
**************************************
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. CfP - CivicTech 2015 - October 13, 2015 (Bratislava,
Slovakia) (Valeria Loscri)
----------------------------------------------------------------------
Message: 1
Date: Tue, 28 Apr 2015 13:51:26 +0200
From: Valeria Loscri <valeria.loscri@inria.fr>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] CfP - CivicTech 2015 - October 13, 2015 (Bratislava,
Slovakia)
Message-ID: <6F8973F8-6EA9-4B0E-9919-BF7B44FE59F6@inria.fr>
Content-Type: text/plain; charset=utf-8
International Conference on Civic Technologies for Smart Cities (CivicTech 2015)
collocated with Smart City 360 Summit, 13 October 2015, Bratislava, Slovakia
http://civictech.eu/2015/show/home
Scope:
1st International Conference on Civic Technologies for Smart Cities seeks novel previously unpublished contributions in smart cities research. Smart cities can be characterized as cities that offer sustainable economic environment and high quality of life, while relying on technology in order to achieve these goals. The purpose of this conference is to bring together researchers, designers, developers and practitioners interested in smart cities technologies. We invite articles discussing theoretical aspects of smart cities, simulation, modeling and experimentation, case studies and tests as well as review articles.
The event is endorsed by the European Alliance for Innovation, a leading community-based organization devoted to the advancement of innovation in the field of Smart Cities, ICT and e-Health and will be co-located with the Smart City 360 Summit.
Participation in this event will give attendees the unique opportunity to be exposed to all technical scientific aspects of Smart City related topic areas at co-located conferences, as well as be able to have full access to the Smart City market place and business aspects in practice at the Smart City 360 Summit.
Topics:
? Big data
? Urban security
? Biometrics
? Enabling wireless and mobile technologies for smart cities
? M2M Communications for Smart Cities
? IoT architectures and middleware for smart cities;
? Self-organizing wireless networks for pervasive urban access;
? Mobile-aware cloud computing models, infrastructures, and approaches for smart cities
? Crowd sourcing in smart cities
? Reliability, Security, Privacy and Trust in smart cities ecosystems;
? Sensor networks, smart sensors, smart integrated systems
? Communication protocols for smart cities
? Intelligent infrastructure
? Vehicle-to-infrastructure communication
? Smart buildings
? Modeling and simulation of smart cities
? Urban population modeling and simulation
? Smart grid
? Energy efficient technologies
? Smart traffic operation systems
? Monitoring technologies
? Fault detection technologies
? Social networks for smart cities
? Information harvesting in smart cities
? Advanced robotic systems for smart cities
? In-building navigation
? Modeling experimentation for Smart Cities
? Case Studies of Smart Cities
Highlights:
Accepted papers will be published in the CivicTech Conference Proceedings and by Springer-Verlag in the Lecture Notes of ICST (LNICST). The proceedings will be available both in book form and via the SpringerLink digital library, which is one of the largest digital libraries online and covers a variety of scientific disciplines.
The proceedings are submitted for inclusion to the leading indexing services: DBLP, Google Scholar, Thomson Scientific ISI Proceedings, EI Elsevier Engineering Index, CrossRef, Scopus, as well as ICST's own EU Digital Library (EUDL).
Best Papers will be considered for publication in the ACM/Springer Mobile Networks and Applications Journal (MONET).
Important dates
Full Paper Submission deadline: 15 June 2015
Notification deadline: 31 July 2015
Camera-ready deadline: 31 August 2015
General Chair:
Milo? Oravec, Slovak University of Technology
General Co-Chairs:
Valeria Loscri, Inria Lille-Nord Europe
Athanasios Vasilakos, Lulea University of Technology
Anna Maria Vegni, University of Roma Tre
TPC Chair:
Martin Drozda, Slovak University of Technology
Conference Manager:
Lucia Mrazova, EAI
ASK FOR INFO - info@smartcity360.org
------------------------------
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 86, Issue 29
**************************************
Subscribe to:
Posts (Atom)