Mathematical Foundations of Computer Science 2008

Annals of the New York Academy of Sciences, 1979

2014

ATINER started to publish this conference papers series in 2012. It includes only the papers submitted for publication after they were presented at one of the conferences organized by our Institute every year. The papers published in the series have not been refereed and are published as they were submitted by the author. The series serves two purposes. First, we want to disseminate the information as fast as possible. Second, by doing so, the authors can receive comments useful to revise their papers before they are considered for publication in one of ATINER's books, following our standard procedures of a blind review.

2014

An Introduction to ATINER's Conference Paper Series ATINER started to publish this conference papers series in 2012. It includes only the papers submitted for publication after they were presented at one of the conferences organized by our Institute every year. The papers published in the series have not been refereed and are published as they were submitted by the author. The series serves two purposes. First, we want to disseminate the information as fast as possible. Second, by doing so, the authors can receive comments useful to revise their papers before they are considered for publication in one of ATINER's books, following our standard procedures of a blind review.

have honor to organize this meaningful conference. I believe that the purpose of this conference is not only sharing knowledge among the mathematician and scholars in related fields but also to hearten new generation of expertise in mathematics to realize the science and technology advancement. It is undeniable that there is mathematical harmony in science and technologies. Many disciplines like engineering, computer science, information technology, operational research, logistics management, risk management and many others are all the products of mathematics. Thus, it is essential that we must hold this annual conference as a stage for all scholars in finding new ideas and applications on Mathematics. Greatly thank to all supportive session including organizing committee, keynote speakers, invited speakers, paper reviewers, participants and sponsors. This event will not achieve without you all. Finally, I hope that the outcome of SEACMA 2013 will be pleasing and most useful to everybody.

Theoretical Computer Science, 1998

1981

This volume contains papers which were contributed for presentation at the 10th Symposium on Mathematical Foundations of Computer Science-MFCS'81, held at ~trbsk4 Pleso, Czechoslovakia, from August 31-September 4, 1981. The symposium is the tenth in the series of annual international meetings which take place alternately in Poland and Czechoslovakia.

2014

ATINER started to publish this conference papers series in 2012. It includes only the papers submitted for publication after they were presented at one of the conferences organized by our Institute every year. The papers published in the series have not been refereed and are published as they were submitted by the author. The series serves two purposes. First, we want to disseminate the information as fast as possible. Second, by doing so, the authors can receive comments useful to revise their papers before they are considered for publication in one of ATINER's books, following our standard procedures of a blind review.

2014

ATINER started to publish this conference papers series in 2012. It includes only the papers submitted for publication after they were presented at one of the conferences organized by our Institute every year. The papers published in the series have not been refereed and are published as they were submitted by the author. The series serves two purposes. First, we want to disseminate the information as fast as possible. Second, by doing so, the authors can receive comments useful to revise their papers before they are considered for publication in one of ATINER's books, following our standard procedures of a blind review.

The 29th Annual Symposium on Computer and Information Sciences, held in Krakow under the auspices of the Institute of Theoretical and Applied Informatics of the Polish Academy of Sciences, pursues the tradition of a broad-based sym- posium presenting recent advances in scientific and technical aspects of Information Technology. Notable in this year’s event are the presence of new areas such as Quantum Computing, and the greater emphasis on Network Security via a session (as last year) that presents some of the results from the EU FP7 Project NEMESYS. All papers included in the proceedings have undergone an evaluation by at least two referees, and most of the papers have been examined by at least three referees. Published by Springer, in the past 3 years each of these proceedings has had some 10,000 full paper downloads, which is equivalent to, on average, over 200 down- loads per paper. We therefore hope that this year’s ISCIS 2014 proceedings, the 29th Symposium in a long series that started in Ankara, Turkey, in 1986, will continue to be useful to the international scientific and technical community in Computer Science and Engineering.