[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