''Accommodation''\n\nInvited speakers stay in Hotel Chambord (82, Rue de Namur). \n\nUsing this [[site|http://www.booking.com/]] (or your favorite hotel reservation website) you can find a variety of hotels in the vicinity of the conference location, e.g. Hotel Chambord (82, Rue de Namur), Argus Hotel (6, Rue Capitaine Crespel), Sun Hotel (38, Rue Du Berger), Beverly Hills and Residences (71, Rue du Prince Royal), Jolly Hotel du Grand Sablon (2-4, Rue Bodenbroekstraat), Leopold Hotel (35, Luxemburgstraat), Sofitel Brussels Toison d'Or (40, Avenue de la Toison d'Or), Hilton Brussels (38, Boulevard De Waterloo), or Stanhope Hotel (9, Rue du Commerce). \n\nFor low budgets, youth hostels [[Jacques Brel|http://www.laj.be/html/en/hostels/brel/aubergesbrel_en01.htm]] or [[Bruegel |http://www.vjh.be/]] might be interesting to check out.\n
<!--{{{-->\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>&nbsp;\n<span class='siteSubtitle' refresh='content' tiddler='SiteSubtitle'></span>\n</div>\n<div class='headerForeground'>\n<span class='siteTitle' refresh='content' tiddler='SiteTitle'></span>&nbsp;\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<!--}}}-->
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}
\n
''COMMITTEES:'' \n\n''Scientific Programme committee:''\n\n[[Jacek Malinowski|http://www.home.umk.pl/~jacekm/]] (Nicolas Copernicus University & Polish Academy of Sciences) - Chairman\n\n[[Diderik Batens|http://logica.rug.ac.be/~dirk/]] (Universiteit Gent)\n[[Maria Luisa Dalla Chiara|http://www.philos.unifi.it/CMpro-v-p-41.html]] (University of Florence)\n[[Bob Coecke|http://www.comlab.ox.ac.uk/people/Bob.Coecke/index.html]] (University of Oxford)\n[[Dennis Dieks|http://www.phys.uu.nl/igg/dieks/]] (Universiteit Utrecht)\n[[Michel Ghins|http://www.lofs.ucl.ac.be/fisc/staff/ghins.html]] (Universite' Catholique de Louvain)\n[[Robert Goldblatt|http://www.mcs.vuw.ac.nz/~rob/]] (Victoria University of Wellington)\n[[Leon Horsten|http://perswww.kuleuven.be/~u0012325/]] (Katholieke Universiteit Leuven)\n[[Tomasz Placek|http://www.cyf-kr.edu.pl/~uzplacek/indexeng.htm]] (Jagiellonian University)\n[[Sonja Smets|http://www.vub.ac.be/CLWF/SS]] (Vrije Universiteit Brussel)\n[[Jean Paul Van Bendegem|http://www.vub.ac.be/CLWF/members/jean/index.shtml]] (Vrije Universiteit Brussel)\n\n\n''Local Organizing Committee'':\n\n[[Sonja Smets|http://www.vub.ac.be/CLWF/SS]] (CLWF, Vrije Universiteit Brussel & IEG, Oxford University) - Chairman\n\n[[Patrick Allo|http://homepages.vub.ac.be/~pallo/]] (CLWF, Vrije Universiteit Brussel & IEG, Oxford University)\n[[Ronny Desmet|http://homepages.vub.ac.be/~rondesme/]] (CLWF, Vrije Universiteit Brussels) \n[[Ellie D’Hondt|http://www.vub.ac.be/CLEA/ellie/homepage/welcome.html]] (TINF & FUND, Vrije Universiteit Brussel)\n[[Thomas Durt|http://tona.vub.ac.be/Tona/staff/show_info_user.php?UID=&givenID=81]] (TONA, Vrije Universiteit Brussel)\n[[Michel Ghins|http://www.lofs.ucl.ac.be/fisc/staff/ghins.html]] (LOFS, Universite' Catholique de Louvain)\n[[Francesca Poggiolesi|http://poggiolesi.googlepages.com/home]] (CLWF, Vrije Universiteit Brussel) \n[[Giuseppe Primiero|http://logica.ugent.be/giuseppe/]] (CLPS, Universiteit Gent & IEG, Oxford University) \n[[Sebastian Sequoiah - Grayson|http://users.ox.ac.uk/~ball1834/index.shtml]] (Balliol College & IEG, Oxford University)\n[[Jean Paul Van Bendegem|http://www.vub.ac.be/CLWF/members/jean/index.shtml]] (CLWF, Vrije Universiteit Brussel)
''CONTACT:'' \n\nFor more information contact Sonja Smets by email (sonsmets at vub.ac.be)
A Special Issue of Studia Logica on:\n\n''The Contributions of Logic to the Foundations of Physics''\nTrends in Logic VI\n\n''CALL FOR PAPERS''\n\nFurther to the Studia Logica International Conference Trends in Logic VI, held in Brussels on December 11 - 12, 2008, we cordially invite you to submit a paper for a special issue of Studia Logica devoted to Logic and the Foundations of Physics.\n\nWe specifically, though not exclusively, invite contributions on the following topics:\n\n- The use of techniques originating from classical logic, modal logic and multi-dimensional modal logics, spatial logic, dynamic logic, temporal logic, epistemic logic, linear logic and other resource-sensitive logics, intuitionistic logic, game logics, process algebras, co-algebraic logics, categorical logics, many-valued logics, quantum logics etc. to formalize physical theories or to reason about their concepts, phenomena and/or applications.\n\n- Logical techniques used in quantum information theory, including quantum computation, quantum communication, quantum cryptography and quantum programming.\n\n- Philosophical contributions on the meaning of concepts such as truth, consequence, completeness, implication and (quantum) information viewed at the interface of Logic and Physics.\n\n- Open problems in modern physics, soliciting new techniques from logic, computation or information theory.\n\n- Explorations on how to use new formal methods in combination with insights and interpretations in the philosophy of physics to yield new perspectives on the main foundational issues and open problems in modern physics. \n\n- Answers to the questions: “What can physics learn from logic?” and/or “What can logic learn from physics?”\n\n''SUBMISSION OF PAPERS:''\n\nSubmitted papers should not exceed 20 pages (including bibliography), and should be formatted according to the Studia Logica """LaTeX""" style (see “Information for Authors” at the [[Studia Logica website|http://www.studialogica.org/]]). Only electronic submissions prepared with this style file will be considered. The authors should send an e-mail with subject "Studia Logica Submission" to Sonja Smets (sonsmets@gmail.com) with the file of the paper in attachment (attach both the "tex" and "pdf" files), and give the following information in the body of the mail in plain text: paper title, author names, surface mail, e-mail address and phone number of the contact author and a short abstract. \n\n''DEADLINE FOR SUBMISSION OF MANUSCRIPTS: extended till JUNE 15, 2009\n\nAll papers will be refereed according to the standards of the journal.\n\nOn Behalf of The Guest editors:\n\nDiederik Aerts, Sonja Smets and Jean Paul Van Bendegem\n\n
config.options.chkAnimate = false;\nconfig.options.chkSinglePageMode = true;\nconfig.options.chkTopOfPageMode = false;
WELCOME
\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
function setFooter() {\n if (document.getElementById && document.getElementById("contentFooter") ) {\n var windowHeight=findWindowHeight();\n if (windowHeight>0) {\n var contentHeight= document.getElementById('mainMenu').offsetHeight + document.getElementById("header").offsetHeight + document.getElementById("contentFooter").offsetHeight;\n var menu= document.getElementById('mainMenu');\n //var footerHeight=footerElement.offsetHeight;\n if (windowHeight-(contentHeight)>=0) {\n menu.style.position='relative';\n menu.style.marginBottom=(windowHeight-(contentHeight))+'px';\n }\n else {\n menu.style.position='';\n menu.style.marginBottom='';\n }\n }\n }\n}\nwindow.onresize = function() {\n setFooter();\n}\n\nStory.prototype.refreshTiddler_footerhack=Story.prototype.refreshTiddler;\nStory.prototype.refreshTiddler = function (title,template,force)\n{ \nvar theTiddler = Story.prototype.refreshTiddler_footerhack.apply(this,arguments);\nsetFooter();\n return theTiddler;}
//{{{\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
''LIST OF INVITED SPEAKERS:'' \n\n\n[[Samson Abramsky|http://web.comlab.ox.ac.uk/people/Samson.Abramsky/]] (University of Oxford)\n\n[[Marco Aiello|http://www.cs.rug.nl/~aiellom/ma/marco%20aiello.html]] (Rijksuniversiteit Groningen)\n\n[[Hajnal Andreka|http://www.renyi.hu/~andreka/]] & [[Istvan Nemeti|http://www.renyi.hu/~nemeti/]] (Hungarian Academy of Sciences) \n\n[[Alexandru Baltag|http://www.comlab.ox.ac.uk/people/Alexandru.Baltag/index.html]] (University of Oxford)\n\n[[Johan Van Benthem|http://staff.science.uva.nl/~johan/]] (Universiteit van Amsterdam & Stanford University)\n\n[[Michael Dunn|http://www.informatics.indiana.edu/people/profiles.asp?u=dunn]] (Indiana University)\n\n[[Elham Kashefi|http://www.inf.ed.ac.uk/people/staff/Elham_Kashefi.html]] (University of Edinburgh)\n\n
''LOCATION:'' \n\nThe Conference will take place at the [[University Foundation|http://www.universitairestichting.be]], rue d'Egmont 11, 1000 Brussels, Belgium\n\nThe Conference Rooms are indicated on the programme, we start on December 11th in Room Felicien Cattier.\n\n''How to get there:'' \n\n[[Location Map|http://www.universityfoundation.be/plan.html]]\n\n[[Area Map|http://maps.google.com/maps?hl=en&q=egmontstraat+11+Brussels&um=1&ie=UTF-8&sa=X&oi=geocode_result&resnum=1&ct=title]]\n\nBy train + short walk:\n- From Gare du Midi / Zuidstation (arrival by Eurostar, Thalys etc.), take the Metro line 2 in the direction "Simonis", get out at stop "Troon". Walk four minutes to rue d'Egmont. \n- From Gare Centrale / Central Rail Station, walk 20 minutes to the conference site (a bit up hill, you pass by the Royal Palace on Paleizenplein). Or instead of walking take metro line 1 from Gare Centrale: two stops to "Kunst-wet / Arts Loi" and change to metro line 2. It will be one more stop till you get to "Troon". From There you can walk to rue d'Egmont.\n\nBy airplane:\n- From Brussels Nationaal Luchthaven, after you exit with your luggage, go to the "right upper corner" of the hallway, following the signs for the "railway/treinstation/gare". You will get to the elevators that take you to level -1. There you can take a direct train to the center of Brussels (you will have to buy a ticket at the counter first, 2.9 euro one way, note that the ticket vending machines do not accept credit cards). Also note that the center of Brussels has three train stations (Nord, Midi and Central). Best is to get of at the Central station and walk or take the metro to the conference site (see above). \n\nBy taxi from the airport:\n- To get from the airport to the center of Brussels you will pay around 35 or 40 euro's (it will cost more in the evening/weekends). There is a taxi-place right outside the main exit of the airport, all official taxi's have signs on their cars. Don't accept any "fuzzy taxi-offers" from people inside the airport: All official taxi-drivers can be found at the taxi-place outside.\n\nBy metro inside Brussels: \n\n[[MIVB-Brussels' Metro Information|http://www.mivb.be/index.htm?guest_user=guest_en]]\n\n- Metro "Troon" is a four minute walk to the University Foundation, Metro "Porte de Namur" is max. a ten minute walk away\n\n\n\n\n
/***\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
@@bgcolor:#99ff99;__[[WELCOME]]__@@\n \n@@bgcolor:#99ff99;__[[LOCATION]]__@@\n\n@@bgcolor:#99ff99;__[[COMMITTEES]]__@@\n\n@@bgcolor:#99ff99;__[[LIST OF INVITED SPEAKERS]]__@@\n\n@@bgcolor:#99ff99;__[[PROGRAMME]]__@@\n\n@@bgcolor:#99ff99;__[[ACCOMODATION]]__@@\n\n@@bgcolor:#99ff99;__[[CfP: STUDIA LOGICA SPECIAL ISSUE]]__@@\n\n@@bgcolor:#99ff99;__[[ORGANIZERS]]__@@\n\n@@bgcolor:#99ff99;__[[PAST CONFERENCES]]__@@\n\n@@bgcolor:#99ff99;__[[CONTACT]]__@@\n\n@@bgcolor:#99ff99;__[[SPONSORS]]__@@
// 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");
''ORGANIZERS:'' \n\nThis Conference is Organized by:\n\n[[CLWF|http://www.vub.ac.be/CLWF]], The Center for Logic and Philosophy of Science, Vrije Universiteit Brussel\n[[CLEA|http://www.vub.ac.be/CLEA]], The Center Leo Apostel, Vrije Universiteit Brussel\n[[IFiS PAN|http://www.ifispan.waw.pl/lang,2]], Institute of Philosophy and Sociology of the Polish Academy of Sciences
''PAST CONFERENCES''\n\n[[TrendsV|http://logic.sysu.edu.cn/information/TrendsInLogic.htm]]\n\n[[TrendsIV|http://www.logika.umk.pl/TrendsIV.html]]\n\n[[TrendsIII|http://www.mimuw.edu.pl/~mrr/]]\n\n[[TrendsII|http://www.philog.ruc.dk/50yrs/conf2location.html]]\n\n[[TrendsI|http://www.philog.ruc.dk/50yrs/conference1.html]]\n\n
''PROGRAMME:'' \n\n[[Click here to download the final version of the programme|http://www.vub.ac.be/CLWF/SS/Trends.pdf]]
<!--{{{-->\n<div id="header" class='header'>\n <div class='gradient' macro='gradient vert #005511 #007711 #002200 '>\n \n\n \n<div class='titleLine' >\n<p>\n<img class="floatright"\nsrc="http://www.springer.com/cda/content/image/cda_displayimage.jpg?SGWID=0-0-16-136324-0"\nalt="11225" border="0" height="142" width="95" style="float: right">\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\n </div>\n\n<div id='bodywrapper'>\n\n<div id='mainMenu' refresh='content' tiddler='MainMenu'></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>
WELCOME
//{{{\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//}}}
Studia Logica will devote a special issue to the theme of the conference, an open CFP will be launced during the conference.
''SPONSORS:'' \n\nThis conference is financially sponsored by:\n\n- [[Studia Logica|http://www.springer.com/philosophy/logic/journal/11225?detailsPage=editorialBoard]] \n\n- [[The “Nationaal Centrum voor Navorsingen in de Logica”|http://www.logic-center.be/ncnl.html]] \n\n- [[Fonds voor Wetenschappelijk Onderzoek - Vlaanderen|http://www.fwo.be]] (K.7.142.08N) \n\n- [[The Center Leo Apostel - Vrije Universiteit Brussel|http://www.vub.ac.be/CLEA]]\n\n- [[The Center for Logic and Philosophy of Science - Vrije Universiteit Brussel|http://www.vub.ac.be/CLWF]]\n\n- [[Springer|http://www.springer.com]]\n\n- [[The Belgian Society for Logic and Philosophy of Science|http://www.bslps.be/]]\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//}}}
>{{textcenter {Belgium, Brussels, 11-12 December 2008. }}}\n>{{textcenter {Location: University Foundation, Rue d'Egmont 11, 1000 Brussels. }}}\n
>@@letter-spacing: 0.05em;''Studia Logica International Conference''@@\n>@@font-size:16pt;''Logic and the foundations of physics: space, time and quanta''@@ \n>@@font-size:12pt;''Trends in Logic VI''@@
\n/***\nPlace your custom CSS here\n.floatleft{float:left;}\n .floatright\n{\nfloat: right;\nmargin: 0 0 10px 10px;\nborder: 1px solid #666;\n}\n\n.floatcenter{float:center;}\n.textcenter {text-align:center;}\n.wrappingClass{color: #666; background: #bbb}\n***/\n/*{{{*/\n\n\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: #007711;\n margin: 0 auto;\n}\n\n #contentWrapper{\n background: #fff;\n border: 0;\n margin: 0 1em;\n\n padding:0;\n}\n/*}}}*/\n\n/***\n!Header rules\n***/\n/*{{{*/\n.titleLine{\n margin: 68px 3em 0em 0em;\nmargin-left:1.7em;\nmargin-bottom: 28px;\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; border-bottom:1px solid #000;}\n\n\n\n.header {\n background: #fff; \n margin: 0 0em;\n padding:0 12px;\n\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 16em 0em 14em;\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:transparant;}\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; padding:4px;\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: center;\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: #ED700B;\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: #ED700B;\n border-color: #000;\n}\n\n.button:active {\n color: #fff;\n background: #ED700B;\n border: 1px solid #000;\n}\n\n.tiddlyLink {border-bottom: 1px dotted #000;}\n.tiddlyLink:hover {border-bottom: 1px dotted #ED700B;} \n\n.titleLine a {border-bottom: 1px dotted #FF9900;}\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 #ED700B; font-weight:bold;}\n.viewer .button:hover, .viewer .marked, .viewer .highlight{background:#ED700B; 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; font-weight:bold;\n}\n#topMenu .button:hover, #topMenu .tiddlyLink:hover { background:#000; color:#FF8814}\n\n#topMenu a{border:none;}\n/*}}}*/\n\n/***\n!Message Area /%=================================================%/\n***/\n/*{{{*/\n#messageArea {\n border: 4px dotted #ff8614;\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:#ff8614; background:transparent;}\n\n#messageArea .button:hover {background: #FF8614; color:#fff; border:1px solid #fff; }\n\n/*}}}*/\n\n/***\n!Popup /%=================================================%/\n***/\n/*{{{*/\n.popup {\n background: #ff8814;\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: #ff8614;\n color: #fff;\n border: none;\n text-decoration:underline;\n}\n\n.searchBar {float:right; font-size:1em;}\n.searchBar .button {display:block; border:none; color:#ccc; }\n.searchBar .button:hover{border:none; color:#eee;}\n\n.searchBar input{\n border: 1px inset #000; background:#EFDFD1; width:10em; margin:0;\n}\n\n.searchBar input:focus {\n border: 1px inset #000; background:#fff;\n}\n\n*html .titleLine {margin-right:1.3em;}\n\n*html .searchBar .button {margin-left:1.7em;}\n\n .HideSideBarButton {float:right;} \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:#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\n\n\n\n#displayArea {margin-right:1em;}\n\n.headerShadow {\n position: relative;\n padding: 2.5em 0em 1em 1em;\n left: -1px;\n top: -1px;\n}\n\n.headerForeground {\n position: absolute;\n padding: 2.5em 0em 1em 1em;\n left: 0px;\n top: 0px;\n}\n\n.siteTitle {\n font-size: 2.5em;\n}\n\n.siteSubtitle {\n font-size: 1.2em;\n}\n\n#mainMenu {float:left; position:relative;}\n\n\n.viewer .button {border: 1px solid #ED700B; font-weight:bold;}\n.viewer .button:hover, .viewer .marked, .viewer .highlight{background:#ED700B; color:#fff; font-weight:bold; border: 1px solid #ED700B;}\n[[StyleSheetCommon]]\n#contentFooter .tiddlyLink {\n color:#fff;\n}\n/*}}}*/\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;}
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 = 'trends';\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)\nwindow.showBackstage = true; // show backstage too\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(/^/,"[[WelcomeToTiddlyspot]] ");\n MainMenu = MainMenu.replace(/^/,"[[WelcomeToTiddlyspot]] ");\n}\n\n// create some shadow tiddler content\nmerge(config.shadowTiddlers,{\n\n'WelcomeToTiddlyspot':[\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?// &nbsp;&nbsp;@@ 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// &nbsp;&nbsp;@@ 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// &nbsp;&nbsp;@@ 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!// &nbsp;&nbsp;@@ Find out more about ~TiddlyWiki at [[TiddlyWiki.com|http://tiddlywiki.com]]. Also visit [[TiddlyWiki.org|http://tiddlywiki.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 :)// &nbsp;&nbsp;@@ 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/]], [[blog|http://tiddlyspot.blogspot.com/]], 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| 19/5/2008 20:23:6 | YourName | [[/|http://trends.tiddlyspot.com/#author:true]] | [[store.cgi|http://trends.tiddlyspot.com/store.cgi]] | . | index.html | . |\n| 19/5/2008 20:36:24 | YourName | [[/|http://trends.tiddlyspot.com/#author:true]] | [[store.cgi|http://trends.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 19/5/2008 20:40:55 | YourName | [[/|http://trends.tiddlyspot.com/#author:true]] | [[store.cgi|http://trends.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 19/5/2008 20:42:9 | YourName | [[/|http://trends.tiddlyspot.com/#author:true]] | [[store.cgi|http://trends.tiddlyspot.com/store.cgi]] | . | index.html | . |\n| 19/5/2008 21:0:38 | YourName | [[/|http://trends.tiddlyspot.com/#author:true]] | [[store.cgi|http://trends.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 19/5/2008 21:3:1 | YourName | [[/|http://trends.tiddlyspot.com/#author:true]] | [[store.cgi|http://trends.tiddlyspot.com/store.cgi]] | . | index.html | . |\n| 19/5/2008 21:10:21 | YourName | [[/|http://trends.tiddlyspot.com/#author:true]] | [[store.cgi|http://trends.tiddlyspot.com/store.cgi]] | . | index.html | . |\n| 19/5/2008 21:17:16 | YourName | [[/|http://trends.tiddlyspot.com/#author:true]] | [[store.cgi|http://trends.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 19/5/2008 21:18:49 | YourName | [[/|http://trends.tiddlyspot.com/#author:true]] | [[store.cgi|http://trends.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 19/5/2008 21:19:43 | YourName | [[/|http://trends.tiddlyspot.com/#author:true]] | [[store.cgi|http://trends.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 19/5/2008 21:20:57 | YourName | [[/|http://trends.tiddlyspot.com/#author:true]] | [[store.cgi|http://trends.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 19/5/2008 21:22:38 | YourName | [[/|http://trends.tiddlyspot.com/#author:true]] | [[store.cgi|http://trends.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 19/5/2008 21:25:31 | YourName | [[/|http://trends.tiddlyspot.com/#PageTemplate%20SiteTitle%20SiteSubtitle]] | [[store.cgi|http://trends.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 19/5/2008 21:27:16 | YourName | [[/|http://trends.tiddlyspot.com/#PageTemplate%20SiteTitle%20SiteSubtitle]] | [[store.cgi|http://trends.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 19/5/2008 21:27:50 | YourName | [[/|http://trends.tiddlyspot.com/#PageTemplate%20SiteTitle%20SiteSubtitle]] | [[store.cgi|http://trends.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 19/5/2008 21:32:3 | YourName | [[/|http://trends.tiddlyspot.com/#PageTemplate%20SiteTitle%20SiteSubtitle]] | [[store.cgi|http://trends.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 19/5/2008 21:33:28 | YourName | [[/|http://trends.tiddlyspot.com/#PageTemplate%20SiteTitle%20SiteSubtitle]] | [[store.cgi|http://trends.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 19/5/2008 21:34:17 | YourName | [[/|http://trends.tiddlyspot.com/#PageTemplate%20SiteTitle%20SiteSubtitle]] | [[store.cgi|http://trends.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 19/5/2008 21:35:41 | YourName | [[/|http://trends.tiddlyspot.com/#PageTemplate%20SiteTitle%20SiteSubtitle]] | [[store.cgi|http://trends.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 19/5/2008 21:37:1 | YourName | [[/|http://trends.tiddlyspot.com/#PageTemplate%20SiteTitle%20SiteSubtitle]] | [[store.cgi|http://trends.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 19/5/2008 21:38:53 | YourName | [[/|http://trends.tiddlyspot.com/#PageTemplate%20SiteTitle%20SiteSubtitle]] | [[store.cgi|http://trends.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 19/5/2008 21:39:17 | YourName | [[/|http://trends.tiddlyspot.com/#PageTemplate%20SiteTitle%20SiteSubtitle]] | [[store.cgi|http://trends.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 19/5/2008 21:39:52 | YourName | [[/|http://trends.tiddlyspot.com/#PageTemplate%20SiteTitle%20SiteSubtitle]] | [[store.cgi|http://trends.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 19/5/2008 21:43:12 | YourName | [[/|http://trends.tiddlyspot.com/#PageTemplate%20SiteTitle%20SiteSubtitle]] | [[store.cgi|http://trends.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 19/5/2008 21:51:37 | YourName | [[/|http://trends.tiddlyspot.com/#PageTemplate%20SiteTitle%20SiteSubtitle]] | [[store.cgi|http://trends.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 19/5/2008 21:52:59 | YourName | [[/|http://trends.tiddlyspot.com/#PageTemplate%20SiteTitle%20SiteSubtitle]] | [[store.cgi|http://trends.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 19/5/2008 21:58:40 | YourName | [[/|http://trends.tiddlyspot.com/#PageTemplate%20SiteTitle%20SiteSubtitle]] | [[store.cgi|http://trends.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 19/5/2008 22:2:56 | YourName | [[/|http://trends.tiddlyspot.com/#PageTemplate%20SiteTitle%20SiteSubtitle]] | [[store.cgi|http://trends.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 19/5/2008 22:3:46 | YourName | [[/|http://trends.tiddlyspot.com/#PageTemplate%20SiteTitle%20SiteSubtitle]] | [[store.cgi|http://trends.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 19/5/2008 22:12:9 | YourName | [[/|http://trends.tiddlyspot.com/#PageTemplate%20SiteTitle%20SiteSubtitle]] | [[store.cgi|http://trends.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 19/5/2008 22:19:34 | YourName | [[/|http://trends.tiddlyspot.com/#PageTemplate%20SiteTitle%20SiteSubtitle]] | [[store.cgi|http://trends.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 19/5/2008 22:25:42 | YourName | [[/|http://trends.tiddlyspot.com/#PageTemplate%20SiteTitle%20SiteSubtitle]] | [[store.cgi|http://trends.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 19/5/2008 23:55:2 | YourName | [[/|http://trends.tiddlyspot.com/#PageTemplate%20SiteTitle%20SiteSubtitle]] | [[store.cgi|http://trends.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 19/5/2008 23:57:3 | YourName | [[/|http://trends.tiddlyspot.com/#PageTemplate%20SiteTitle%20SiteSubtitle]] | [[store.cgi|http://trends.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 19/5/2008 23:57:16 | YourName | [[/|http://trends.tiddlyspot.com/#PageTemplate%20SiteTitle%20SiteSubtitle]] | [[store.cgi|http://trends.tiddlyspot.com/store.cgi]] | . | index.html | . |\n| 19/5/2008 23:57:21 | YourName | [[/|http://trends.tiddlyspot.com/#PageTemplate%20SiteTitle%20SiteSubtitle]] | [[store.cgi|http://trends.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok | Ok |\n| 20/5/2008 0:1:55 | YourName | [[/|http://trends.tiddlyspot.com/#PageTemplate%20SiteTitle%20SiteSubtitle]] | [[store.cgi|http://trends.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 20/5/2008 0:5:53 | YourName | [[/|http://trends.tiddlyspot.com/#PageTemplate%20SiteTitle%20SiteSubtitle]] | [[store.cgi|http://trends.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 20/5/2008 0:9:35 | YourName | [[/|http://trends.tiddlyspot.com/#PageTemplate%20SiteTitle%20SiteSubtitle]] | [[store.cgi|http://trends.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 20/5/2008 0:11:12 | YourName | [[/|http://trends.tiddlyspot.com/#PageTemplate%20SiteTitle%20SiteSubtitle]] | [[store.cgi|http://trends.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 20/5/2008 0:31:27 | YourName | [[/|http://trends.tiddlyspot.com/#PageTemplate%20SiteTitle%20SiteSubtitle]] | [[store.cgi|http://trends.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 20/5/2008 0:32:41 | YourName | [[/|http://trends.tiddlyspot.com/#PageTemplate%20SiteTitle%20SiteSubtitle]] | [[store.cgi|http://trends.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 20/5/2008 0:35:58 | YourName | [[/|http://trends.tiddlyspot.com/#PageTemplate%20SiteTitle%20SiteSubtitle]] | [[store.cgi|http://trends.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 20/5/2008 0:41:24 | YourName | [[/|http://trends.tiddlyspot.com/#PageTemplate%20SiteTitle%20SiteSubtitle]] | [[store.cgi|http://trends.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 20/5/2008 0:43:50 | YourName | [[/|http://trends.tiddlyspot.com/#PageTemplate%20SiteTitle%20SiteSubtitle]] | [[store.cgi|http://trends.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 20/5/2008 0:47:43 | YourName | [[/|http://trends.tiddlyspot.com/#PageTemplate%20SiteTitle%20SiteSubtitle]] | [[store.cgi|http://trends.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 20/5/2008 0:51:49 | YourName | [[/|http://trends.tiddlyspot.com/#PageTemplate%20SiteTitle%20SiteSubtitle]] | [[store.cgi|http://trends.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 20/5/2008 0:53:18 | YourName | [[/|http://trends.tiddlyspot.com/#PageTemplate%20SiteTitle%20SiteSubtitle]] | [[store.cgi|http://trends.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 20/5/2008 0:55:6 | YourName | [[/|http://trends.tiddlyspot.com/#PageTemplate%20SiteTitle%20SiteSubtitle]] | [[store.cgi|http://trends.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 20/5/2008 1:20:34 | YourName | [[/|http://trends.tiddlyspot.com/#PageTemplate%20SiteTitle%20SiteSubtitle]] | [[store.cgi|http://trends.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 20/5/2008 1:21:48 | YourName | [[/|http://trends.tiddlyspot.com/#PageTemplate%20SiteTitle%20SiteSubtitle]] | [[store.cgi|http://trends.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 20/5/2008 1:23:22 | YourName | [[/|http://trends.tiddlyspot.com/#PageTemplate%20SiteTitle%20SiteSubtitle]] | [[store.cgi|http://trends.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 20/5/2008 1:33:14 | YourName | [[/|http://trends.tiddlyspot.com/#PageTemplate%20SiteTitle%20SiteSubtitle]] | [[store.cgi|http://trends.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 20/5/2008 1:41:16 | YourName | [[/|http://trends.tiddlyspot.com/#PageTemplate%20SiteTitle%20SiteSubtitle]] | [[store.cgi|http://trends.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 20/5/2008 1:41:27 | YourName | [[/|http://trends.tiddlyspot.com/#PageTemplate%20SiteTitle%20SiteSubtitle]] | [[store.cgi|http://trends.tiddlyspot.com/store.cgi]] | . | index.html | . |\n| 20/5/2008 18:6:51 | YourName | [[/|http://trends.tiddlyspot.com/#author:true]] | [[store.cgi|http://trends.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 20/5/2008 18:14:15 | YourName | [[/|http://trends.tiddlyspot.com/#author:true]] | [[store.cgi|http://trends.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 20/5/2008 18:33:24 | YourName | [[/|http://trends.tiddlyspot.com/#author:true]] | [[store.cgi|http://trends.tiddlyspot.com/store.cgi]] | . | index.html | . |\n| 20/5/2008 18:46:34 | YourName | [[/|http://trends.tiddlyspot.com/#author:true]] | [[store.cgi|http://trends.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 20/5/2008 18:53:16 | YourName | [[/|http://trends.tiddlyspot.com/#author:true]] | [[store.cgi|http://trends.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 20/5/2008 18:57:17 | YourName | [[/|http://trends.tiddlyspot.com/#author:true]] | [[store.cgi|http://trends.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 20/5/2008 19:2:44 | YourName | [[/|http://trends.tiddlyspot.com/#author:true]] | [[store.cgi|http://trends.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 20/5/2008 19:8:53 | YourName | [[/|http://trends.tiddlyspot.com/#author:true]] | [[store.cgi|http://trends.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 20/5/2008 19:16:49 | YourName | [[/|http://trends.tiddlyspot.com/#author:true]] | [[store.cgi|http://trends.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 20/5/2008 19:18:42 | YourName | [[/|http://trends.tiddlyspot.com/#author:true]] | [[store.cgi|http://trends.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 20/5/2008 19:26:12 | YourName | [[/|http://trends.tiddlyspot.com/#author:true]] | [[store.cgi|http://trends.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 20/5/2008 19:33:5 | YourName | [[/|http://trends.tiddlyspot.com/#author:true]] | [[store.cgi|http://trends.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 20/5/2008 19:38:47 | YourName | [[/|http://trends.tiddlyspot.com/#author:true]] | [[store.cgi|http://trends.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 20/5/2008 19:43:21 | YourName | [[/|http://trends.tiddlyspot.com/#author:true]] | [[store.cgi|http://trends.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 20/5/2008 19:44:32 | YourName | [[/|http://trends.tiddlyspot.com/#author:true]] | [[store.cgi|http://trends.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 20/5/2008 19:46:1 | YourName | [[/|http://trends.tiddlyspot.com/#author:true]] | [[store.cgi|http://trends.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 20/5/2008 19:52:20 | YourName | [[/|http://trends.tiddlyspot.com/#author:true]] | [[store.cgi|http://trends.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 20/5/2008 19:54:1 | YourName | [[/|http://trends.tiddlyspot.com/#author:true]] | [[store.cgi|http://trends.tiddlyspot.com/store.cgi]] | . | index.html | . |\n| 20/5/2008 19:55:58 | YourName | [[/|http://trends.tiddlyspot.com/#author:true]] | [[store.cgi|http://trends.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 20/5/2008 19:58:30 | YourName | [[/|http://trends.tiddlyspot.com/#author:true]] | [[store.cgi|http://trends.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 20/5/2008 20:0:27 | YourName | [[/|http://trends.tiddlyspot.com/#author:true]] | [[store.cgi|http://trends.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 20/5/2008 20:1:52 | YourName | [[/|http://trends.tiddlyspot.com/#author:true]] | [[store.cgi|http://trends.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 20/5/2008 20:2:48 | YourName | [[/|http://trends.tiddlyspot.com/#author:true]] | [[store.cgi|http://trends.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 20/5/2008 20:3:34 | YourName | [[/|http://trends.tiddlyspot.com/#author:true]] | [[store.cgi|http://trends.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 20/5/2008 20:4:43 | YourName | [[/|http://trends.tiddlyspot.com/#author:true]] | [[store.cgi|http://trends.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 20/5/2008 20:5:20 | YourName | [[/|http://trends.tiddlyspot.com/#author:true]] | [[store.cgi|http://trends.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 20/5/2008 20:7:45 | YourName | [[/|http://trends.tiddlyspot.com/#author:true]] | [[store.cgi|http://trends.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 20/5/2008 20:25:26 | YourName | [[/|http://trends.tiddlyspot.com/#author:true]] | [[store.cgi|http://trends.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 20/5/2008 20:26:13 | YourName | [[/|http://trends.tiddlyspot.com/#author:true]] | [[store.cgi|http://trends.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 20/5/2008 20:27:16 | YourName | [[/|http://trends.tiddlyspot.com/#author:true]] | [[store.cgi|http://trends.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 20/5/2008 21:7:50 | YourName | [[/|http://trends.tiddlyspot.com/#author:true]] | [[store.cgi|http://trends.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 20/5/2008 21:8:58 | YourName | [[/|http://trends.tiddlyspot.com/#author:true]] | [[store.cgi|http://trends.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 20/5/2008 21:18:31 | YourName | [[/|http://trends.tiddlyspot.com/#author:true]] | [[store.cgi|http://trends.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 20/5/2008 21:30:20 | YourName | [[/|http://trends.tiddlyspot.com/#author:true]] | [[store.cgi|http://trends.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 20/5/2008 21:33:45 | YourName | [[/|http://trends.tiddlyspot.com/#author:true]] | [[store.cgi|http://trends.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 20/5/2008 21:35:8 | YourName | [[/|http://trends.tiddlyspot.com/#author:true]] | [[store.cgi|http://trends.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 20/5/2008 21:36:3 | YourName | [[/|http://trends.tiddlyspot.com/#author:true]] | [[store.cgi|http://trends.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 20/5/2008 21:41:45 | YourName | [[/|http://trends.tiddlyspot.com/#author:true]] | [[store.cgi|http://trends.tiddlyspot.com/store.cgi]] | . | index.html | . |\n| 20/5/2008 21:48:52 | YourName | [[/|http://trends.tiddlyspot.com/#author:true]] | [[store.cgi|http://trends.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 20/5/2008 21:50:4 | YourName | [[/|http://trends.tiddlyspot.com/#author:true]] | [[store.cgi|http://trends.tiddlyspot.com/store.cgi]] | . | index.html | . |\n| 20/5/2008 21:52:31 | YourName | [[/|http://trends.tiddlyspot.com/#author:true]] | [[store.cgi|http://trends.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 20/5/2008 21:54:4 | YourName | [[/|http://trends.tiddlyspot.com/#author:true]] | [[store.cgi|http://trends.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 20/5/2008 22:14:54 | YourName | [[/|http://trends.tiddlyspot.com/#author:true]] | [[store.cgi|http://trends.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 20/5/2008 22:34:36 | YourName | [[/|http://trends.tiddlyspot.com/#author:true]] | [[store.cgi|http://trends.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 20/5/2008 22:37:6 | YourName | [[/|http://trends.tiddlyspot.com/#author:true]] | [[store.cgi|http://trends.tiddlyspot.com/store.cgi]] | . | index.html | . |\n| 20/5/2008 23:2:21 | YourName | [[/|http://trends.tiddlyspot.com/#author:true]] | [[store.cgi|http://trends.tiddlyspot.com/store.cgi]] | . | index.html | . |\n| 21/5/2008 16:42:34 | YourName | [[/|http://trends.tiddlyspot.com/#author:true]] | [[store.cgi|http://trends.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 21/5/2008 17:1:30 | YourName | [[/|http://trends.tiddlyspot.com/#author:true]] | [[store.cgi|http://trends.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 21/5/2008 17:2:27 | YourName | [[/|http://trends.tiddlyspot.com/#author:true]] | [[store.cgi|http://trends.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 21/5/2008 17:5:16 | YourName | [[/|http://trends.tiddlyspot.com/#author:true]] | [[store.cgi|http://trends.tiddlyspot.com/store.cgi]] | . | index.html | . |\n| 22/5/2008 0:27:30 | YourName | [[/|http://trends.tiddlyspot.com/#author:true]] | [[store.cgi|http://trends.tiddlyspot.com/store.cgi]] | . | index.html | . |\n| 23/5/2008 5:30:27 | YourName | [[/|http://trends.tiddlyspot.com/#author:true]] | [[store.cgi|http://trends.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 23/5/2008 5:34:0 | YourName | [[/|http://trends.tiddlyspot.com/#author:true]] | [[store.cgi|http://trends.tiddlyspot.com/store.cgi]] | . | index.html | . |\n| 5/6/2008 9:50:45 | YourName | [[/|http://trends.tiddlyspot.com/#author:true]] | [[store.cgi|http://trends.tiddlyspot.com/store.cgi]] | . | index.html | . |\n| 11/6/2008 23:55:50 | YourName | [[/|http://trends.tiddlyspot.com/#author:true]] | [[store.cgi|http://trends.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 11/6/2008 23:57:9 | YourName | [[/|http://trends.tiddlyspot.com/#author:true]] | [[store.cgi|http://trends.tiddlyspot.com/store.cgi]] | . | index.html | . |\n| 11/6/2008 23:58:8 | YourName | [[/|http://trends.tiddlyspot.com/#author:true]] | [[store.cgi|http://trends.tiddlyspot.com/store.cgi]] | . | index.html | . |\n| 11/6/2008 23:58:40 | YourName | [[/|http://trends.tiddlyspot.com/#author:true]] | [[store.cgi|http://trends.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 12/6/2008 0:0:28 | YourName | [[/|http://trends.tiddlyspot.com/#author:true]] | [[store.cgi|http://trends.tiddlyspot.com/store.cgi]] | . | index.html | . |\n| 24/7/2008 22:40:40 | YourName | [[/|http://trends.tiddlyspot.com/#author:true]] | [[store.cgi|http://trends.tiddlyspot.com/store.cgi]] | . | index.html | . |\n| 24/7/2008 22:44:28 | YourName | [[/|http://trends.tiddlyspot.com/#author:true]] | [[store.cgi|http://trends.tiddlyspot.com/store.cgi]] | . | index.html | . |\n| 24/7/2008 22:45:17 | YourName | [[/|http://trends.tiddlyspot.com/#author:true]] | [[store.cgi|http://trends.tiddlyspot.com/store.cgi]] | . | index.html | . |\n| 24/7/2008 22:45:29 | YourName | [[/|http://trends.tiddlyspot.com/#author:true]] | [[store.cgi|http://trends.tiddlyspot.com/store.cgi]] | . | index.html | . |\n| 24/7/2008 22:46:14 | YourName | [[/|http://trends.tiddlyspot.com/#author:true]] | [[store.cgi|http://trends.tiddlyspot.com/store.cgi]] | . | index.html | . |\n| 24/7/2008 22:46:38 | YourName | [[/|http://trends.tiddlyspot.com/#author:true]] | [[store.cgi|http://trends.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 24/7/2008 22:48:2 | YourName | [[/|http://trends.tiddlyspot.com/#author:true]] | [[store.cgi|http://trends.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 24/7/2008 22:50:4 | YourName | [[/|http://trends.tiddlyspot.com/#author:true]] | [[store.cgi|http://trends.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 24/7/2008 23:2:24 | YourName | [[/|http://trends.tiddlyspot.com/#author:true]] | [[store.cgi|http://trends.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 24/7/2008 23:7:4 | YourName | [[/|http://trends.tiddlyspot.com/#author:true]] | [[store.cgi|http://trends.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 24/7/2008 23:7:11 | YourName | [[/|http://trends.tiddlyspot.com/#author:true]] | [[store.cgi|http://trends.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 24/7/2008 23:9:27 | YourName | [[/|http://trends.tiddlyspot.com/#author:true]] | [[store.cgi|http://trends.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 24/7/2008 23:12:7 | YourName | [[/|http://trends.tiddlyspot.com/#author:true]] | [[store.cgi|http://trends.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 24/7/2008 23:12:29 | YourName | [[/|http://trends.tiddlyspot.com/#author:true]] | [[store.cgi|http://trends.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 24/7/2008 23:14:10 | YourName | [[/|http://trends.tiddlyspot.com/#author:true]] | [[store.cgi|http://trends.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 24/7/2008 23:14:26 | YourName | [[/|http://trends.tiddlyspot.com/#author:true]] | [[store.cgi|http://trends.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 24/7/2008 23:14:38 | YourName | [[/|http://trends.tiddlyspot.com/#author:true]] | [[store.cgi|http://trends.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 24/7/2008 23:18:53 | YourName | [[/|http://trends.tiddlyspot.com/#author:true]] | [[store.cgi|http://trends.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 24/7/2008 23:27:27 | YourName | [[/|http://trends.tiddlyspot.com/#author:true]] | [[store.cgi|http://trends.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 24/7/2008 23:30:43 | YourName | [[/|http://trends.tiddlyspot.com/#author:true]] | [[store.cgi|http://trends.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 24/7/2008 23:38:23 | YourName | [[/|http://trends.tiddlyspot.com/#author:true]] | [[store.cgi|http://trends.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 24/7/2008 23:38:47 | YourName | [[/|http://trends.tiddlyspot.com/#author:true]] | [[store.cgi|http://trends.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 24/7/2008 23:42:56 | YourName | [[/|http://trends.tiddlyspot.com/#author:true]] | [[store.cgi|http://trends.tiddlyspot.com/store.cgi]] | . | index.html | . |\n| 25/7/2008 0:11:24 | YourName | [[/|http://trends.tiddlyspot.com/#author:true]] | [[store.cgi|http://trends.tiddlyspot.com/store.cgi]] | . | index.html | . |\n| 25/7/2008 0:13:20 | YourName | [[/|http://trends.tiddlyspot.com/#author:true]] | [[store.cgi|http://trends.tiddlyspot.com/store.cgi]] | . | index.html | . |\n| 25/7/2008 9:37:52 | YourName | [[/|http://trends.tiddlyspot.com/#author:true]] | [[store.cgi|http://trends.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 25/7/2008 9:38:43 | YourName | [[/|http://trends.tiddlyspot.com/#author:true]] | [[store.cgi|http://trends.tiddlyspot.com/store.cgi]] | . | index.html | . |\n| 25/7/2008 19:49:18 | YourName | [[/|http://trends.tiddlyspot.com/#author:true]] | [[store.cgi|http://trends.tiddlyspot.com/store.cgi]] | . | index.html | . |\n| 25/7/2008 19:55:5 | YourName | [[/|http://trends.tiddlyspot.com/#author:true]] | [[store.cgi|http://trends.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 25/7/2008 19:56:48 | YourName | [[/|http://trends.tiddlyspot.com/#author:true]] | [[store.cgi|http://trends.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 25/7/2008 19:57:43 | YourName | [[/|http://trends.tiddlyspot.com/#author:true]] | [[store.cgi|http://trends.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 25/7/2008 19:58:16 | YourName | [[/|http://trends.tiddlyspot.com/#author:true]] | [[store.cgi|http://trends.tiddlyspot.com/store.cgi]] | . | index.html | . |\n| 3/8/2008 21:47:17 | YourName | [[/|http://trends.tiddlyspot.com/#author:true]] | [[store.cgi|http://trends.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 3/8/2008 21:48:16 | YourName | [[/|http://trends.tiddlyspot.com/#author:true]] | [[store.cgi|http://trends.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 3/8/2008 22:2:15 | YourName | [[/|http://trends.tiddlyspot.com/#author:true]] | [[store.cgi|http://trends.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 3/8/2008 22:15:45 | YourName | [[/|http://trends.tiddlyspot.com/#author:true]] | [[store.cgi|http://trends.tiddlyspot.com/store.cgi]] | . | index.html | . |\n| 2/11/2008 3:50:47 | YourName | [[/|http://trends.tiddlyspot.com/#author:true]] | [[store.cgi|http://trends.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 2/11/2008 3:58:55 | YourName | [[/|http://trends.tiddlyspot.com/#author:true]] | [[store.cgi|http://trends.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 2/11/2008 4:6:21 | YourName | [[/|http://trends.tiddlyspot.com/#author:true]] | [[store.cgi|http://trends.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 2/11/2008 4:8:17 | YourName | [[/|http://trends.tiddlyspot.com/#author:true]] | [[store.cgi|http://trends.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 2/11/2008 4:8:39 | YourName | [[/|http://trends.tiddlyspot.com/#author:true]] | [[store.cgi|http://trends.tiddlyspot.com/store.cgi]] | . | index.html | . |\n| 2/11/2008 4:8:58 | YourName | [[/|http://trends.tiddlyspot.com/#author:true]] | [[store.cgi|http://trends.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 2/11/2008 4:9:6 | YourName | [[/|http://trends.tiddlyspot.com/#author:true]] | [[store.cgi|http://trends.tiddlyspot.com/store.cgi]] | . | index.html | . |\n| 6/11/2008 14:43:10 | YourName | [[/|http://trends.tiddlyspot.com/#author:true]] | [[store.cgi|http://trends.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 6/11/2008 14:53:17 | YourName | [[/|http://trends.tiddlyspot.com/#author:true]] | [[store.cgi|http://trends.tiddlyspot.com/store.cgi]] | . | index.html | . |\n| 10/11/2008 12:57:16 | YourName | [[/|http://trends.tiddlyspot.com/#author:true]] | [[store.cgi|http://trends.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 10/11/2008 12:57:32 | YourName | [[/|http://trends.tiddlyspot.com/#author:true]] | [[store.cgi|http://trends.tiddlyspot.com/store.cgi]] | . | index.html | . |\n| 25/11/2008 20:38:54 | YourName | [[/|http://trends.tiddlyspot.com/#author:true]] | [[store.cgi|http://trends.tiddlyspot.com/store.cgi]] | . | index.html | . |\n| 8/12/2008 0:41:22 | YourName | [[/|http://trends.tiddlyspot.com/#author:true]] | [[store.cgi|http://trends.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 8/12/2008 0:43:34 | YourName | [[/|http://trends.tiddlyspot.com/#author:true]] | [[store.cgi|http://trends.tiddlyspot.com/store.cgi]] | . | index.html | . |\n| 17/12/2008 22:55:21 | YourName | [[/|http://trends.tiddlyspot.com/#author:true]] | [[store.cgi|http://trends.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 17/12/2008 22:59:38 | YourName | [[/|http://trends.tiddlyspot.com/#author:true]] | [[store.cgi|http://trends.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 17/12/2008 23:1:56 | YourName | [[/|http://trends.tiddlyspot.com/#author:true]] | [[store.cgi|http://trends.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 17/12/2008 23:3:36 | YourName | [[/|http://trends.tiddlyspot.com/#author:true]] | [[store.cgi|http://trends.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 17/12/2008 23:6:31 | YourName | [[/|http://trends.tiddlyspot.com/#author:true]] | [[store.cgi|http://trends.tiddlyspot.com/store.cgi]] | . | index.html | . |\n| 17/12/2008 23:7:4 | YourName | [[/|http://trends.tiddlyspot.com/#author:true]] | [[store.cgi|http://trends.tiddlyspot.com/store.cgi]] | . | index.html | . |\n| 1/6/2009 12:27:54 | YourName | [[/|http://trends.tiddlyspot.com/#author:true]] | [[store.cgi|http://trends.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
<!--{{{-->\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<!--}}}-->
''ABOUT THIS CONFERENCE:'' \n\nThe main goal of this conference is to present current trends situated at the interface of Logic and the Foundations of Physics. The conference will bring together researchers from both fields, giving them a forum to present new developments, exchange ideas, explore and establish new connections between logic and physics. On the one hand, we are interested in technical contributions on the use of new methods and techniques coming from logic, computation and information theory to axiomatize and model physical theories and to reason about their concepts, phenomena and/or applications. On the other hand, we are interested in contributions coming from the foundations and philosophy of physics dealing with the general conceptual framework and with questions of interpretation. In particular, we solicit contributions that merge new developments in logic and physics, focusing for instance on how the use of techniques from logic can be combined with insights in physics to yield a new perspective on the main foundational issues and open problems in modern physics.\n\n\nNEWS and UPDATES to this website: \n\n- CALL FOR PAPERS: We will still be accepting submissions of papers for the Special Issue of Studia Logica till @@background-color:#ffff66;JUNE 15, 2009@@. See [[CfP: STUDIA LOGICA SPECIAL ISSUE]] for details.\n\n
Last Updated on 17 December 2008