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
*************************************
No comments:
Post a Comment