[Date Prev][Date Next]
[Chronological]
[Thread]
[Top]
[mizar] CFP: Computer-assisted Formalization of Mathematics at 6PCM 2014, Bialystok, Poland
CALL FOR PAPERS -- 6PCM 2014
****************************************************************
The Special Session
Computer-assisted Formalization of Mathematics
In memoriam of Andrzej Trybulec
at
The 6th Podlasie Conference on Mathematics (6PCM)
July 1-4, 2014, Bialystok, Poland
http://katmat.pb.bialystok.pl/pcm14
****************************************************************
The 6th Podlasie Conference on Mathematics (6PCM), hosted by the Polish
Mathematical Society in cooperation with the Bialystok University of
Technology and the University of Bialystok, will be held July 1-4, 2014,
in Bialystok, Poland.
The special session entitled
"Computer-assisted Formalization of Mathematics
--- In memoriam of Andrzej Trybulec"
honoring the founder of Mizar, one of the earliest formalization systems,
will be devoted to all aspects of computer-supported formalization of
mathematics.
The non-exhaustive list of topics covered by the session includes:
- formalization of challenging mathematical problems,
- interactive and automated theorem proving,
- development of proof assistants,
- design of proof languages and techniques,
- repositories of formalized mathematics,
- semantic representation of mathematical knowledge,
- formal tools in program verification,
- foundations and philosophy of mathematics,
- proof assistants in education.
Over the last decades, we witnessed a number of successful instances of
computer-assisted formalization of mathematical problems. Research in this
field has been boosted by the development of systems for practical
formalization of mathematics (proof assistants), a creation of large
repositories of computer-verified formal mathematics, and integration of
interactive and automated methods of theorem proving. Proof assistants
provide a very useful teaching tool suitable for undergraduate
instruction, in particular for training beginning students in writing
rigorous proofs.
CONTACT
--------
If you have any questions regarding the special session, please contact
the organiser - Artur Kornilowicz, e-mail: arturk@math.uwb.edu.pl
============
Attached find please also Call for Papers for 6PCM.
The 6th Podlasie Conference on Mathematics
Bialystok, Poland, 1-4 July, 2014
INVITATION
------------
The Bialystok Branch of the Polish Mathematical Society invites to
participate in the 6th Podlasie Conference on Mathematics (6PCM), 1-4 July
2014, Bialystok, Poland. The Podlasie Conference on Mathematics is a
biennial international conference organised by the Bialystok Branch of the
Polish Mathematical Society in cooperation with Bialystok University of
Technology and the University of Bialystok. The conference usually spans
three and a half days devoted to presentations and discussion. As during
earlier PCM conferences, an excursion and a social dinner are planned too.
Bialystok, the biggest city of the North-East part of Poland, is
surrounded by four national parks, of which the Bialowieza National Park
is one of the most famous parks in Poland and the Biebrza National Park is
the biggest one. Bialystok is the capital of the Podlasie province which,
besides unspoiled nature, offers rich culture with ethnic and religious
diversity.
As before, there will be organised a plenary session and several special
sessions during the conference.
INVITED SPEAKERS
-----------------
The plenary talks (accessible to all participants) and invited talks in
special sessions will be delivered by the following established scientists
(mentioned in alphabetical order):
Josef Diblik (Brno University of Technology, Czech Republic),
Anna Fino (the University of Torino, Italy),
Hans Havlicek (Vienna University of Technology, Austria),
Ulrich Kraehmer (the University of Glasgow, Scotland, UK),
Krystyna Kuperberg (Auburn University, AL, USA),
Daniel Franco Leis (Universidad Nacional de Educacion a Distancia (UNED), Spain),
Bent Orsted (Aarhus University, Denmark),
Priti Kumar Roy (Jadavpur University, Kolkata, India),
Andrzej Skowron (the University of Warsaw, Poland),
Andrzej Szalas (the University of Warsaw, Poland),
Marek Szopa (the University of Silesia, Katowice, Poland).
SPECIAL SESSIONS
------------------
Special sessions will be organised in two categories:
(1) already planned 9 special sessions:
- Algebra;
- Control Theory and Dynamical Systems;
- Computer Science;
- Computer-assisted Formalization of Mathematics --- In memoriam of Andrzej Trybulec;
- Differential Operators: Algebra, Geometry, Representations;
- Difference and Differential Equations and Their Generalisation on any Time Scales;
- Mathematics in Biology and Medicine;
- Quantitative Methods in Economics;
- Weak Partial Linear and Partial Chain Spaces and Their Geometry;
(2) contributed special sessions, devoted to any topic related to
mathematics or its applications.
THE ORGANISING AND PROGRAMME COMMITTEE
----------------------------------------
Zbigniew Bartosiewicz (Poland),
Czeslaw Baginski (Poland),
Josef Diblik (Czech Republic),
Marzena Filipowicz (Poland),
Ewa Girejko (Poland),
Anna Gomolinska (Poland) -- chairman,
Adam Grabowski (Poland),
Piotr Grzeszczuk (Poland),
Malgorzata Hryniewicka (Poland),
Magdalena Kacprzak (Poland),
Artur Kornilowicz (Poland),
Beata Madras-Kobus (Poland),
Ryszard Mazurek (Poland),
Dorota Mozyrska (Poland),
Joanna Olbrys (Poland),
Antoni Pierzchalski (Poland),
Anna Poskrobko (Poland),
Krzysztof Prazmowski (Poland),
Ewa Roszkowska (Poland),
Miroslava Ruzickova (Slovak Republic),
Ewa Schmeidel (Poland).
PAPER SUBMISSION INFORMATION
------------------------------
Participants of the conference are invited to deliver a contributed talk
and to take part in one or more of special sessions. Participation of
younger researchers is also encouraged. Two categories of submissions are
proposed: (a) full papers or extended abstracts, not exceeding 12 pages,
(b) abstracts (1-2 pages). Accepted papers will be published in conference
proceedings both on-line and as chapters of an electronic multi-author
edited book with an ISBN number. The latter version of the proceedings
will be provided to participants of 6PCM on CDs and/or USB drives.
Additionally, abstracts of the plenary, invited and accepted contributed
talks will be published in a traditional (paper) book of abstracts. After
the conference, authors of selected contributions will be invited to
submit their extended papers to scientific journals. The Organisers are
going to submit the 6PCM Proceedings to on-line indexing services such as
Web of Science, for inclusion in their databases.
Authors are invited to send papers (not exceeding 12 pages) and/or
abstracts of papers electronically using
https://www.easychair.org/conferences/?conf=6pcm
SPECIAL SESSION PROPOSALS
---------------------------
Every prospective participant may organise his/her own special session
devoted to mathematics or its applications on the condition of gathering
at least three participants.
IMPORTANT DATES
-----------------
- January 2014: The 6PCM website opens and the abstract/paper submission
starts
- February 15th, 2014: Deadline for special session proposals
- March 15th, 2014: Paper submission deadline
- April 15th, 2014: Notification of paper acceptance
- May 10th, 2014: Abstract submission deadline for those who submit only
abstracts (1-2 pages)
- May 15th, 2014: Notification of abstract acceptance
- May 15th, 2014: Final versions of papers due
- May 23rd, 2014: Deadline for early registration and conference fee
payment
- July 1st, 2014: Conference starts
CONFERENCE VENUE
-----------------
According to the plans of the Organisers, the 6th PCM will take place in
Bialystok, in the new building of the Faculty of Mathematics and
Informatics of the University of Bialystok.
PARTICIPATION AND REGISTRATION
--------------------------------
At least one author of each accepted contributed talk has to register to
the conference and to pay the conference fee. The conference fee will
cover the costs of coffee breaks, lunches, the social dinner, and in part
other costs of participation in the conference. The details about the
conference fee will be given in the 2nd call. However, it should not be
essentially higher than the conference fee at the 5th PCM in 2012. The
deadline for early registration and conference fee payment is May 23rd,
2014.
More details about the conference and, in particular, about conference
fee, accommodation, and boarding will be provided later.
CONTACT
--------
If you have any questions regarding the conference, please contact the
Organisers by e-mail to: kat.mat.inf@uwb.edu.pl
or alternatively, please contact:
6PCM, attn: Dr hab. Anna Gomolinska
Institute of Informatics, The University of Bialystok
Akademicka 2, 15-267 Bialystok, Poland
phone: +48 85 7457550
fax: +48 85 7457545