08171 Abstracts Collection -- Beyond the Finite: New Challenges in Verification and Semistructured Data

From 20.04. to 25.04.2008, the Dagstuhl Seminar 08171 ``Beyond the Finite: New Challenges in Verification and Semistructured Data\u27\u27 was held in the International Conference and Research Center (IBFI), Schloss Dagstuhl. During the seminar, several participants presented their current research, and ongoing work and open problems were discussed. Abstracts of the presentations given during the seminar as well as abstracts of seminar results and ideas are put together in this paper. The first section describes the seminar topics and goals in general. Links to extended abstracts or full papers are provided, if available

08171 Summary -- Beyond the Finite: New Challenges in Verification and Semistructured Data

Exploring the interaction of model checking and database static analysis techniques in the development of novel approaches to the verification of software systems handling data

Actor-Network Procedures

In this paper we propose actor-networks as a formal model of computation in heterogenous networks of computers, humans and their devices, where these new procedures run; and we introduce Procedure Derivation Logic (PDL) as a framework for reasoning about security in actor-networks, as an extension of our previous Protocol Derivation Logic. Both formalisms are geared towards graphic reasoning. We illustrate its workings by analysing a popular form of two-factor authentication

Fecal metabolite profiling identifies liver transplant recipients at risk for postoperative infection

Metabolites produced by the intestinal microbiome modulate mucosal immune defenses and optimize epithelial barrier function. Intestinal dysbiosis, including loss of intestinal microbiome diversity and expansion of antibiotic-resistant pathobionts, is accompanied by changes in fecal metabolite concentrations and increased incidence of systemic infection. Laboratory tests that quantify intestinal dysbiosis, however, have yet to be incorporated into clinical practice. We quantified fecal metabolites in 107 patients undergoing liver transplantation (LT) and correlated these with fecal microbiome compositions, pathobiont expansion, and postoperative infections. Consistent with experimental studies implicating microbiome-derived metabolites with host-mediated antimicrobial defenses, reduced fecal concentrations of short- and branched-chain fatty acids, secondary bile acids, and tryptophan metabolites correlate with compositional microbiome dysbiosis in LT patients and the relative risk of postoperative infection. Our findings demonstrate that fecal metabolite profiling can identify LT patients at increased risk of postoperative infection and may provide guideposts for microbiome-targeted therapies