Wednesday, November 9, 2016

dmanet Digest, Vol 105, Issue 9

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. PostDoc in Comp.Biophysics and/or Scientific Computing
(Prof. Dr. Kay Hamacher)
2. CFP : ANT 2017, Madeira, Portugal (Paper Submission Due:
December 22, 2016) (Mohamed Amine FERRAG)
3. First Call for Papers: Fourth International Workshop on
Matching Under Preferences (MATCH-UP 2017) (Scott Kominers)
4. FCP PLS 11 (Alexandra Soskova)
5. Simons-Berkeley Research Fellowships 2017-18 (Alistair Sinclair)


----------------------------------------------------------------------

Message: 1
Date: Tue, 8 Nov 2016 15:17:53 +0100
From: "Prof. Dr. Kay Hamacher" <hamacher@bio.tu-darmstadt.de>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] PostDoc in Comp.Biophysics and/or Scientific
Computing
Message-ID: <65108a0d-c520-3fd7-cac9-2324fcc2361e@bio.tu-darmstadt.de>
Content-Type: text/plain; charset=utf-8

Prof. Kay Hamacher´s working group invites applications for a
PostDoc position

in the area of computational physics and scientific computing. The
position is available for 3 years.

Ideally you have already gained experience in one or more of the
following areas:

Computational Physics
Statistical Mechanics
Scientific Computing
Simulation techniques, Molecular Dynamics in particular
Functional Programming, other modern programming techniques

Proficiency in spoken and written English is mandatory.

The starting date is negotiable, but sooner is preferable. You will be
associated with the Dept. of Physics, the Dept. of Computer Science, and
the Dept of Biology @ TU Darmstadt.

The Technische Universität Darmstadt intends to increase the number of
female employees and encourages female candidates to apply. In case of
equal qualifications applicants with a degree of disability of at least
50 or equal will be given preference. Wages and salaries are according
to the collective agreements on salary scales, which apply to the
Technische Universität Darmstadt (TV-TU Darmstadt). Part-time employment
is generally possible.

Please send your application (including CV, publication list, copies of
certificates, a motivation letter, contact details for at least two
referees) to: TU Darmstadt, Prof. Dr. Kay Hamacher, Schnittspahnstr. 10,
64287 Darmstadt, Germany
or via Email (only PDF acceptable, only one attachment - all files
merged together in one single PDF) to hamacher@bio.tu-darmstadt.de

For sensitive communications, please use Prof. Hamacher´s PGP/GPG-Key
with fingerprint: 88DD E58F AOF4 95A9 F825 BB55 506E ACA6 5092 F411

Code. No. 474

Application deadline: November 30, 2016

https://www.intern.tu-darmstadt.de/dez_vii/stellen/stellen_details_212288.en.jsp


--
Prof. Dr. Kay Hamacher http://www.kay-hamacher.de
Dept. of Biology http://goo.gl/0jTtPi
Dept. of Computer Science TU Darmstadt
Dept. of Physics Schnittspahnstr. 10
D-64287 Darmstadt, Germany


------------------------------

Message: 2
Date: Tue, 8 Nov 2016 16:25:31 +0100
From: Mohamed Amine FERRAG <mohamed.amine.ferrag@gmail.com>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] CFP : ANT 2017, Madeira, Portugal (Paper Submission
Due: December 22, 2016)
Message-ID:
<CAP+1bPgsyQqaLge_=eX1XehH8nmiGf6NeSz5+FWeJM3ow6tU0g@mail.gmail.com>
Content-Type: text/plain; charset=UTF-8

*The 8th International Conference on Ambient Systems,
Networks and Technologies (ANT-2017)
*
*
Madeira, Portugal *
*
May 16-19, 2017 *


Conference Website: http://cs-conferences.acadiau.ca/ant-17/

*Important Dates
===========
- Workshops Proposal Due: November 1, 2016
- Paper Submission Due: December 22, 2016
- Acceptance Notification: February 13, 2017
- Camera-Ready Submission: March 13, 2017

ANT 2017 accepted papers will be published by Elsevier Science in the
open-access Procedia Computer Science series on-line. Procedia Computer
Science is hosted by Elsevier on www.Elsevier.com
<http://www.elsevier.com/> and
on Elsevier content platform ScienceDirect (www.sciencedirect.com), and
will be freely available worldwide. All papers in Procedia will be indexed
by Scopus (www.scopus.com) and by Thomson Reuters' Conference Proceeding
Citation Index (http://thomsonreuters.com/conference-proceedings-citation-i
ndex/
). All papers in Procedia will also be indexed by Scopus (
www.scopus.com) and Engineering Village (Ei) (www.engineeringvillage.com).
This includes EI Compendex (www.ei.org/compendex). Moreover, all accepted
papers will be indexed in DBLP (http://dblp.uni-trier.de/). The papers will
contain linked references, XML versions and citable DOI numbers. You will
be able to provide a hyperlink to all delegates and direct your conference
website visitors to your proceedings. Selected papers will be invited for
publication, in the special issues of:

- Journal of Ambient Intelligence and Humanized Computing (IF: 0.835), by
Springer (http://www.springer.com/engineering/journal/12652)
- Journal of Future Generation Computer Systems (IF: 2.430), by Elsevier (
http://www.journals.elsevier.com/future-generation-computer-systems/)
- IEEE Intelligent Transportation Systems Magazine (IF: 1.547), by IEEE (
http://ieeexplore.ieee.org/xpl/RecentIssue.jsp?punumber=5117645)
- Journal of Personal and Ubiquitous Computing (IF: 1.498), by Springer (
http://www.springer.com/computer/hci/journal/779)

ANT 2017 will be held in Madeira, a Portuguese archipelago. Madeira is a
popular year-round tourist destination, known for its remarkable
mountainous scenery and mild year-long climate. Although, Madeira is part
of Europe it is approximately 1,000 km from the continent while being only
520 km from the coast of Africa. It is about an hour and a half flight from
the capital of Portugal, Lisbon. Funchal, the picturesque capital of
Madeira, is situated on the south coast of the island and one of Atlantic
Oceans most popular cruise ship ports. Madeira is a scenic island with many
unique destinations such as the Laurisilva forest, a UNESCO World Heritage
site.

ANT-2017 will be held in conjunction with the 7th International Conference
on Sustainable Energy Information Technology (SEIT, http://cs-conferences.a
cadiau.ca/seit-17/).

Conference Tracks
==============
- Agent Systems, Intelligent Computing and Applications
- Automatic Networks and Communications
- Big Data and Analytics
- Cloud Computing
- Context-awareness and Multimodal Interfaces
- Emerging Networking, Tracking and Sensing Technologies
- Internet of Things
- Mobile Networks, Protocols and Applications
- Modeling and Simulation in Transportation Sciences
- Multimedia and Social Computing
- Real-time Big Data Stream Mining Architecture
- Service Oriented Computing for Systems & Applications
- Smart Environments and Applications
- Systems Security and Privacy
- Systems Software Engineering
- Vehicular Networks and Applications
- General Track

COMMITTEES
=========
General Chairs
Atta Baddi, University of Reading, UK
Hossam Hassanein, Queen's University, Canada
Albert Zomaya, The University of Sydney, Australia

Program Chairs
Ansar-Ul-Haque Yasar, IMOB Ð Hasselt University, Belgium
Nuno Varandas, IPN Coimbra, Portugal

Advisory Committee
Reda Alhajj, University of Calgary, Canada
Abdelfettah Belghith, University of Manouba, Tunisia
Sajal K. Das, The University of Texas at Arlington, USA
Erol Gelenbe, Imperial College, UK
Ali Ghorbani, University of New Brunswick, Canada
Vincenzo Loia, University of Salerno, Italy
Timothy Shih, Tamkang University, Taiwan
Peter Sloot, Universiteit van Amsterdam, Netherlands
Ralf Steinmetz, Technische Universitaet Darmstadt, Germany
Katia Sycara, Carnegie Mellon University, USA
Peter Thomas, Manifesto Research, Australia

Workshops Chair
Stephane Galland, UTBM, France Program

Vice Chairs
Nik Bessis, Edge Hill University, UK
Kechar Bouabdellah, Oran University, Algeria
Samia Bouzefrane,CEDRIC Lab Conservatoire National des Arts et MŽtiers,
France
Lars Braubach, Hamburg University, Germany
Amine Dhraief, Manouba University, Tunisia
Roberto Di Pietro, Roma Tre University of Rome, Italy
Antonio Filieri, Imperial College London, England
Chaudhary Muhammad Imran, KSU, Saudi Arabia
Nafaa Jabeur, GU Tech, Oman
Yaser Jararweh, Jordan University of Science and Technology, Jordan
Luk Knapen, IMOB Ð Hasselt University, Belgium
Flavio Lombardi, Roma Tre University of Rome, Italy
Haroon Malik, Marshall University, USA
Nils Masuch, DAI Ð TU Berlin, Germany
Ana C. R. Paiva, University of Porto, Portugal
Manuele Kirsch Pinheiro, University of Paris 1, France
Lo'ai Tawalbeh, Umm AlQura University, KSA
Yves Vanrompay, Hasselt University, Belgium

International Journals Chair
Michael Sheng, University of Adelaide, Australia
Yongrui Qin, University of Huddersfield, UK

Publicity Chairs
Rui Din's, Instituto de Telecomunica ›es, FCT-UNL, Lisbon, Portugal
Mohamed Amine Ferrag, Guelma University, Algeria
Sarmad Ullah Khan, CECOS University, Pakistan
Josep Maria Salanova, CERT, Greece

International Liaison Chairs
Soumaya Cherkaoui, Sherbrooke University, Canada
Paul Davidsson, Malmo University, Sweden
Dino Pedreschi, University of Pisa, Italy
David Taniar, Monash University, Australia

Technical Program Committee
http://cs-conferences.acadiau.ca/ant-17/#programCommittees
--
__________________________________________________
*Dr. Mohamed Amine Ferrag*
*Assistant Professor*
*Department of Computer Science*
*Guelma University*
*BP 401 Guelma 24000, Algeria*
*Tel. : **+213 661 87 30 51*
*E-mails: mohamed.amine.ferrag@gmail.com <mohamed.amine.ferrag@gmail.com>
**(Primary)*
* ferrag.mohamedamine@univ-guelma.dz
<ferrag.mohamedamine@univ-guelma.dz>*
*maferrag@lrs-annaba.net <maferrag@lrs-annaba.net>*
*HomePage : https://sites.google.com/site/mohamedamineferrag/
<https://sites.google.com/site/mohamedamineferrag/>*
____________________________________________________

------------------------------

Message: 3
Date: Tue, 8 Nov 2016 11:17:02 -0500
From: Scott Kominers <skominers@gmail.com>
Subject: [DMANET] First Call for Papers: Fourth International Workshop
on Matching Under Preferences (MATCH-UP 2017)
Message-ID:
<CANfJeTN3+iT+VdpoLg16_FrOS8WoQshC6d8wSt0KDv=mqVvM5w@mail.gmail.com>
Content-Type: text/plain; charset=UTF-8

The Fourth International Workshop on Matching Under Preferences (MATCH-UP
2017)
https://www.microsoft.com/en-us/research/event/match-up-2017/
April 20-21, 2017
at Microsoft Research New England in Cambridge, MA

CALL FOR PAPERS

We seek papers and posters on matching under preferences. The matching
problems under consideration include, but are not limited to:
+ two-sided matchings involving agents on both sides (e.g., college
admissions, medical resident allocation, job markets),
+ two-sided matchings involving agents and objects (e.g., house allocation,
course allocation, project allocation, assigning papers to reviewers, and
school choice), and
+ one-sided matchings (e.g., roommate problems and kidney exchanges).

Further information, as well as programs of prior MATCH-UP workshops, can
be found at http://www.optimalmatching.com/MATCHUP/ .

SUBMISSION INFORMATION

Papers can be submitted via EasyChair, at
https://easychair.org/conferences/?conf=matchup2017 .

Please note that in order to accommodate different fields' publishing
traditions, authors of will have the option of submitting papers that are
already under review or accepted in journals, and publishing only a
single-page abstract in the proceedings.


IMPORTANT DATES

Submission Deadline: December 9, 2016, 11:59pm EDT
Notification: early February
Conference Dates: April 20-21, 2017


ORGANIZING COMMITTEE

Co-Chairs:
Nicole Immorlica, Microsoft Research
Scott Duke Kominers, Harvard University

Steering Committee:
Péter Biró, Hungarian Academy of Sciences
Brian Dean, Clemson University
Bettina Klaus, University of Lausanne
David Manlove, University of Glasgow

------------------------------

Message: 4
Date: Tue, 8 Nov 2016 20:15:02 +0200 (EET)
From: Alexandra Soskova <asoskova@fmi.uni-sofia.bg>
To: DMANET@zpr.uni-koeln.de
Subject: [DMANET] FCP PLS 11
Message-ID:
<904731856.1196006.1478628902280.JavaMail.zimbra@fmi.uni-sofia.bg>
Content-Type: text/plain; charset=utf-8

======================================================================

PLS11: THE ELEVENTH PANHELLENIC LOGIC SYMPOSIUM

July 12-16, 2016

Delphi, Greece

The National and Kapodistrian University of Athens and

the National Technical University of Athens.

The University of Cyprus will help in the organization.

http://pls11.cs.ntua.gr/

======================================================================

IMPORTANT DATES

Deadline for submission: Wednesday, April 12, 2017

Notification: Friday, May 12, 2017

Final copy due: Friday, June 2, 2017

======================================================================

INVITED TALKS

- Zoé Chatzidakis, ENS, Paris

- Hannes Leitgeb, LMU, Munich

- Yiannis Moschovakis, UCLA

- Andrea Sorbi, Siena University

- Wolfgang Thomas, RWTH, Aachen

- Timothy Williamson, Oxford University

======================================================================

TUTORIALS

- Valentina Harisanov, George Washington University,

"Computable Model Theory"

- Ya'acov Peterzil, University of Haifa, "O-minimality", TBC

- Anand Pillay, Notre Dame, "Model theory"

======================================================================

SPECIAL SESSION IN MODEL THEORY

Organized by Pantelis Eleftheriou, University of Konstanz

and Rizos Sklinos, Université Lyon

Invited special session speakers:

- Artem Chernikov, UCLA

- Frank Wagner, Lyon 1

- Amador Martin-Pizarro, Lyon 1, TBC

- Sergei Starchenko, University of Notre Dame, TBC

======================================================================

SPECIAL SESSION IN COMPUTABILITY THEORY

Organized by Alexandra Soskova, Sofia University

Invited special session speakers:

- Damir Dzhafarov, University of Connecticut

- Ekaterina Fokina, Vienna University of Technology

- Joseph Miller, University of Wisconsin, Madison, TBC

- Antonio Montalban, UC Berkeley

- Andy Lewis-Pye, London School of Economics

- Paul Shafer, University of Gent

======================================================================

FIRST CALL FOR PAPERS

Original papers that fall within the scope of the symposium are

solicited. Prospective speakers of twenty-minute presentations

are invited to submit a paper, in English, not exceeding six pages,

------------------ by Wednesday, April 12, 2017. --------------------

Papers should be prepared using the EasyChair class style

(available from http://www.easychair.org/publications/?page=1594225690)

and submitted electronically, using the Easy Chair conference system,

at https://www.easychair.org/conferences/?conf=pls11.

If possible, each submitted paper should be classified in one of the

following areas:

- Ancient Logic

- Computability Theory

- History and Philosophy of Logic

- Logic in Computer Science

- Model Theory

- Nonclassical and Modal Logics

- Proof Theory

- Set Theory

All submitted papers will be reviewed by the scientific committee of

the symposium, who will make final decisions on acceptance. During

the symposium, each accepted paper will be presented by one of its

authors, with five extra minutes for questions. Authors of submitted

papers will be notified of the decision by Friday May 12, 2017.

Camera-ready papers will be due by Friday June 2, 2017 for

inclusion in the symposium proceedings which will be distributed to

all participants.

======================================================================

POSTER SESSION

Graduate students and young researchers are invited to submit a short

abstract on work in progress but not yet ready for a regular contributed

talk. Authors of accepted abstracts will have an opportunity to present

their results in poster form in a special poster session. Interested

students should submit abstracts of no more than one page in PDF form

by Friday June 2, by sending them to: pls11@softlab.ntua.gr

======================================================================

SCIENTIFIC COMMITTEE

- Costas Dimitracopoulos, National and Kapodistrian University of Athens

- Pantelis Eleftheriou, University of Konstanz

- Vassilis Gregoriades, Università di Torino, Italy

- Antonis Kakas, University of Cyprus

- Lefteris Kirousis, National and Kapodistrian University of Athens

- Nikolaos Papaspyrou, National Technical University of Athens

- Athanasios Pheidas, University of Crete

- George Tourlakis, York University, Canada

- Rizos Sklinos, Université Lyon 1

- Alexandra Soskova, Sofia University, Chair

- Stathis Zachos, National Technical University of Athens

ORGANIZING COMMITTEE

- Antonis Kakas, University of Cyprus, Chair

- Nikolaos Papaspyrou, National Technical University of Athens

- Panos Rondogiannis, National and Kapodistrian University of Athens

- Petros Stefaneas, National Technical University of Athens

- Yannis Stephanou, National and Kapodistrian University of Athens

======================================================================

SYMPOSIUM WEBPAGE: http://pls11.cs.ntua.gr/

E-MAIL: pls11@softlab.ntua.gr

CONTACTS:

- Alexandra Soskova <asoskova@fmi.uni-sofia.bg>

Chair of the Scientific Committee

- Antonis Kakas <antonis@ucy.ac.cy>

Chair of the Organizing Committee


------------------------------

Message: 5
Date: Tue, 8 Nov 2016 12:35:29 -0800
From: Alistair Sinclair <sinclair@berkeley.edu>
To: dmanet@zpr.uni-koeln.de
Subject: [DMANET] Simons-Berkeley Research Fellowships 2017-18
Message-ID: <9A68C771-BF40-415C-A415-699049577AD7@berkeley.edu>
Content-Type: text/plain; charset=us-ascii

This is a re-posting of an earlier announcement. Please note that the deadline for applications is 15 December.
______________________________

The Simons Institute for the Theory of Computing at UC Berkeley invites applications for Research Fellowships for academic year 2017-18.

Simons-Berkeley Research Fellowships are an opportunity for outstanding junior scientists (at most 6 years from PhD by Fall 2017) to spend one or both semesters at the Institute in connection with one or more of its programs. The programs for 2017-18 are as follows:

* Bridging Continuous and Discrete Optimization (Fall 2017)
* Real-Time Decision Making (Spring 2018)
* The Brain and Computation (Spring 2018)

Applicants who already hold junior faculty or postdoctoral positions are welcome to apply. In particular, applicants who hold, or expect to hold, postdoctoral appointments at other institutions are encouraged to apply to spend one semester as a Simons-Berkeley Fellow subject to the approval of the postdoctoral institution.

Further details and application instructions can be found at http://simons.berkeley.edu/fellows2017. Information about the Institute and the above programs can be found at http://simons.berkeley.edu.

Deadline for applications: 15 December, 2016.

Alistair Sinclair
Associate Director, Simons Institute for the Theory of 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 105, Issue 9
**************************************

No comments:

Post a Comment