Sonja Smets - Home Page

\n<div class='toolbar' macro='toolbar +saveTiddler -cancelTiddler deleteTiddler'></div>\n<div class='title' macro='view title'></div>\n<div class='editor' macro='edit title'></div>\n<div class='editor' macro='edit text'></div>\n<div class='editor' macro='edit tags'></div><div class='editorFooter'><span macro='message views.editor.tagPrompt'></span><span macro='tagChooser'></span></div>\n

<<tiddler MainMenu>>\n\nAuthorMainMenu\nMainMenu\nDefaultTiddlers\nPluginManager\nPresentationIndex\n

\n<div id='header' class='header' macro='gradient vert [[ColorPalette::PrimaryLight]] [[ColorPalette::PrimaryMid]]'>\n<div class='headerShadow'>\n<span class='siteTitle' refresh='content' tiddler='SiteTitle'></span> \n<span class='siteSubtitle' refresh='content' tiddler='SiteSubtitle'></span>\n</div>\n<div class='headerForeground'>\n<span class='siteTitle' refresh='content' tiddler='SiteTitle'></span> \n<span class='siteSubtitle' refresh='content' tiddler='SiteSubtitle'></span>\n</div>\n</div>\n<div id='mainMenu' refresh='content' tiddler='AuthorMainMenu'></div>\n<div id='sidebar'>\n<div id='sidebarOptions' refresh='content' tiddler='SideBarOptions'></div>\n<div id='sidebarTabs' refresh='content' force='true' tiddler='SideBarTabs'></div>\n</div>\n<div id='displayArea'>\n<div id='messageArea'></div>\n<div id='tiddlerDisplay'></div>\n</div>\n

/***\nPlace your custom CSS here\n***/\n/*{{{*/\n\n\n[[StyleSheetCommon]]\n/*}}}*/\n

\n<div class='toolbar' macro='toolbar closeTiddler closeOthers +editTiddler permalink references jump'></div>\n<div class='title' macro='view title'></div>\n<div class='subtitle'><span macro='view modifier link'></span>, <span macro='view modified date [[DD MMM YYYY]]'></span> (<span macro='message views.wikified.createdPrompt'></span> <span macro='view created date [[DD MMM YYYY]]'></span>)</div>\n<div class='tagging' macro='tagging'></div>\n<div class='tagged' macro='tags'></div>\n<div class='viewer' macro='view text wikified'></div>\n<div class='viewer topbutton' macro='top'></div>\n<br><br>\n<div class='viewer' macro='navigation tiddlers:{{store.getTiddlerText("PresentationIndex").readBracketedList()}}}'></div>\n<div class='tagClear'></div>\n

@@''Welcome to my papers on belief revision and belief update''@@\n\n1) A. Baltag and S. Smets, [["Conditional Doxastic Models: A Qualitative Approach to Dynamic Belief Revision"|http://www.vub.ac.be/CLWF/SS/wollic.pdf]], in G. Mints and R. de Queiroz (eds.), //Proceedings of WOLLIC 2006, Electronic Notes in Theoretical Computer Science//, 165, pp. 5-21, 2006. \n\n2) A. Baltag and S. Smets, [["The Logic of Conditional Doxastic Actions: A Theory of dynamic multi-agent belief revision"|http://www.vub.ac.be/CLWF/SS/rak.pdf]], in S. Artemov and R. Parikh (eds.), //Proceedings of the Workshop on Rationality and Knowledge//, p.13-30, ESSLLI 2006.\n\n3) A. Baltag and S. Smets, [["Dynamic Belief Revision over Multi-Agent Plausibility Models"|http://www.vub.ac.be/CLWF/SS/loft.pdf]], in G. Bonanno, W. van der Hoek, M. Woolridge (eds.), //Proceedings of the 7th Conference on Logic and the Foundations of Game and Decision (LOFT 2006),// p. 11-24, University of Liverpool, 2006.\n\n4) A. Baltag and S. Smets, [["From Conditional Probability to the Logic of Doxastic Actions"|http://www.vub.ac.be/CLWF/SS/TARK.pdf]], in //Proceedings of TARKXI//, Brussels 2007. Collection in ACM DL.\n \n5) A. Baltag and S. Smets, [["Probabilistic Dynamic Belief Revision"|http://www.vub.ac.be/CLWF/SS/LORI.pdf]], in Johan van Benthem, Shier Ju and Frank Veltman (eds.), //A Meeting of the Minds: Proceedings of the Workshop on Logic, Rationality and Interaction, Beijing, 2007//,College Publications, Computing Series, Vol 8, London 2007. \n\n6) A. Baltag and S. Smets, [["A Qualitative Theory of Dynamic Interactive Belief Revision"|http://www.vub.ac.be/CLWF/SS/Ch1-Baltag.pdf]], in G. Bonanno, W. van der Hoek, M. Wooldridge (eds.), //Logic and the Foundations of Game and Decision Theory//, [[Texts in Logic and Games|http://www.illc.uva.nl/TLG/index.php?page=10_1_3_3]], Vol 3, pp.9-58, Amsterdam University Press, 2008\n\n7) A. Baltag and S. Smets, [[“The Logic of Conditional Doxastic Actions”|http://www.vub.ac.be/CLWF/SS/action.pdf]], In R. van Rooij and K. Apt (eds.), //New Perspectives on Games and Interaction//, [[Texts in Logic and Games|http://www.illc.uva.nl/TLG/index.php?page=10_1_3_4]], Amsterdam University Press, 2008.\n\n8) A. Baltag and S. Smets, "Probabilistic Dynamic Belief Revision", in //[[Synthese|http://www.springerlink.com/content/l7765668w81u/?p=14e6a4266a2f42388105d60171cd03e9&pi=0]]//, Vol. 165, Nr 2, pp.179-202, 2008. \n\n9) A. Baltag and S. Smets, [["Learning by Questions and Answers: From Belief- Revision Cycles to Doxastic Fixed Points"|http://www.vub.ac.be/CLWF/SS/wollic2009postfinal.pdf]]. In: Makoto Kanazawa, Hiroakira Ono, en Ruy de Queiroz (eds.) LNAI Lecture Notes in Computer Science. pp. 124-139. Volume 5514. 2009\n \n10) A. Baltag and S. Smets.[["Group Belief Dynamics under Iterated Revision: Fixed Points and Cycles of Joint Upgrades"|http://www.vub.ac.be/CLWF/SS/tark09final.pdf]]. In: Proceedings of Theoretical Aspects of Rationality and Knowledge TARK 2009.\n \n11) A. Baltag and S. Smets. [["Talking Your Way into Agreement: Belief Merge by Persuasive Communication"|http://www.vub.ac.be/CLWF/SS/famaspaperCEURPROCEEDINGS.pdf]]. [[CEUR Workshop Proceedings|http://sunsite.informatik.rwth-aachen.de/Publications/CEUR-WS/Vol-494/]], Vol. 494, Proceedings of the Second Multi- Agent Logics, Languages, and Organisations Federated Workshops Turin, Italy, September 7-10, 2009. pp. 129 - 141. 2009\n\n12) A. Baltag and S. Smets. [[ "Keep changing your beliefs and aiming for the truth"|http://www.vub.ac.be/CLWF/SS/FILEforBRTA4.pdf]]. in T. Kuipers and G. Schurz (eds.), Erkenntnis, Workingpaper submitted.

Story.prototype.refreshTiddler_activelink = Story.prototype.refreshTiddler;\nStory.prototype.refreshTiddler = function (title,template,force)\n{\n var theTiddler = Story.prototype.refreshTiddler_activelink.apply(this,arguments);\n if (!theTiddler)\n return theTiddler\n var menu = document.getElementById("mainMenu");\n var links = menu.getElementsByTagName("a");\n for (var i=0; i<links.length; i++)\n {\n if (!links[i].getAttribute("tiddlyLink"))\n return;\n if (document.getElementById(this.idPrefix+(links[i].getAttribute("tiddlylink"))))\n addClass(links[i],"bold");\n else\n removeClass(links[i],"bold");\n }\n return theTiddler;\n}

@@''CONTACT''@@\n\n*Mail Address 1: \n\nUniversity of Groningen\nFaculty of Mathematics and Natural Sciences,\nArtificial Intelligence\nPostbus 407\n9700 AK Groningen\nThe Netherlands\n\n*Mail Address 2:\n\nUniversity of Groningen\nFaculty of Philosophy\nOude Boteringestraat 52\n9712 GL Groningen\nThe Netherlands\n\n*E-mail : \nS.J.L.Smets at rug.nl\nsonsmets at gmail.com\n

config.options.chkAnimate = false;\nconfig.options.chkSinglePageMode = true;\nconfig.options.chkTopOfPageMode = false;

[[HOME]]

\nSee it in action here: http://lewcid.googlepages.com/tots.html\n\n!!Editing this TW:\nOpen the TW with #author:true at the end of the url/file location to enable editing.\nPreview edits by using the "Presentation Mode" button in the MainMenu\n//(To make future editing easier, bookmark the file with #author:true at the end of the file name. One click and edit!)//\n\n!!Changing the content and order of the presentation:\nEdit the PresentationIndex tiddler to change the contents and order of the presentation.\n\n!! Customizing the default (viewing) interface.\nEdit the following tiddlers as needed:\n*PageTemplate\n*StyleSheet\n*ViewTemplate\n*EditTemplate\n*MainMenu\n\n!!Customizing the editing (author's) interface.\nEdit the following tiddlers as needed: //(Note that these files are optional, if any of them dont exist, the standard viewing one will be used instead. So if you only want to change the PageTemplate, you only need an AuthorPageTemplate tiddler.)//\n*AuthorPageTemplate\n*AuthorStyleSheet\n*AuthorViewTemplate\n*AuthorEditTemplate\n*AuthorMainMenu\n\n!!Using a different stylesheet or theme:\nUsing your own favorite stylesheet or theme is as simple as importing those tiddlers into this file.\nIf you are changing the presentation interface, just import the PageTemplate and StyleSheet. If you want to change the editing interface, you will need to copy over the PageTemplate and StyleSheet as AuthorPageTemplate and AuthorStyleSheet respectively.\n\n!!Other tips:\n* Use the tiddler StyleSheetCommon and include it using {{{[[StyleSheetCommon]]}}} in your StyleSheet and AuthorStyleSheet when making stlyesheet changes that you want applied to both the presentation and editing interface, to avoid having to type it out twice!\n*To provide easy control over the font-size, use the FontSizePlugin: http://lewcid.googlepages.com/lewcid.html#FontSizePlugin\n* If this presentation is going to be placed online, you might want to have a splash screen that displays while the TW is loading: http://lewcid.googlepages.com/lewcid.html#SplashScreenPlugin

!Dummy Tiddler 3\n\ndummy tiddler three

!Dummy Tiddler1\n\nThis is the first tiddler of your dummy presentation\n\nEdit the PresentationIndex tiddler to change the contents and order of the presentation.\n

!DummyTiddler2\n\nThis is the second tiddler of your dummy presentation

@@''Welcome to my papers on Dynamic Quantum Logic''@@\n\n\n1) A. Baltag and S. Smets: [["Complete Axiomatizations for Quantum Actions"|http://www.vub.ac.be/CLWF/SS/IQSA.pdf]], in the proceedings of IQSA 2004,// International Journal of Theoretical Physics// 44(12): p.2267-2282, 2005.\n\n2) A. Baltag and S. Smets: [["The Logic of Quantum Programs"|http://www.mathstat.dal.ca/%7Eselinger/qpl2004/proceedings.html]], in the proceedings of the 2nd International Workshop on Quantum Programming Languages (QPL 2004), //TUCS General Publication// No 33, Turku Center for Computer Science, 2004. (also on [[PhilSci-arXiv|http://philsci-archive.pitt.edu/archive/00001799/]])\n\n3) A. Baltag and S. Smets: [["What can Logic Learn from Quantum Mechanics?"|http://www.vub.ac.be/CLWF/SS/ECAP.pdf]] , presented at the ECAP 2005 workshop on quantum information in Lisbon, Portugal, 2005.\n\n4) A. Baltag and S. Smets: [["LQP: The Dynamic Logic of Quantum Information"|http://www.vub.ac.be/CLWF/SS/LQP.pdf]], in //Mathematical Structures in Computer Science,// Special Issue on Quantum Programming Languages, 16(3): p.491-525, 2006. (This is a revision/extension of "The Logic of Quantum Programs").\n\n5) A. Baltag and S. Smets, [["A Dynamic - Logical Perspective on Quantum Behavior"|http://www.vub.ac.be/CLWF/SS/SL.pdf]], in I. Douven and L. Horsten (eds.) // Studia Logica //, special issue on Applied Logic in the Philosophy of Science, vol 89, pp.185-209, 2008.\n\n6) A. Baltag and S. Smets. Correlated Information: A Logic for Multi- Partite Quantum Systems. In Bob Coecke and Prakash Panangaden (eds.) Electronic Notes in Theoretical Computer Science ENTCS. Proceedings of the 6th Workshop on Quantum Physics and Logic, Oxford. Submitted for publication.\n\n7) A. Baltag and S. Smets. [[“Quantum Logic as a Dynamic Logic"|http://www.vub.ac.be/CLWF/SS/BethPaper_Final.pdf]], In: Theo Kuipers, Johan van Benthem and Henk Visser (eds.), Synthese, special issue. To appear.\n\n8) A. Baltag and S. Smets. [[“Correlated Knowledge, An Epistemic-Logic View on Quantum Entanglement"|http://www.vub.ac.be/CLWF/SS/IQSA2009SmetsBaltag.pdf]], // International Journal of Theoretical Physics //, Workingpaper, submitted for publication.\n

ESSLLI'09 Course on ''Dynamic Logics for Interactive Belief Revision''\nBy Alexandru Baltag and Sonja Smets\n\nThis course is addressed to students and researchers interested in logics for reasoning about multi-agent belief revision, belief updates and knowledge updates induced by various forms of communication or interaction. It is an advanced course, designed to present to students and researchers from other fields the work done in recent years by a number of researchers on integrating ideas from Belief Revision Theory within the DEL (Dynamic Epistemic Logic) paradigm. The course presupposes a background knowledge of the syntax and semantics of basic modal logic. Some familiarity with the standard modal logics for knowledge and belief, as well as with some basic issues of standard Belief Revision theory, would be most welcome (though not required) for an easier understanding of the material.\n\nWe start by presenting the main notions of "standard DEL", arguing that this logic is appropriate for updating "hard information" (unrevisable knowledge), but that it is inappropriate for "soft information" (possibly false beliefs or defeasible knowledge). We then present "belief-revision models", defining some important epistemic/doxastic notions, considering a number of logical languages for these models, and explaining the relevance of these notions to fundamental issues in contemporary Epistemology, in Computer Science and in the study of language and communication. We present various Belief Update operations and various belief-revision policies proposed by different authors, focusing on one particular proposal (the Action - Priority Update) of great generality and elegance. We present reduction laws (the "dynamic laws of Interactive Belief Revision"), complete axiomatizations, applications to dialogue games, belief merge, communication strategies, connections with other research areas and open problems.\n\n[[ESSLLI'09 Slides]]\n[[ESSLLI'09 References]]\n

Course on ''Dynamic Logics for Interactive Belief Revision''\nBy Alexandru Baltag and Sonja Smets\n\nReferences:\n\nThe list of relevant material for our ESSLLI 09 Course on Dynamic Logics for Interactive Belief Revision is very large. Below we mention only the main textbooks, some websites and some names of authors with relevant article contributions.\n\nA. Baltag, L.S. Moss and H.P. van Ditmarsch, "Epistemic Logic and Information Update". In (Eds) P. Adriaans and J. van Benthem", //Philosophy of\nInformation//, part of Handbook of the Philosophy of Science, vol. 8, pp. 361-465, Elsevier, 2008\n\nA. Baltag and S. Smets, [["A Qualitative Theory of Dynamic Interactive Belief Revision"|http://www.vub.ac.be/CLWF/SS/Ch1-Baltag.pdf]], in G. Bonanno, W. van der Hoek, M. Wooldridge (eds.), //Logic and the Foundations of Game and Decision Theory//, [[Texts in Logic and Games|http://www.illc.uva.nl/TLG/index.php?page=10_1_3_3]], Vol 3, pp.9-58, Amsterdam University Press, 2008\n\nH.P. van Ditmarsch, W. van der Hoek and B.P. Kooi, //Dynamic Epistemic Logic//, Synthese Library 337, Springer, 2007\n\nR. Fagin, J.Y. Halpern, Y. Moses and M.Y. Vardi, //Reasoning about Knowledge//, MIT Press, 1995\n\nP. Gardenfors, //Knowledge in Flux: Modelling the Dynamics of Epistemic States//, MIT Press, 1988\n\nP. Gardenfors and H. Rott, "Belief Revision". In //Handbook of Logic of AI and Logic Programming//, vol. 4, pp. 35-132, Oxford University Press, 1995.\n\nP. Gardenfors. //Belief Revision//. Cambridge University Press. 1992.\n\nP. Gochet and P. Gribomont, "Epistemic Logic". In (eds) D. M. Gabbay and J. Woods, //Handbook of the History of Logic//, vol. 7, pp. 99-195, Elsevier, 2006\n\nJ.Y. Halpern, //Reasoning about Uncertainty//, MIT Press, 2003\n\nS. O. Hansson. //A textbook in Belief Dynamics.// Dordrecht: Kluwer Academic Publishers. 1999.\n\nJ. Hintikka, //Knowledge and Belief//, Cornell University Press, 1962\n\nJ.-J.Ch. Meyer and W. van der Hoek, //Epistemic Logic for AI and Computer Science//, Cambridge Tracts in Theoretical Computer Science, nr. 41, Cambridge University Press, 1995.\n\n//Stanford Encyclopedia of Philosophy//: articles on "Defeasible Reasoning: Belief Revision" and "Logics of Belief Revision". \n\nBeliefrevision.org\n\nVarious articles and papers by: G. Aucher, A. Baltag, J. van Benthem, C. Boutilier, H. P. van Ditmarsch, J. van Eijk, P. Gardenfors, J. Gerbrandy, E. Gettier, P. Grove, Katsuno and Mendelzon, B.P. Kooi, K. Lehrer, D. Makinson, L.S. Moss, E. Pacuit, J. Plaza, H. Rott, A.C. Nayak, R. Stalnaker, S. Smets, W. Spohn, F.P.J.M. Voorbraak, E. Weidert etc.\n\n\n[[ESSLLI'09 Course Description]]\n[[ESSLLI'09 Slides]]\n\n\n

Course on ''Dynamic Logics for Interactive Belief Revision''\nBy Alexandru Baltag and Sonja Smets\n\nSlides:\n\n- [[Lecture1|http://www.vub.ac.be/CLWF/SS/D1.pdf]]\n- [[Lecture2|http://www.vub.ac.be/CLWF/SS/D2.pdf]]\n- [[Lecture3|http://www.vub.ac.be/CLWF/SS/D3.pdf]]\n- [[Lecture4+5|http://www.vub.ac.be/CLWF/SS/D4.pdf]]\n\n\n[[ESSLLI'09 Course Description]]\n[[ESSLLI'09 References]]\n

''Dynamic Logics for Interactive Belief Revision''\nBy Alexandru Baltag and Sonja Smets\n\nCourse at ESSLLI'09 - section on "Logic and Computation"\n\nWelcome to our course on Dynamic Logics for Interactive Belief Revision:\n\n[[ESSLLI'09 Course Description]]\n[[ESSLLI'09 Slides]]\n[[ESSLLI'09 References]]

@@''Events:''@@\n\n[[LMPS 2011 France (19-26 July 2011)|http://www.clmps2011.org]]\n\n[[P&C 2010 Egypt (30 August - 6 September 2010)|http://www.pc2010.uac.pt/contents/venue.html]]\n\n[[IQSA 2010 Boston (21-26 June 2010)|http://www.vub.ac.be/CLEA/IQSA/IQSABoston2010/IQSABoston2010.htm]]\n\n[[AAMAS 2010 Canada (May 10-14 2010)|http://www.cse.yorku.ca/AAMAS2010/]]\n\n[[LOFT 2010 France (21-23 July 2010)|http://www.econ.ucdavis.edu/faculty/bonanno/loft9.html]]\n\n[[LORI 2009|http://www.loriweb.org/lori2009/]]\n\n[[FAMAS 2009 Italy (7-9 September 2009)|http://agents009.di.unito.it/mallow_programme.html]]\n\n[[Workshop on EPISTEMOLOGY, CONTEXT, FORMALISM France (November 12-14 2009)|http://poincare.univ-nancy2.fr/Activites/?contentId=5657&languageId=1]]\n\n[[Progic 2009 Groningen (17-19 September 2009)|http://www.philos.rug.nl/progic2009/]]\n\n[[Workshop on Phil of Probability UK (24-25 September 2009)|http://bit.ly/probability-conference]]\n\n[[LICS 2009 (11-14 August 2009)|http://www2.informatik.hu-berlin.de/lics/lics09/]]\n\n[[ESSLLI-2009 (20-31 July 2009)|http://esslli2009.labri.fr/]]\n\n[[TARK 2009 (6-8 July 2009)|http://ai.stanford.edu/~epacuit/tark09/]]\n\n[[WOLLIC-2009 (21-24 June 2009)|http://wollic.org/wollic2009/]]\n\nStudia Logica Conference in Brussels: [[Trends in Logic VI (11-12 December 2008)|http://www.vub.ac.be/CLWF/TrendsVI]] \n\nWorkshop: [[SLI-2003 (31 March 2003)|http://www.vub.ac.be/CLWF/SLI-2003/]] \n\nWorkshop: [[PML-2004 (5-7 February 2004)|http://www.vub.ac.be/CLWF/PML-2004/]] \n\n[[ESSLLI 2006|http://esslli2006.lcc.uma.es/give-page.php]]\n[[ECAP05 workshop on quantum information: August 29-30|http://www.uni-konstanz.de/ppm/events/LisbonPhysics2005/]]\n[[Quantum Information, Computation and Logic: Exploring New Connections: July 17 - 22|http://www.perimeterinstitute.ca/]]\n[[Current Research in Operational Quantum Logic II|http://www.vub.ac.be/CLEA/Bob/WS99.html]]\n[[Current Research in Operational Quantum Logic III (+PSSL 72), Brussels, 2000|http://www.vub.ac.be/CLEA/Bob/WS2000.html]]\n[[11th Intern. Congress of Logic, Methodology and Philosophy of Science|http://www.uj.edu.pl/IRO/NEWSLET/IRC10/LMPS99-P.html]]\n[[[IQSA2001, Cesena, Italy, 2001|http://www.vub.ac.be/CLEA/workshop/IQSA-V/]]\n[[Logic Colloquium LC2001, Vienna, 2001|http://staff.cs.utu.fi/staff/saeed/lc01.html]]\n[[IQSA2002, Vienna, July 1-7, 2002|http://tph.tuwien.ac.at/qs/]]\n[[Perspectives on Mathematical Practices, Brussels, 2002|http://www.vub.ac.be/CLWF/PMP2002/]]\n[[VlaPoLo7, Brussels, 2003|http://www.vub.ac.be/CLWF/VlaPoLo7/]]\n[[SLI-2003, Brussels, 2003|http://www.vub.ac.be/CLWF/SLI-2003/]]\n[[12th Intern. Congress of Logic, Methodology and Philosophy of Science|http://www.uniovi.es/Congresos/2003/DLMPS/]]\n[[LC2003, Helsinki, 2003|http://www.helsinki.fi/lc2003/]]\n[[50 years Studia Logica, Poland, Jablonna, 2003|http://www.philog.ruc.dk/50yrs/conference1.html]]\n[[PML-2004, Brussels, 2004|http://www.vub.ac.be/CLWF/PML-2004/]]\n[[IQSA2004,Denver,July, 2004|http://qs2004.math.du.edu/]]\n[[Wollic 2007|http://www.cin.ufpe.br/%7Ewollic/wollic2007/]]\n[[Foundations of Physics Meeting, 2007|http://quantum.leeds.ac.uk/~sonwm/fop07/]]\n[[LMPS 2007 Beijing|http://www.clmps2007.org/]]\n[[Utrecht Symposium on Logic and Physics 2008|http://symposium.tiddlyspot.com/#WELCOME]]

!''OPEN POST//-//DOC POSITION IN LOGICS FOR QUANTUM INTERACTION''\n\n__Call for Applications:__\nA 2,5 year post-doc position is available in the Faculty of Mathematics and Natural Sciences in the Institute of Artificial Intelligence (ALICE), offered in collaboration with the department of Theoretical Philosophy at the University of Groningen. The candidate will join the NWO VIDI project of Dr. Sonja Smets on ‘Reasoning about quantum interaction: Logical modelling and verification of multi-agent quantum protocols’:\n\n__VIDI Project:__ ‘Reasoning about quantum interaction: Logical modelling and verification of multi-agent quantum protocols’:\n\nAs for classical computing, logic is expected to play an essential role in the understanding of quantum computation and quantum information, and especially in the formal verification of quantum communication protocols. Such multi-agent applications involve quantum information flow and classical knowledge transfer (by classical communication) between the agents. So one of our aims in the proposed VIDI research project is to develop the logical tools for modelling complex situations where different types of informational dynamics (classical and quantum) are combined. Our goal is to develop and use a combined classical-quantum logic for the full specification and formal verification of agent-based quantum protocols for secure communication. Towards this goal, we propose to use formalisms based on modal logic, especially combinations of dynamic (or temporal) logics and epistemic (or ``spatial") logics.\n\nThe post-doc position on this project will extend the tools of the mentioned modal and epistemic logics with techniques from other logical formalisms, such as for instance probabilistic logic, linear logic and/or coalgebraic logic (or categorical logic, in general). In particular, the selected candidate will work on the development of the logical tools for the verification of quantum protocols where probabilities play an essential role. The main case-study in this part of the project is the formal verification of Quantum Key Distribution.\n\n__Qualifications:__ Candidates should have (or obtain before 1 September 2010) a Ph.D degree in any area connected to Logic, Computer Science, Artificial Intelligence, Philosophy, Mathematics or Physics. Fluent English is a prerequisite.\n\n__Job Profile:__ We are looking for candidates with a strong interest in Quantum Information Theory and either Probability Theory or/and Logic (especially in any of the areas such as Modal Logic, Epistemic Logic, Dynamic Logic, Linear Logic, Categorical Logic or Quantum Logic).\n\n__Appointment:__ The post-doc position is awarded for a period of 30 months. The gross monthly salary will range between € 2.379,- and € 3.755,- gross per month. The successful applicant will be working under dialy supervision of Dr. S. Smets. The main focus of the appointment is on research, but can include moderate teaching duties in subjects relevant to the candidate's research activities. The preferred starting date is 1 September 2010.\n\n__How to apply:__ Applications must be send electronically to Dr. Sonja Smets at S.J.L.Smets@rug.nl, they should arrive by 7 June 2010 and must contain :\n\n- a Curriculum Vitae\n- a Letter of Motivation (at most 2 page), explaining why you are interested in this position\n- a copy of your most important research paper, which appeared or is submitted for publication to a scientific journal (can be co-authored).\n- a short summary of your Ph.D thesis in maximum 2 pages\n- the name and contact details (including email address) of two referees who can provide details about your profile (one of which should be the main supervisor of your Ph.D thesis).\n\nFor further information, please contact Dr. Sonja Smets at S.J.L.Smets@rug.nl\n\nThe call for applications has been closed.\n\n<html><center> <img src="http://www.vub.ac.be/CLWF/SS/NWO.jpg" style="width: 310px; "/><img src="http://www.vub.ac.be/CLWF/SS/RUGlogo.jpg" style="width: 210px; "/></center></html>\n

__The post-doc position on the VIDI project on Reasoning about Quantum Interaction,__: The post-doc will extend the tools of the mentioned modal and epistemic logics with techniques from other logical formalisms, such as for instance probabilistic logic, linear logic and/or coalgebraic logic (or categorical logic, in general). In particular, the selected candidate will work on the development of the logical tools for the verification of quantum protocols where probabilities play an essential role. The main case-study in this part of the project is the formal verification of Quantum Key Distribution.\n\n__Qualifications:__ Candidates should have (or obtain before 1 September 2010) a Ph.D degree in any area connected to Logic, Computer Science, Artificial Intelligence, Philosophy, Mathematics or Physics. Fluent English is a prerequisite.\n\n__Job Profile:__ We are looking for candidates with a strong interest in Quantum Information Theory and either Probability Theory or/and Logic (especially in any of the areas such as Modal Logic, Epistemic Logic, Dynamic Logic, Linear Logic, Categorical Logic or Quantum Logic).\n\n__Appointment:__ The post-doc position is awarded for a period of 30 months. The gross monthly salary will range between € 2.379,- and € 3.755,- gross per month. The successful applicant will be working under dialy supervision of Dr. S. Smets. The main focus of the appointment is on research, but can include moderate teaching duties in subjects relevant to the candidate's research activities. The preferred starting date is 1 September 2010.\n\n__How to apply:__ Applications must be send electronically to Dr. Sonja Smets at S.J.L.Smets@rug.nl, they should arrive by 7 June 2010 and must contain :\n\n- a Curriculum Vitae\n- a Letter of Motivation (at most 2 page), explaining why you are interested in this position\n- a copy of your most important research paper, which appeared or is submitted for publication to a scientific journal (can be co-authored).\n- a short summary of your Ph.D thesis in maximum 2 pages\n- the name and contact details (including email address) of two referees who can provide details about your profile (one of which should be the main supervisor of your Ph.D thesis).\n\nFor further information, please contact Dr. Sonja Smets at S.J.L.Smets@rug.nl\n\nWe will start reviewing applications on 7 June 2010 and hope to make a decision soon after that, but applications will continue to be accepted until the position is filled.\n

!''TWO PHD POSITIONS IN LOGICS FOR QUANTUM INTERACTION''\n\n__Call for Applications:__\nTwo Ph.D positions are available in the Faculty of Mathematics and Natural Sciences in the Institute of Artificial Intelligence (ALICE), offered in collaboration with the department of Theoretical Philosophy at the University of Groningen. The candidates will join the five-year NWO Vidi project of Dr. Sonja Smets on ‘Reasoning about quantum interaction: Logical modelling and verification of multi-agent quantum protocols’:\n\n__VIDI Project:__ ‘Reasoning about quantum interaction: Logical modelling and verification of multi-agent quantum protocols’:\n\nAs for classical computing, logic is expected to play an essential role in the understanding of quantum computation and quantum information, and especially in the formal verification of quantum communication protocols. Such multi-agent applications involve quantum information flow and classical knowledge transfer (by classical communication) between the agents. So one of our aims in the proposed VIDI research project is to develop the logical tools for modelling complex situations where different types of informational dynamics (classical and quantum) are combined. Our goal is to develop and use a combined classical-quantum logic for the full specification and formal verification of agent-based quantum protocols for secure communication. Towards this goal, we propose to use formalisms based on modal logic, especially combinations of dynamic (or temporal) logics and epistemic (or ``spatial") logics. But other logical formalisms, such as probabilistic logic, linear logic and coalgebraic logic (or categorical logic, in general), may also turn out to be useful in this context\n\nTwo Ph.D positions are linked to this project. The first Ph.D position has the task of studying from a logical perspective the role of classical knowledge transfer in known protocols such as e.g. Teleportation, Super Dense Coding and Quantum Secret Sharing. The second Ph.D position is associated to the logical study of the (classical and quantum) information flow in protocols dealing with the anonymity of an agent’s identity such as the Quantum Dining Cryptographers and Quantum Electronic Voting.\n\n__Qualifications:__ Candidates should have (or obtain before 1 September 2010) an excellent Masters degree in Logic, Computer Science, Artificial Intelligence, Philosophy, Mathematics or Physics. Fluent English is a prerequisite.\n\n__Job Profile:__ We are looking for candidates with a strong interest in Logic (especially in any of the areas such as Modal Logic, Epistemic Logic, Dynamic Logic, Linear Logic, Categorical Logic or Quantum Logic) and in Quantum Information Theory or Quantum Computing.\n\n__Appointment:__ The Ph.D. positions are awarded for a period of four years and should lead to a dissertation. The gross monthly salary for each position will range from 2042 euro in the first year to 2612 euro in the fourth year. The successful applicants are required to participate in the Ph.D programme at the University of Groningen (see http://www.rug.nl/prospectivestudents/degreeprogrammes/graduateschools/phd) and will be working under the daily supervision of Dr. S. Smets. The main focus of the appointment is on research, but can include moderate teaching duties in subjects relevant to the candidate's research activities. The preferred starting date is 1 September 2010.\n\n__How to apply:__ Applications must be send electronically to Dr Sonja Smets at S.J.L.Smets@rug.nl, they should arrive by 7 June 2010 and must contain :\n\n- a Curriculum Vitae\n- a Letter of Motivation (at most 2 page), explaining why you are interested in this position\n- a list of all university courses taken (including grades).\n- a short summary of your Master thesis in maximum 2 pages\n- the name and contact details (including email address) of two referees who can provide details about your profile (e.g. the supervisors of your master thesis).\n\nFor further information, please contact Dr Sonja Smets at S.J.L.Smets@rug.nl\n\nThe call for applications has been closed.\n\n<html><center> <img src="http://www.vub.ac.be/CLWF/SS/NWO.jpg" style="width: 310px; "/><img src="http://www.vub.ac.be/CLWF/SS/RUGlogo.jpg" style="width: 210px; "/></center></html>\n

1) A. Baltag, S. Smets and J. Zvesper, "When all is done but not (yet) said: Dynamic rationality in extensive games", in J. van Benthem and E. Pacuit (eds.), //(pre)-proceedings of the Workshop on Logic and Intelligent Interaction, ESSLLI 2008//, pp.58-73, 2008. Available on-line at http://ai.stanford.edu/~epacuit/LaII/proceedings.html\n\n2) Alexandru Baltag, Sonja Smets and Jonathan Alexander Zvesper. Keep ‘hoping’ for rationality: a solution to the backward induction paradox. In: Synthese. Volume 169, Number 2 / July, pp. 301-333, 2009.\nAvailable on-line at http://www.springerlink.com/content/70536q6t155r3234/\n

!''Welcome to my homepage ''\n\n@@NEWS@@: I am advertising Two open Ph.D. positions and One Post-doc position at the University of Groningen in connection to the NWO [[VIDI-project on Reasoning about Quantum Interaction]]. \n\n@@My Home Base@@:\nIn January 2009 I started working as a [[Rosalind Franklin Fellow|http://www.rug.nl/fwn/onderzoek/rff/recentFellows]] at the [[University of Groningen|http://www.rug.nl]]. I am affiliated to the [[Multi-Agent Systems Group|http://www.ai.rug.nl/alice/mas/MAS/Multi-Agent_Systems_Group_-_Main.html]], part of [[ALLICE|http://www.rug.nl/ai/onderzoek/index]] in the Faculty of Mathematics and Natural Sciences, and I'm affiliated to the [[Departement of Theoretical Philosophy|http://www.rug.nl/filosofie/faculteit/vakgroepen/tf/index]] in the Faculty of Philosophy. \n\nTill December 2008 I have been a Post Doc researcher at [[Flanders' Fund for Scientific Research|http://www.fwo.be]] and a part-time lecturer at the [[Vrije Universiteit Brussel|http://www.vub.ac.be]] where I had my office at the department of philosophy. \n\nFrom September till the end of December 2008, I had an office at the [[VLAC|http://www.kvab.be/vlac.aspx]], The Flemish Academic Center for Science and the Arts at the Royal Academy in Brussels where I worked on a Cluster Project together with Prof. G. Sandu. \n\nI'm a member of the Center for Logic and Philosophy of Science ([[CLWF|http://www.vub.ac.be/CLWF]]) in Brussels and of the Oxford University Research Group on the Philosophy of Information ([[IEG|http://web.comlab.ox.ac.uk/oucl/research/areas/ieg/]]). Further, I'm affiliated to the Research Group in Philosophy of Information ([[GPI|http://www.philosophyofinformation.net/gpi/members.html]]) at the University of Hertfordshire, to the group in Brussels working on Foundations of Exact Sciences ([[FUND|http://www.vub.ac.be/CLEA/FUND]]) and the Center Leo Apostel ([[CLEA|http://www.vub.ac.be/CLEA]]) in Brussels.\n\n* I am associate editor of the Springer-journal [[Foundations of Science|http://www.vub.ac.be/CLEA/FOS/]] \n* I am a member of the editorial board of [[Logique et Analyse|http://www.vub.ac.be/CLWF/L&A/]].\n* I am part of the council of the [[International Quantum Structures Association|http://www.vub.ac.be/CLEA/IQSA]] (serving IQSA till the international QS meeting in 2010). \n* I am Area Editor for [[Synthese|http://www.springerlink.com/content/103001/]] in the area of physics. \n* I am Associate editor for [[Studia Logica|http://www.studialogica.org/]] for 2010-2012\n\nPC member of the upcoming IQSA//2010// ([[The International Quantum Structures Meeting in Boston|http://www.vub.ac.be/CLEA/IQSA/IQSABoston2010/IQSABoston2010.htm]]); and P&C//2010// ([[The Physics and Computation 2010 Meeting in Egypt|http://www.pc2010.uac.pt/contents/venue.html]])\n\n[[Pictures]]\n\n@@STUDIA LOGICA INTERNATIONAL CONFERENCE@@: I organized the Trends in Logic, Studia Logica Conference in Brussels (11 + 12 December) on the theme: Logic and the Foundations of Physics: Space, Time and Quanta. http://www.vub.ac.be/CLWF/TrendsVI/ .

//{{{\nconfig.macros.def ={};\nconfig.macros.def.handler = function(place,macroName,params,wikifier,paramString,tiddler)\n{\n var sliceName = params[1]? params[1].toLowerCase() : params[0].toLowerCase();\n var def = store.getTiddlerSlice("InfoDefinitions",sliceName);\n if (def == undefined)\n {\n wikify(params[0],place);\n return false;\n }\n var theClass = params[2]? params[2] : "info";\n var container = createTiddlyElement(place,"span",null,theClass);\n wikify(params[0],container);\n if (document.all)\n {\n container.onmouseover = function(){addClass(this,"infoover");};\n container.onmouseout = function(){removeClass(this,"infoover");};\n }\n var tooltip = createTiddlyElement(container,"span",null,null);\n wikify(def, tooltip);\n\n}\n\nconfig.macros.note ={};\nconfig.macros.note.handler = function(place,macroName,params,wikifier,paramString,tiddler)\n{\n var sliceName = params[1]? params[1].toLowerCase() : params[0].toLowerCase();\n var def = store.getTiddlerSlice("InfoDefinitions",sliceName);\n if (def == undefined)\n {\n wikify(params[0],place);\n return false;\n }\n var theClass = params[2]? params[2] : "note";\n var container = createTiddlyElement(place,"span",null,theClass);\n wikify("^^"+params[0]+"^^",container);\n if (document.all)\n {\n container.onmouseover = function(){addClass(this,"noteover");};\n container.onmouseout = function(){removeClass(this,"noteover");};\n }\n var tooltip = createTiddlyElement(container,"span",null,null);\n wikify(def, tooltip);\n\n}\n\n//}}}\n

@@''Interesting Links:''@@\n\n@@background-color:#ffff66;New@@: [[Logic and Rational Interaction|http://www.illc.uva.nl/wordpress/]], a new webportal online\n\n@@Research-groups at the VUB:@@\n* [[CLWF|http://www.vub.ac.be/CLWF]], Center for Logic and Philosophy of Science\n* [[FUND|http://www.vub.ac.be/CLEA/FUND/]], Foundations of Exact Sciences\n* [[CLEA|http://www.vub.ac.be/CLEA/]], Center Leo Apostel\n\nThe Oxford University Research Group on the Philosophy of Information: [[IEG|http://web.comlab.ox.ac.uk/oucl/research/area/ieg/]] \n\nThe Research Group in Philosophy of Information at the University of Hertfordshire: [[GPI|http://philosophyofinformation.net/centre/gpi/]]\n\n@@Distant and Nearby Collaborations:@@\n* [[Haroun Amira|http://mapo.vub.ac.be/HarounAmira.html]] at MAPO, VUB\n* [[Alexandru Baltag|http://alexandru.tiddlyspot.com]] at COMLAB, Oxford\n* [[Bob Coecke|http://www.vub.ac.be/CLEA/Bob/Coecke.html]] at COMLAB, Oxford\n* [[Erik Myin|http://www.ua.ac.be/main.aspx?c=erik.myin]] at Univ. of Antwerp\n* [[Jonathan Zvesper|http://www.illc.uva.nl/People/show_person.php?Person_id=Zvesper+J.A.]] at COMLAB, Oxford\n* [[Sujata Ghosh|http://www.ai.rug.nl/~sujata/]] at ALICE, Groningen\n* [[Bryan Renne|http://bryan.renne.org/]] at Theoretical Philosophy, Groningen\n* [[Nina Gierasimczuk|http://staff.science.uva.nl/~ngierasi/]] at ILLC, Amsterdam\n\n@@I am supervising the following Ph.D Students:@@\n* Ben Rodenhauser, Multi-agent Sytems Group, ALICE Groningen\n* Virginie Fiutek, Theoretical Philosophy, Groningen\n\n@@Associations & Ar Xiv's:@@\n* [[International Quantum Structures Association|http://www.vub.ac.be/CLEA/IQSA/]]\n* [[Association for the Foundations of Science, Language and Cognition|http://www.vub.ac.be/CLEA/AFOS/]]\n* [[Association for Symbolic Logic|http://www.aslonline.org/index.htm]]\n* [[PhilSci Archive|http://philsci-archive.pitt.edu/]]\n* [[arXiv.org|http://arxiv.org/]] at Cornell Univ.\n* [[cogprints-arXiv|http://cogprints.org/]] (UK)\n* [[Quantum comp. arXiv|http://pm1.bu.edu/~tt/qcl/]]\n* [[BBS Open Archive|http://www.bbsonline.org/]]\n\n@@Some Quantum Information Theory:@@\n* [[CQC at Cambridge|http://qubit.damtp.cam.ac.uk/]]\n* [[QUOXIC meetings|http://www.qunat.org/quoxic/]]\n* [[Qubit.org|http://www.qubit.org/]]\n* [[Quiprocone news|http://www.quiprocone.org/news.htm]]\n* [[Qubit news|http://quantum.fis.ucm.es/]]

/***\n|''Name:''|LegacyStrikeThroughPlugin|\n|''Description:''|Support for legacy (pre 2.1) strike through formatting|\n|''Version:''|1.0.1|\n|''Date:''|Jul 21, 2006|\n|''Source:''|http://www.tiddlywiki.com/#LegacyStrikeThroughPlugin|\n|''Author:''|MartinBudden (mjbudden (at) gmail (dot) com)|\n|''License:''|[[BSD open source license]]|\n|''CoreVersion:''|2.1.0|\n|''Browser:''|Firefox 1.0.4+; Firefox 1.5; InternetExplorer 6.0|\n\n***/\n\n//{{{\n\n// Ensure that the LegacyStrikeThrough Plugin is only installed once.\nif(!version.extensions.LegacyStrikeThroughPlugin)\n {\n version.extensions.LegacyStrikeThroughPlugin = true;\n\nconfig.formatters.push(\n{\n name: "legacyStrikeByChar",\n match: "==",\n termRegExp: /(==)/mg,\n element: "strike",\n handler: config.formatterHelpers.createElementAndWikify\n});\n\n} // end of "install only once"\n//}}}\n

\nA) Co-editor of Books: \n\n1) D. Aerts, S. Gutwirth, S. Smets, L. Van Langenhove (eds.): Science, Technology and Social Change, the orange book of Einstein meets Magritte , Kluwer Ac. Pub. & VUB press, Dordrecht/Brussels, 1999.\n\n2) G. Cornelis, S. Smets, J.P. Van Bendegem (eds.): Metadebates on Science, the blue book of Einstein meets Magritte , Kluwer Ac. Pub. & VUB press, Dordrecht/Brussels, 1999.\n\nB) Publications in Journals/books:\n\n3) S. Smets, S. Gutwirth and L. Van Langenhove: Editorial introduction: " Blurring the Colors of "Einstein meets Magritte" ", in Science, Technology and Social Change , Kluwer Ac. Pub. & VUB press, Dordrecht/Brussel, 1999.\n\n4) D. Aerts, B. Coecke and S. Smets: " On the Origin of Probabilities in Quantum Mechanics: Creative and Contextual Aspects ", in Metadebates on Science , Kluwer Ac. Pub. & VUB press, Dordrecht/Brussel, 1999.\n\n5) D. Aerts, J. Broekaert and S. Smets: [["The Liar Paradox in a Quantum Mechanical Perspective"|http://xxx.lanl.gov/abs/quant-ph/0007047]], Foundations of Science , 4, No. 2, p.115-132, 1999. (quant-ph/0007047)\n\n6) D. Aerts, J. Broekaert and S. Smets: "Inconsistencies in Constituent Theories of World Views: Quantum Mechanical Examples", Foundations of Science , 3, No. 2, p.313-340, 1999.\n\n7) D. Aerts, J. Broekaert and S. Smets: [[" A Quantum Structure Description of the Liar-paradox "|http://xxx.lanl.gov/abs/quant-ph/0106131]], International Journal of Theoretical Physics , 38, No. 12, p. 3231-3239, 2000. (quant-ph/0106131)\n\n8) B. Coecke and S. Smets: [["A Logical Description for Perfect Measurements"|http://xxx.lanl.gov/abs/quant-ph/0008017]], International Journal of Theoretical Physics , 39, p.519-599, 2000. (quant-ph/0008017)\n\n9) S. Smets: " The Epistemology Behind Operational Quantum Logic ", workingpaper.\n\n10) B. Coecke, D.J. Moore and S. Smets: " Logic of Dynamics & Dynamics of Logic; Some Paradigm Examples ", in D. Gabbay, S. Rahman, J.M. Torres and J.P. Van Bendegem (eds.), Logic, Epistemology and the Unity of Science , 2004. (math.LO/0106059)\n\n11) B. Coecke and S. Smets: [["The Sasaki Hook is not a [Static] Implicative Connective but Induces a Backward [in Time] Dynamic One that Assigns Causes"|http://xxx.lanl.gov/abs/quant-ph/0111076]], submitted for the proceedings of the 5th International Quantum Structures Association Meeting in International Journal of Theoretical Physics. (quant-ph/0111076) \n\n12) S. Smets: " On Causation and a Counterfactual in Quantum Logic: The Sasaki Hook ", Logique et Analyse, 44, 173-175, p. 307-325, 2001. The proceedings of the Ist Flemish - Polish Workshop on Adaptive and Erotetic Logics and Their Applications to the Philosophy of Science. ([[PITT-PHIL-SCI00000619|http://philsci-archive.pitt.edu/archive/00000619/]])\n\n13) S. Smets: [["In Defense of Operational Quantum Logic"|http://philsci-archive.pitt.edu/archive/00000541/]], Logic and Logical Philosophy, 11, p.191-212, 2003. Proceedings of Vla Po Lo. ([[PITT-PHIL-SCI00000541|http://philsci-archive.pitt.edu/archive/00000541/]])\n\n14) S. Smets: " From Intuitionistic Logic to Dynamic Operational Quantum Logic", in Essays in Logic and Ontology - dedicated to Jerzy Perzanowski , Poznan Studies in the Philosophy of the Sciences and the Humanities, in Press.\n\n15) S. Smets: [["The Logic of Physical Properties in Static and Dynamic Perspective"|http://www.vub.ac.be/CLEA/sonja/Ph.D.-SONJA.ps]], Ph D Thesis, Vrije Universiteit Brussel, 9th May 2001.\n\n16) E. Myin and S. Smets: " Could Dancing be Coupled Oscillation? - The Interactive Approach to Linguistic Communication and Dynamical Systems Theory ", commentary on S. Shanker and B.J. King "The Emergence of a New Paradigm in Ape Language Research", Behavioral and Brain Sciences, 25, No 5, p.634-635, 2002.\n\n17) A. Baltag and S. Smets: [[" The Logic of Quantum Programs "|http://www.mathstat.dal.ca/%7Eselinger/qpl2004/proceedings.html]], proceedings of the 2nd International Workshop on Quantum Programming Languages (QPL2004), TUCS General Publication No 33, Turku Center for Computer Science, 2004. (also on [[PhilSci-arXiv|http://philsci-archive.pitt.edu/archive/00001799/]])\n\n18) A. Baltag and S. Smets: [["Complete Axiomatizations for Quantum Actions"|http://www.vub.ac.be/CLWF/SS/IQSA.pdf]], International Journal of Theoretical Physics, 44(12): p.2267-2282,2005.\n\n19) A. Baltag and S. Smets: [["LQP: The Dynamic Logic of Quantum Information"|http://www.vub.ac.be/CLWF/SS/LQP.pdf]], in Mathematical Structures in Computer Science, special issue on Quantum Programming Languages, 16(3): p.491-525,2006.\n\n20) A. Baltag and S. Smets: "What can Logic Learn from Quantum Mechanics?" preprint.\n\n21) S. Smets: [["The Modes of Physical Properties in the Logical Foundations of Physics"|http://www.logika.umk.pl/llp/141/sonja.pdf]], Logic and Logical Philosophy, 14, 37-53, 2005. \n\n22) A. Baltag and S. Smets, [["Conditional Doxastic Models: A Qualitative Approach to Dynamic Belief Revision"|http://www.vub.ac.be/CLWF/SS/wollic.pdf]], Electronic Notes in Theoretical Computer Science, Proceedings of WOLLIC06, vol 165, pp. 5-21, 2006.\n\n23) A. Baltag and S. Smets, [["The Logic of Conditional Doxastic Actions: A Theory of dynamic multi-agent belief revision"|http://www.vub.ac.be/CLWF/SS/rak.pdf]], S. Artemov and R. Parikh (eds.), Proceedings of the Workshop on Rationality and Knowledge, p.13-30, ESSLLI2006.\n\n24) A. Baltag and S. Smets, [["Dynamic Belief Revision over Multi-Agent Plausibility Models"|http://www.vub.ac.be/CLWF/SS/loft.pdf]], in G. Bonanno, W. van der Hoek, M. Woolridge (eds.), Proceedings of the 7th Conference on Logic and the Foundations of Game and Decision (LOFT06), p. 11-24, University of Liverpool.\n\n25) A. Baltag and S. Smets, [["A Qualitative Theory of Dynamic Interactive Belief Revision"|http://www.vub.ac.be/CLWF/SS/TLG.pdf]], submitted for publication to: G. Bonanno, W. van der Hoek and M. Wooldridge (eds.), Texts in Logic and Games, Amsterdam University Press.\n\n26) A. Baltag and S. Smets, [["From Conditional Probability to the Logic of Doxastic Actions"|http://www.vub.ac.be/CLWF/SS/TARK.pdf]], submitted for presentation at TARKXI, Brussels 2007.xt for 'all my published papers'\n\n27) A. Baltag and S. Smets, [["Probabilistic Dynamic Belief Revision"|http://www.vub.ac.be/CLWF/SS/LORI.pdf]], submitted for publication to Johan van Benthem, Shier Ju and Frank Veltman (eds.). College Publications, London 2007.\n\n\n

!''OVERVIEW OF MY PUBLICATIONS''\n\n@@''A) CO//-//EDITOR OF BOOKS/JOURNALS:'' @@\n \n1) D. Aerts, S. Gutwirth, S. Smets, L. Van Langenhove (eds.): //Science, Technology and Social Change, the orange book of Einstein meets Magritte// , Kluwer Ac. Pub. & VUB press, Dordrecht/Brussels, 1999.\n \n2) G. Cornelis, S. Smets, J.P. Van Bendegem (eds.): //Metadebates on Science, the blue book of Einstein meets Magritte// , Kluwer Ac. Pub. & VUB press, Dordrecht/Brussels, 1999. \n \n3) J. van Benthem and S. Smets. Special issue of //Synthese// on Logic meets Physics, in preparation\n\n4) D. Aerts, S. Smets and J.P. van Bendegem. Special issue of //Studia Logica// on The Contributions of Logic to the Foundations of Physics, To appear, June/July 2010.\n\n@@''B) PUBLICATIONS IN JOURNALS/BOOKS:'' @@\n \n5) S. Smets, S. Gutwirth and L. Van Langenhove: Editorial introduction: " Blurring the Colors of "Einstein meets Magritte" ", in //Science, Technology and Social Change //, Kluwer Ac. Pub. & VUB press, Dordrecht/Brussel, 1999. \n \n6) D. Aerts, B. Coecke and S. Smets: " On the Origin of Probabilities in Quantum Mechanics: Creative and Contextual Aspects ", in //Metadebates on Science// , Kluwer Ac. Pub. & VUB press, Dordrecht/Brussel, 1999. \n \n7) D. Aerts, J. Broekaert and S. Smets: [["The Liar-Paradox in a Quantum Mechanical Perspective"|http://xxx.lanl.gov/abs/quant-ph/0007047]], //Foundations of Science// , ''4'', No. 2, p.115-132, 1999. (quant-ph/0007047) \n \n8) D. Aerts, J. Broekaert and S. Smets: "Inconsistencies in Constituent Theories of World Views: Quantum Mechanical Examples", // Foundations of Science //, ''3'', No. 2, p.313-340, 1999. \n \n9) D. Aerts, J. Broekaert and S. Smets: [["A Quantum Structure Description of the Liar-paradox"|http://xxx.lanl.gov/abs/quant-ph/0106131]], // International Journal of Theoretical Physics // , ''38'', No. 12, p. 3231-3239, 2000. (quant-ph/0106131) \n \n10) B. Coecke and S. Smets: [["A Logical Description for Perfect Measurements"|http://xxx.lanl.gov/abs/quant-ph/0008017]], // International Journal of Theoretical Physics //, ''39'', p.519-599, 2000. (quant-ph/0008017) \n \n11) S. Smets: [["On Causation and a Counterfactual in Quantum Logic: The Sasaki Hook"|http://philsci-archive.pitt.edu/archive/00000619/]], // Logique et Analyse //, ''44'', 173-175, p. 307-325, 2001. The proceedings of the Ist Flemish - Polish Workshop on Adaptive and Erotetic Logics and Their Applications to the Philosophy of Science. (PITT PHIL SCI 00000619) \n \n12) S. Smets: [["The Logic of Physical Properties in Static and Dynamic Perspective"|http://www.vub.ac.be/CLWF/SS/PhD.pdf]], Ph.D Thesis, Vrije Universiteit Brussel, 9th May 2001.\n \n13) E. Myin and S. Smets: " Could Dancing be Coupled Oscillation? - The Interactive Approach to Linguistic Communication and Dynamical Systems Theory ", commentary on S. Shanker and B.J. King "The Emergence of a New Paradigm in Ape Language Research", // Behavioral and Brain Sciences//, ''25'', No 5, p.634-635, 2002.\n\n14) S. Smets: [["In Defense of Operational Quantum Logic"|http://philsci-archive.pitt.edu/archive/00000541/]], // Logic and Logical Philosophy //, ''11'', p.191-212, 2003. Proceedings of Vla Po Lo. (PITT - PHIL - SCI 00000541) \n \n15) S. Smets: "Classical Reasoning About Quantum Systems", Logic Colloquium 2003 Abstract. in //Bulletin of Symbolic Logic//, vol. 11, nr.2, p.270-271, 2004. \n\n16) B. Coecke, D.J. Moore and S. Smets: [["Logic of Dynamics & Dynamics of Logic; Some Paradigm Examples"|http://xxx.lanl.gov/abs/math.LO/0106059]], in D. Gabbay, S. Rahman, J.M. Torres and J.P. Van Bendegem (eds.), // Logic, Epistemology and the Unity of Science // , 2004. (math.LO/0106059) \n \n17) B. Coecke and S. Smets: [["The Sasaki Hook is not a [Static] Implicative Connective but Induces a Backward [in Time] Dynamic One that Assigns Causes"|http://xxx.lanl.gov/abs/quant-ph/0111076]], in the proceedings of the 5th International Quantum Structures Association Meeting, in // International Journal of Theoretical Physics// ''43'', pp. 1705-1736, 2004 (quant-ph/0111076) \n \n18) A. Baltag and S. Smets: [["The Logic of Quantum Programs"|http://www.mathstat.dal.ca/~selinger/qpl2004/proceedings.html]], proceedings of the 2nd International Workshop on Quantum Programming Languages (QPL 2004), // TUCS General Publication // No ''33'', Turku Center for Computer Science, 2004. (also on Phil Sci arXiv)\n \n19) A. Baltag and S. Smets: [["Complete Axiomatizations for Quantum Actions"|http://www.vub.ac.be/CLWF/SS/IQSA.pdf]], // International Journal of Theoretical Physics //, ''44'' (12): p.2267-2282,2005.\n \n20) S. Smets: " From Intuitionistic Logic to Dynamic Operational Quantum Logic ", in // Essays in Logic and Ontology - dedicated to Jerzy Perzanowski , [[Poznan Studies in the Philosophy of the Sciences and the Humanities|http://poznanstudies.swps.edu.pl/vols/ps91.html]] //. ''91'', 2006.\n \n21) A. Baltag and S. Smets: [["LQP: The Dynamic Logic of Quantum Information"|http://www.vub.ac.be/CLWF/SS/LQP.pdf]], in // Mathematical Structures in Computer Science //, special issue on Quantum Programming Languages, ''16'' (3): p.491-525,2006.\n \n22) A. Baltag and S. Smets: [["What can Logic Learn from Quantum Mechanics?"|http://www.vub.ac.be/CLWF/SS/ECAP.pdf]] workingpaper, presented at ECAP 2005, Fifth European Congress for Analytic Philosophy, Lisbon.\n \n23) S. Smets: "The Modes of Physical Properties in the Logical Foundations of Physics", // Logic and Logical Philosophy //, ''14'', 37-53, 2005. \n\n24) A. Baltag and S. Smets, [["Conditional Doxastic Models: A Qualitative Approach to Dynamic Belief Revision"|http://www.vub.ac.be/CLWF/SS/wollic.pdf]], in G. Mints and R. de Queiroz (eds.), //Proceedings of WOLLIC 2006, Electronic Notes in Theoretical Computer Science//, ''165'', pp. 5-21, 2006. \n \n25) A. Baltag and S. Smets, [["The Logic of Conditional Doxastic Actions: A Theory of dynamic multi-agent belief revision"|http://www.vub.ac.be/CLWF/SS/rak.pdf]], in S. Artemov and R. Parikh (eds.), //Proceedings of the Workshop on Rationality and Knowledge//, p.13-30, ESSLLI 2006.\n \n26) A. Baltag and S. Smets, [["Dynamic Belief Revision over Multi-Agent Plausibility Models"|http://www.vub.ac.be/CLWF/SS/loft.pdf]], in G. Bonanno, W. van der Hoek, M. Woolridge (eds.), //Proceedings of the 7th Conference on Logic and the Foundations of Game and Decision (LOFT 2006),// p. 11-24, University of Liverpool, 2006.\n \n27) A. Baltag and S. Smets, [["From Conditional Probability to the Logic of Doxastic Actions"|http://www.vub.ac.be/CLWF/SS/TARK.pdf]], in D. Samet (ed.), //Proceedings of TARKXI//, pp.52-61,Brussels 2007. Electronic Collection in ACM DL.\n \n28) A. Baltag and S. Smets, [["Probabilistic Dynamic Belief Revision"|http://www.vub.ac.be/CLWF/SS/LORI.pdf]], in Johan van Benthem, Shier Ju and Frank Veltman (eds.), //A Meeting of the Minds: Proceedings of the Workshop on Logic, Rationality and Interaction, Beijing, 2007//, //College Publications //, Computing Series, Vol ''8'', London 2007. \n\n29) A. Baltag and S. Smets, [["A Dynamic - Logical Perspective on Quantum Behavior"|http://www.vub.ac.be/CLWF/SS/SL.pdf]], in I. Douven and L. Horsten (eds.) // Studia Logica //, special issue on Applied Logic in the Philosophy of Science, vol. 89, pp.185-209, 2008.\n\n30) A. Baltag and S. Smets, [["A Qualitative Theory of Dynamic Interactive Belief Revision"|http://www.vub.ac.be/CLWF/SS/Ch1-Baltag.pdf]], in G. Bonanno, W. van der Hoek, M. Wooldridge (eds.), //Logic and the Foundations of Game and Decision Theory//, [[Texts in Logic and Games|http://www.illc.uva.nl/TLG/index.php?page=10_1_3_3]], Vol 3, pp.9-58, Amsterdam University Press, 2008\n\n31) A. Baltag and S. Smets, [[“The Logic of Conditional Doxastic Actions”|http://www.vub.ac.be/CLWF/SS/action.pdf]], In R. van Rooij and K. Apt (eds.), //New Perspectives on Games and Interaction//, [[Texts in Logic and Games|http://www.illc.uva.nl/TLG/index.php?page=10_1_3_4]], vol. 4, pp. 9-31, Amsterdam University Press, 2008.\n\n32) A. Baltag and S. Smets, “Probabilistic Dynamic Belief Revision”, in //[[Synthese|http://www.springerlink.com/content/l7765668w81u/?p=14e6a4266a2f42388105d60171cd03e9&pi=0]]//, Vol. 165, Nr 2, pp.179-202, 2008. \n\n33) A. Baltag, S. Smets and J. Zvesper, "When all is done but not (yet) said: Dynamic rationality in extensive games", in J. van Benthem and E. Pacuit (eds.), //(pre)-proceedings of the Workshop on Logic and Intelligent Interaction, ESSLLI 2008//, pp.58-73, 2008. Available on-line at http://ai.stanford.edu/~epacuit/LaII/proceedings.html.\n\n34) A. Baltag, S. Smets and J. A. Zvesper. Keep ‘hoping’ for rationality: a solution to the backward induction paradox. In: //Synthese//. Volume 169, Number 2 / July, pp. 301-333, 2009. Available on-line at http://www.springerlink.com/content/70536q6t155r3234/\n\n35) A. Baltag and S. Smets, [["Learning by Questions and Answers: From Belief- Revision Cycles to Doxastic Fixed Points"|http://www.vub.ac.be/CLWF/SS/wollic2009postfinal.pdf]]. In: Makoto Kanazawa, Hiroakira Ono, en Ruy de Queiroz (eds.) //LNAI Lecture Notes in Computer Science//. pp. 124-139. Volume 5514. 2009\n \n36) A. Baltag and S. Smets.[["Group Belief Dynamics under Iterated Revision: Fixed Points and Cycles of Joint Upgrades"|http://www.vub.ac.be/CLWF/SS/tark09final.pdf]]. In: Proceedings of Theoretical Aspects of Rationality and Knowledge, pp.41-50, TARK 2009.\n \n37) A. Baltag and S. Smets. [["Talking Your Way into Agreement: Belief Merge by Persuasive Communication"|http://www.vub.ac.be/CLWF/SS/famaspaperCEURPROCEEDINGS.pdf]]. [[CEUR Workshop Proceedings|http://sunsite.informatik.rwth-aachen.de/Publications/CEUR-WS/Vol-494/]], Vol. 494, Proceedings of the Second Multi- Agent Logics, Languages, and Organisations Federated Workshops Turin, Italy, September 7-10, 2009. pp. 129 - 141. 2009\n\n38) A. Baltag and S. Smets. [[“Quantum Logic as a Dynamic Logic"|http://www.vub.ac.be/CLWF/SS/BethPaper_Final.pdf]], In: Theo Kuipers, Johan van Benthem and Henk Visser (eds.), Synthese, special issue. To appear.\n\n39) A. Baltag and S. Smets. Correlated Information: A Logic for Multi- Partite Quantum Systems. In Bob Coecke, Prakash Panangaden and Peter Selinger (eds.) Pre-proceedings of the 6th Workshop on Quantum Physics and Logic, pp. 4-14, Oxford, 2009. \n\n40) A. Baltag and S. Smets. Correlated Information: A Logic for Multi- Partite Quantum Systems. In Bob Coecke, Prakash Panangaden and Peter Selinger (eds.) //Electronic Notes in Theoretical Computer Science ENTCS. Proceedings of the 6th Workshop on Quantum Physics and Logic//, Oxford. Submitted for publication.\n\n41) A. Baltag and S. Smets. [[“Correlated Knowledge, An Epistemic-Logic View on Quantum Entanglement"|http://www.vub.ac.be/CLWF/SS/IQSA2009SmetsBaltag.pdf]], // International Journal of Theoretical Physics //, Workingpaper, submitted for publication.\n\n42) A. Baltag and S. Smets. [[ "Keep changing your beliefs and aiming for the truth"|http://www.vub.ac.be/CLWF/SS/FILEforBRTA4.pdf]]. in T. Kuipers and G. Schurz (eds.), Erkenntnis, Workingpaper, submitted for publication.

__[[HOME]]__\n\n__[[RESEARCH]]__\n\n__[[PUBLICATIONS]]__\n\n__[[TALKS]]__\n\n__[[TEACHING]]__\n\n__[[EVENTS]]__\n\n__[[LINKS]]__\n\n__[[NASSLLI COURSE SLIDES]]__\n\n__[[CONTACT]]__\n\n<<author>>\n

Welcome to the NASSLLI'10 Course on Multi - Agent Belief Dynamics by A. Baltag and S. Smets:\n\n[[Lecture 1|http://www.vub.ac.be/CLWF/nasslli2010lecture1.pdf]]\n[[Lecture 2|http://www.vub.ac.be/CLWF/nasslli2010lecture2.pdf]]\n[[Lecture 3|http://www.vub.ac.be/CLWF/nasslli2010lecture3.pdf]]\n[[Lecture 4|http://www.vub.ac.be/CLWF/nasslli2010lecture4.pdf]]\n[[Lecture 5|http://www.vub.ac.be/CLWF/nasslli2010lecture5.pdf]]

// Resolves a Tiddler reference or tiddler title into a tiddler title string, or null if it doesn't exist\nresolveTitle = function(t)\n{\n if (t instanceof Tiddler) t = t.title;\n return store.tiddlerExists(t) ? t : null;\n}\n\nconfig.macros.navigation = {};\nconfig.macros.navigation.handler = function(place,macroName,params,wikifier,paramString,tiddler)\n{\n\n if (!store.tiddlerExists(tiddler.title))\n return false;\n var e = createTiddlyElement(place,"span",null,"nav");\n e.setAttribute("refresh","macro");\n e.setAttribute("macroName",macroName);\n e.setAttribute("params",paramString);\n e.setAttribute("tiddler",tiddler.title)\n this.refresh(e,paramString);\n}\n\nconfig.macros.navigation.refresh = function(place,params)\n{\n var tiddler = store.getTiddler(place.getAttribute("tiddler"));\n removeChildren(place);\n\n\n var params = place.getAttribute("params").parseParams("tiddlers",null,true);\n//alert(store.getTiddlerText(getParam(params,"index",undefined)).parseParams("tiddlers",null,false))\n var tiddlers = getParam(params,"tiddlers",undefined);\nif (typeof tiddlers == 'string')\n tiddlers = tiddlers.readBracketedList();\n if (tiddlers == undefined)\n alert("no source tiddlers defined for navigation");\n var contents = [];\n for (var i=0;i<tiddlers.length;i++)\n {\n var title = resolveTitle(tiddlers[i]);\n contents.push(title);\n}\n var navIndex = contents.indexOf(tiddler.title);\n if (navIndex == -1)\n return false;\n \n if (contents[navIndex-1])\n {\n wikify("[[<< Previous|"+contents[navIndex-1]+"]]",place);\n place.lastChild.className += " navPrev";\n }\n if (contents[navIndex+1])\n {\n wikify("[[Next >>|"+contents[navIndex+1]+"]]",place);\n place.lastChild.className += " navNext";\n }\n\n var theTable = createTiddlyElement(place,"table",null,"nav");\n var theBody = createTiddlyElement(theTable,"tbody");\n var theRow = createTiddlyElement(theBody,"tr");\n for (var i=0; i<contents.length; i++)\n {\n var box = createTiddlyElement(theRow,"td",null,"navlinkcell"," ");\n box.onclick = onClickTiddlerLink;\n box.setAttribute("tiddlyLink",contents[i]);\n box.title = (contents[i]);\n if (contents[i] ==tiddler.title)\n box.className += " activenav";\n }\n}\n\nsetStylesheet(\n".navNext {float:right;}\sn"+\n".navPrev, .navPrevious{float:left;}\sn"+\n".nav .tiddlyLink {color:#000; background:transparent;border:none;padding:0;margin:0;}\sn"+\n".nav {padding:0;margin:0;}\sn"+\n".nav table {margin:0 auto !important; border:0px solid #000;padding:0;border-collapse:separate;}\sn"+\n".nav table tr{padding:0; margin:0;border-spacing: 1px;}\sn"+\n".nav table td {padding:4px; border:1px solid #000; border-spacing: 0px;cursor:pointer;cursor:hand}\sn"+\n".nav .activenav{background:#000 !important;}\sn","NavigationPluginStyles");

@@''Welcome to my publications page''@@\n\n\n* Papers on [[Dynamic Quantum Logic]]\n\n* Papers on [[Belief Revision and Belief Update]]\n\n* Papers on [[Games and Rationality]]\n\n* [[List of all publications]]

\n<div class='header'>\n <div class='gradient' macro='gradient vert #660000 #C24747'>\n <div class='titleLine' >\n\n\n<p>\n<img class="floatright"\nsrc="http://www.vub.ac.be/CLEA/sonja/sonja.jpg"\nalt="11225" border="0" style="float: right">\n\n <span class='siteTitle' refresh='content' tiddler='SiteTitle'></span> \n <span class='siteSubtitle' refresh='content' tiddler='SiteSubtitle'></span>\n</p>\n </div>\n\n </div>\n</div>\n<div id='bodywrapper'>\n<div id='mainMenu' refresh='content' tiddler='MainMenu'></div>\n</div>\n<div id='displayArea'>\n <div id='messageArea'></div>\n <div id='tiddlerDisplay'></div>\n</div>\n<div id='contentFooter' refresh='content' tiddler='contentFooter'></div>\n</div>\n\n\n\n\n

The tiddler 'PhD SCHOLARSHIP' doesn't yet exist. Double-click to create it

[[My talk at the IQSA04 conference in Denver|http://www.vub.ac.be/CLEA/sonja/Denver.jpg]]\n

HOME

//{{{\nTiddlyWiki.prototype.removeNotification = function(title,fn) {\n for (var i=0;i<this.namedNotifications.length;i++)\n if((this.namedNotifications[i].name == title) && (this.namedNotifications[i].notify == fn))\n this.namedNotifications.splice(i,1);\n}\n \n//checks to see if a tiddler exists in store or as a shadow.\nTiddlyWiki.prototype.isTiddler= function (title)\n {return store.tiddlerExists(title) || store.isShadowTiddler(title)}\n\n// Refresh all tiddlers in the Story\nStory.prototype.lewcidrefreshAllTiddlers = function()\n{\n var place = document.getElementById(this.container);\n var e = place.firstChild;\n if(!e) return;\n this.refreshTiddler(e.getAttribute("tiddler"),null,true);\n while((e = e.nextSibling) != null)\n this.refreshTiddler(e.getAttribute("tiddler"),null,true);\n}\n\nconfig.presentationPlugin ={\n};\n\nconfig.presentationPlugin.defaults = [\n {name: "StyleSheet", notify: refreshStyles},\n {name: "PageTemplate", notify: refreshPageTemplate}\n ];\n\nwindow.presentationMode='';\n\nfunction applyPresentationMode (oldMode,Mode)\n{\n presentationMode = Mode;\n var defaults = config.presentationPlugin.defaults;\n var oldStyleElement = document.getElementById(oldMode+"StyleSheet");\n if (oldStyleElement)\n {\n oldStyleElement.parentNode.removeChild(oldStyleElement);\n }\n for (var i=0; i<defaults.length; i++)\n {\n var def = defaults[i]["name"];\n var newMode = store.isTiddler(Mode + def)? Mode + def : def;\n store.removeNotification(oldMode + def, defaults[i]["notify"]);\n store.addNotification(newMode,defaults[i]["notify"]);\n store.notify(newMode); //just one do blanket notify instead?\n }\n story.lewcidrefreshAllTiddlers();\n}\n\nconfig.macros.author={};\nconfig.macros.author.handler= function (place,macroName,params,wikifier,paramString,tiddler) {\n var e = createTiddlyElement(place,"div");\n e.setAttribute("refresh","macro");\n e.setAttribute("macroName","author");\n e.setAttribute("params",paramString);\n this.refresh(e,paramString);\n}\n\nconfig.macros.author.refresh = function(place,params){\n if (window.lewcideditmode== false)\n return false;\n removeChildren(place);\n var oldMode = window.presentationMode;\n var newMode = (oldMode == "Author")?"":"Author";\n var label = (oldMode == "Author")? "Presentation Mode":"Author Mode";\n var tooltip = label;\n createTiddlyButton(place,label,tooltip,function() {\n applyPresentationMode(oldMode,newMode);\n });\n};\n\nStory.prototype.chooseTemplateForTiddler_old_presentation = Story.prototype.chooseTemplateForTiddler;\n\nStory.prototype.chooseTemplateForTiddler = function(title,template)\n{\n if (!template)\n template = DEFAULT_VIEW_TEMPLATE;\n var mode = presentationMode;\n if (template == DEFAULT_VIEW_TEMPLATE)\n {\n if (store.isTiddler(mode+"ViewTemplate"))\n return mode+"ViewTemplate";\n }\n else if (template == DEFAULT_EDIT_TEMPLATE)\n {\n if (store.isTiddler(mode+"EditTemplate"))\n return mode+"EditTemplate";\n }\n return this.chooseTemplateForTiddler_old_presentation(title,template);\n}\n\nwindow.lewcideditmode = false;\nconfig.paramifiers.author = {\n onstart: function(v) {\n if (v!="true")\n return false;\n applyPresentationMode("","Author");\n window.lewcideditmode = true;\n if (config.options.chkSinglePageMode)\n config.options.chkSinglePageMode = false;\n refreshDisplay();\n }\n};\n//}}}

\n@@Research@@:\n\nThe core of my research programme is centered around logic and the use of its concepts and methods to model the laws and dynamics of different notions of information, knowledge and belief. I focus in particular on multi-agent systems that involve on the one hand quantum information flow and on the other hand the knowledge transfer (by classical communication) between agents. Potential applications of this work are mainly in the fields of security of communication and Quantum Computation. In my VIDI research project (recently approved for funding by NWO) I set forward to develop the logical tools for modelling complex situations where different types of informational dynamics (classical and quantum) are combined, with the goal of providing a full specification and formal verification of agent-based quantum protocols for secure communication. See my [[VIDI-project on Reasoning about Quantum Interaction]]. \n\nMy research interests cover: Logic (in particular non-classical logics, including non-monotonic logics, belief revision, modal and temporal logic, quantum logic); Knowledge Representation in AI; Multi-agent Systems; Formal Epistemology; Philosophy of Quantum Physics, Quantum Information and Computation, Rationality and the role of "belief" in solution concepts in Games, the connection between logics for belief revision and Formal Learning Theory.\n\nIn my recent joint work with Alexandru Baltag, I am reformatting ''quantum logic'' completely. Have a look at our publications on ''Quantum PDL'': we provide a new setting and link (traditional) quantum logic to the needs of quantum computation and quantum information theory.\n\nNext, have a look at my joint work on ''belief revision'' and ''belief update''. I have several publications on this topic. In particular, my work provides qualitative models (Kripke style) for (conditional) belief revision and update.\n

/***\n|''Name:''|SinglePageModePlugin|\n|''Source:''|http://www.TiddlyTools.com/#SinglePageModePlugin|\n|''Author:''|Eric Shulman - ELS Design Studios|\n|''License:''|[[Creative Commons Attribution-ShareAlike 2.5 License|http://creativecommons.org/licenses/by-sa/2.5/]]|\n|''~CoreVersion:''|2.0.10|\n\nNormally, as you click on the links in TiddlyWiki, more and more tiddlers are displayed on the page. The order of this tiddler display depends upon when and where you have clicked. Some people like this non-linear method of reading the document, while others have reported that when many tiddlers have been opened, it can get somewhat confusing.\n\n!!!!!Usage\n<<<\nSinglePageMode allows you to configure TiddlyWiki to navigate more like a traditional multipage web site with only one item displayed at a time. When SinglePageMode is enabled, the title of the current tiddler is automatically displayed in the browser window's titlebar and the browser's location URL is updated with a 'permalink' for the current tiddler so that it is easier to create a browser 'bookmark' for the current tiddler.\n\nEven when SinglePageMode is disabled (i.e., displaying multiple tiddlers is permitted), you can reduce the potential for confusion by enable TopOfPageMode, which forces tiddlers to always open at the top of the page instead of being displayed following the tiddler containing the link that was clicked.\n<<<\n!!!!!Configuration\n<<<\nWhen installed, this plugin automatically adds checkboxes in the AdvancedOptions tiddler so you can enable/disable the plugin behavior. For convenience, these checkboxes are also included here:\n\n<<option chkSinglePageMode>> Display one tiddler at a time\n<<option chkTopOfPageMode>> Always open tiddlers at the top of the page\n<<<\n!!!!!Installation\n<<<\nimport (or copy/paste) the following tiddlers into your document:\n''SinglePageModePlugin'' (tagged with <<tag systemConfig>>)\n^^documentation and javascript for SinglePageMode handling^^\n\nWhen installed, this plugin automatically adds checkboxes in the ''shadow'' AdvancedOptions tiddler so you can enable/disable this behavior. However, if you have customized your AdvancedOptions, you will need to ''manually add these checkboxes to your customized tiddler.''\n<<<\n!!!!!Revision History\n<<<\n''2006.07.04 [2.2.1]'' in hijack for displayTiddlers(), suspend TPM as well as SPM so that DefaultTiddlers displays in the correct order.\n''2006.06.01 [2.2.0]'' added chkTopOfPageMode (TPM) handling\n''2006.02.04 [2.1.1]'' moved global variable declarations to config.* to avoid FireFox 1.5.0.1 crash bug when assigning to globals\n''2005.12.27 [2.1.0]'' hijack displayTiddlers() so that SPM can be suspended during startup while displaying the DefaultTiddlers (or #hash list). Also, corrected initialization for undefined SPM flag to "false", so default behavior is to display multiple tiddlers\n''2005.12.27 [2.0.0]'' Update for TW2.0\n''2005.11.24 [1.1.2]'' When the back and forward buttons are used, the page now changes to match the URL. Based on code added by Clint Checketts\n''2005.10.14 [1.1.1]'' permalink creation now calls encodeTiddlyLink() to handle tiddler titles with spaces in them\n''2005.10.14 [1.1.0]'' added automatic setting of window title and location bar ('auto-permalink'). feature suggestion by David Dickens.\n''2005.10.09 [1.0.1]'' combined documentation and code in a single tiddler\n''2005.08.15 [1.0.0]'' Initial Release\n<<<\n!!!!!Credits\n<<<\nThis feature was developed by EricShulman from [[ELS Design Studios|http:/www.elsdesign.com]].\nSupport for BACK/FORWARD buttons adapted from code developed by Clint Checketts\n<<<\n!!!!!Code\n***/\n//{{{\nStory.prototype.displayTiddler = function(srcElement,title,template,animate,slowly)\n{\n var place = document.getElementById(this.container);\n var theTiddler = document.getElementById(this.idPrefix + title);\n if(theTiddler)\n this.refreshTiddler(title,template);\n else\n {\n var before = this.positionTiddler(srcElement);\n theTiddler = this.createTiddler(place,before,title,template);\n }\n if(srcElement && typeof srcElement !== "string")\n {\n if(anim && config.options.chkAnimate && (animate == undefined || animate == true))\n anim.startAnimating(new Cascade(title,srcElement,theTiddler,slowly),new Scroller(theTiddler,slowly));\n else\n window.scrollTo(0,0);\n }\n}\n\n\n\nversion.extensions.SinglePageMode= {major: 2, minor: 2, revision: 1, date: new Date(2006,7,3)};\n\nconfig.options.chkSinglePageMode=true;\n\nif (config.options.chkSinglePageMode==undefined) config.options.chkSinglePageMode=false;\nconfig.shadowTiddlers.AdvancedOptions += "\sn<<option chkSinglePageMode>> Display one tiddler at a time";\n\nif (config.options.chkTopOfPageMode==undefined) config.options.chkTopOfPageMode=false;\nconfig.shadowTiddlers.AdvancedOptions += "\sn<<option chkTopOfPageMode>> Always open tiddlers at the top of the page";\n\nconfig.SPMTimer = 0;\nconfig.lastURL = window.location.hash;\nfunction checkLastURL()\n{\n if (!config.options.chkSinglePageMode)\n { window.clearInterval(config.SPMTimer); config.SPMTimer=0; return; }\n if (config.lastURL == window.location.hash)\n return;\n var tiddlerName = convertUTF8ToUnicode(decodeURI(window.location.hash.substr(1)));\n tiddlerName=tiddlerName.replace(/\s[\s[/,"").replace(/\s]\s]/,""); // strip any [[ ]] bracketing\n if (tiddlerName.length) story.displayTiddler(null,tiddlerName,1,null,null);\n}\n\nif (Story.prototype.SPM_coreDisplayTiddler==undefined) Story.prototype.SPM_coreDisplayTiddler=Story.prototype.displayTiddler;\nStory.prototype.displayTiddler = function(srcElement,title,template,animate,slowly)\n{\n if (config.options.chkSinglePageMode) {\n window.location.hash = encodeURIComponent(String.encodeTiddlyLink(title));\n config.lastURL = window.location.hash;\n document.title = wikifyPlain("SiteTitle") + " - " + title;\n story.closeAllTiddlers();\n if (!config.SPMTimer) config.SPMTimer=window.setInterval(function() {checkLastURL();},1000);\n }\n if (config.options.chkTopOfPageMode) { story.closeTiddler(title); window.scrollTo(0,0); srcElement=null; }\n this.SPM_coreDisplayTiddler(srcElement,title,template,animate,slowly)\n}\n\nif (Story.prototype.SPM_coreDisplayTiddlers==undefined) Story.prototype.SPM_coreDisplayTiddlers=Story.prototype.displayTiddlers;\nStory.prototype.displayTiddlers = function(srcElement,titles,template,unused1,unused2,animate,slowly)\n{\n // suspend single-page mode when displaying multiple tiddlers\n var saveSPM=config.options.chkSinglePageMode; config.options.chkSinglePageMode=false;\n var saveTPM=config.options.chkTopOfPageMode; config.options.chkTopOfPageMode=false;\n this.SPM_coreDisplayTiddlers(srcElement,titles,template,unused1,unused2,animate,slowly);\n config.options.chkSinglePageMode=saveSPM; config.options.chkTopOfPageMode=saveTPM;\n}\n//}}}

Home Page

Sonja Smets \n

[[SideBarWG]]\n\n/***\n!Top Menu Styles\n***/\n/*{{{*/\n#topMenu br {display:none; }\n#topMenu { background: #000 ; color:#fff;padding: 1em 1em;}\n/*}}}*/\n\n/***\n!General\n***/\n/*{{{*/\nbody {\n background: #ccc;\n margin: 0 auto;\n}\n\n #contentWrapper{\n background: #fff;\n border: 0;\n margin: 0 auto;\n width: 692px;\n padding:0;\n}\n/*}}}*/\n\n/***\n!Header rules\n***/\n/*{{{*/\n.titleLine{\n margin: 20px auto 0em ;\nmargin-left:1.7em;\nmargin-bottom: 40px;\n padding: 0;\n text-align: left;\n color: #fff;\n}\n\n.siteTitle {\n font-size: 2em;\n font-weight: bold;\n}\n\n.siteSubtitle {\n font-size: 1.1em;\n display: block;\n margin: .5em auto 1em;\n}\n\n.gradient {margin: 0 auto;}\n\n\n\n.header {\n background: #fff; \n margin: 0 auto;\n padding:0 12px;\n width: 668px;\n}\n/*}}}*/\n\n/***\n!Display Area\n***/\n/*{{{*/\n#bodywrapper {margin:0 12px; padding:0;background:#fff; height:1%}\n\n#displayArea{\n margin: 0em 2em 0em 1em;\n text-align: left;\n}\n\n.tiddler {\n padding: 1em 1em 0em 0em;\n}\n\nh1,h2,h3,h4,h5 { color: #000; background: transparent; padding-bottom:2px; border-bottom: 1px dotted #666; }\n.title {color:black; font-size:1.8em; border-bottom:1px solid #333; padding-bottom:0.3px;}\n.subtitle { font-size:90%; color:#ccc; padding-left:0.25em; margin-top:0.1em; }\n\n.shadow .title {\n color: #aaa;\n}\n\n.tagClear{\n clear: none; \n}\n\n* html .viewer pre {\n margin-left: 0em;\n}\n\n* html .editor textarea, * html .editor input {\n width: 98%;\n}\n\n.tiddler {margin-bottom:1em; padding-bottom:0em;}\n\n\n.toolbar .button {color:#bbb; border:none;}\n.toolbar .button:hover, .toolbar .highlight, .toolbar .marked, .toolbar a.button:active {background:transparent; color:#111; border:none; text-decoration:underline;}\n\n#sidebar .highlight, #sidebar .marked {background:transparent;}\n\n.tagging, .tagged {\n border: 1px solid #eee;\n background-color: #F7F7F7;\n}\n\n.selected .tagging, .selected .tagged {\n background-color: #eee;\n border: 1px solid #bbb;\n}\n\n .tagging .listTitle, .tagged .listTitle {\n color: #bbb;\n}\n\n.selected .tagging .listTitle, .selected .tagged .listTitle {\n color: #222; \n}\n\n\n.tagging .button:hover, .tagged .button:hover {\n border: none; background:transparent; text-decoration:underline; color:#000;\n}\n\n.tagging .button, .tagged .button {\n color:#aaa;\n}\n\n.selected .tagging .button, .selected .tagged .button {\n color:#000;\n}\n\n.viewer blockquote {\n border-left: 3px solid #000;\n}\n\n.viewer pre, .viewer code {\n border: 1px dashed #ccc;\n background: #eee;}\n\n.viewer hr {\n border: 0;\n border-top: solid 1px #333;\n margin: 0 8em;\n color: #333;\n}\n\n.highlight, .marked {background:transparent; color:#111; border:none; text-decoration:underline;}\n\n.viewer .highlight, .viewer .marked {text-decoration:none;}\n\n#sidebarTabs .highlight, #sidebarTabs .marked {color:#000; text-decoration:none;}\n\n.tabSelected {\n color: #000;\n background: #fff;\n border-top: solid 1px #ccc;\n border-left: solid 1px #ccc;\n border-right: solid 1px #ccc;\n border-bottom: none;\n}\n\n.viewer .tabSelected:hover{color:#000;}\n\n.viewer .tabSelected {font-weight:bold;}\n\n.tabUnselected {\n color: #999;\n background: #eee;\n border-top: solid 1px #ccc;\n border-left: solid 1px #ccc;\n border-right: solid 1px #ccc;\n border-bottom: solid 1px #ccc;\n padding-bottom:1px;\n}\n\n.tabContents {\n background: #fff;\n color: #000;\n}\n/*}}}*/\n/***\n!!!Tables\n***/\n/*{{{*/\n.viewer table {\n border: 1px solid #000;\n}\n\n.viewer th, thead td {\n background: #000;\n border: 1px solid #000;\n color: #fff;\n}\n\n.viewer td, .viewer tr {\n border: 1px solid #111;\n}\n/*}}}*/\n\n\n/***\n!!!Editor area\n***/\n/*{{{*/\n.editor input, .editor textarea {\n border: 1px solid #ccc;\n}\n\n.editor {padding-top:0.3em;}\n\n.editor textarea:focus, .editor input:focus {\n border: 1px solid #333;\n}\n/*}}}*/\n\n/***\n!Sidebar\n***/\n/*{{{*/\n#sidebar{\nposition:relative;\nfloat:right;\nmargin-bottom:1em;\ndisplay:inline;\nwidth: 16em;\n}\n\n#sidebarOptions .sliderPanel {\n background: #eee; border:1px solid #ccc;\n}\n\n/*}}}*/\n\n/***\n!Body Footer rules\n***/\n/*{{{*/\n#contentFooter {\n text-align: left;\n clear: both;\n color:#fff;\n background: #000;\n padding: 1em 2em;\nfont-weight:bold;\n}\n\n/*}}}*/\n/***\n!Link Styles\n***/\n/*{{{*/\na{\n color: #000;\n}\n\na:hover{\n color: #660000;\n background:#fff;\n}\n\n\n.button {\n color: #000;\n border: 1px solid #fff;\n}\n\n.button:hover {\n color: #fff;\n background: #660000;\n border-color: #000;\n}\n\n.button:active {\n color: #fff;\n background: #660000;\n border: 1px solid #000;\n}\n\n.tiddlyLink {border-bottom: 1px dotted #000;}\n.tiddlyLink:hover {border-bottom: 1px dotted #660000;} \n\n.titleLine a {border-bottom: 1px dotted #660000;}\n\n.titleLine a:hover {border-bottom: 1px dotted #fff;}\n\n.siteTitle a, .siteSubtitle a{\n color: #fff;\n}\n\n.viewer .button {border: 1px solid #660000; font-weight:bold;}\n.viewer .button:hover, .viewer .marked, .viewer .highlight{background:#660000; color:#fff; font-weight:bold; border: 1px solid #000;}\n\n#topMenu .button, #topMenu .tiddlyLink {\n margin-left:0.5em; margin-right:0.5em;\n padding-left:3px; padding-right:3px;\n color:white;\n}\n#topMenu .button:hover, #topMenu .tiddlyLink:hover { background:#000; color:#663333}\n\n#topMenu a{border:none;}\n/*}}}*/\n\n/***\n!Message Area /%=================================================%/\n***/\n/*{{{*/\n#messageArea {\n border: 4px dotted #660000;\n background: #000;\n color: #fff;\n font-size:90%;\n}\n\n#messageArea .button {\n padding: 0.2em;\n color: #000;\n background: #fff;\n text-decoration:none;\n font-weight:bold;\n border:1px solid #000; \n}\n\n#messageArea a {color:#fff;}\n\n#messageArea a:hover {color:#660000; background:transparent;}\n\n#messageArea .button:hover {background: #660000; color:#fff; border:1px solid #fff; }\n\n/*}}}*/\n\n/***\n!Popup /%=================================================%/\n***/\n/*{{{*/\n.popup {\n background: #660000;\n border: 1px solid #333;\n}\n\n.popup hr {\n color: #333;\n background: #333;\n border-bottom: 1px;\n}\n\n.popup li.disabled {\n color: #333;\n}\n\n.popup li a, .popup li a:visited {\n color: #eee;\n border: none;\n}\n\n.popup li a:hover {\n background: #660000;\n color: #fff;\n border: none;\n text-decoration:underline;\n}\n/*}}}*/\n\n.blog h2, .blog h3, .blog h4{\n margin:0;\n padding:0;\nborder-bottom:none;\n}\n.blog {margin-left:1.5em;} \n\n\n.blog .excerpt {\n margin:0;\nmargin-top:0.3em;\n padding: 0;\n margin-left:1em;\n padding-left:1em;\n font-size:90%;\n border-left:1px solid #ddd;\n}\n\n#tiddlerWhatsNew h1, #tiddlerWhatsNew h2 {border-bottom:none;}\ndiv[tags~="RecentUpdates"], div[tags~="lewcidExtension"] {margin-bottom: 2em;}\n\n#hoverMenu .button, #hoverMenu .tiddlyLink {border:none; font-weight:bold; background:#660000; color:#fff; padding:0 5px; float:right; margin-bottom:4px;}\n#hoverMenu .button:hover, #hoverMenu .tiddlyLink:hover {font-weight:bold; border:none; color:#660000; background:#000; padding:0 5px; float:right; margin-bottom:4px;}\n\n#topMenu .fontResizer {float:right;}\n\n#topMenu .fontResizer .button{border:1px solid #000;}\n#topMenu .fontResizer .button:hover {border:1px solid #f37211; color:#fff;}\n#sidebarTabs .txtMainTab .tiddlyLinkExisting {\n font-weight: normal;\n font-style: normal;\n}\n\n#sidebarTabs .txtMoreTab .tiddlyLinkExisting {\n font-weight: bold;\n font-style: normal;\n}\n\n.blog h2, .blog h3, .blog h4{\n margin:0;\n padding:0;\nborder-bottom:none;\n}\n.blog {margin-left:1.5em;} \n\n\n.blog .excerpt {\n margin:0;\nmargin-top:0.3em;\n padding: 0;\n margin-left:1em;\n padding-left:1em;\n font-size:90%;\n border-left:1px solid #ddd;\n}\n\n#tiddlerWhatsNew h1, #tiddlerWhatsNew h2 {border-bottom:none;}\ndiv[tags~="RecentUpdates"], div[tags~="lewcidExtension"] {margin-bottom: 2em;}\n\n#hoverMenu {background:transparent;}\n#hoverMenu .button, #hoverMenu .tiddlyLink {border:none; font-weight:bold; background:#f37211; color:#fff; padding:0 5px; float:right; margin-bottom:4px;}\n#hoverMenu .button:hover, #hoverMenu .tiddlyLink:hover {font-weight:bold; border:none; color:#f37211; background:#000; padding:0 5px; float:right; margin-bottom:4px;}\n\n#topMenu .fontResizer {float:right;}\n\n#topMenu .fontResizer .button{border:1px solid #000;}\n#topMenu .fontResizer .button:hover {border:1px solid #f37211; color:#fff;}\n#sidebarTabs .txtMainTab .tiddlyLinkExisting {\n font-weight: normal;\n font-style: normal;\n}\n\n#sidebarTabs .txtMoreTab .tiddlyLinkExisting {\n font-weight: bold;\n font-style: normal;\n}\n\n

.centre {text-align:center; margin:0;}\n.centre img {margin:0 auto;}\n\n.title, h1 {font-size: 1.6em; font-weight:bold; background:transparent; margin-top:0;margin-bottom:0; color:#000;}\n\nh2 {font-size: 1.45em; font-weight:bold; background:transparent; margin-top:0;margin-bottom:0; color:#000;}\n\n#mainMenu {width:14em;}\n#displayArea {margin-left:18em;}\n\n.left {float:left; margin-right:1em;}\n.bold {font-weight:bold;}\n\n\n\n.topbutton button, .topbutton{float:right;}\n\n.note{\n position:relative; /*this is the key*/\n z-index:24; background:#ccc;\n color:#000;\n text-decoration:none}\n\n.note:hover, .noteover{z-index:25; background-color:#FFB865;cursor:help;}\n\n.note span{display: none;}\n\n.note:hover span, .noteover span{ /*the span will display just on :hover state*/\n display:block;\n position:absolute;\n top:2em; left:2em; width:15em;\n border:1px solid #000;\n background-color:#FFB35A; color:#000;\n padding:0.5em;}\n\n\n\n.info{\n position:relative; /*this is the key*/\n z-index:24; background:#ccc;\n color:#000;\n text-decoration:none}\n\n.info:hover, .infoover{z-index:25; background-color:#FFB865;cursor:help;}\n\n.info span{display: none}\n\n.info:hover span, .infoover span{ /*the span will display just on :hover state*/\n display:block;\n position:absolute;\n top:2em; left:2em; width:15em;\n border:1px solid #000;\n background-color:#FFB35A; color:#000;\n padding:0.5em;}\n\n.bold {font-weight: bold !important;}

@@''LIST OF TALKS''@@\n\n@@Invited Talks and Keynote Lectures at International Conferences:@@\n\n1) What has operational quantum logic to do with linear logic?, Logic & Interaction Week 3, Marseille, France, February 2002.\n2) The logic of quantum actions: Reasoning about change in quantum systems. Invited lecture and an invited tutorial on Quantum Dynamic Logic (joint with A. Baltag), the International Workshop on Quantum Information, Computation and Logic: Exploring New Connections (QICL’05), Perimeter Institute for Theoretical Physics, Waterloo, Canada. July 2005.\n3) Towards a logic of quantum entanglement. The First Mini//-//Conference on Philosophy, Probability and Physics, LSE, London, November 2005.\n4) Reasoning about entanglement: The logic of quantum actions in compound systems, Q-day II: Mathematical Structures in Quantum Informatics. Institut Henri Poincare, Paris, December 2005.\n5) Dynamic conditionals in quantum logic, belief revision and logics for communication: Towards a unifying setting for information change, The ESF Exploratory Workshop: Applied Logic in the Methodology of Science, Bristol, September 2006.\n6) A qualitative approach to dynamic interactive belief revision, Working Day on Belief Revision, Lille, June 2007.\n7) Dynamic logic meets knowledge and belief (joint with A. Baltag), International Conference on Dynamic Logics for Social Agents: new trends in philosophical research Montreal, Canada, June 2007.\n8) Dynamic logic meets quantum information, The First Workshop on the Philosophy of Information and Logic, Oxford University, UK, November 2007.\n9) A dynamic understanding of doxastic attitudes, The International Workshop on Science in Flux, Sweden, Lund University, December 2007.\n10) A dynamic approach to conditionals, The International Workshop “What if? So what!” on counterfactual conditionals, Erasmus Universiteit Rotterdam, December 2007.\n11) A dynamic-logical perspective on quantum behavior (Joint with A. Baltag), International Symposium on Logic and Physics, Utrecht University, the Netherlands, January 2008.\n12) Dynamic rationality and the open future (Joint with A. Baltag), Workshop on Decisions and Games, Indiana University, USA, May 2008.\n13) A dynamic-epistemic perspective on quantum correlations (Joint with A. Baltag), 1st European ESF Workshop on Correlations in Computer Science, Vielsalm, Belgium, August 2008.\n14) On the logical structure of quantum mechanics, Beth Symposium, Amsterdam, September 2008.\n15) The logical dynamics of entanglement, Two//-//Day Conference on the Foundations of Quantum Mechanics, Vrije Universiteit Brussel, Belgium, October 2008\n16) Iterated dynamic belief revision, LSE//-//Groningen Workshop 2009, Part I: Models of Value and Opinion, UK, February 2009.\n17) Dynamic and Epistemic Perspectives on Quantum Behavior. Workshop on Quantum Logic Inspired by Quantum Computation, Indiana University, Bloomington May, 2009. \n18) Interactive Belief Revision Part II, Workshop on Alternative Approaches to Belief Change. University of Hyderabad, India, January 2010.\n19) Merging beliefs by sincere persuasive communication, Workshop on Formal theories of communication at the Lorentz Center, Leiden, February 2010.\n20) Forthcoming keynote lecture: Second International Workshop on the Philosophy of Information, Ankara, Turkey, 20-23 May, 2010.\n21) @@background-color:#ffff66;Forthcoming Keynote Lecture:@@ Second Colloquium on Mathematical Logic in the Netherlands, Utrecht, 27-28 May, 2010.\n22) @@background-color:#ffff66;Forthcoming Lecture:@@ Meeting of the Rationality and Decision network, Leuven, 28-30 May, 2010.\n23) @@background-color:#ffff66;Forthcoming Keynote Lecture:@@ The 3rd International Workshop on Physics and Computation, Egypt, August 30-September 5, 2010.\n24) @@background-color:#ffff66;Forthcoming Keynote Lecture:@@ at the NIP//-//Copenhagen Formal Epistemology Workshop, University of Copenhagen, 15-16 October.\n\n@@ Invited Lectures at Local Research Seminars:@@\n\n1) The logic of physical properties in static and dynamic perspective, Invited lecture at the University of Florence, Italy, March 2001.\n2) Over het kritisch wetenschappelijk realisme, Invited talk presented at the annual series on philosophy of science organised by “Centrum voor Empirische Epistemologie”, Brussels, Belgium, 28th March & 25th April 2002.\n3) Logique quantique opérationelle: Introduction et développement récents, Invited lecture presented at Institut de Mathématiques de Jussieu, Université Paris 7, 17th May 2002. \n4) On intuitionistic logic with a quantum modal operator, Invited talk presented at “Dag van de jonge onderzoekers”, workshop, Leuven University, 4th February 2003.\n5) Is quantum logic a logic? Invited talk at “Séminaire Interuniversitaire de logique Mathématique”, Université Libre de Bruxelles, 6th March 2003.\n6) Classical reasoning about quantum phenomena, Invited talk at “Seminarie Centrum Leo Apostel”, Free University of Brussels, 22nd April 2003.\n7) Varieties of operationalism, Invited lecture presented at the Evening Seminar of the HIW, Catholic University of Leuven, 28th May 2003.\n8) Part I: from quantum physics to operational quantum logic, And: Part II: On the logicality of quantum systems, both invited talks were presented at the Combined Colloquium, organized in Utrecht by J. Uffink of the Institute for History and Foundations of Science and by Lev Beklemishev of the Faculty of Philosophy, Utrecht, 14th November 2003. [[two abstracts|http://www.math.uu.nl/people/jvoosten/seminar0304.html]]\n9) Actions in the logical foundations of physics, Invited talk presented at Oxford, Lecture Theatre, Computing Laboratory, 28th November 2003.\n10) Actions in the logical foundations of physics and quantum PDL, Invited talk presented at the Seminar of the Department of Computer Science, King’s College, London, 3rd December 2003.\n11) Dynamic quantum logic, Invited lecture presented at Séminaire d’Informatique, Institut d’Informatique, Namur, Belgium, 20th September 2004. [[abstract|http://www.info.fundp.ac.be/~pys/DEA/sems04/sonja.html]]\n12) On quantum propositional dynamic logics, Invited lecture presented at Instituto Superior Técnico Departamento de Matematica, Lisbon, Portugal, 12th November 2004.\n13) On quantum transition systems and quantum dynamic algebras (Joint work with A. Baltag from Comlab, Oxford University), Invited talk presented at “Séminaire Interuniversitaire de logique Mathématique”, Université Libre de Bruxelles, 10th February 2005.\n14) What is "quantum" about quantum systems: Reasoning about non//-//classical information flow, Invited talk presented at the CPNSS Research Seminar, LSE, London, 31 October 2005. \n15) Reasoning about non//-//classical information flow, Invited talk presented at the Information Ethics Group (IEG) Meeting, Oxford University, 17 February 2006.\n16) Reasoning about quantum information flow, Invited talk presented at the Philosophy of Physics seminar, Department of Philosophy, University of Bristol, 21st of November, 2006.\n17) Dynamic conditionals in quantum logic, belief revision and logics for communication: Towards a unifying setting for information change, Invited talk presented at the Institut d’Histoire et de Philosophie des Sciences et des Techniques, 12th of March 2007.\n18) Complete axiomatizations of quantum actions, Presentation for the Quantum Reading Group, Nijmegen, 24 April, 2007\n19) Dynamic conditionals as a unifying setting for information change: From quantum logic to belief revision, Presented at the IEG II workshop at Oxford e-Research Centre, 8 June 2007. \n20) Dynamic epistemic quantum logic, Logic Tea Seminar, ILLC, University of Amsterdam, 27 September 2007.\n21) A Dynamic-logical perspective on quantum behavior, Seminar on Logics for Dynamics of Information and Preferences, ILLC, University of Amsterdam, 17 October 2007.\n22) An abstract dynamic-logical setting for quantum mechanics, Presented at the Mathematical Logic Seminar, ILLC, University of Amsterdam, 30 November 2007.\n23) A dynamic-logical perspective on quantum behavior, Presented at the Logic Seminar, Indiana University at Bloomington, 26 March, 2008\n24) From dynamic belief revision to dynamic rationality, Invited Talk, Logic Seminar, Stanford University, 29 May 2008.\n25) A Dynamic//-//Logical Perspective on Epistemology, GRIPH Lecture, 1 October 2008, University of Groningen\n26) When Logic meets Physics. Invited talk, Logic Tea Seminar, ILLC U//v//A, Amsterdam, 28 April 2009 \n27) A Dynamic//-//Logical Perspective on Epistemology. Invited talk, the T//i//lPS Colloquium, Tilburg, 7 October, 2009\n28) Safety of Beliefs and Truth Approximation. at "2nd EPSA (European Philosophy of Science Association) conference, symposium on belief revision aiming at truth approximation". VU, Amsterdam, 21-24 October 2009. \n29) An Abstract Dynamic//-//Logical Setting for Quantum Mechanics. Invited talk, Mathematics Colloquium, RUG, 10 November 2009. \n30) Merging beliefs by talking your way into agreement. Invited talk, Formal Philosophy Seminar series, Leuven, Belgium, 27 November 2009\n31) Redeneren over qubits: de logica achter quantumteleportatie en quantumcommunicatie. Koninklijk Natuurkundig Genootschap Groningen, 16 March 2010.\n32) From dynamic belief revision to dynamic rationality, Invited Talk, ISLA Colloquium, University of Amsterdam, 11 May, 2010.\n\n@@Contributed Talks at International Conferences and Workshops:@@\n\n1) S. Smets: The Brussels//-//Geneva approaches of classical and quantum physics, presented at the International Colloquium “Philosophy of Quantum Mechanics”, Brussels, Belgium, November 1996.\n2) D. Aerts, J. Broekaert and S. Smets: Inconsistencies in constituent theories of world views: quantum mechanical examples, presented at the First World Congress on Paraconsistency, Ghent, Belgium, July 1997.\n3) S. Smets: Towards the construction of an interactive logic, presented at the First Summer School for Theory of Knowledge, Warsaw//-//Madralin, Poland, August 1997.\n4) Aerts, J. Broekaert and S. Smets: A quantum structure description of the liar-paradox, presented at the International Quantum Structures Association’s Conference “Atlanta ‘97”, Atlanta, USA, October 1997.\n5) S. Smets: Linear logic: Analyzing its syntax and formal semantics, presented at the workshop “Current Research in Operational Quantum Logic I”, Brussels, Belgium, June 1998.\n6) D. Aerts, J. Broekaert and S. Smets: The liar-paradox in a quantum mechanical perspective, presented at the Twentieth World Congress of Philosophy, Boston, USA, August 1998.\n7) D. Aerts, J. Broekaert and S. Smets: Integrating worldviews: Modeling the Layered structure of reality, presented at the Third International Conference on Emergence, ECHO III, Helsinki, Finland, August 1998.\n8) S. Smets: Analyzing interactive aspects of quantal proposition systems and linear logic, presented at the 4th International Quantum Structures Association Meeting, Liptovski -Jan, Slovakia, September 1998.\n9) S. Smets: Combining operational quantum logic and linear logic for propagating physical systems, presented at the 11th International Congress of Logic, Methodology and Philosophy of Science, Krakow, Poland, August 1999.\n10) S. Smets: Reflections on OQL, presented at the workshop “Current Research in Operational Quantum Logic III”, Brussels, Belgium, April 2000.\n11) S. Smets: Reflections on dynamic operational quantum logic, presented at the 3rd Flemish//-//Polish Workshop on the Ontological Foundations of Paraconsistency, Brussels, Belgium, October 2000.\n12) S. Smets: "The Logic of Physical Properties in Static and Dynamic Perspective", invited lecture at the University of Florence, Italy, March 2001.\n13) S. Smets: The logic of propagating properties, presented at the 5th International Quantum Structures Association Meeting, Cesena, Italy, March 2001.\n14) S. Smets: Operational quantum logic in dynamic perspective, presented at the Logic Colloquium 2001, Vienna, Austria, August 2001.\n15) S. Smets: The problem of implication in quantum logic, presented at the Ist Flemish//-//Polish Workshop on Adaptive and Erotetic Logics and Their Applications, Zielona Gora, Poland, November, 2001.\n16) S. Smets: On causation and a counterfactual in operational quantum logic: The Sasaki hook, presented at the International Quantum Structures Association Meeting 2002, Austria, July 2002. \n17) K. Verelst, S. Smets, H. Amira: On experimental observations and physical properties: aspects of the measurement process in the context of operational quantum logic, presented at the International Quantum Structures Association Meeting 2002, Vienna, Austria, July 2002.\n18) B. Coecke and S. Smets: Interpreting orthomodularity dynamically, poster presented at the International Quantum Structures Association Meeting 2002, Vienna, Austria, July 2002.\n19) S. Smets: Why is the Sasaki hook not a static implication within quantum logic? presented at the Flemish//-//Polish Workshop on Adaptive and Erotetic Logics, Vl//a//P//o//L//o//6, Gent,Belgium, October 2002. \n20) H. Amira and S. Smets: From operationalism to mathematical formalism: Mathematical metascience in action, presented at the International Conference “Perspectives on Mathematical Practices”, Brussels, Belgium, October, 2002.\n21) S. Smets: On quantum modality, presented at SLI//-//2003, International Workshop, Free University of Brussels, 31st March 2003.\n22) S. Smets: Classical reasoning about quantum phenomena, Invited talk at “Seminarie Centrum Leo Apostel”, Free University of Brussels, 22nd April 2003.\n23) S. Smets: Quantum modality for superpositions, presented at Vl//a//P//o//L//o//7: Problem Solving in the Sciences: Adaptive and Interrogative Perspectives, Free University of Brussels, 9th May 2003.\n24) B. Van Kerkhove and S. Smets: SWOT//s// of category theory in the foundations of mathematics, presented at Vl//a//P//o//L//o//7: Problem Solving in the Sciences: Adaptive and Interrogative Perspectives, Free University of Brussels, 9th May 2003.\n25) S. Smets: The nature of quantum modality, presented at the International Conference in Quantum Theory: Reconsideration of Foundations//-//2, Växjö, Sweden, June 2003.\n26) S. Smets: The place of quantum logic in the landscape of non//-//classical logics, presented at the International Conference on Algebraic and Topological Methods in Non//-//Classical Logics, Tbilisi, Georgia, July 2003.\n27) S. Smets: The place of quantum logic in the landscape of non//-//classical logics, presented at the 12th International Congress of Logic, Methodology and Philosophy of Science, Spain, August 2003.\n28) S. Smets: Classical reasoning about quantum systems, presented at Logic Colloquium 2003, Helsinki, Finland, August 2003.\n29) S. Smets: On the incompleteness of quantum mechanics, presented at Vl//a//P//o//L//o//8, Zielona Gora, Poland, November 2003.\n30) S. Smets: On quantum propositional dynamic logic, presented at PML//-//2004, International Workshop, Free University of Brussels, 5th February 2004.\n31) A. Baltag and S. Smets: A dynamic logic of quantum programming, presented by B. Coecke at the LICS//-//workshop: 2nd International Workshop on Quantum Programming Languages, July 12-13, 2004, Finland.\n32) A. Baltag and S. Smets: The logic of quantum actions, presentation at the International Quantum Structures Meeting IQSA//2004//. International Conference, Denver, July, 2004.\n33) S. Smets: Classical versus quantum propositional dynamic logic, Presentation at 1st World Congress and School on Universal Logic, Montreux, Zwitserland, 26 March 2005 – 3 April 2005.\n34) S. Smets: Axiomatizations of quantum actions, Presentation at the Conference: Algebraic and Topological Methods in non//-//classical logics II, Barcelona, Spain, 15-18 June 2005. \n35) A. Baltag and S. Smets: What can Logic learn from quantum mechanics?, Fifth European Congress for Analytic Philosophy. And a special 2//-//day workshop on Quantum Information – Epistemological and Logical Lessons, Lisbon, Portugal, 27-31 August 2005. \n36) S. Smets: Comparing processes: from simulations to bisimulations, presented at the Workshop on Models and Simulations, Paris, June 2006 (Organization: LSE in London and IHPST in Paris)\n37) A. Baltag and S. Smets: Dynamic belief revision over multi-agent plausibility models, in G. Bonanno, W. van der Hoek, M. Wooldridge (eds.), Presented at the 7th Conference on Logic and the Foundations of Game and Decision (LOFT//06//), University of Liverpool, July 2006.\n38) A. Baltag and S. Smets: Conditional doxastic models: A qualitative approach to dynamic belief revision, Presented at the WOLLIC//2006// conference in Stanford, July 2006.\n39) A. Baltag and S. Smets: The logic of conditional doxastic actions: A theory of dynamic multi-agent belief revision, Presented at the Workshop on Rationality and Knowledge, ESSLLI//2006//, August 2006, Malaga, Spain. \n40) S. Smets: A qualitative perspective on quantum information, talk at 15th UK and European Meeting on the Foundations of Physics, Leeds, 29-31 March 2007\n41) A. Baltag and S. Smets: From conditional probability to the logic of doxastic actions, joint talk at TARK 07, Brussels, 27 June 2007.\n42) A. Baltag and S. Smets: Probabilistic dynamic belief revision, talk at LORI, Beijing, 7 August 2007.\n43) S. Smets: Dynamic conditionals as a unifying setting for information change: From quantum logic to belief revision, talk at LMPS, 13th International Congress of Logic Methodology and Philosophy of Science, Beijing, 14 August 2007.\n44) S. Smets: The Logical Dynamics of Entanglement, Contributed talk, International Quantum Structures Association Meeting, 6-12 July, 2008.\n45) S. Smets: Dynamic conditionals as a unifying setting for information change: From quantum logic to dynamic belief revision, Prague International Colloquium “Logic of Change, Change of Logic”. September 2008.\n46) S. Smets. Correlated Information: A Logic for Multi//-//Partite Quantum Systems. Contributed talk at "the 6th QPL workshop on Quantum Physics and Logic", April 8-9, 2009, Oxford University, UK\n47) S. Smets. Correlated Information: A Logic for Multi//-//Partite Quantum Systems. Contributed talk at the "Colloquium on Mathematical Logic in the Netherlands", Nijmegen, 25-26 May 2009.\n48) A. Baltag and S. Smets. Learning by Questions and Answers: From Belief//-//Revision Cycles to Doxastic Fixed Points. Contributed talk, 16th workshop on Logic, Language, Information and Computation, WOLLIC, Tokyo, 21-24 juni 2009.\n49) A. Baltag and S. Smets. Group Belief Dynamics under Iterated Revision: Fixed Points and Cycles of Joint Upgrades. Contributed talk at "the workshop Theoretical Aspects of Rationality and Knowledge TARK", Stanford, 6-8 July 2009.\n50) A. Baltag and S. Smets. Logic and Computation advanced course: Dynamic Logics for Interactive Belief Revision. At the "European Summer School for Logic, Language and Information ESSLLI 2009". Bordeaux 20-31 July, 2009.\n51) A. Baltag and S. Smets. Talking Your Way into Agreement: Belief Merge by Persuasive Communication. Contributed talk at "the Second Multi//-//Agent Logics, Languages, and Organisations Federated Workshops (FAMAS)", Turin, Italy, 7-10 September, 2009.\n\n

!''Information about Courses and Lectures''\n\n@@''Courses I'm currently teaching at the University of Groningen 2010:''@@\n\n*[[Dynamic Interactive Belief Revision|http://www.rug.nl/ocasys/fwn/vak/show?code=KIM.DIBR09]]\n*[[Caput Philosophical Logic: Logics of Information Change|http://www.rug.nl/ocasys/fwn/vak/show?code=FI064BK]]\n\n@@''Other courses I taught in previous years at Free University of Brussels:''@@\n\n*[[Class on Logic and Informatics (30h, yearly from 2001- dec. 2008)|http://aiv.vub.ac.be/opaweb/index?page=beschrijving&omaNummer=11934&doelgroep=TS&language=en]]: This started as a graduate course directed towards master students in computer science and mathematics, later on the course was offered also to students at the philosophy department. The specific topic changed every year, covering material from 1) J. Van Benthem's A Manual of Intensional Logic, CSLI (1988); 2) D. Harel, D. Kozen and J. Tiuryn's Dynamic Logic, MIT (2000), 3) K. Devlin's Logic and Information, Cambridge University Press, New York, NY (1991), 4) R. Fagin, J. Y. Halpern, Y. Moses and M. Y. Vardi's Reasoning About Knowledge, MIT Press (1995), 5) A. Baltag, LS Moss's paper on Logics for Epistemic Programs, Synthese 139 (2004) and 6) M. Huth and M.D. Ryan's Logic in Computer Science: Modelling and reasoning about systems. \n\n@@''Courses in Logic taught at international summer schools:''@@\n\n*(Forthcoming) "Multi- Agent Belief Dynamics" at NASSLLI'2010 (North American Summer School in Logic, Language and Information), Indiana University June 21-25, 2010. Joint course with A. Baltag\n*“Dynamic Logics for Interactive Belief Revision” at ESSLLI’ 09 (European Summer School in Logic, Language and Information), Bordeaux 2009. Joint course with A.Baltag. [[Slides on-line|ESSLLI09 COURSE]]\n*"Logics for Quantum Information Flow” at ESSLLI’ 06 (European Summer School in Logic, Language and Information), Malaga 2006. Joint course with A.Baltag. [[Slides on-line|http://www.vub.ac.be/CLWF/SS/ESSLLI.html]]\n\n@@''Invited courses taught at other universities:''@@\n\n*(Forthcoming) Course at the workshop on formal epistemology. Northern Institute of Philosophy, the University of Aberdeen, June 14-18, 2010. Joint course with A. Baltag.\n*A course on "Dynamic Quantum Logic" at Perimeter Institute for Theoretical Physics, Waterloo, Ontario, Canada. July 2005. Joint course with A. Baltag.\n*Philosophy of Physics, 3h course in the series "The Nature of Reality", Erasmushogeschool, Brussels, 2001-2002.

Tiddler.prototype.getSubtitle = function()\n{\n return(this.title);\n}

config.macros.top={};\nconfig.macros.top.handler=function(place,macroName)\n{\n createTiddlyButton(place,"^","jump to top",this.onclick);\n}\nconfig.macros.top.onclick=function()\n{\n window.scrollTo(0,0);\n};

/***\nContains the stuff you need to use Tiddlyspot\nNote you must also have UploadPlugin installed\n***/\n//{{{\n\n// edit this if you are migrating sites or retrofitting an existing TW\nconfig.tiddlyspotSiteId = 'sonja';\n\n// make it so you can by default see edit controls via http\nconfig.options.chkHttpReadOnly = false;\nwindow.readOnly = false; // make sure of it (for tw 2.2)\n\n// disable autosave in d3\nif (window.location.protocol != "file:")\n config.options.chkGTDLazyAutoSave = false;\n\n// tweak shadow tiddlers to add upload button, password entry box etc\nwith (config.shadowTiddlers) {\n SiteUrl = 'http://'+config.tiddlyspotSiteId+'.tiddlyspot.com';\n SideBarOptions = SideBarOptions.replace(/(<<saveChanges>>)/,"$1<<tiddler TspotSidebar>>");\n OptionsPanel = OptionsPanel.replace(/^/,"<<tiddler TspotOptions>>");\n DefaultTiddlers = DefaultTiddlers.replace(/^/,"[[Welcome to Tiddlyspot]] ");\n MainMenu = MainMenu.replace(/^/,"[[Welcome to Tiddlyspot]] ");\n}\n\n// create some shadow tiddler content\nmerge(config.shadowTiddlers,{\n\n'Welcome to Tiddlyspot':[\n "This document is a ~TiddlyWiki from tiddlyspot.com. A ~TiddlyWiki is an electronic notebook that is great for managing todo lists, personal information, and all sorts of things.",\n "",\n "@@font-weight:bold;font-size:1.3em;color:#444; //What now?//   @@ Before you can save any changes, you need to enter your password in the form below. Then configure privacy and other site settings at your [[control panel|http://" + config.tiddlyspotSiteId + ".tiddlyspot.com/controlpanel]] (your control panel username is //" + config.tiddlyspotSiteId + "//).",\n "<<tiddler TspotControls>>",\n "See also GettingStarted.",\n "",\n "@@font-weight:bold;font-size:1.3em;color:#444; //Working online//   @@ You can edit this ~TiddlyWiki right now, and save your changes using the \s"save to web\s" button in the column on the right.",\n "",\n "@@font-weight:bold;font-size:1.3em;color:#444; //Working offline//   @@ A fully functioning copy of this ~TiddlyWiki can be saved onto your hard drive or USB stick. You can make changes and save them locally without being connected to the Internet. When you're ready to sync up again, just click \s"upload\s" and your ~TiddlyWiki will be saved back to tiddlyspot.com.",\n "",\n "@@font-weight:bold;font-size:1.3em;color:#444; //Help!//   @@ Find out more about ~TiddlyWiki at [[TiddlyWiki.com|http://tiddlywiki.com]]. Also visit [[TiddlyWiki Guides|http://tiddlywikiguides.org]] for documentation on learning and using ~TiddlyWiki. New users are especially welcome on the [[TiddlyWiki mailing list|http://groups.google.com/group/TiddlyWiki]], which is an excellent place to ask questions and get help. If you have a tiddlyspot related problem email [[tiddlyspot support|mailto:support@tiddlyspot.com]].",\n "",\n "@@font-weight:bold;font-size:1.3em;color:#444; //Enjoy :)//   @@ We hope you like using your tiddlyspot.com site. Please email [[feedback@tiddlyspot.com|mailto:feedback@tiddlyspot.com]] with any comments or suggestions."\n].join("\sn"),\n\n'TspotControls':[\n "| tiddlyspot password:|<<option pasUploadPassword>>|",\n "| site management:|<<upload http://" + config.tiddlyspotSiteId + ".tiddlyspot.com/store.cgi index.html . . " + config.tiddlyspotSiteId + ">>//(requires tiddlyspot password)//<<br>>[[control panel|http://" + config.tiddlyspotSiteId + ".tiddlyspot.com/controlpanel]], [[download (go offline)|http://" + config.tiddlyspotSiteId + ".tiddlyspot.com/download]]|",\n "| links:|[[tiddlyspot.com|http://tiddlyspot.com/]], [[FAQs|http://faq.tiddlyspot.com/]], [[announcements|http://announce.tiddlyspot.com/]], [[blog|http://tiddlyspot.com/blog/]], email [[support|mailto:support@tiddlyspot.com]] & [[feedback|mailto:feedback@tiddlyspot.com]], [[donate|http://tiddlyspot.com/?page=donate]]|"\n].join("\sn"),\n\n'TspotSidebar':[\n "<<upload http://" + config.tiddlyspotSiteId + ".tiddlyspot.com/store.cgi index.html . . " + config.tiddlyspotSiteId + ">><html><a href='http://" + config.tiddlyspotSiteId + ".tiddlyspot.com/download' class='button'>download</a></html>"\n].join("\sn"),\n\n'TspotOptions':[\n "tiddlyspot password:",\n "<<option pasUploadPassword>>",\n ""\n].join("\sn")\n\n});\n//}}}\n

| !date | !user | !location | !storeUrl | !uploadDir | !toFilename | !backupdir | !origin |\n| 13/9/2007 16:54:15 | YourName | [[/|http://sonja.tiddlyspot.com/#author:true]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 13/9/2007 17:28:51 | YourName | [[/|http://sonja.tiddlyspot.com/#author:true]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 13/9/2007 17:32:22 | YourName | [[/|http://sonja.tiddlyspot.com/#author:true]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . |\n| 13/9/2007 17:44:42 | YourName | [[/|http://sonja.tiddlyspot.com/#author:true]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 13/9/2007 17:49:18 | YourName | [[/|http://sonja.tiddlyspot.com/#author:true]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 13/9/2007 18:24:30 | YourName | [[/|http://sonja.tiddlyspot.com/#author:true]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 13/9/2007 19:59:49 | YourName | [[/|http://sonja.tiddlyspot.com/#author:true]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 13/9/2007 20:4:35 | YourName | [[/|http://sonja.tiddlyspot.com/#author:true]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 13/9/2007 20:8:14 | YourName | [[/|http://sonja.tiddlyspot.com/#author:true]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 13/9/2007 20:8:32 | YourName | [[/|http://sonja.tiddlyspot.com/#author:true]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 13/9/2007 20:11:50 | YourName | [[/|http://sonja.tiddlyspot.com/#author:true]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 13/9/2007 20:30:56 | YourName | [[/|http://sonja.tiddlyspot.com/#author:true]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . |\n| 13/9/2007 20:31:1 | YourName | [[/|http://sonja.tiddlyspot.com/#author:true]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . |\n| 13/9/2007 20:31:13 | YourName | [[/|http://sonja.tiddlyspot.com/#author:true]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . |\n| 14/9/2007 15:48:27 | YourName | [[/|http://sonja.tiddlyspot.com/#author:true]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 14/9/2007 15:52:14 | YourName | [[/|http://sonja.tiddlyspot.com/#author:true]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 14/9/2007 15:56:17 | YourName | [[/|http://sonja.tiddlyspot.com/#author:true]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 14/9/2007 16:14:58 | YourName | [[/|http://sonja.tiddlyspot.com/#author:true]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 14/9/2007 16:34:49 | YourName | [[/|http://sonja.tiddlyspot.com/#author:true]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 14/9/2007 16:41:52 | YourName | [[/|http://sonja.tiddlyspot.com/#author:true]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 14/9/2007 16:55:55 | YourName | [[/|http://sonja.tiddlyspot.com/#author:true]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 14/9/2007 17:1:9 | YourName | [[/|http://sonja.tiddlyspot.com/#author:true]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 14/9/2007 17:1:30 | YourName | [[/|http://sonja.tiddlyspot.com/#author:true]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 14/9/2007 17:39:27 | YourName | [[/|http://sonja.tiddlyspot.com/#author:true]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 14/9/2007 17:41:14 | YourName | [[/|http://sonja.tiddlyspot.com/#author:true]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 14/9/2007 17:41:44 | YourName | [[/|http://sonja.tiddlyspot.com/#author:true]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . |\n| 14/9/2007 17:55:26 | YourName | [[/|http://sonja.tiddlyspot.com/#author:true]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 14/9/2007 18:3:7 | YourName | [[/|http://sonja.tiddlyspot.com/#author:true]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 14/9/2007 18:12:44 | YourName | [[/|http://sonja.tiddlyspot.com/#author:true]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 14/9/2007 18:20:16 | YourName | [[/|http://sonja.tiddlyspot.com/#author:true]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 14/9/2007 18:21:35 | YourName | [[/|http://sonja.tiddlyspot.com/#author:true]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 14/9/2007 18:22:12 | YourName | [[/|http://sonja.tiddlyspot.com/#author:true]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 14/9/2007 18:22:47 | YourName | [[/|http://sonja.tiddlyspot.com/#author:true]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . |\n| 14/9/2007 18:23:3 | YourName | [[/|http://sonja.tiddlyspot.com/#author:true]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok | Ok |\n| 14/9/2007 18:25:5 | YourName | [[/|http://sonja.tiddlyspot.com/#author:true]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . |\n| 14/9/2007 18:25:17 | YourName | [[/|http://sonja.tiddlyspot.com/#author:true]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok | Ok |\n| 14/9/2007 18:46:13 | YourName | [[/|http://sonja.tiddlyspot.com/#author:true]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 14/9/2007 18:47:9 | YourName | [[/|http://sonja.tiddlyspot.com/#author:true]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 14/9/2007 18:47:23 | YourName | [[/|http://sonja.tiddlyspot.com/#author:true]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 14/9/2007 18:48:14 | YourName | [[/|http://sonja.tiddlyspot.com/#author:true]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 14/9/2007 18:49:12 | YourName | [[/|http://sonja.tiddlyspot.com/#author:true]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 14/9/2007 18:53:45 | YourName | [[/|http://sonja.tiddlyspot.com/#author:true]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 14/9/2007 19:1:14 | YourName | [[/|http://sonja.tiddlyspot.com/#author:true]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . |\n| 30/10/2007 17:41:24 | YourName | [[/|http://sonja.tiddlyspot.com/#author:true]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 30/10/2007 17:47:17 | YourName | [[/|http://sonja.tiddlyspot.com/#author:true]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 30/10/2007 17:49:38 | YourName | [[/|http://sonja.tiddlyspot.com/#author:true]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 30/10/2007 17:54:29 | YourName | [[/|http://sonja.tiddlyspot.com/#author:true]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 30/10/2007 17:56:8 | YourName | [[/|http://sonja.tiddlyspot.com/#author:true]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 30/10/2007 17:57:55 | YourName | [[/|http://sonja.tiddlyspot.com/#author:true]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 30/10/2007 18:1:55 | YourName | [[/|http://sonja.tiddlyspot.com/#author:true]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . |\n| 30/10/2007 18:20:59 | YourName | [[/|http://sonja.tiddlyspot.com/#author:true]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 30/10/2007 18:23:17 | YourName | [[/|http://sonja.tiddlyspot.com/#author:true]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 30/10/2007 18:23:33 | YourName | [[/|http://sonja.tiddlyspot.com/#author:true]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 30/10/2007 18:23:39 | YourName | [[/|http://sonja.tiddlyspot.com/#author:true]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 30/10/2007 18:23:53 | YourName | [[/|http://sonja.tiddlyspot.com/#author:true]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . |\n| 30/10/2007 18:34:8 | YourName | [[/|http://sonja.tiddlyspot.com/#author:true]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . |\n| 30/10/2007 21:18:56 | YourName | [[/|http://sonja.tiddlyspot.com/#author:true]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 30/10/2007 21:20:59 | YourName | [[/|http://sonja.tiddlyspot.com/#author:true]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 30/10/2007 21:23:37 | YourName | [[/|http://sonja.tiddlyspot.com/#author:true]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 30/10/2007 21:29:53 | YourName | [[/|http://sonja.tiddlyspot.com/#author:true]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 30/10/2007 21:52:25 | YourName | [[/|http://sonja.tiddlyspot.com/#author:true]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . |\n| 30/10/2007 22:10:23 | YourName | [[/|http://sonja.tiddlyspot.com/#author:true]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 30/10/2007 22:12:59 | YourName | [[/|http://sonja.tiddlyspot.com/#author:true]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 30/10/2007 22:19:3 | YourName | [[/|http://sonja.tiddlyspot.com/#author:true]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . |\n| 30/10/2007 22:19:14 | YourName | [[/|http://sonja.tiddlyspot.com/#author:true]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok | Ok |\n| 30/10/2007 22:25:25 | YourName | [[/|http://sonja.tiddlyspot.com/#author:true]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 30/10/2007 22:25:44 | YourName | [[/|http://sonja.tiddlyspot.com/#author:true]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 30/10/2007 22:29:49 | YourName | [[/|http://sonja.tiddlyspot.com/#author:true]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . |\n| 30/10/2007 22:29:58 | YourName | [[/|http://sonja.tiddlyspot.com/#author:true]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . |\n| 30/10/2007 22:30:17 | YourName | [[/|http://sonja.tiddlyspot.com/#author:true]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok | Ok | Ok |\n| 30/10/2007 22:34:15 | YourName | [[/|http://sonja.tiddlyspot.com/#author:true]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 30/10/2007 22:34:34 | YourName | [[/|http://sonja.tiddlyspot.com/#author:true]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 30/10/2007 22:52:22 | YourName | [[/|http://sonja.tiddlyspot.com/#author:true]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 30/10/2007 22:55:49 | YourName | [[/|http://sonja.tiddlyspot.com/#author:true]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . |\n| 12/11/2007 14:5:16 | YourName | [[/|http://sonja.tiddlyspot.com/#author:true]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . |\n| 4/12/2007 14:34:43 | YourName | [[/|http://sonja.tiddlyspot.com/#author:true]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . |\n| 22/2/2008 17:4:45 | YourName | [[/|http://sonja.tiddlyspot.com/#author:true]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 22/2/2008 17:7:7 | YourName | [[/|http://sonja.tiddlyspot.com/#author:true]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 22/2/2008 17:10:54 | YourName | [[/|http://sonja.tiddlyspot.com/#author:true]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 22/2/2008 17:12:52 | YourName | [[/|http://sonja.tiddlyspot.com/#author:true]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 22/2/2008 18:16:41 | YourName | [[/|http://sonja.tiddlyspot.com/#author:true]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 22/2/2008 18:23:35 | YourName | [[/|http://sonja.tiddlyspot.com/#author:true]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 22/2/2008 18:54:0 | YourName | [[/|http://sonja.tiddlyspot.com/#author:true]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 22/2/2008 18:56:19 | YourName | [[/|http://sonja.tiddlyspot.com/#author:true]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 22/2/2008 19:8:47 | YourName | [[/|http://sonja.tiddlyspot.com/#author:true]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . |\n| 23/2/2008 0:4:55 | YourName | [[/|http://sonja.tiddlyspot.com/#author:true]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . |\n| 23/2/2008 0:5:22 | YourName | [[/|http://sonja.tiddlyspot.com/#author:true]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . |\n| 23/2/2008 0:5:52 | YourName | [[/|http://sonja.tiddlyspot.com/#author:true]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . |\n| 23/2/2008 0:21:6 | YourName | [[/|http://sonja.tiddlyspot.com/#author:true]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 23/2/2008 0:21:40 | YourName | [[/|http://sonja.tiddlyspot.com/#author:true]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 23/2/2008 0:24:12 | YourName | [[/|http://sonja.tiddlyspot.com/#author:true]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 23/2/2008 0:25:7 | YourName | [[/|http://sonja.tiddlyspot.com/#author:true]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 23/2/2008 0:26:33 | YourName | [[/|http://sonja.tiddlyspot.com/#author:true]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . |\n| 23/2/2008 0:26:50 | YourName | [[/|http://sonja.tiddlyspot.com/#author:true]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . |\n| 23/2/2008 0:27:1 | YourName | [[/|http://sonja.tiddlyspot.com/#author:true]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok | Ok |\n| 23/2/2008 0:29:39 | YourName | [[/|http://sonja.tiddlyspot.com/#author:true]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 23/2/2008 0:34:59 | YourName | [[/|http://sonja.tiddlyspot.com/#author:true]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 23/2/2008 0:41:1 | YourName | [[/|http://sonja.tiddlyspot.com/#author:true]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . |\n| 27/7/2008 0:20:15 | YourName | [[/|http://sonja.tiddlyspot.com/#author:true]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 27/7/2008 0:22:7 | YourName | [[/|http://sonja.tiddlyspot.com/#author:true]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . |\n| 27/7/2008 0:39:16 | YourName | [[/|http://sonja.tiddlyspot.com/#author:true]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . |\n| 3/11/2008 20:10:19 | sonja | [[/|http://sonja.tiddlyspot.com/#author:true]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 3/11/2008 20:26:27 | sonja | [[/|http://sonja.tiddlyspot.com/#author:true]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 3/11/2008 20:51:18 | sonja | [[/|http://sonja.tiddlyspot.com/#author:true]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . |\n| 3/11/2008 20:56:2 | sonja | [[/|http://sonja.tiddlyspot.com/#author:true]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 3/11/2008 21:2:39 | sonja | [[/|http://sonja.tiddlyspot.com/#author:true]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . |\n| 13/1/2009 15:2:22 | YourName | [[/|http://sonja.tiddlyspot.com/#author:true]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . |\n| 13/1/2009 15:7:28 | YourName | [[/|http://sonja.tiddlyspot.com/#author:true]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 13/1/2009 15:7:51 | YourName | [[/|http://sonja.tiddlyspot.com/#author:true]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 13/1/2009 15:11:29 | YourName | [[/|http://sonja.tiddlyspot.com/#author:true]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . |\n| 18/2/2009 15:56:1 | YourName | [[/|http://sonja.tiddlyspot.com/#author:true]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 18/2/2009 16:4:29 | YourName | [[/|http://sonja.tiddlyspot.com/#author:true]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 18/2/2009 16:8:53 | YourName | [[/|http://sonja.tiddlyspot.com/#author:true]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . |\n| 16/3/2009 18:33:11 | YourName | [[/|http://sonja.tiddlyspot.com/#author:true]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . |\n| 27/7/2009 3:42:35 | YourName | [[/|http://sonja.tiddlyspot.com/#author:true]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . |\n| 2/8/2009 18:18:43 | YourName | [[/|http://sonja.tiddlyspot.com/#author:true]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . |\n| 3/10/2009 17:52:16 | YourName | [[/|http://sonja.tiddlyspot.com/#author:true]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . |\n| 2/11/2009 15:55:1 | YourName | [[/|http://sonja.tiddlyspot.com/#author:true]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . |\n| 19/2/2010 0:6:21 | YourName | [[/|http://sonja.tiddlyspot.com/#author:true]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 19/2/2010 0:34:38 | YourName | [[/|http://sonja.tiddlyspot.com/#author:true]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . |\n| 1/3/2010 23:23:10 | YourName | [[/|http://sonja.tiddlyspot.com/#author:true]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . |\n| 1/3/2010 23:26:2 | YourName | [[/|http://sonja.tiddlyspot.com/#%5B%5BVIDI-project%20on%20Reasoning%20about%20Quantum%20Interaction%5D%5D]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 1/3/2010 23:33:18 | YourName | [[/|http://sonja.tiddlyspot.com/#%5B%5BVIDI-project%20on%20Reasoning%20about%20Quantum%20Interaction%5D%5D]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . |\n| 1/3/2010 23:33:32 | YourName | [[/|http://sonja.tiddlyspot.com/#%5B%5BVIDI-project%20on%20Reasoning%20about%20Quantum%20Interaction%5D%5D]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok | Ok |\n| 1/3/2010 23:43:42 | YourName | [[/|http://sonja.tiddlyspot.com/#%5B%5BVIDI-project%20on%20Reasoning%20about%20Quantum%20Interaction%5D%5D]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 1/3/2010 23:52:51 | YourName | [[/|http://sonja.tiddlyspot.com/#%5B%5BVIDI-project%20on%20Reasoning%20about%20Quantum%20Interaction%5D%5D]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 2/3/2010 0:2:40 | YourName | [[/|http://sonja.tiddlyspot.com/#%5B%5BVIDI-project%20on%20Reasoning%20about%20Quantum%20Interaction%5D%5D]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . |\n| 2/3/2010 0:2:52 | YourName | [[/|http://sonja.tiddlyspot.com/#%5B%5BVIDI-project%20on%20Reasoning%20about%20Quantum%20Interaction%5D%5D]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok | Ok |\n| 2/3/2010 0:3:40 | YourName | [[/|http://sonja.tiddlyspot.com/#%5B%5BVIDI-project%20on%20Reasoning%20about%20Quantum%20Interaction%5D%5D]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 2/3/2010 0:4:39 | YourName | [[/|http://sonja.tiddlyspot.com/#%5B%5BVIDI-project%20on%20Reasoning%20about%20Quantum%20Interaction%5D%5D]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 2/3/2010 0:9:25 | YourName | [[/|http://sonja.tiddlyspot.com/#%5B%5BVIDI-project%20on%20Reasoning%20about%20Quantum%20Interaction%5D%5D]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 2/3/2010 0:16:4 | YourName | [[/|http://sonja.tiddlyspot.com/#%5B%5BVIDI-project%20on%20Reasoning%20about%20Quantum%20Interaction%5D%5D]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . |\n| 3/3/2010 19:57:50 | YourName | [[/|http://sonja.tiddlyspot.com/#author:true]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . |\n| 9/3/2010 17:58:31 | YourName | [[/|http://sonja.tiddlyspot.com/#author:true]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 9/3/2010 17:59:44 | YourName | [[/|http://sonja.tiddlyspot.com/#author:true]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 9/3/2010 18:1:7 | YourName | [[/|http://sonja.tiddlyspot.com/#author:true]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 9/3/2010 18:2:57 | YourName | [[/|http://sonja.tiddlyspot.com/#author:true]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . |\n| 15/5/2010 1:2:35 | YourName | [[/|http://sonja.tiddlyspot.com/#author:true]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 15/5/2010 1:24:35 | YourName | [[/|http://sonja.tiddlyspot.com/#author:true]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 15/5/2010 1:27:26 | YourName | [[/|http://sonja.tiddlyspot.com/#author:true]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 15/5/2010 1:28:49 | YourName | [[/|http://sonja.tiddlyspot.com/#author:true]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 15/5/2010 1:31:24 | YourName | [[/|http://sonja.tiddlyspot.com/#author:true]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . |\n| 15/5/2010 2:27:44 | YourName | [[/|http://sonja.tiddlyspot.com/#author:true]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 15/5/2010 2:51:53 | YourName | [[/|http://sonja.tiddlyspot.com/#author:true]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 15/5/2010 2:57:28 | YourName | [[/|http://sonja.tiddlyspot.com/#author:true]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . |\n| 15/5/2010 3:7:29 | YourName | [[/|http://sonja.tiddlyspot.com/#author:true]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 15/5/2010 3:14:4 | YourName | [[/|http://sonja.tiddlyspot.com/#author:true]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 15/5/2010 3:21:21 | YourName | [[/|http://sonja.tiddlyspot.com/#author:true]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 15/5/2010 3:24:26 | YourName | [[/|http://sonja.tiddlyspot.com/#author:true]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 15/5/2010 3:27:54 | YourName | [[/|http://sonja.tiddlyspot.com/#author:true]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 15/5/2010 3:28:38 | YourName | [[/|http://sonja.tiddlyspot.com/#author:true]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 15/5/2010 3:35:17 | YourName | [[/|http://sonja.tiddlyspot.com/#author:true]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 15/5/2010 3:40:38 | YourName | [[/|http://sonja.tiddlyspot.com/#author:true]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 15/5/2010 3:46:42 | YourName | [[/|http://sonja.tiddlyspot.com/#author:true]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 15/5/2010 3:48:46 | YourName | [[/|http://sonja.tiddlyspot.com/#author:true]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 15/5/2010 3:59:9 | YourName | [[/|http://sonja.tiddlyspot.com/#author:true]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 15/5/2010 4:3:19 | YourName | [[/|http://sonja.tiddlyspot.com/#author:true]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 15/5/2010 13:48:49 | YourName | [[/|http://sonja.tiddlyspot.com/#author:true]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 15/5/2010 14:16:34 | YourName | [[/|http://sonja.tiddlyspot.com/#author:true]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 15/5/2010 14:17:2 | YourName | [[/|http://sonja.tiddlyspot.com/#author:true]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . |\n| 15/5/2010 14:28:46 | YourName | [[/|http://sonja.tiddlyspot.com/#author:true]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 15/5/2010 14:40:33 | YourName | [[/|http://sonja.tiddlyspot.com/#author:true]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 15/5/2010 14:42:27 | YourName | [[/|http://sonja.tiddlyspot.com/#author:true]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 15/5/2010 14:44:27 | YourName | [[/|http://sonja.tiddlyspot.com/#author:true]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 15/5/2010 14:47:28 | YourName | [[/|http://sonja.tiddlyspot.com/#author:true]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 15/5/2010 14:50:52 | YourName | [[/|http://sonja.tiddlyspot.com/#author:true]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 15/5/2010 15:0:33 | YourName | [[/|http://sonja.tiddlyspot.com/#author:true]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 15/5/2010 15:8:3 | YourName | [[/|http://sonja.tiddlyspot.com/#author:true]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 15/5/2010 15:9:54 | YourName | [[/|http://sonja.tiddlyspot.com/#author:true]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 15/5/2010 15:15:23 | YourName | [[/|http://sonja.tiddlyspot.com/#author:true]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 15/5/2010 15:39:48 | YourName | [[/|http://sonja.tiddlyspot.com/#author:true]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 15/5/2010 15:48:56 | YourName | [[/|http://sonja.tiddlyspot.com/#author:true]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 15/5/2010 16:3:35 | YourName | [[/|http://sonja.tiddlyspot.com/#author:true]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 15/5/2010 16:20:28 | YourName | [[/|http://sonja.tiddlyspot.com/#author:true]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 15/5/2010 16:22:28 | YourName | [[/|http://sonja.tiddlyspot.com/#author:true]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 15/5/2010 16:25:13 | YourName | [[/|http://sonja.tiddlyspot.com/#author:true]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 15/5/2010 16:26:36 | YourName | [[/|http://sonja.tiddlyspot.com/#author:true]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 15/5/2010 16:27:59 | YourName | [[/|http://sonja.tiddlyspot.com/#author:true]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 15/5/2010 16:36:37 | YourName | [[/|http://sonja.tiddlyspot.com/#author:true]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 15/5/2010 16:37:35 | YourName | [[/|http://sonja.tiddlyspot.com/#author:true]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 15/5/2010 16:38:19 | YourName | [[/|http://sonja.tiddlyspot.com/#author:true]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 15/5/2010 16:39:51 | YourName | [[/|http://sonja.tiddlyspot.com/#author:true]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 15/5/2010 16:40:16 | YourName | [[/|http://sonja.tiddlyspot.com/#author:true]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 15/5/2010 16:48:8 | YourName | [[/|http://sonja.tiddlyspot.com/#author:true]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 15/5/2010 16:50:10 | YourName | [[/|http://sonja.tiddlyspot.com/#author:true]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 15/5/2010 16:52:14 | YourName | [[/|http://sonja.tiddlyspot.com/#author:true]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 15/5/2010 16:54:54 | YourName | [[/|http://sonja.tiddlyspot.com/#author:true]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 15/5/2010 17:5:3 | YourName | [[/|http://sonja.tiddlyspot.com/#author:true]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 15/5/2010 17:14:4 | YourName | [[/|http://sonja.tiddlyspot.com/#author:true]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 15/5/2010 17:15:45 | YourName | [[/|http://sonja.tiddlyspot.com/#author:true]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 15/5/2010 18:37:58 | YourName | [[/|http://sonja.tiddlyspot.com/#author:true]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 15/5/2010 18:40:37 | YourName | [[/|http://sonja.tiddlyspot.com/#author:true]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 15/5/2010 18:43:51 | YourName | [[/|http://sonja.tiddlyspot.com/#author:true]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 15/5/2010 18:48:58 | YourName | [[/|http://sonja.tiddlyspot.com/#author:true]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . |\n| 16/5/2010 2:57:21 | YourName | [[/|http://sonja.tiddlyspot.com/#author:true]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 16/5/2010 2:59:33 | YourName | [[/|http://sonja.tiddlyspot.com/#author:true]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 16/5/2010 3:2:8 | YourName | [[/|http://sonja.tiddlyspot.com/#author:true]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 16/5/2010 3:3:2 | YourName | [[/|http://sonja.tiddlyspot.com/#author:true]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 16/5/2010 3:5:35 | YourName | [[/|http://sonja.tiddlyspot.com/#author:true]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . |\n| 16/5/2010 3:5:44 | YourName | [[/|http://sonja.tiddlyspot.com/#author:true]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok | Ok |\n| 16/5/2010 3:7:40 | YourName | [[/|http://sonja.tiddlyspot.com/#author:true]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . |\n| 16/5/2010 3:7:48 | YourName | [[/|http://sonja.tiddlyspot.com/#author:true]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok | Ok |\n| 16/5/2010 3:10:24 | YourName | [[/|http://sonja.tiddlyspot.com/#author:true]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 16/5/2010 3:11:56 | YourName | [[/|http://sonja.tiddlyspot.com/#author:true]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 16/5/2010 3:13:15 | YourName | [[/|http://sonja.tiddlyspot.com/#author:true]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 16/5/2010 3:14:17 | YourName | [[/|http://sonja.tiddlyspot.com/#author:true]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . |\n| 16/5/2010 3:16:10 | YourName | [[/|http://sonja.tiddlyspot.com/#author:true]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 16/5/2010 3:19:5 | YourName | [[/|http://sonja.tiddlyspot.com/#author:true]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 16/5/2010 3:22:13 | YourName | [[/|http://sonja.tiddlyspot.com/#author:true]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 16/5/2010 3:24:10 | YourName | [[/|http://sonja.tiddlyspot.com/#author:true]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 16/5/2010 3:25:27 | YourName | [[/|http://sonja.tiddlyspot.com/#author:true]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 16/5/2010 3:27:16 | YourName | [[/|http://sonja.tiddlyspot.com/#author:true]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 16/5/2010 3:32:58 | YourName | [[/|http://sonja.tiddlyspot.com/#author:true]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 16/5/2010 3:33:40 | YourName | [[/|http://sonja.tiddlyspot.com/#author:true]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 16/5/2010 4:7:6 | YourName | [[/|http://sonja.tiddlyspot.com/#author:true]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 16/5/2010 4:7:45 | YourName | [[/|http://sonja.tiddlyspot.com/#author:true]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 16/5/2010 4:17:0 | YourName | [[/|http://sonja.tiddlyspot.com/#author:true]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 16/5/2010 4:18:29 | YourName | [[/|http://sonja.tiddlyspot.com/#author:true]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 16/5/2010 4:21:46 | YourName | [[/|http://sonja.tiddlyspot.com/#author:true]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 16/5/2010 4:34:1 | YourName | [[/|http://sonja.tiddlyspot.com/#author:true]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 16/5/2010 4:34:36 | YourName | [[/|http://sonja.tiddlyspot.com/#author:true]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 16/5/2010 4:39:13 | YourName | [[/|http://sonja.tiddlyspot.com/#author:true]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 16/5/2010 4:42:28 | YourName | [[/|http://sonja.tiddlyspot.com/#author:true]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 16/5/2010 4:42:42 | YourName | [[/|http://sonja.tiddlyspot.com/#author:true]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 16/5/2010 4:44:38 | YourName | [[/|http://sonja.tiddlyspot.com/#author:true]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . |\n| 16/5/2010 4:44:43 | YourName | [[/|http://sonja.tiddlyspot.com/#author:true]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok | Ok |\n| 16/5/2010 5:0:44 | YourName | [[/|http://sonja.tiddlyspot.com/#author:true]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 16/5/2010 5:5:55 | YourName | [[/|http://sonja.tiddlyspot.com/#author:true]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 16/5/2010 5:13:5 | YourName | [[/|http://sonja.tiddlyspot.com/#author:true]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 16/5/2010 5:14:29 | YourName | [[/|http://sonja.tiddlyspot.com/#author:true]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 16/5/2010 5:15:23 | YourName | [[/|http://sonja.tiddlyspot.com/#author:true]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . |\n| 16/5/2010 5:23:47 | YourName | [[/|http://sonja.tiddlyspot.com/#author:true]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 16/5/2010 5:25:32 | YourName | [[/|http://sonja.tiddlyspot.com/#author:true]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 16/5/2010 5:27:7 | YourName | [[/|http://sonja.tiddlyspot.com/#author:true]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 16/5/2010 5:30:42 | YourName | [[/|http://sonja.tiddlyspot.com/#author:true]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 16/5/2010 5:32:2 | YourName | [[/|http://sonja.tiddlyspot.com/#author:true]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 16/5/2010 5:34:40 | YourName | [[/|http://sonja.tiddlyspot.com/#author:true]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . |\n| 16/5/2010 5:47:50 | YourName | [[/|http://sonja.tiddlyspot.com/#author:true]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 16/5/2010 5:51:8 | YourName | [[/|http://sonja.tiddlyspot.com/#author:true]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 16/5/2010 5:52:40 | YourName | [[/|http://sonja.tiddlyspot.com/#author:true]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 16/5/2010 5:54:3 | YourName | [[/|http://sonja.tiddlyspot.com/#author:true]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 16/5/2010 5:56:53 | YourName | [[/|http://sonja.tiddlyspot.com/#author:true]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 16/5/2010 5:58:59 | YourName | [[/|http://sonja.tiddlyspot.com/#author:true]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 16/5/2010 6:2:41 | YourName | [[/|http://sonja.tiddlyspot.com/#author:true]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 16/5/2010 6:5:5 | YourName | [[/|http://sonja.tiddlyspot.com/#author:true]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 16/5/2010 6:7:24 | YourName | [[/|http://sonja.tiddlyspot.com/#author:true]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . |\n| 16/5/2010 6:7:28 | YourName | [[/|http://sonja.tiddlyspot.com/#author:true]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 16/5/2010 6:7:38 | YourName | [[/|http://sonja.tiddlyspot.com/#author:true]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok | Ok |\n| 16/5/2010 6:11:55 | YourName | [[/|http://sonja.tiddlyspot.com/#author:true]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 16/5/2010 6:14:33 | YourName | [[/|http://sonja.tiddlyspot.com/#author:true]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . |\n| 16/5/2010 6:14:44 | YourName | [[/|http://sonja.tiddlyspot.com/#author:true]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . |\n| 11/6/2010 1:12:36 | YourName | [[/|http://sonja.tiddlyspot.com/#author:true]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . |\n| 21/6/2010 22:54:59 | YourName | [[/|http://sonja.tiddlyspot.com/#author:true]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 21/6/2010 22:57:25 | YourName | [[/|http://sonja.tiddlyspot.com/#author:true]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 21/6/2010 23:1:59 | YourName | [[/|http://sonja.tiddlyspot.com/#author:true]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . |\n| 21/6/2010 23:4:23 | YourName | [[/|http://sonja.tiddlyspot.com/#author:true]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . |\n| 22/6/2010 22:48:3 | YourName | [[/|http://sonja.tiddlyspot.com/#author:true]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . |\n| 23/6/2010 22:59:8 | YourName | [[/|http://sonja.tiddlyspot.com/#author:true]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . |\n| 5/7/2010 0:5:58 | YourName | [[/|http://sonja.tiddlyspot.com/#author:true]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . |

/***\n|''Name:''|UploadPlugin|\n|''Description:''|Save to web a TiddlyWiki|\n|''Version:''|3.4.5|\n|''Date:''|Oct 15, 2006|\n|''Source:''|http://tiddlywiki.bidix.info/#UploadPlugin|\n|''Documentation:''|http://tiddlywiki.bidix.info/#UploadDoc|\n|''Author:''|BidiX (BidiX (at) bidix (dot) info)|\n|''License:''|[[BSD open source license|http://tiddlywiki.bidix.info/#%5B%5BBSD%20open%20source%20license%5D%5D ]]|\n|''~CoreVersion:''|2.0.0|\n|''Browser:''|Firefox 1.5; InternetExplorer 6.0; Safari|\n|''Include:''|config.lib.file; config.lib.log; config.lib.options; PasswordTweak|\n|''Require:''|[[UploadService|http://tiddlywiki.bidix.info/#UploadService]]|\n***/\n//{{{\nversion.extensions.UploadPlugin = {\n major: 3, minor: 4, revision: 5, \n date: new Date(2006,9,15),\n source: 'http://tiddlywiki.bidix.info/#UploadPlugin',\n documentation: 'http://tiddlywiki.bidix.info/#UploadDoc',\n author: 'BidiX (BidiX (at) bidix (dot) info',\n license: '[[BSD open source license|http://tiddlywiki.bidix.info/#%5B%5BBSD%20open%20source%20license%5D%5D]]',\n coreVersion: '2.0.0',\n browser: 'Firefox 1.5; InternetExplorer 6.0; Safari'\n};\n//}}}\n\n////+++!![config.lib.file]\n\n//{{{\nif (!config.lib) config.lib = {};\nif (!config.lib.file) config.lib.file= {\n author: 'BidiX',\n version: {major: 0, minor: 1, revision: 0}, \n date: new Date(2006,3,9)\n};\nconfig.lib.file.dirname = function (filePath) {\n var lastpos;\n if ((lastpos = filePath.lastIndexOf("/")) != -1) {\n return filePath.substring(0, lastpos);\n } else {\n return filePath.substring(0, filePath.lastIndexOf("\s\s"));\n }\n};\nconfig.lib.file.basename = function (filePath) {\n var lastpos;\n if ((lastpos = filePath.lastIndexOf("#")) != -1) \n filePath = filePath.substring(0, lastpos);\n if ((lastpos = filePath.lastIndexOf("/")) != -1) {\n return filePath.substring(lastpos + 1);\n } else\n return filePath.substring(filePath.lastIndexOf("\s\s")+1);\n};\nwindow.basename = function() {return "@@deprecated@@";};\n//}}}\n////===\n\n////+++!![config.lib.log]\n\n//{{{\nif (!config.lib) config.lib = {};\nif (!config.lib.log) config.lib.log= {\n author: 'BidiX',\n version: {major: 0, minor: 1, revision: 1}, \n date: new Date(2006,8,19)\n};\nconfig.lib.Log = function(tiddlerTitle, logHeader) {\n if (version.major < 2)\n this.tiddler = store.tiddlers[tiddlerTitle];\n else\n this.tiddler = store.getTiddler(tiddlerTitle);\n if (!this.tiddler) {\n this.tiddler = new Tiddler();\n this.tiddler.title = tiddlerTitle;\n this.tiddler.text = "| !date | !user | !location |" + logHeader;\n this.tiddler.created = new Date();\n this.tiddler.modifier = config.options.txtUserName;\n this.tiddler.modified = new Date();\n if (version.major < 2)\n store.tiddlers[tiddlerTitle] = this.tiddler;\n else\n store.addTiddler(this.tiddler);\n }\n return this;\n};\n\nconfig.lib.Log.prototype.newLine = function (line) {\n var now = new Date();\n var newText = "| ";\n newText += now.getDate()+"/"+(now.getMonth()+1)+"/"+now.getFullYear() + " ";\n newText += now.getHours()+":"+now.getMinutes()+":"+now.getSeconds()+" | ";\n newText += config.options.txtUserName + " | ";\n var location = document.location.toString();\n var filename = config.lib.file.basename(location);\n if (!filename) filename = '/';\n newText += "[["+filename+"|"+location + "]] |";\n this.tiddler.text = this.tiddler.text + "\sn" + newText;\n this.addToLine(line);\n};\n\nconfig.lib.Log.prototype.addToLine = function (text) {\n this.tiddler.text = this.tiddler.text + text;\n this.tiddler.modifier = config.options.txtUserName;\n this.tiddler.modified = new Date();\n if (version.major < 2)\n store.tiddlers[this.tiddler.tittle] = this.tiddler;\n else {\n store.addTiddler(this.tiddler);\n story.refreshTiddler(this.tiddler.title);\n store.notify(this.tiddler.title, true);\n }\n if (version.major < 2)\n store.notifyAll(); \n};\n//}}}\n////===\n\n////+++!![config.lib.options]\n\n//{{{\nif (!config.lib) config.lib = {};\nif (!config.lib.options) config.lib.options = {\n author: 'BidiX',\n version: {major: 0, minor: 1, revision: 0}, \n date: new Date(2006,3,9)\n};\n\nconfig.lib.options.init = function (name, defaultValue) {\n if (!config.options[name]) {\n config.options[name] = defaultValue;\n saveOptionCookie(name);\n }\n};\n//}}}\n////===\n\n////+++!![PasswordTweak]\n\n//{{{\nversion.extensions.PasswordTweak = {\n major: 1, minor: 0, revision: 3, date: new Date(2006,8,30),\n type: 'tweak',\n source: 'http://tiddlywiki.bidix.info/#PasswordTweak'\n};\n//}}}\n/***\n!!config.macros.option\n***/\n//{{{\nconfig.macros.option.passwordCheckboxLabel = "Save this password on this computer";\nconfig.macros.option.passwordType = "password"; // password | text\n\nconfig.macros.option.onChangeOption = function(e)\n{\n var opt = this.getAttribute("option");\n var elementType,valueField;\n if(opt) {\n switch(opt.substr(0,3)) {\n case "txt":\n elementType = "input";\n valueField = "value";\n break;\n case "pas":\n elementType = "input";\n valueField = "value";\n break;\n case "chk":\n elementType = "input";\n valueField = "checked";\n break;\n }\n config.options[opt] = this[valueField];\n saveOptionCookie(opt);\n var nodes = document.getElementsByTagName(elementType);\n for(var t=0; t<nodes.length; t++) \n {\n var optNode = nodes[t].getAttribute("option");\n if (opt == optNode) \n nodes[t][valueField] = this[valueField];\n }\n }\n return(true);\n};\n\nconfig.macros.option.handler = function(place,macroName,params)\n{\n var opt = params[0];\n if(config.options[opt] === undefined) {\n return;}\n var c;\n switch(opt.substr(0,3)) {\n case "txt":\n c = document.createElement("input");\n c.onkeyup = this.onChangeOption;\n c.setAttribute ("option",opt);\n c.className = "txtOptionInput "+opt;\n place.appendChild(c);\n c.value = config.options[opt];\n break;\n case "pas":\n // input password\n c = document.createElement ("input");\n c.setAttribute("type",config.macros.option.passwordType);\n c.onkeyup = this.onChangeOption;\n c.setAttribute("option",opt);\n c.className = "pasOptionInput "+opt;\n place.appendChild(c);\n c.value = config.options[opt];\n // checkbox link with this password "save this password on this computer"\n c = document.createElement("input");\n c.setAttribute("type","checkbox");\n c.onclick = this.onChangeOption;\n c.setAttribute("option","chk"+opt);\n c.className = "chkOptionInput "+opt;\n place.appendChild(c);\n c.checked = config.options["chk"+opt];\n // text savePasswordCheckboxLabel\n place.appendChild(document.createTextNode(config.macros.option.passwordCheckboxLabel));\n break;\n case "chk":\n c = document.createElement("input");\n c.setAttribute("type","checkbox");\n c.onclick = this.onChangeOption;\n c.setAttribute("option",opt);\n c.className = "chkOptionInput "+opt;\n place.appendChild(c);\n c.checked = config.options[opt];\n break;\n }\n};\n//}}}\n/***\n!! Option cookie stuff\n***/\n//{{{\nwindow.loadOptionsCookie_orig_PasswordTweak = window.loadOptionsCookie;\nwindow.loadOptionsCookie = function()\n{\n var cookies = document.cookie.split(";");\n for(var c=0; c<cookies.length; c++) {\n var p = cookies[c].indexOf("=");\n if(p != -1) {\n var name = cookies[c].substr(0,p).trim();\n var value = cookies[c].substr(p+1).trim();\n switch(name.substr(0,3)) {\n case "txt":\n config.options[name] = unescape(value);\n break;\n case "pas":\n config.options[name] = unescape(value);\n break;\n case "chk":\n config.options[name] = value == "true";\n break;\n }\n }\n }\n};\n\nwindow.saveOptionCookie_orig_PasswordTweak = window.saveOptionCookie;\nwindow.saveOptionCookie = function(name)\n{\n var c = name + "=";\n switch(name.substr(0,3)) {\n case "txt":\n c += escape(config.options[name].toString());\n break;\n case "chk":\n c += config.options[name] ? "true" : "false";\n // is there an option link with this chk ?\n if (config.options[name.substr(3)]) {\n saveOptionCookie(name.substr(3));\n }\n break;\n case "pas":\n if (config.options["chk"+name]) {\n c += escape(config.options[name].toString());\n } else {\n c += "";\n }\n break;\n }\n c += "; expires=Fri, 1 Jan 2038 12:00:00 UTC; path=/";\n document.cookie = c;\n};\n//}}}\n/***\n!! Initializations\n***/\n//{{{\n// define config.options.pasPassword\nif (!config.options.pasPassword) {\n config.options.pasPassword = 'defaultPassword';\n window.saveOptionCookie('pasPassword');\n}\n// since loadCookies is first called befor password definition\n// we need to reload cookies\nwindow.loadOptionsCookie();\n//}}}\n////===\n\n////+++!![config.macros.upload]\n\n//{{{\nconfig.macros.upload = {\n accessKey: "U",\n formName: "UploadPlugin",\n contentType: "text/html;charset=UTF-8",\n defaultStoreScript: "store.php"\n};\n\n// only this two configs need to be translated\nconfig.macros.upload.messages = {\n aboutToUpload: "About to upload TiddlyWiki to %0",\n backupFileStored: "Previous file backuped in %0",\n crossDomain: "Certainly a cross-domain isue: access to an other site isn't allowed",\n errorDownloading: "Error downloading",\n errorUploadingContent: "Error uploading content",\n fileLocked: "Files is locked: You are not allowed to Upload",\n fileNotFound: "file to upload not found",\n fileNotUploaded: "File %0 NOT uploaded",\n mainFileUploaded: "Main TiddlyWiki file uploaded to %0",\n passwordEmpty: "Unable to upload, your password is empty",\n urlParamMissing: "url param missing",\n rssFileNotUploaded: "RssFile %0 NOT uploaded",\n rssFileUploaded: "Rss File uploaded to %0"\n};\n\nconfig.macros.upload.label = {\n promptOption: "Save and Upload this TiddlyWiki with UploadOptions",\n promptParamMacro: "Save and Upload this TiddlyWiki in %0",\n saveLabel: "save to web", \n saveToDisk: "save to disk",\n uploadLabel: "upload" \n};\n\nconfig.macros.upload.handler = function(place,macroName,params){\n // parameters initialization\n var storeUrl = params[0];\n var toFilename = params[1];\n var backupDir = params[2];\n var uploadDir = params[3];\n var username = params[4];\n var password; // for security reason no password as macro parameter\n var label;\n if (document.location.toString().substr(0,4) == "http")\n label = this.label.saveLabel;\n else\n label = this.label.uploadLabel;\n var prompt;\n if (storeUrl) {\n prompt = this.label.promptParamMacro.toString().format([this.toDirUrl(storeUrl, uploadDir, username)]);\n }\n else {\n prompt = this.label.promptOption;\n }\n createTiddlyButton(place, label, prompt, \n function () {\n config.macros.upload.upload(storeUrl, toFilename, uploadDir, backupDir, username, password); \n return false;}, \n null, null, this.accessKey);\n};\nconfig.macros.upload.UploadLog = function() {\n return new config.lib.Log('UploadLog', " !storeUrl | !uploadDir | !toFilename | !backupdir | !origin |" );\n};\nconfig.macros.upload.UploadLog.prototype = config.lib.Log.prototype;\nconfig.macros.upload.UploadLog.prototype.startUpload = function(storeUrl, toFilename, uploadDir, backupDir) {\n var line = " [[" + config.lib.file.basename(storeUrl) + "|" + storeUrl + "]] | ";\n line += uploadDir + " | " + toFilename + " | " + backupDir + " |";\n this.newLine(line);\n};\nconfig.macros.upload.UploadLog.prototype.endUpload = function() {\n this.addToLine(" Ok |");\n};\nconfig.macros.upload.basename = config.lib.file.basename;\nconfig.macros.upload.dirname = config.lib.file.dirname;\nconfig.macros.upload.toRootUrl = function (storeUrl, username)\n{\n return root = (this.dirname(storeUrl)?this.dirname(storeUrl):this.dirname(document.location.toString()));\n}\nconfig.macros.upload.toDirUrl = function (storeUrl, uploadDir, username)\n{\n var root = this.toRootUrl(storeUrl, username);\n if (uploadDir && uploadDir != '.')\n root = root + '/' + uploadDir;\n return root;\n}\nconfig.macros.upload.toFileUrl = function (storeUrl, toFilename, uploadDir, username)\n{\n return this.toDirUrl(storeUrl, uploadDir, username) + '/' + toFilename;\n}\nconfig.macros.upload.upload = function(storeUrl, toFilename, uploadDir, backupDir, username, password)\n{\n // parameters initialization\n storeUrl = (storeUrl ? storeUrl : config.options.txtUploadStoreUrl);\n toFilename = (toFilename ? toFilename : config.options.txtUploadFilename);\n backupDir = (backupDir ? backupDir : config.options.txtUploadBackupDir);\n uploadDir = (uploadDir ? uploadDir : config.options.txtUploadDir);\n username = (username ? username : config.options.txtUploadUserName);\n password = config.options.pasUploadPassword; // for security reason no password as macro parameter\n if (!password || password === '') {\n alert(config.macros.upload.messages.passwordEmpty);\n return;\n }\n if (storeUrl === '') {\n storeUrl = config.macros.upload.defaultStoreScript;\n }\n if (config.lib.file.dirname(storeUrl) === '') {\n storeUrl = config.lib.file.dirname(document.location.toString())+'/'+storeUrl;\n }\n if (toFilename === '') {\n toFilename = config.lib.file.basename(document.location.toString());\n }\n\n clearMessage();\n // only for forcing the message to display\n if (version.major < 2)\n store.notifyAll();\n if (!storeUrl) {\n alert(config.macros.upload.messages.urlParamMissing);\n return;\n }\n // Check that file is not locked\n if (window.BidiX && BidiX.GroupAuthoring && BidiX.GroupAuthoring.lock) {\n if (BidiX.GroupAuthoring.lock.isLocked() && !BidiX.GroupAuthoring.lock.isMyLock()) {\n alert(config.macros.upload.messages.fileLocked);\n return;\n }\n }\n \n var log = new this.UploadLog();\n log.startUpload(storeUrl, toFilename, uploadDir, backupDir);\n if (document.location.toString().substr(0,5) == "file:") {\n saveChanges();\n }\n var toDir = config.macros.upload.toDirUrl(storeUrl, toFilename, uploadDir, username);\n displayMessage(config.macros.upload.messages.aboutToUpload.format([toDir]), toDir);\n this.uploadChanges(storeUrl, toFilename, uploadDir, backupDir, username, password);\n if(config.options.chkGenerateAnRssFeed) {\n //var rssContent = convertUnicodeToUTF8(generateRss());\n var rssContent = generateRss();\n var rssPath = toFilename.substr(0,toFilename.lastIndexOf(".")) + ".xml";\n this.uploadContent(rssContent, storeUrl, rssPath, uploadDir, '', username, password, \n function (responseText) {\n if (responseText.substring(0,1) != '0') {\n displayMessage(config.macros.upload.messages.rssFileNotUploaded.format([rssPath]));\n }\n else {\n var toFileUrl = config.macros.upload.toFileUrl(storeUrl, rssPath, uploadDir, username);\n displayMessage(config.macros.upload.messages.rssFileUploaded.format(\n [toFileUrl]), toFileUrl);\n }\n // for debugging store.php uncomment last line\n //DEBUG alert(responseText);\n });\n }\n return;\n};\n\nconfig.macros.upload.uploadChanges = function(storeUrl, toFilename, uploadDir, backupDir, \n username, password) {\n var original;\n if (document.location.toString().substr(0,4) == "http") {\n original = this.download(storeUrl, toFilename, uploadDir, backupDir, username, password);\n return;\n }\n else {\n // standard way : Local file\n \n original = loadFile(getLocalPath(document.location.toString()));\n if(window.Components) {\n // it's a mozilla browser\n try {\n netscape.security.PrivilegeManager.enablePrivilege("UniversalXPConnect");\n var converter = Components.classes["@mozilla.org/intl/scriptableunicodeconverter"]\n .createInstance(Components.interfaces.nsIScriptableUnicodeConverter);\n converter.charset = "UTF-8";\n original = converter.ConvertToUnicode(original);\n }\n catch(e) {\n }\n }\n }\n //DEBUG alert(original);\n this.uploadChangesFrom(original, storeUrl, toFilename, uploadDir, backupDir, \n username, password);\n};\n\nconfig.macros.upload.uploadChangesFrom = function(original, storeUrl, toFilename, uploadDir, backupDir, \n username, password) {\n var startSaveArea = '<div id="' + 'storeArea">'; // Split up into two so that indexOf() of this source doesn't find it\n var endSaveArea = '</d' + 'iv>';\n // Locate the storeArea div's\n var posOpeningDiv = original.indexOf(startSaveArea);\n var posClosingDiv = original.lastIndexOf(endSaveArea);\n if((posOpeningDiv == -1) || (posClosingDiv == -1))\n {\n alert(config.messages.invalidFileError.format([document.location.toString()]));\n return;\n }\n var revised = original.substr(0,posOpeningDiv + startSaveArea.length) + \n allTiddlersAsHtml() + "\sn\st\st" +\n original.substr(posClosingDiv);\n var newSiteTitle;\n if(version.major < 2){\n newSiteTitle = (getElementText("siteTitle") + " - " + getElementText("siteSubtitle")).htmlEncode();\n } else {\n newSiteTitle = (wikifyPlain ("SiteTitle") + " - " + wikifyPlain ("SiteSubtitle")).htmlEncode();\n }\n\n revised = revised.replaceChunk("<title"+">","</title"+">"," " + newSiteTitle + " ");\n revised = revised.replaceChunk("<!--PRE-HEAD-START--"+">","<!--PRE-HEAD-END--"+">","\sn" + store.getTiddlerText("MarkupPreHead","") + "\sn");\n revised = revised.replaceChunk("<!--POST-HEAD-START--"+">","<!--POST-HEAD-END--"+">","\sn" + store.getTiddlerText("MarkupPostHead","") + "\sn");\n revised = revised.replaceChunk("<!--PRE-BODY-START--"+">","<!--PRE-BODY-END--"+">","\sn" + store.getTiddlerText("MarkupPreBody","") + "\sn");\n revised = revised.replaceChunk("<!--POST-BODY-START--"+">","<!--POST-BODY-END--"+">","\sn" + store.getTiddlerText("MarkupPostBody","") + "\sn");\n\n var response = this.uploadContent(revised, storeUrl, toFilename, uploadDir, backupDir, \n username, password, function (responseText) {\n if (responseText.substring(0,1) != '0') {\n alert(responseText);\n displayMessage(config.macros.upload.messages.fileNotUploaded.format([getLocalPath(document.location.toString())]));\n }\n else {\n if (uploadDir !== '') {\n toFilename = uploadDir + "/" + config.macros.upload.basename(toFilename);\n } else {\n toFilename = config.macros.upload.basename(toFilename);\n }\n var toFileUrl = config.macros.upload.toFileUrl(storeUrl, toFilename, uploadDir, username);\n if (responseText.indexOf("destfile:") > 0) {\n var destfile = responseText.substring(responseText.indexOf("destfile:")+9, \n responseText.indexOf("\sn", responseText.indexOf("destfile:")));\n toFileUrl = config.macros.upload.toRootUrl(storeUrl, username) + '/' + destfile;\n }\n else {\n toFileUrl = config.macros.upload.toFileUrl(storeUrl, toFilename, uploadDir, username);\n }\n displayMessage(config.macros.upload.messages.mainFileUploaded.format(\n [toFileUrl]), toFileUrl);\n if (backupDir && responseText.indexOf("backupfile:") > 0) {\n var backupFile = responseText.substring(responseText.indexOf("backupfile:")+11, \n responseText.indexOf("\sn", responseText.indexOf("backupfile:")));\n toBackupUrl = config.macros.upload.toRootUrl(storeUrl, username) + '/' + backupFile;\n displayMessage(config.macros.upload.messages.backupFileStored.format(\n [toBackupUrl]), toBackupUrl);\n }\n var log = new config.macros.upload.UploadLog();\n log.endUpload();\n store.setDirty(false);\n // erase local lock\n if (window.BidiX && BidiX.GroupAuthoring && BidiX.GroupAuthoring.lock) {\n BidiX.GroupAuthoring.lock.eraseLock();\n // change mtime with new mtime after upload\n var mtime = responseText.substr(responseText.indexOf("mtime:")+6);\n BidiX.GroupAuthoring.lock.mtime = mtime;\n }\n \n \n }\n // for debugging store.php uncomment last line\n //DEBUG alert(responseText);\n }\n );\n};\n\nconfig.macros.upload.uploadContent = function(content, storeUrl, toFilename, uploadDir, backupDir, \n username, password, callbackFn) {\n var boundary = "---------------------------"+"AaB03x"; \n var request;\n try {\n request = new XMLHttpRequest();\n } \n catch (e) { \n request = new ActiveXObject("Msxml2.XMLHTTP"); \n }\n if (window.netscape){\n try {\n if (document.location.toString().substr(0,4) != "http") {\n netscape.security.PrivilegeManager.enablePrivilege('UniversalBrowserRead');}\n }\n catch (e) {}\n } \n //DEBUG alert("user["+config.options.txtUploadUserName+"] password[" + config.options.pasUploadPassword + "]");\n // compose headers data\n var sheader = "";\n sheader += "--" + boundary + "\sr\snContent-disposition: form-data; name=\s"";\n sheader += config.macros.upload.formName +"\s"\sr\sn\sr\sn";\n sheader += "backupDir="+backupDir\n +";user=" + username \n +";password=" + password\n +";uploaddir=" + uploadDir;\n // add lock attributes to sheader\n if (window.BidiX && BidiX.GroupAuthoring && BidiX.GroupAuthoring.lock) {\n var l = BidiX.GroupAuthoring.lock.myLock;\n sheader += ";lockuser=" + l.user\n + ";mtime=" + l.mtime\n + ";locktime=" + l.locktime;\n }\n sheader += ";;\sr\sn"; \n sheader += "\sr\sn" + "--" + boundary + "\sr\sn";\n sheader += "Content-disposition: form-data; name=\s"userfile\s"; filename=\s""+toFilename+"\s"\sr\sn";\n sheader += "Content-Type: " + config.macros.upload.contentType + "\sr\sn";\n sheader += "Content-Length: " + content.length + "\sr\sn\sr\sn";\n // compose trailer data\n var strailer = new String();\n strailer = "\sr\sn--" + boundary + "--\sr\sn";\n //strailer = "--" + boundary + "--\sr\sn";\n var data;\n data = sheader + content + strailer;\n //request.open("POST", storeUrl, true, username, password);\n try {\n request.open("POST", storeUrl, true); \n }\n catch(e) {\n alert(config.macros.upload.messages.crossDomain + "\snError:" +e);\n exit;\n }\n request.onreadystatechange = function () {\n if (request.readyState == 4) {\n if (request.status == 200)\n callbackFn(request.responseText);\n else\n alert(config.macros.upload.messages.errorUploadingContent + "\snStatus: "+request.status.statusText);\n }\n };\n request.setRequestHeader("Content-Length",data.length);\n request.setRequestHeader("Content-Type","multipart/form-data; boundary="+boundary);\n request.send(data); \n};\n\n\nconfig.macros.upload.download = function(uploadUrl, uploadToFilename, uploadDir, uploadBackupDir, \n username, password) {\n var request;\n try {\n request = new XMLHttpRequest();\n } \n catch (e) { \n request = new ActiveXObject("Msxml2.XMLHTTP"); \n }\n try {\n if (uploadUrl.substr(0,4) == "http") {\n netscape.security.PrivilegeManager.enablePrivilege("UniversalBrowserRead");\n }\n else {\n netscape.security.PrivilegeManager.enablePrivilege("UniversalXPConnect");\n }\n } catch (e) { }\n //request.open("GET", document.location.toString(), true, username, password);\n try {\n request.open("GET", document.location.toString(), true);\n }\n catch(e) {\n alert(config.macros.upload.messages.crossDomain + "\snError:" +e);\n exit;\n }\n \n request.onreadystatechange = function () {\n if (request.readyState == 4) {\n if(request.status == 200) {\n config.macros.upload.uploadChangesFrom(request.responseText, uploadUrl, \n uploadToFilename, uploadDir, uploadBackupDir, username, password);\n }\n else\n alert(config.macros.upload.messages.errorDownloading.format(\n [document.location.toString()]) + "\snStatus: "+request.status.statusText);\n }\n };\n request.send(null);\n};\n\n//}}}\n////===\n\n////+++!![Initializations]\n\n//{{{\nconfig.lib.options.init('txtUploadStoreUrl','store.php');\nconfig.lib.options.init('txtUploadFilename','');\nconfig.lib.options.init('txtUploadDir','');\nconfig.lib.options.init('txtUploadBackupDir','');\nconfig.lib.options.init('txtUploadUserName',config.options.txtUserName);\nconfig.lib.options.init('pasUploadPassword','');\nsetStylesheet(\n ".pasOptionInput {width: 11em;}\sn"+\n ".txtOptionInput.txtUploadStoreUrl {width: 25em;}\sn"+\n ".txtOptionInput.txtUploadFilename {width: 25em;}\sn"+\n ".txtOptionInput.txtUploadDir {width: 25em;}\sn"+\n ".txtOptionInput.txtUploadBackupDir {width: 25em;}\sn"+\n "",\n "UploadOptionsStyles");\nif (document.location.toString().substr(0,4) == "http") {\n config.options.chkAutoSave = false; \n saveOptionCookie('chkAutoSave');\n}\nconfig.shadowTiddlers.UploadDoc = "[[Full Documentation|http://tiddlywiki.bidix.info/l#UploadDoc ]]\sn"; \n\n//}}}\n////===\n\n////+++!![Core Hijacking]\n\n//{{{\nconfig.macros.saveChanges.label_orig_UploadPlugin = config.macros.saveChanges.label;\nconfig.macros.saveChanges.label = config.macros.upload.label.saveToDisk;\n\nconfig.macros.saveChanges.handler_orig_UploadPlugin = config.macros.saveChanges.handler;\n\nconfig.macros.saveChanges.handler = function(place)\n{\n if ((!readOnly) && (document.location.toString().substr(0,4) != "http"))\n createTiddlyButton(place,this.label,this.prompt,this.onClick,null,null,this.accessKey);\n};\n\n//}}}\n////===\n\n

@@'' TWO PHD POSITIONS and ONE POST//-//DOC POSITION IN LOGICS FOR QUANTUM INTERACTION''@@ \n\nUNIVERSITY OF GRONINGEN, THE NETHERLANDS\n\n__Call for Applications:__\nTwo Ph.D. positions and one Post-doc position are available in the Faculty of Mathematics and Natural Sciences in the Institute of Artificial Intelligence (ALICE), offered in collaboration with the department of Theoretical Philosophy at the University of Groningen. The candidates will join the five-year NWO Vidi project of Dr. Sonja Smets.\n\n__VIDI Project: ‘Reasoning about quantum interaction: Logical modelling and verification of multi-agent quantum protocols’:__\n\nAs for classical computing, logic is expected to play an essential role in the understanding of quantum computation and quantum information, and especially in the formal verification of quantum communication protocols. Such multi-agent applications involve quantum information flow and classical knowledge transfer (by classical communication) between the agents. So one of our aims in the proposed VIDI research project is to develop the logical tools for modelling complex situations where different types of informational dynamics (classical and quantum) are combined. Our goal is to develop and use a combined classical-quantum logic for the full specification and formal verification of agent-based quantum protocols for secure communication. Towards this goal, we propose to use formalisms based on modal logic, especially combinations of dynamic (or temporal) logics and epistemic (or ``spatial") logics. But other logical formalisms, such as probabilistic logic, linear logic and coalgebraic logic (or categorical logic, in general), may also turn out to be useful in this context\n\n* [[Further Details on the Two PhD positions.]] \n* [[Further Details on the Post-doc position.]]\n\n\n\n<html><center> <img src="http://www.vub.ac.be/CLWF/SS/NWO.jpg" style="width: 310px; "/><img src="http://www.vub.ac.be/CLWF/SS/RUGlogo.jpg" style="width: 210px; "/></center></html>\n\n

\n<div class='viewer' macro='view text wikified'></div>\n<div class='viewer topbutton' macro='top'></div>\n<br><br>\n<div class='viewer' macro='navigation tiddlers:{{store.getTiddlerText("PresentationIndex").readBracketedList()}}}'></div>\n<div class='tagClear'></div>\n

Last Updated on 15 May 2010