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: [email protected]


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


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: [email protected]

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