Donald Knuth @ Trento

Convegno

Nell’ambito della conferenza internazionale SAT 2012 / Theory and Applications of Satisfiability Testing >>
la Fondazione Bruno Kessler e l’Universita’ degli Studi di Trento
presentano

Donald Knuth @ Trento

Biografia e abstract >>

Programma
9.00 – 10.00
Accredito dei partecipanti

10.00 - 10.15
Introduzione

10.15 - 11.15
"Satisfiability and The Art of Computer Programming"
Donald Knuth invited talk

11.15 - 11.45
Intervallo

11.45 - 12.45
All Questions Answered with Donald Knuth
Donald Knuth risponde alle domande del pubblico in sala

L’evento si terrà in lingua inglese e non è prevista traduzione.
La registrazione ha un costo di 10 euro ed è possibile fino al 12 giugno a questo link >>

organizzazione: FBK Fondazione Bruno Kessler

quando

Martedì, 19 Giugno 2012

dove

Via Segantini, 19 Sala della Cooperazione Trento

contatti

Powered by eZ Publish™ CMS Open Source Web Content Management. Copyright © 1999-2014 eZ Systems AS (except where otherwise noted). All rights reserved.

eZ debug

Clear cache:

Quick settings:

Timing: Jul 16 2026 11:50:56
Script start
Timing: Jul 16 2026 11:50:56
Module start 'layout'
Timing: Jul 16 2026 11:50:56
Module start 'content'
Timing: Jul 16 2026 11:50:57
Module end 'content'
Debug: ezpI18n::translateText Jul 16 2026 11:50:57
Missing translation for message in context: 'kernel/navigationpart' with comment: 'Navigation part'. The untranslated message is: 'contentclassmanager'
Debug: ezpI18n::translateText Jul 16 2026 11:50:57
Missing translation for message in context: 'kernel/navigationpart' with comment: 'Navigation part'. The untranslated message is: 'Apps'
Debug: ezpI18n::translateText Jul 16 2026 11:50:57
Missing translation for message in context: 'kernel/navigationpart' with comment: 'Navigation part'. The untranslated message is: 'Amministrazione Trasparente'
Debug: ezpI18n::translateText Jul 16 2026 11:50:57
Missing translation for message in context: 'kernel/navigationpart' with comment: 'Navigation part'. The untranslated message is: 'eZTags'
Error: eZTemplate @ extension/ocbootstrap/design/ocbootstrap/templates/canonical_link.tpl:1[0] Jul 16 2026 11:50:57
Unknown template variable 'pagedata' in namespace ''
Error: eZTemplate @ extension/ocbootstrap/design/ocbootstrap/templates/canonical_link.tpl:1[0] Jul 16 2026 11:50:57
Unknown template variable 'pagedata' in namespace ''
Timing: Jul 16 2026 11:50:57
Script end

Main resources:

Total runtime0.5961 sec
Peak memory usage28,928.0000 KB
Database Queries110

Timing points:

CheckpointStart (sec)Duration (sec)Memory at start (KB)Memory used (KB)
Script start 0.00000.0533 4,818.27341,695.9297
Module start 'layout' 0.05340.0196 6,514.2031677.3984
Module start 'content' 0.07290.4884 7,191.601618,645.2266
Module end 'content' 0.56140.0346 25,836.82811,365.6094
Script end 0.5960  27,202.4375 

Time accumulators:

 Accumulator Duration (sec) Duration (%) Count Average (sec)
Ini load
Load cache0.02904.8695350.0008
Check MTime0.00390.6466350.0001
PostgreSQL Cluster
DB queries0.01011.693380.0013
Postgresql Total
Database connection0.00380.640310.0038
Postgresql queries0.190631.97811100.0017
Looping result0.00000.000000.0000
MySQL Cluster
DFS operations0.00040.065910.0004
TS translator
TS init0.00871.455770.0012
TS cache load0.00601.014970.0009
TS context load0.00440.741270.0006
Template Total0.455876.530.1519
Template load0.124320.858730.0414
String conversion in template resource0.00060.1053260.0000
Template parser: create text elements0.01552.5954260.0006
Template parser: remove whitespace0.00260.4291260.0001
Template parser: construct tree0.080513.4995260.0031
Template load and register function0.01051.767590.0012
Template processing0.331455.595630.1105
states
state_id_array0.00320.528630.0011
state_identifier_array0.00430.713240.0011
Override
Cache load0.070811.8770580.0012
Sytem overhead
Fetch class attribute can translate value0.00390.661610.0039
Fetch class attribute name0.01041.736490.0012
XML
Image XML parsing0.00020.029810.0002
class_abstraction
Instantiating content class attribute0.00010.020090.0000
OCoembed
http://sat2012.fbk.eu0.00010.015810.0001
http://sat2012.fbk.eu/node/250.00010.013810.0001
http://sat2012.fbk.eu/knuth_for_externals0.00010.013910.0001
General
String conversion0.00020.0396320.0000
Note: percentages do not add up to 100% because some accumulators overlap

CSS/JS files loaded with "ezjscPacker" during request:

CacheTypePacklevelSourceFiles
CSS0design/base/stylesheets/core.css
JS0extension/ocmaps/design/standard/javascript/leaflet.js
extension/ocbootstrap/design/ocbootstrap/javascript/insertmedia.js

Templates used to render the page:

UsageRequested templateTemplateTemplate loadedEditOverride
1node/view/full.tplfull/event.tplextension/oc_tcu/design/tcu/override/templates/full/event.tplEdit templateOverride template
1parts/opengraph_set_persistent.tpl<No override>extension/ngopengraph/design/standard/templates/parts/opengraph_set_persistent.tplEdit templateOverride template
3content/datatype/view/ezstring.tpl<No override>design/standard/templates/content/datatype/view/ezstring.tplEdit templateOverride template
2content/datatype/view/ezobjectrelationlist.tpl<No override>extension/oc_tcu/design/tcu/templates/content/datatype/view/ezobjectrelationlist.tplEdit templateOverride template
2content/view/embed.tpl<No override>extension/ocbootstrap/design/ocbootstrap/templates/content/view/embed.tplEdit templateOverride template
1content/datatype/view/ezxmltext.tpl<No override>extension/ocembed/design/standard/templates/content/datatype/view/ezxmltext.tplEdit templateOverride template
3content/datatype/view/ezxmltags/link.tpl<No override>extension/ocbootstrap/design/ocbootstrap/templates/content/datatype/view/ezxmltags/link.tplEdit templateOverride template
2content/datatype/view/ezxmltags/line.tpl<No override>design/standard/templates/content/datatype/view/ezxmltags/line.tplEdit templateOverride template
1content/datatype/view/ezxmltags/strong.tpl<No override>extension/ocbootstrap/design/ocbootstrap/templates/content/datatype/view/ezxmltags/strong.tplEdit templateOverride template
2content/datatype/view/ezxmltags/paragraph.tpl<No override>extension/ocbootstrap/design/ocbootstrap/templates/content/datatype/view/ezxmltags/paragraph.tplEdit templateOverride template
1parts/social_buttons.tpl<No override>extension/oc_tcu/design/tcu/templates/parts/social_buttons.tplEdit templateOverride template
1parts/event/dates.tpl<No override>extension/oc_tcu/design/tcu/templates/parts/event/dates.tplEdit templateOverride template
1content/datatype/view/ezemail.tpl<No override>extension/ocbootstrap/design/ocbootstrap/templates/content/datatype/view/ezemail.tplEdit templateOverride template
1content/datatype/view/ezurl.tpl<No override>extension/ocbootstrap/design/ocbootstrap/templates/content/datatype/view/ezurl.tplEdit templateOverride template
1atoms/meta.tpl<No override>extension/oc_tcu/design/tcu/templates/atoms/meta.tplEdit templateOverride template
1print_pagelayout.tpl<No override>design/standard/templates/print_pagelayout.tplEdit templateOverride template
1page_head.tpl<No override>extension/oc_tcu/design/tcu/templates/page_head.tplEdit templateOverride template
1parts/opengraph_persistent.tpl<No override>extension/ngopengraph/design/standard/templates/parts/opengraph_persistent.tplEdit templateOverride template
1canonical_link.tpl<No override>extension/ocbootstrap/design/ocbootstrap/templates/canonical_link.tplEdit templateOverride template
1link.tpl<No override>extension/oc_tcu/design/tcu/templates/link.tplEdit templateOverride template
1page_mainarea.tpl<No override>design/standard/templates/page_mainarea.tplEdit templateOverride template
1page_warning.tpl<No override>design/standard/templates/page_warning.tplEdit templateOverride template
1page_copyright.tpl<No override>design/standard/templates/page_copyright.tplEdit templateOverride template
1setup/debug_toolbar.tpl<No override>design/standard/templates/setup/debug_toolbar.tplEdit templateOverride template
1setup/clear_cache.tpl<No override>design/standard/templates/setup/clear_cache.tplEdit templateOverride template
1setup/quick_settings.tpl<No override>design/standard/templates/setup/quick_settings.tplEdit templateOverride template
 Number of times templates used: 34
 Number of unique templates used: 26

Time used to render debug report: 0.0008 secs

DEV 192.168.105.41