DOCSLIB.ORG

EATCS Bulletin, Number 90, October 2006, Viii+248 Pp

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
EATCS Bulletin, Number 90, October 2006, Viii+248 Pp 1 1 ISSN 0252–9742 Bulletin of the European Association for Theoretical Computer Science EATCS E A T C S Number 90 October 2006 1 1 2 2 2 2 3 3 C E A T C S P:G A I V P:M N D P S G T:D J B B E:V S U K L A I D P I W B G B R S J D´ S G R T N Z´ É H A S F G F. I I D S U K J-P J F Jˇ´ S C R J K¨ F A T P R E. L USA W T G J L T N I W G M M USA E W S E M I G W¨ T N C P F U Z I P P: M N (1972–1977)M P (1977–1979) A S (1979–1985)G R (1985–1994) W B (1994–1997)J D´ (1997–2002) M N (2002–2006) 3 3 4 4 EATCS C M Luca Aceto . [email protected] Giorgio Ausiello . [email protected] Wilfried Brauer . [email protected] Josep Díaz . [email protected] Zoltán Ésik . [email protected] Giuseppe F. Italiano . [email protected] Dirk Janssens . [email protected] Jean-Pierre Jouannaud . [email protected] Juhani Karhumäki . [email protected] Richard E. Ladner . [email protected] Jan van Leeuwen . [email protected] Eugenio Moggi . [email protected] Michael Mislove . [email protected] Mogens Nielsen . [email protected] Catuscia Palamidessi . [email protected] David Peleg . [email protected] Jiríˇ Sgall . [email protected] Branislav Rovan . [email protected] Grzegorz Rozenberg . [email protected] Arto Salomaa . [email protected] Don Sannella . [email protected] Vladimiro Sassone . [email protected] Paul Spirakis . [email protected] Andrzej Tarlecki . [email protected] Wolfgang Thomas . [email protected] Ingo Wegener . [email protected] Emo Welzl . [email protected] Gerhard Wöeginger . [email protected] Uri Zwick . [email protected] 4 4 5 5 Bulletin Editor: Vladimiro Sassone, Southampton, United Kingdom Cartoons: DADARA, Amsterdam, The Netherlands The bulletin is entirely typeset by TEX and CTEX in TX. The Ed- itor is grateful to Uffe H. Engberg, Hans Hagen, Marloes van der Nat, and Grzegorz Rozenberg for their support. All contributions are to be sent electronically to [email protected] and must be prepared in LATEX 2ε using the class beatcs.cls (a version of the standard LATEX 2ε article class). All sources, including figures, and a reference PDF version must be bundled in a ZIP file. Pictures are accepted in EPS, JPG, PNG, TIFF, MOV or, preferably, in PDF. Photographic reports from conferences must be arranged in ZIP files layed out according to the format described at the Bulletin’s web site. Please, consult http://www.eatcs.org/bulletin/howToSubmit.html. We regret we are unfortunately not able to accept submissions in other for- mats, or indeed submission not strictly adhering to the page and font layout set out in beatcs.cls. We shall also not be able to include contributions not typeset at camera-ready quality. The details can be found at http://www.eatcs.org/bulletin, including class files, their documentation, and guidelines to deal with things such as pictures and overfull boxes. When in doubt, email [email protected]. Deadlines for submissions of reports are January, May and September 15th, respectively for the February, June and October issues. Editorial decisions about submitted technical contributions will normally be made in 6/8 weeks. Accepted papers will appear in print as soon as possible thereafter. The Editor welcomes proposals for surveys, tutorials, and thematic issues of the Bulletin dedicated to currently hot topics, as well as suggestions for new regular sections. The EATCS home page is http://www.eatcs.org 5 5 6 6 6 6 7 7 T C EATCS MATTERS L P ...................................... L P .................................. L E ........................................ R EATCS G A ........................ EATCS A 2007 .......................................... EATCS NEWS T J C ......................................... N I, by M. Mukund ................................ N I, by A.K. Seda ............................... N L A, by A. Viola ............................ N N Z, by C.S. Calude ......................... THE EATCS COLUMNS T A C, by G. Woeginger S , , E-, by V.G. De˘ıneko and G. Woeginger .................. T C C, by J. Torán I D L-D P C C, by V. Guruswami ............................................. T C C, by L. Aceto N P F, by D. Varacca and H. Völzer ........ T D C C, by M. Mavronicolas E O P D C, by J. Aspnes, C. Bush, S. Dolev, P. Fatouroum, C. Georgiou, A. Shvartsman, P. Spirakis, and R. Wattenhofer ............................... T F L T C, by A. Salomaa T HDT0L , by J. Honkala ............................................ T F S C, by H. Ehrig R D B’ S E 1–3, by H. Ehrig .......................................... T L C S C, by Y. Gurevich i 7 7 8 8 E F M, by L. Libkin ......................... T N C C, by G. Rozenberg Z. P – P DNA C P G, by S. Marcus ................................... T P L C, by I. Mackie L C, by C. Palamidessi and F. Valencia .... TECHNICAL CONTRIBUTIONS T F P R (P I), by A. Born, C.A.J. Hurkens, and G.J. Woeginger ..................... S NP-C T, by L. Sek Su ............ MISCELLANEOUS J G (1941–2006), by K. Futatsugi, J.-P. Jouannaud, and J. Meseguer ............................................ Z P (1926–2006), by A. Ehrenfeucht, J.F. Peters, G. Rozenberg, and A. Skowron ................................ AMA............................................... REPORTS FROM CONFERENCES ICALP / PPDP / LOPSTR 2006 . ICE-TCS 2006 . BICI ...................................................... WG2006 .................................................. DLT2006 ................................................. DCM 2006 . MCBIC 2006 . GI T 2005 ......................................... ABSTRACTS OF PHD THESES . EATCS LEAFLET . ii 8 8 9 9 EATCS M E A T C S 9 9 10 10 10 10 11 11 Letter from the President Dear EATCS members, Last July, in Venice, the Council has elected me as new EATCS President for the next two years term. Although a little frightened at the beginning, I confess that I am now very pleased and honoured to have the chance to serve our Community and, more generally, to devote my experience to strengthen and expand the role of our Association for the benefit of theoretical computer science. To the former President Mogens Nielsen, who has dedicated so much effort to EATCS in the past four years and who has contributed so successfully to the growth of the Association, a warm thank from all of us. This year, ICALP has been, as usual, a very successfull event. Our flagship conference was accompanied by nine very interesting workshops and by three well-established conferences: PPDP, LOPSTR, CSFW, spanning from declarative programming to program synthesis, to formal aspects of security. More than four hundred participants attended the various scientific events and enjoyed the charming athmosphere and the colours of the Laguna. We wish to thank once more Michele Bugliesi and his team for the perfect organization and the program Chairs of the three Tracks: Ingo Wegener, Vladimiro Sassone and Bart Preneel, for having set up such an excellent scientific program. During the conference Mike Paterson has received the EATCS Distinguished Achievements Award in recognition of his outstanding scientific contributions to theoretical computer science. 3 11 11 12 12 BEATCS no 90 EATCS MATTERS The organization of the next ICALP in Wroclaw is proceeding well. Again in 2007 ICALP will be organized in three Tracks, as in Lisbon and Venice. Besides two important conferences will be co-located with ICALP: LICS and Logic Coloquium. If you wish to contribute with the organization of Satellite Workshops you should get in touch with Tomek Jurdzinski. For more information please consult the site http://icalp07.ii.uni.wroc.pl. Finally, let me announce you that in Venice it has also been decided that ICALP 2008 will be held in ReykjavŠk, Iceland. The organization is already making the first steps. In conclusion let me greet the new readers of our Bulletin that, starting with this issue, is freely accessible in the net. As it is explained in the Letter from the Bulletin Editor we are happy to deliver such a qualified scientific service to the theoretical computer science community worldwide and we hope to promote, in this way, the activities of our Association further. I wish to thank Vladimiro Sassone for the extra effort that the larger visibility of the Bulletin will require. Giorgio Ausiello, Rome September 2006 4 12 12 13 13 Letter from the past President Dear EATCS members, As you will see reported in this issue of the Bulletin from our EATCS meetings during ICALP 2006 in Venice, some of the EATCS Council members had expressed wishes to step down from their offices, including Jan van Leeuwen as Vice-President and myself as President. On behalf of Jan and myself I would like to thank everybody who has contributed to the development of EATCS over the past few years. It has been an exciting and challenging period, in which EATCS has continued its strategy towards playing an increasing role in a rapidly changing global research political environment. We were happy to see two very recent steps in this direction. First of all, the overwhelming approval by all our members in the recent voting on the proposed new statutes for EATCS, aimed precisely at modernizing our organization. Secondly, the decision by the EATCS Council to experiment with open access to the Bulletin for a one year period. We are confident that EATCS will continue to grow and to strengthen its role also in the future, in particular with Giorgio Ausiello, with his vast experience, devotion, and visions, taking over as President.
Load more

Recommended publications
  • The Best Nurturers in Computer Science Research
    The Best Nurturers in Computer Science Research Bharath Kumar M. Y. N. Srikant IISc-CSA-TR-2004-10 http://archive.csa.iisc.ernet.in/TR/2004/10/ Computer Science and Automation Indian Institute of Science, India October 2004 The Best Nurturers in Computer Science Research Bharath Kumar M.∗ Y. N. Srikant† Abstract The paper presents a heuristic for mining nurturers in temporally organized collaboration networks: people who facilitate the growth and success of the young ones. Specifically, this heuristic is applied to the computer science bibliographic data to find the best nurturers in computer science research. The measure of success is parameterized, and the paper demonstrates experiments and results with publication count and citations as success metrics. Rather than just the nurturer’s success, the heuristic captures the influence he has had in the indepen- dent success of the relatively young in the network. These results can hence be a useful resource to graduate students and post-doctoral can- didates. The heuristic is extended to accurately yield ranked nurturers inside a particular time period. Interestingly, there is a recognizable deviation between the rankings of the most successful researchers and the best nurturers, which although is obvious from a social perspective has not been statistically demonstrated. Keywords: Social Network Analysis, Bibliometrics, Temporal Data Mining. 1 Introduction Consider a student Arjun, who has finished his under-graduate degree in Computer Science, and is seeking a PhD degree followed by a successful career in Computer Science research. How does he choose his research advisor? He has the following options with him: 1. Look up the rankings of various universities [1], and apply to any “rea- sonably good” professor in any of the top universities.
    [Show full text]
  • The EATCS Award 2020 Laudatio for Toniann (Toni)Pitassi
    The EATCS Award 2020 Laudatio for Toniann (Toni)Pitassi The EATCS Award 2021 is awarded to Toniann (Toni) Pitassi University of Toronto, as the recipient of the 2021 EATCS Award for her fun- damental and wide-ranging contributions to computational complexity, which in- cludes proving long-standing open problems, introducing new fundamental mod- els, developing novel techniques and establishing new connections between dif- ferent areas. Her work is very broad and has relevance in computational learning and optimisation, verification and SAT-solving, circuit complexity and communi- cation complexity, and their applications. The first notable contribution by Toni Pitassi was to develop lifting theorems: a way to transfer lower bounds from the (much simpler) decision tree model for any function f, to a lower bound, the much harder communication complexity model, for a simply related (2-party) function f’. This has completely transformed our state of knowledge regarding two fundamental computational models, query algorithms (decision trees) and communication complexity, as well as their rela- tionship and applicability to other areas of theoretical computer science. These powerful and flexible techniques resolved numerous open problems (e.g., the su- per quadratic gap between probabilistic and quantum communication complex- ity), many of which were central challenges for decades. Toni Pitassi has also had a remarkable impact in proof complexity. She in- troduced the fundamental algebraic Nullstellensatz and Ideal proof systems, and the geometric Stabbing Planes system. She gave the first nontrivial lower bounds on such long-standing problems as weak pigeon-hole principle and models like constant-depth Frege proof systems. She has developed new proof techniques for virtually all proof systems, and new SAT algorithms.
    [Show full text]
  • MAURICE NIVAT, UNE GRANDE FIGURE 89 ◦◦◦◦••◦◦ Une Brève Biographie Scientifique De Maurice Nivat 2
    HOMMAGE Maurice Nivat, une grande gure Pierre-Louis Curien 1 Le texte qui suit a été rédigé en 2001, pour le volume intitulé « Merci, Maurice : a mosaic in honour of Maurice Nivat », paru comme numéro spécial de la revue Theoretical Com- puter Science, que Maurice Nivat avait fon- dée. En écrivant ce texte, je me réjouissais par avance des travaux scientifiques que Maurice continuerait de poursuivre, des combats qu’il continuerait à livrer pour la pleine reconnais- sance de notre discipline et pour son enseigne- ment « de première classe », et de la liberté qu’il aurait, sa retraite prise, pour assouvir à loisir d’autres passions : celles pour le patri- moine, pour l’ethnographie, pour le théâtre, pour les voyages... Et, en effet, Maurice a poursuivi pendant plusieurs années ses travaux en tomographie discrète. Accompagné par son épouse Paule, il a parcouru le monde en long et en large, à six reprises. Il a mené un combat acharné pour l’introduction de l’informatique dans les programmes de l’enseignement secon- daire. Maurice nous a quittés au terme d’une maladie qu’il a combattue avec un im- mense courage, continuant à lire, à s’informer, à s’enflammer pour les causes qu’il 1. Institut de recherche en informatique fondamentale (IRIF, UMR 8243), CNRS et université Paris- Diderot. 1024 – Bulletin de la société informatique de France, numéro 12, juin 2018, pp. 87–107 88 PIERRE-LOUIS CURIEN ◦◦◦◦••◦◦ défendait. Je me souviendrai de la gourmandise qu’il avait encore dans les yeux et dans le verbe pour me parler, sur son lit d’hôpital, de sa fascination pour les iguanes, alors que je revenais d’une conférence aux îles Galápagos.
    [Show full text]
  • News from New Zealand
    News from New Zealand by C. S. Calude Department of Computer Science, University of Auckland Auckland, New Zealand [email protected] After 21 years of uninterrupted presence (this column didn’t appear in the October 2013 issue due to a clerical problem in the change of editors-in-chief) this is the last report from New Zealand. I wish to warmly thank Professor G. Rozenberg for inviting me to contribute with a column of news to the Bulletin, the other Bulletin editors-in-chief I have worked with, the eminent scientists who have accepted to be interviewed, and, last but not least, the Bulletin readers. This column includes the continuation of the interview with Professor G. Rozenberg. An edited-augmented-structured selection of interviews published in this column will appear in the book The Human Face of Computing to this year at Imperial College Press, London. 1 Scientific and Community News The latest CDMTCS research reports are (http://www.cs.auckland.ac.nz/ staff-cgi-bin/mjd/secondcgi.pl): 470. B. Khoussainov . A Quest For Algorithmically Random Infinite Structures, II 471. C.S. Calude, A. Coull and J.P. Lewis. Can We Solve the Pipeline Problem? 472. A. A. Abbott, L. Bienvenu and G. Senno. Non-uniformity in the Quantis Random Number Generator 473 C.S. Calude and M.J. Dinneen. Solving the Broadcast Time Problem Using a D-Wave Quantum Computer 474 C.S. Calude and G. Longo. Classical, Quantum and Biological Randomness as Relative Incomputability 475 T. Resnick. Sudoku at the Intersection of Classical and Quantum Computing 476 D.
    [Show full text]
  • A Bibliography of Publications in Theoretical Computer Science: 2005–2009
    A Bibliography of Publications in Theoretical Computer Science: 2005{2009 Nelson H. F. Beebe University of Utah Department of Mathematics, 110 LCB 155 S 1400 E RM 233 Salt Lake City, UT 84112-0090 USA Tel: +1 801 581 5254 FAX: +1 801 581 4148 E-mail: [email protected], [email protected], [email protected] (Internet) WWW URL: http://www.math.utah.edu/~beebe/ 14 October 2017 Version 1.15 Title word cross-reference `p [782]. [1183, 729]. F0 [2005]. FS [1741]. H [1823, 1585]. k [1116, 1805, 796, 803, 173, 781, 1961, 1609, 775, 1989, 178, 1310, 630, 1311, 951, 62, 1823, 1809, 2253, 2061, 2003, #CSP [2264]. #P [1788]. 1624, 953, 1226, 1306, 1290, 2007]. k>2 #P-completeness [1788]. [173]. Kmax;Kmin [541]. κ [1836]. L(2; 1) [2243, 1635]. L(d; s) [440]. l1 [961]. λ (1 + 1) [1683]. (1,λ) [115]. (18=11)n [2213]. [2281, 400, 1588, 562]. λµ [1159]. log N (α, β) [2215]. (n; k) [2392, 1557]. (n; t) [1049]. d [547]. LU [1217]. m (p; k) [467]. (r; p) [2357]. $-calculus [1275]. [1760, 1324, 2258, 1745, 1226, 1306]. µ 1 [220, 503]. 2 [187, 400, 589, 359, 101]. n [1425, 2304, 1890, 2253, 2333, 1287, 1302]. d ≥ ≤ [1909, 958, 2079, 1451]. N [1444]. n 30 2 <α 7=3 [2163]. 3 [1628, 1771]. 3:4713 6 1:75 + [2169]. = [789]. O(n ) [2243]. [2387]. 4 [2260]. 5 + [1968]. 5=2 [90]. 5=4 2 ! ∗ ; Ø(n polylogn) [1915]. O(n ) [1553]. [778]. [0; 1] [503]. [58]. [109]. 1 [1543].
    [Show full text]
  • BEATCS No 119
    ISSN 0252–9742 Bulletin of the European Association for Theoretical Computer Science EATCS E A T C S Number 119 June 2016 Council of the European Association for Theoretical Computer Science President:Luca Aceto Iceland Vice Presidents:Paul Spirakis United Kingdom and Greece Antonin Kucera Czech Republic Giuseppe Persiano Italy Treasurer:Dirk Janssens Belgium Bulletin Editor:Kazuo Iwama Kyoto,Japan Lars Arge Denmark Anca Muscholl France Jos Baeten The Netherlands Luke Ong UK Lars Birkedal Denmark Catuscia Palamidessi France Mikolaj Bojanczyk Poland Giuseppe Persiano Italy Fedor Fomin Norway Alberto Policriti Italy Pierre Fraigniaud France Alberto Marchetti Spaccamela Italy Leslie Ann Goldberg UK Vladimiro Sassone UK Magnus Halldorsson Iceland Thomas Schwentick Germany Monika Henzinger Austria Jukka Suomela Finland Christos Kaklamanis Greece Thomas Wilke Germany Elvira Mayordomo Spain Peter Widmayer Switzerland Michael Mitzenmacher USA Gerhard Woeginger¨ The Netherlands Past Presidents: Maurice Nivat (1972–1977)Mike Paterson (1977–1979) Arto Salomaa (1979–1985)Grzegorz Rozenberg (1985–1994) Wilfred Brauer (1994–1997)Josep D´iaz (1997–2002) Mogens Nielsen (2002–2006)Giorgio Ausiello (2006–2009) Burkhard Monien (2009–2012) Secretary Office:Ioannis Chatzigiannakis Italy Efi Chita Greece EATCS Council Members email addresses Luca Aceto ..................................... [email protected] Lars Arge .............................. [email protected] Jos Baeten ............................... [email protected] Lars Birkedal ............................ [email protected] Mikolaj Bojanczyk .......................... [email protected] Fedor Fomin ................................ [email protected] Pierre Fraigniaud .. [email protected] Leslie Ann Goldberg ................ [email protected] Magnus Halldorsson ........................ [email protected] Monika Henzinger ................ [email protected] Kazuo Iwama ........................ [email protected] Dirk Janssens ........................
    [Show full text]
  • Linking Exploration Systems with Local Logics Over Information Systems
    Linking Exploration Systems with Local Logics over Information Systems Soma Dutta1;2, Grzegorz Rozenberg3;4, and Andrzej Skowron5;6 1 Vistula University Stok losy 3, 02-787 Warsaw, Poland [email protected] 2 University of Warmia and Mazury Olsztyn, Poland 3 Leiden Institute of Advanced Computer Science, Leiden University P.O. Box 9512, NL-2300 RA Leiden, The Netherlands 4 Department of Computer Science, University of Colorado at Boulder, USA 430 UCB, Boulder, CO 80309, USA 5 University of Warsaw, Poland [email protected] 6 Systems Research Institute, Polish Academy of Sciences Newelska 6, 01-447 Warsaw, Poland Abstract. In the paper, we discuss an extension of exploration sys- tems introduced by Andrzej Ehrenfeucht and Grzegorz Rozenberg. The extension is defined by adding an interpretation of nodes and edges in zoom structure of exploration system. The interpretation is based on the concepts, namely local logic and logic infomorphism, from the notion of information flow by Jon Barwise and Jerry Seligman. This extension makes it possible, in particular, to give a natural interpretation of reac- tion systems in exploration systems as tools for controlling attention in reasoning about the perceived situation in the physical world. Key words: reaction system, zoom structure, exploration system, in- formation system, local logic, infomorphism, logic infomorphism 1 Introduction In the paper, we present a preliminary discussion about possible links between the exploration systems and the information flow approach. The original motivation behind reaction systems (mostly taken from [1] and [2]) was to model interactions between biochemical reactions in the living cells. Therefore, the formal notion of reaction reflects the basic intuition behind bio- chemical reactions.
    [Show full text]
  • Handbook of Natural Computing
    Handbook of Natural Computing Main Editor Grzegorz Rozenberg Editors Thomas Ba¨ck Joost N. Kok Handbook of Natural Computing With 734 Figures and 75 Tables Editors Grzegorz Rozenberg Joost N. Kok LIACS LIACS Leiden University Leiden University Leiden, The Netherlands Leiden, The Netherlands and Computer Science Department University of Colorado Boulder, USA Thomas Ba¨ck LIACS Leiden University Leiden, The Netherlands ISBN 978-3-540-92909-3 ISBN 978-3-540-92910-9 (eBook) ISBN 978-3-540-92911-6 (print and electronic bundle) DOI 10.1007/978-3-540-92910-9 Springer Heidelberg Dordrecht London New York Library of Congress Control Number: 2010933716 © Springer-Verlag Berlin Heidelberg 2012 This work is subject to copyright. All rights are reserved, whether the whole or part of the material is concerned, specifically the rights of translation, reprinting, reuse of illustrations, recitation, broadcasting, reproduction on microfilm or in any other way, and storage in data banks. Duplication of this publication or parts thereof is permitted only under the provisions of the German Copyright Law of September 9, 1965, in its current version, and permission for use must always be obtained from Springer. Violations are liable to prosecution under the German Copyright Law. The use of general descriptive names, registered names, trademarks, etc. in this publication does not imply, even in the absence of a specific statement, that such names are exempt from the relevant protective laws and regulations and therefore free for general use. Printed on acid-free paper Springer is part of Springer ScienceþBusiness Media (www.springer.com) Preface Natural Computing is the field of research that investigates human-designed computing inspired by nature as well as computing taking place in nature, that is, it investigates models and computational techniques inspired by nature, and also it investigates, in terms of information processing, phenomena taking place in nature.
    [Show full text]
  • School of Computing
    SCHOOL OF COMPUTING Title: Model Checking for Temporal-Epistemic Properties of Distributed Reaction Systems Artur Męski, Maciej Koutny, and Wojciech Penczek Names: TECHNICAL REPORT SERIES No. CS-TR- 1526 April 2019 TECHNICAL REPORT SERIES No. CS-TR- 1526 Date: April 2019 Title: Model Checking for Temporal-Epistemic Properties of Distributed Reaction Systems Authors: Artur Męski, Maciej Koutny, and Wojciech Penczek Abstract: Reaction systems are a model of computation inspired by the biochemistry exhibited by living cells. In this paper, we introduce the notion of agency as an extension to the reaction systems formalism, leading to distributed reaction systems. Adding agents in the reaction systems setting, allows for the natural modelling and representation of multiagent and distributed systems. To support the specification of temporalepistemic properties of distributed reaction systems, we introduce rsctlk and present its associated model checking procedure. Finally, we show that model checking for rsctlk is pspace-complete. © 2019 Newcastle University. Printed and published by Newcastle University, School of Computing, Urban Sciences Building, Newcastle upon Tyne, NE4 5TG, England. Bibliographical Details Title and Authors: Model Checking for Temporal-Epistemic Properties of Distributed Reaction Systems. Artur Męski, Maciej Koutny and Wojciech Penczek NEWCASTLE UNIVERSITY School of Computing. Technical Report Series. CS-TR- 1526 Abstract: Reaction systems are a model of computation inspired by the biochemistry exhibited by living cells. In this paper, we introduce the notion of agency as an extension to the reaction systems formalism, leading to distributed reaction systems. Adding agents in the reaction systems setting, allows for the natural modelling and representation of multi-agent and distributed systems.
    [Show full text]
  • Mathematical Logic in Computer Science
    Mathematical Logic in Computer Science Assaf Kfoury June 1, 2017 (last update: February 1, 2018) 1 Introduction Others have written about the influences of mathematical logic on computer science. I single out two articles, which I have read and re-read over the years: 1. “Influences of Mathematical Logic on Computer Science,” by M. Davis [29], 2. “On the Unusual Effectiveness of Logic in Computer Science,” by J. Halpern, R. Harper, N. Immerman, P. Kolaitis, M. Vardi, and V. Vianu [60]. The first of these two articles takes stock of what had already become a productive cross-fertilization by the mid-1980’s; it is one of several interesting articles of historical character by M. Davis [27, 28, 30] which all bring to light particular aspects of the relationship between the two fields. The second article gives an account of this relationship in five areas of computer science by the year 2000. More on the second article, denoted by the acronym UEL, in Section 3 below. I wanted to write an addendum to the two forementioned articles, in the form of a timeline of significant moments in the history relating the two fields, from the very beginning of computer science in the mid-1950’s till the present. The result is this paper. One way of judging what I produced is to first read the penultimate section entitled ‘Timeline’, Section 5 below, and then go back to earlier sections whenever in need of a justification for one of my inclusions or one of my omissions. Disclaimer: This is not a comprehensive history, not even an attempt at one, of mathematical logic arXiv:1802.03292v1 [cs.LO] 7 Feb 2018 in computer science.
    [Show full text]
  • Acta Informatica
    A Complete Bibliography of Publications in Acta Informatica Nelson H. F. Beebe University of Utah Department of Mathematics, 110 LCB 155 S 1400 E RM 233 Salt Lake City, UT 84112-0090 USA Tel: +1 801 581 5254 FAX: +1 801 581 4148 E-mail: [email protected], [email protected], [email protected] (Internet) WWW URL: http://www.math.utah.edu/~beebe/ 14 May 2021 Version 1.41 Title word cross-reference #SAT [1268]. (n; k) [370]. (N − 1) [1203]. + [1117, 903]. 0 [349, 852]. 1 [32, 939, 293, 778, 516, 916, 607, 563, 548, 946, 231, 852, 578]. 1; 1 [488]. 2 [1234, 1246, 737, 714, 715, 313, 788, 92, 166, 202]. 2:5n [535]. 3 ∗ ∗ [1234, 313, 92, 202]. 7 [1141]. [466]. α − β [235]. α2 [1355]. B [515]. B [442]. B+ [680]. mod5 [1141]. P [1090]. QH [1090]. D [1209, 401, 136, 1078, 1017, 1185]. DTIMEF(F) =?DSPACEF(F) [1014]. 8 [832]. K [305, 401, 130, 1445, 467, 1078, 618, 252, 1343, 1187, 851, 1293, 157, 326, 338, 972, 961, 1043, 280, 359, 852]. Ks;t [1201]. L [820, 875]. LR [318]. X LU [659]. M [1021, 41, 561]. M [1521]. MTL0;1 [1406]. µ [731, 885]. N 2 [1203, 467, 140, 12, 852]. : [832]. ν2 [1355]. O(1) [669]. O(n) [136]. O(n ) [1486]. O(V 5=3E2=3) [321]. P [1183, 1184, 1226, 1379, 1146]. P = NP [399, 399]. P5 [1276]. π [1580, 1206, 1001, 1210, 1299, 912, 1198]. q [1442]. 1 2 R(1) [1390]. S [892]. Sometime = always + recursionalways [596].
    [Show full text]
  • Novel Frameworks for Mining Heterogeneous and Dynamic
    Novel Frameworks for Mining Heterogeneous and Dynamic Networks A dissertation submitted to the Graduate School of the University of Cincinnati in partial fulfillment of the requirements for the degree of Doctor of Philosophy in the Department of Electrical and Computer Engineering and Computer Science of the College of Engineering by Chunsheng Fang B.E., Electrical Engineering & Information Science, June 2006 University of Science & Technology of China, Hefei, P.R.China Advisor and Committee Chair: Prof. Anca L. Ralescu November 3, 2011 Abstract Graphs serve as an important tool for discrete data representation. Recently, graph representations have made possible very powerful machine learning algorithms, such as manifold learning, kernel methods, semi-supervised learning. With the advent of large-scale real world networks, such as biological networks (disease network, drug target network, etc.), social networks (DBLP Co- authorship network, Facebook friendship, etc.), machine learning and data mining algorithms have found new application areas and have contributed to advance our understanding of proper- ties, and phenomena governing real world networks. When dealing with real world data represented as networks, two problems arise quite naturally: I) How to integrate and align the knowledge encoded in multiple and heterogeneous networks? For instance, how to find out the similar genes in co-disease and protein-protein inter- action networks? II) How to model and predict the evolution of a dynamic network? A real world exam- ple is, given N years snapshots of an evolving social network, how to build a model that can cap- ture the temporal evolution and make reliable prediction? In this dissertation, we present an innovative graph embedding framework, which identifies the key components of modeling the evolution in time of a dynamic graph.
    [Show full text]