JFIFICC_PROFILElcmsmntrRGB XYZ  acspMSFTsawsctrl-hand=@=@t," desc_cprt wtptrXYZ,gXYZ@bXYZTrTRCh`gTRCh`bTRCh`descuRGBtextCC0XYZ TXYZ o8XYZ bXYZ $curv*|uN  bj. C$)j.~39?FWM6Tv\dluV~,6۾ewC    #%$""!&+7/&)4)!"0A149;>>>%.DIC;C  ;("(;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;<" }!1AQa"q2#BR$3br %&'()*456789:CDEFGHIJSTUVWXYZcdefghijstuvwxyz w!1AQaq"2B #3Rbr $4%&'()*56789:CDEFGHIJSTUVWXYZcdefghijstuvwxyz ?|WH?cS?Ne.r˿ޱ5\YYhFOejT7PZ[qs2c/$Ep[Gqo(Nù=QHci;OipX=Ģ8d^mQeӴm1OsL/x2];i6p!zU -/uX!=<-}JFIFICC_PROFILElcmsmntrRGB XYZ  acspMSFTsawsctrl-hand=@=@t," desc_cprt wtptrXYZ,gXYZ@bXYZTrTRCh`gTRCh`bTRCh`descuRGBtextCC0XYZ TXYZ o8XYZ bXYZ $curv*|uN  bj. C$)j.~39?FWM6Tv\dluV~,6۾ewC    #%$""!&+7/&)4)!"0A149;>>>%.DIC;C  ;("(;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;<" }!1AQa"q2#BR$3br %&'()*456789:CDEFGHIJSTUVWXYZcdefghijstuvwxyz w!1AQaq"2B #3Rbr $4%&'()*56789:CDEFGHIJSTUVWXYZcdefghijstuvwxyz ?|WH?cS?Ne.r˿ޱ5\YYhFOejT7PZ[qs2c/$Ep[Gqo(Nù=QHci;OipX=Ģ8d^mQeӴm1OsL/x2];i6p!zU -/uX!=<-}JFIFICC_PROFILElcmsmntrRGB XYZ  acspMSFTsawsctrl-hand=@=@t," desc_cprt wtptrXYZ,gXYZ@bXYZTrTRCh`gTRCh`bTRCh`descuRGBtextCC0XYZ TXYZ o8XYZ bXYZ $curv*|uN  bj. C$)j.~39?FWM6Tv\dluV~,6۾ewC    #%$""!&+7/&)4)!"0A149;>>>%.DIC;C  ;("(;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;<" }!1AQa"q2#BR$3br %&'()*456789:CDEFGHIJSTUVWXYZcdefghijstuvwxyz w!1AQaq"2B #3Rbr $4%&'()*56789:CDEFGHIJSTUVWXYZcdefghijstuvwxyz ?|WH?cS?Ne.r˿ޱ5\YYhFOejT7PZ[qs2c/$Ep[Gqo(Nù=QHci;OipX=Ģ8d^mQeӴm1OsL/x2];i6p!zU -/uX!=<-}JFIFICC_PROFILElcmsmntrRGB XYZ  acspMSFTsawsctrl-hand=@=@t," desc_cprt wtptrXYZ,gXYZ@bXYZTrTRCh`gTRCh`bTRCh`descuRGBtextCC0XYZ TXYZ o8XYZ bXYZ $curv*|uN  bj. C$)j.~39?FWM6Tv\dluV~,6۾ewC    #%$""!&+7/&)4)!"0A149;>>>%.DIC;C  ;("(;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;<" }!1AQa"q2#BR$3br %&'()*456789:CDEFGHIJSTUVWXYZcdefghijstuvwxyz w!1AQaq"2B #3Rbr $4%&'()*56789:CDEFGHIJSTUVWXYZcdefghijstuvwxyz ?|WH?cS?Ne.r˿ޱ5\YYhFOejT7PZ[qs2c/$Ep[Gqo(Nù=QHci;OipX=Ģ8d^mQeӴm1OsL/x2];i6p!zU -/uX!=<-}JFIFICC_PROFILElcmsmntrRGB XYZ  acspMSFTsawsctrl-hand=@=@t," desc_cprt wtptrXYZ,gXYZ@bXYZTrTRCh`gTRCh`bTRCh`descuRGBtextCC0XYZ TXYZ o8XYZ bXYZ $curv*|uN  bj. C$)j.~39?FWM6Tv\dluV~,6۾ewC    #%$""!&+7/&)4)!"0A149;>>>%.DIC;C  ;("(;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;<" }!1AQa"q2#BR$3br %&'()*456789:CDEFGHIJSTUVWXYZcdefghijstuvwxyz w!1AQaq"2B #3Rbr $4%&'()*56789:CDEFGHIJSTUVWXYZcdefghijstuvwxyz ?|WH?cS?Ne.r˿ޱ5\YYhFOejT7PZ[qs2c/$Ep[Gqo(Nù=QHci;OipX=Ģ8d^mQeӴm1OsL/x2];i6p!zU -/uX!=<-}JFIFICC_PROFILElcmsmntrRGB XYZ  acspMSFTsawsctrl-hand=@=@t," desc_cprt wtptrXYZ,gXYZ@bXYZTrTRCh`gTRCh`bTRCh`descuRGBtextCC0XYZ TXYZ o8XYZ bXYZ $curv*|uN  bj. C$)j.~39?FWM6Tv\dluV~,6۾ewC    #%$""!&+7/&)4)!"0A149;>>>%.DIC;C  ;("(;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;<" }!1AQa"q2#BR$3br %&'()*456789:CDEFGHIJSTUVWXYZcdefghijstuvwxyz w!1AQaq"2B #3Rbr $4%&'()*56789:CDEFGHIJSTUVWXYZcdefghijstuvwxyz ?|WH?cS?Ne.r˿ޱ5\YYhFOejT7PZ[qs2c/$Ep[Gqo(Nù=QHci;OipX=Ģ8d^mQeӴm1OsL/x2];i6p!zU -/uX!=<-}JFIFICC_PROFILElcmsmntrRGB XYZ  acspMSFTsawsctrl-hand=@=@t," desc_cprt wtptrXYZ,gXYZ@bXYZTrTRCh`gTRCh`bTRCh`descuRGBtextCC0XYZ TXYZ o8XYZ bXYZ $curv*|uN  bj. C$)j.~39?FWM6Tv\dluV~,6۾ewC    #%$""!&+7/&)4)!"0A149;>>>%.DIC;C  ;("(;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;<" }!1AQa"q2#BR$3br %&'()*456789:CDEFGHIJSTUVWXYZcdefghijstuvwxyz w!1AQaq"2B #3Rbr $4%&'()*56789:CDEFGHIJSTUVWXYZcdefghijstuvwxyz ?|WH?cS?Ne.r˿ޱ5\YYhFOejT7PZ[qs2c/$Ep[Gqo(Nù=QHci;OipX=Ģ8d^mQeӴm1OsL/x2];i6p!zU -/uX!=<-}JFIFICC_PROFILElcmsmntrRGB XYZ  acspMSFTsawsctrl-hand=@=@t," desc_cprt wtptrXYZ,gXYZ@bXYZTrTRCh`gTRCh`bTRCh`descuRGBtextCC0XYZ TXYZ o8XYZ bXYZ $curv*|uN  bj. C$)j.~39?FWM6Tv\dluV~,6۾ewC    #%$""!&+7/&)4)!"0A149;>>>%.DIC;C  ;("(;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;<" }!1AQa"q2#BR$3br %&'()*456789:CDEFGHIJSTUVWXYZcdefghijstuvwxyz w!1AQaq"2B #3Rbr $4%&'()*56789:CDEFGHIJSTUVWXYZcdefghijstuvwxyz ?|WH?cS?Ne.r˿ޱ5\YYhFOejT7PZ[qs2c/$Ep[Gqo(Nù=QHci;OipX=Ģ8d^mQeӴm1OsL/x2];i6p!zU -/uX!=<-}JFIFICC_PROFILElcmsmntrRGB XYZ  acspMSFTsawsctrl-hand=@=@t," desc_cprt wtptrXYZ,gXYZ@bXYZTrTRCh`gTRCh`bTRCh`descuRGBtextCC0XYZ TXYZ o8XYZ bXYZ $curv*|uN  bj. C$)j.~39?FWM6Tv\dluV~,6۾ewC    #%$""!&+7/&)4)!"0A149;>>>%.DIC;C  ;("(;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;<" }!1AQa"q2#BR$3br %&'()*456789:CDEFGHIJSTUVWXYZcdefghijstuvwxyz w!1AQaq"2B #3Rbr $4%&'()*56789:CDEFGHIJSTUVWXYZcdefghijstuvwxyz ?|WH?cS?Ne.r˿ޱ5\YYhFOejT7PZ[qs2c/$Ep[Gqo(Nù=QHci;OipX=Ģ8d^mQeӴm1OsL/x2];i6p!zU -/uX!=<-}JFIFICC_PROFILElcmsmntrRGB XYZ  acspMSFTsawsctrl-hand=@=@t," desc_cprt wtptrXYZ,gXYZ@bXYZTrTRCh`gTRCh`bTRCh`descuRGBtextCC0XYZ TXYZ o8XYZ bXYZ $curv*|uN  bj. C$)j.~39?FWM6Tv\dluV~,6۾ewC    #%$""!&+7/&)4)!"0A149;>>>%.DIC;C  ;("(;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;<" }!1AQa"q2#BR$3br %&'()*456789:CDEFGHIJSTUVWXYZcdefghijstuvwxyz w!1AQaq"2B #3Rbr $4%&'()*56789:CDEFGHIJSTUVWXYZcdefghijstuvwxyz ?|WH?cS?Ne.r˿ޱ5\YYhFOejT7PZ[qs2c/$Ep[Gqo(Nù=QHci;OipX=Ģ8d^mQeӴm1OsL/x2];i6p!zU -/uX!=<-}JFIFICC_PROFILElcmsmntrRGB XYZ  acspMSFTsawsctrl-hand=@=@t," desc_cprt wtptrXYZ,gXYZ@bXYZTrTRCh`gTRCh`bTRCh`descuRGBtextCC0XYZ TXYZ o8XYZ bXYZ $curv*|uN  bj. C$)j.~39?FWM6Tv\dluV~,6۾ewC    #%$""!&+7/&)4)!"0A149;>>>%.DIC;C  ;("(;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;<" }!1AQa"q2#BR$3br %&'()*456789:CDEFGHIJSTUVWXYZcdefghijstuvwxyz w!1AQaq"2B #3Rbr $4%&'()*56789:CDEFGHIJSTUVWXYZcdefghijstuvwxyz ?|WH?cS?Ne.r˿ޱ5\YYhFOejT7PZ[qs2c/$Ep[Gqo(Nù=QHci;OipX=Ģ8d^mQeӴm1OsL/x2];i6p!zU -/uX!=<-}JFIFICC_PROFILElcmsmntrRGB XYZ  acspMSFTsawsctrl-hand=@=@t," desc_cprt wtptrXYZ,gXYZ@bXYZTrTRCh`gTRCh`bTRCh`descuRGBtextCC0XYZ TXYZ o8XYZ bXYZ $curv*|uN  bj. C$)j.~39?FWM6Tv\dluV~,6۾ewC    #%$""!&+7/&)4)!"0A149;>>>%.DIC;C  ;("(;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;<" }!1AQa"q2#BR$3br %&'()*456789:CDEFGHIJSTUVWXYZcdefghijstuvwxyz w!1AQaq"2B #3Rbr $4%&'()*56789:CDEFGHIJSTUVWXYZcdefghijstuvwxyz ?|WH?cS?Ne.r˿ޱ5\YYhFOejT7PZ[qs2c/$Ep[Gqo(Nù=QHci;OipX=Ģ8d^mQeӴm1OsL/x2];i6p!zU -/uX!=<-}JFIFICC_PROFILElcmsmntrRGB XYZ  acspMSFTsawsctrl-hand=@=@t," desc_cprt wtptrXYZ,gXYZ@bXYZTrTRCh`gTRCh`bTRCh`descuRGBtextCC0XYZ TXYZ o8XYZ bXYZ $curv*|uN  bj. C$)j.~39?FWM6Tv\dluV~,6۾ewC    #%$""!&+7/&)4)!"0A149;>>>%.DIC;C  ;("(;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;<" }!1AQa"q2#BR$3br %&'()*456789:CDEFGHIJSTUVWXYZcdefghijstuvwxyz w!1AQaq"2B #3Rbr $4%&'()*56789:CDEFGHIJSTUVWXYZcdefghijstuvwxyz ?|WH?cS?Ne.r˿ޱ5\YYhFOejT7PZ[qs2c/$Ep[Gqo(Nù=QHci;OipX=Ģ8d^mQeӴm1OsL/x2];i6p!zU -/uX!=<-}JFIFICC_PROFILElcmsmntrRGB XYZ  acspMSFTsawsctrl-hand=@=@t," desc_cprt wtptrXYZ,gXYZ@bXYZTrTRCh`gTRCh`bTRCh`descuRGBtextCC0XYZ TXYZ o8XYZ bXYZ $curv*|uN  bj. C$)j.~39?FWM6Tv\dluV~,6۾ewC    #%$""!&+7/&)4)!"0A149;>>>%.DIC;C  ;("(;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;<" }!1AQa"q2#BR$3br %&'()*456789:CDEFGHIJSTUVWXYZcdefghijstuvwxyz w!1AQaq"2B #3Rbr $4%&'()*56789:CDEFGHIJSTUVWXYZcdefghijstuvwxyz ?|WH?cS?Ne.r˿ޱ5\YYhFOejT7PZ[qs2c/$Ep[Gqo(Nù=QHci;OipX=Ģ8d^mQeӴm1OsL/x2];i6p!zU -/uX!=<-} .
LIBYA CYBER ARMY
Logo of a company Instagram@3g86    Server : Apache
System : Linux uta-edu.server.ly 4.18.0-513.11.1.el8_9.x86_64 #1 SMP Wed Jan 17 02:00:40 EST 2024 x86_64
User : utripoli ( 1001)
PHP Version : 7.4.33
Disable Function : NONE
Directory :  /home/utripoli/mail/cur/

Upload File :
current_dir [ Writeable ] document_root [ Writeable ]

 

Current File : /home/utripoli/mail/cur/1709528698.M209213P684796.uta-edu.server.ly,S=45243,W=46350:2,
Return-Path: <0100018e07d916a6-b83bdf33-bebd-4072-8907-bcd8111d2741-000000@amazonses.com>
Delivered-To: utripoli@uta-edu.server.ly
Received: from uta-edu.server.ly
	by uta-edu.server.ly with LMTP
	id kjZoDHpW5WX8cgoAMjYwyA
	(envelope-from <0100018e07d916a6-b83bdf33-bebd-4072-8907-bcd8111d2741-000000@amazonses.com>)
	for <utripoli@uta-edu.server.ly>; Mon, 04 Mar 2024 07:04:58 +0200
Return-path: <0100018e07d916a6-b83bdf33-bebd-4072-8907-bcd8111d2741-000000@amazonses.com>
Envelope-to: f.shawesh@utripoli.edu.ly
Delivery-date: Mon, 04 Mar 2024 07:04:58 +0200
Received: from a11-74.smtp-out.amazonses.com ([54.240.11.74]:44977)
	by uta-edu.server.ly with esmtps  (TLS1.2) tls TLS_ECDHE_RSA_WITH_AES_128_CBC_SHA256
	(Exim 4.96.2)
	(envelope-from <0100018e07d916a6-b83bdf33-bebd-4072-8907-bcd8111d2741-000000@amazonses.com>)
	id 1rh0VS-002s7C-0V
	for f.shawesh@utripoli.edu.ly;
	Mon, 04 Mar 2024 07:04:58 +0200
DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/simple;
	s=ozdwdrdkwmtyyyyjtwt2mpzbpkigb2mn; d=academia-mail.com;
	t=1709528651;
	h=Date:From:To:Message-ID:Subject:Mime-Version:Content-Type:Content-Transfer-Encoding:List-Unsubscribe:List-Unsubscribe-Post;
	bh=gm8lDASn/+VNHeHkbbozniGAZUwrY76Wk/MDAkEBtHA=;
	b=zZ128kIL/xCVueFBqFv0DrJHyi7y/M95BEmJYrjtujFF6g1Evsl/ZayoggXlPaM+
	+0dduMXvMJ5WGpWpd2jhzystI6fXA4W7lWzgGi+BZPC+6/Ukaf9prDQWEldqlsBfb2Q
	WJMTKHLjBCChBLKjCVyv1EInkwisETjeT5y3+ly4kBMCAyFDyZ/6nvhGSbb2acGXo8q
	j8slcydBU+jZItIdqz8cizIOZsXL6g3lNS2+HLo5m8Z8tgsq3DxH9+aCUSbEPWQ9xAl
	mijqfwjtn2hhU3II4rWkag3piZHjTpG55A2jn6owtd+XJYKiYxYeOwqccdHxoIio0yg
	0MRnUTwQNg==
DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/simple;
	s=224i4yxa5dv7c2xz3womw6peuasteono; d=amazonses.com; t=1709528651;
	h=Date:From:To:Message-ID:Subject:Mime-Version:Content-Type:Content-Transfer-Encoding:Feedback-ID:List-Unsubscribe:List-Unsubscribe-Post;
	bh=gm8lDASn/+VNHeHkbbozniGAZUwrY76Wk/MDAkEBtHA=;
	b=ENV2lS8ptIqaSfPTFrrJBdqf9wyPBegzS7ZgcMYSWdnmE6F4MX74bindpz9Yo7RM
	KYZFv85wrjnuvq6HDhyChnLAnWWt9ixZ1chmTgbQFoR2+EeMYbtVzTG8WWXfyNGR/W9
	KL/Jz/qIbY5JJPYfqooPQUPrOz64CEhVCSSNlrrQ=
Date: Mon, 4 Mar 2024 05:04:11 +0000
From: PDF By David L Viana <updates@academia-mail.com>
To: f.shawesh@utripoli.edu.ly
Message-ID: <0100018e07d916a6-b83bdf33-bebd-4072-8907-bcd8111d2741-000000@email.amazonses.com>
Subject: =?UTF-8?Q?=F0=9F=93=84_=22formal_methods_in_architecture_BOOK_OF?=
 =?UTF-8?Q?_ABSTRACTS_4th_international_symposium=22_by_David_L_Viana?=
Mime-Version: 1.0
Content-Type: multipart/alternative;
 boundary="--==_mimepart_65e55647ce996_12323dd41049570";
 charset=UTF-8
Content-Transfer-Encoding: 7bit
x-tracking-token: uEHMw-RGm6s0v-bw1NWC
Feedback-ID: 1.us-east-1.bqmWhGOvaAw67yO/RHFZWFIvuqFl634P02VYsHCmAz0=:AmazonSES
x-campaignid: upload_related_back_catalog_continue_reading
List-Unsubscribe: <mailto:unsubscribe@academia-noreply.com?subject=WDdWd1M1cnpBYWVqRmpiMjNSS0FBNU10S0JiT2pCQjBlYUNCczdRRUxxWXY5KzR5MjBicmdXYVlIQlRtaDh2TEtLeFNpYVhvVHRMQUxVUUlHYjFCQlNPSE1KZXZrUmRMWjVFeEdveTFHdnVKaXRHRHJCL0pYUEVpWVBwZzhnTlZhbEh6dHExVlh6bi9Rd2VJMHZKQVFjZzk2T3hyTE9lM3MwLzV6RXAxMFNFazU2bmY4RDZkeG4xZENCZXNrVWpkREdMQkxxdjczT1dIVEU0djhqOXJnUT09LS1abTZRQ2lYOGcxSFdEcHdmRnJISGVRPT0=--0c870f879efc534f6a75130b95432930c0ed6b6b>
List-Unsubscribe-Post: List-Unsubscribe=One-Click
X-SES-Outgoing: 2024.03.04-54.240.11.74
X-Spam-Status: No, score=0.1
X-Spam-Score: 1
X-Spam-Bar: /
X-Ham-Report: Spam detection software, running on the system "uta-edu.server.ly",
 has NOT identified this incoming email as spam.  The original
 message has been attached to this so you can view it or label
 similar future email.  If you have any questions, see
 root\@localhost for details.
 Content preview:  From your Reading History: formal methods in architecture
   BOOK OF ABSTRACTS 4th international symposium by: DAVID L VIANA AND JORGE
   VAZ view: https://www.academia.edu/keypass/YVpsQVhXZXFPVHgyVDZIVE5ySlA4YStBNS94ZEwxb2JQWUNXdUQw
    [...] 
 Content analysis details:   (0.1 points, 5.0 required)
  pts rule name              description
 ---- ---------------------- --------------------------------------------------
  0.0 URIBL_BLOCKED          ADMINISTRATOR NOTICE: The query to URIBL was
                             blocked.  See
                             http://wiki.apache.org/spamassassin/DnsBlocklists#dnsbl-block
                              for more information.
                             [URIs: academia-photos.com]
 -0.0 SPF_PASS               SPF: sender matches SPF record
  0.2 HEADER_FROM_DIFFERENT_DOMAINS From and EnvelopeFrom 2nd level
                             mail domains are different
  0.0 HTML_MESSAGE           BODY: HTML included in message
  0.0 HTML_FONT_LOW_CONTRAST BODY: HTML font color similar or
                             identical to background
 -0.1 DKIM_VALID_EF          Message has a valid DKIM or DK signature from
                             envelope-from domain
 -0.1 DKIM_VALID_AU          Message has a valid DKIM or DK signature from
                             author's domain
 -0.1 DKIM_VALID             Message has at least one valid DKIM or DK signature
  0.1 DKIM_SIGNED            Message has a DKIM or DK signature, not necessarily
                             valid
 -0.0 T_SCC_BODY_TEXT_LINE   No description available.
  0.0 T_KAM_HTML_FONT_INVALID Test for Invalidly Named or Formatted
                             Colors in HTML
X-Spam-Flag: NO


----==_mimepart_65e55647ce996_12323dd41049570
Content-Type: text/plain;
 charset=UTF-8
Content-Transfer-Encoding: 7bit

From your Reading History:

formal methods in architecture BOOK OF ABSTRACTS 4th international symposium
  by: DAVID L VIANA AND JORGE VAZ
  view: https://www.academia.edu/keypass/YVpsQVhXZXFPVHgyVDZIVE5ySlA4YStBNS94ZEwxb2JQWUNXdUQwanpXWT0tLVIzdVNYZmVwRm0xejBabDBXWVNqemc9PQ==--0cd734df897b80d9d34e5957cd003eed1509e48c/t/uEHMw-RGm6s0v-bw1NWC/36543064/formal_methods_in_architecture_BOOK_OF_ABSTRACTS_4th_international_symposium


-----

Follow the link below to disable these notifications:

https://academia.edu/keypass/YVpsQVhXZXFPVHgyVDZIVE5ySlA4YStBNS94ZEwxb2JQWUNXdUQwanpXWT0tLVIzdVNYZmVwRm0xejBabDBXWVNqemc9PQ==--0cd734df897b80d9d34e5957cd003eed1509e48c/t/uEHMw-RGm6s0v-bw1NWC/confirm_unsubscribe/continue_reading

Academia.edu, 580 California St., Suite 400, San Francisco, CA, 94104

----==_mimepart_65e55647ce996_12323dd41049570
Content-Type: text/html;
 charset=UTF-8
Content-Transfer-Encoding: quoted-printable

<!DOCTYPE html>
<html xmlns=3D"http://www.w3.org/1999/xhtml" style=3D"min-height: 100%; b=
ackground-color: #ddd;">
<head>
<meta content=3D"text/html; charset=3Dutf-8" http-equiv=3D"Content-Type">=

<meta content=3D"width=3Ddevice-width" name=3D"viewport">

<style type=3D"text/css" data-premailer=3D"ignore">@media only screen and=
 (max-width: 480px){.research-interest{max-width:350px}.container-row{wid=
th:450px !important}}@media only screen and (max-width: 350px){.container=
-row{width:290px !important}.research-interest{max-width:200px}.work-card=
-thumbnail-container{display:none}}
</style>
<style>.u-hover-bgColorAqua:hover {
background-color: cyan !important;
}
.u-hover-bgColorBlue:hover {
background-color: #0954D3 !important;
}
.u-hover-bgColorBlueLight:hover {
background-color: #99B1C4 !important;
}
.u-hover-bgColorBlueLighter:hover {
background-color: #c3d2dd !important;
}
.u-hover-bgColorBlueLightest:hover {
background-color: #eff3f6 !important;
}
.u-hover-bgColorGreen:hover {
background-color: #1A8A20 !important;
}
.u-hover-bgColorRed:hover {
background-color: #e83a30 !important;
}
.u-hover-bgColorOrange:hover {
background-color: #e86830 !important;
}
.u-hover-bgColorYellow:hover {
background-color: #e8b730 !important;
}
.u-hover-bgColorPurple:hover {
background-color: #8400bc !important;
}
.u-hover-bgColorWhite:hover {
background-color: #fff !important;
}
.u-hover-bgColorBlack:hover {
background-color: #000 !important;
}
.u-hover-bgColorGrayDarkest:hover {
background-color: #4b4b4b !important;
}
.u-hover-bgColorGrayDarker:hover {
background-color: #777 !important;
}
.u-hover-bgColorGrayDark:hover {
background-color: #999 !important;
}
.u-hover-bgColorGray:hover {
background-color: #ccc !important;
}
.u-hover-bgColorGrayLight:hover {
background-color: #ddd !important;
}
.u-hover-bgColorGrayLighter:hover {
background-color: #f1f1f1 !important;
}
.u-hover-bgColorGrayLightest:hover {
background-color: #f8f8f8 !important;
}
.u-hover-bgColorPremium:hover {
background-color: #f67e00 !important;
}
.u-hover-bgColorTransparent:hover {
background-color: rgba(0,0,0,0) !important;
}
.u-hover-bgColorGoogleRed:hover {
background-color: #dc4b38 !important;
}
.u-hover-bgColorGoogle:hover {
background-color: #4285F4 !important;
}
.u-hover-bgColorGreenDiscount:hover {
background-color: #4BC012 !important;
}
.u-hover-bgColorGreenPremium:hover {
background-color: #4BC012 !important;
}
.u-hover-bgColorBlueStudent:hover {
background-color: #288AE2 !important;
}
.u-hover-bgColorReefGold:hover {
background-color: #AD9333 !important;
}
.u-hover-opacity0_5:hover {
opacity: .5 !important;
}
.u-hover-opacity1:hover {
opacity: 1 !important;
}
.u-onHover-tcAqua:hover {
color: cyan !important;
}
.u-onHover-tcBlue:hover {
color: #0954D3 !important;
}
.u-onHover-tcBlueLight:hover {
color: #99B1C4 !important;
}
.u-onHover-tcBlueLighter:hover {
color: #c3d2dd !important;
}
.u-onHover-tcBlueLightest:hover {
color: #eff3f6 !important;
}
.u-onHover-tcGreen:hover {
color: #1A8A20 !important;
}
.u-onHover-tcRed:hover {
color: #e83a30 !important;
}
.u-onHover-tcOrange:hover {
color: #e86830 !important;
}
.u-onHover-tcYellow:hover {
color: #e8b730 !important;
}
.u-onHover-tcPurple:hover {
color: #8400bc !important;
}
.u-onHover-tcWhite:hover {
color: #fff !important;
}
.u-onHover-tcBlack:hover {
color: #000 !important;
}
.u-onHover-tcGrayDarkest:hover {
color: #4b4b4b !important;
}
.u-onHover-tcGrayDarker:hover {
color: #777 !important;
}
.u-onHover-tcGrayDark:hover {
color: #999 !important;
}
.u-onHover-tcGray:hover {
color: #ccc !important;
}
.u-onHover-tcGrayLight:hover {
color: #ddd !important;
}
.u-onHover-tcGrayLighter:hover {
color: #f1f1f1 !important;
}
.u-onHover-tcGrayLightest:hover {
color: #f8f8f8 !important;
}
.u-onHover-tcPremium:hover {
color: #f67e00 !important;
}
.u-onHover-tcTransparent:hover {
color: rgba(0,0,0,0) !important;
}
.u-onHover-tcGoogleRed:hover {
color: #dc4b38 !important;
}
.u-onHover-tcGoogle:hover {
color: #4285F4 !important;
}
.u-onHover-tcGreenDiscount:hover {
color: #4BC012 !important;
}
.u-onHover-tcGreenPremium:hover {
color: #4BC012 !important;
}
.u-onHover-tcBlueStudent:hover {
color: #288AE2 !important;
}
.u-onHover-tcReefGold:hover {
color: #AD9333 !important;
}
.u-textDecorationLink:hover {
text-decoration: underline !important; cursor: pointer;
}
.u-textDecorationNone:hover {
text-decoration: none !important;
}
.u-linkUnstyled:hover {
color: inherit; cursor: pointer;
}
.u-commaList>li:only-of-type:before {
content: ''; padding: 0;
}
.u-commaList>li:only-of-type:after {
content: ''; padding: 0;
}
.u-commaList>li:after {
content: ', '; padding-right: 0;
}
.u-commaList>li:last-child:after {
content: ''; clear: both;
}
.u-showOnFocus:focus {
position: static; width: auto; height: auto;
}
body {
width: 100% !important; min-width: 100%; -webkit-text-size-adjust: 100%; =
-ms-text-size-adjust: 100%; margin: 0; padding: 0; box-sizing: border-box=
;
}
.ExternalClass {
width: 100%;
}
.ExternalClass {
line-height: 100%;
}
#backgroundTable {
margin: 0; padding: 0; width: 100% !important; line-height: 100% !importa=
nt;
}
img {
outline: none; text-decoration: none; -ms-interpolation-mode: bicubic; wi=
dth: auto; max-width: 100%; clear: both; display: block;
}
body {
color: #000; font-family: Helvetica,Arial,sans-serif; font-weight: normal=
; padding: 0; margin: 0; text-align: left; line-height: 150%;
}
body {
font-size: 16px; line-height: 150%;
}
a:hover {
color: #166dba;
}
a:active {
color: #166dba;
}
a:visited {
color: #1E88E5;
}
h1 a:visited {
color: #1E88E5;
}
h2 a:visited {
color: #1E88E5;
}
h3 a:visited {
color: #1E88E5;
}
h4 a:visited {
color: #1E88E5;
}
h5 a:visited {
color: #1E88E5;
}
h6 a:visited {
color: #1E88E5;
}
table.button:hover table tr td a {
color: #fefefe;
}
table.button:active table tr td a {
color: #fefefe;
}
table.button table tr td a:visited {
color: #fefefe;
}
table.button.tiny:hover table tr td a {
color: #fefefe;
}
table.button.tiny:active table tr td a {
color: #fefefe;
}
table.button.tiny table tr td a:visited {
color: #fefefe;
}
table.button.small:hover table tr td a {
color: #fefefe;
}
table.button.small:active table tr td a {
color: #fefefe;
}
table.button.small table tr td a:visited {
color: #fefefe;
}
table.button.large:hover table tr td a {
color: #fefefe;
}
table.button.large:active table tr td a {
color: #fefefe;
}
table.button.large table tr td a:visited {
color: #fefefe;
}
table.button:hover table td {
background: #166dba; color: #fefefe;
}
table.button:visited table td {
background: #166dba; color: #fefefe;
}
table.button:active table td {
background: #166dba; color: #fefefe;
}
table.button:hover table a {
border: 0 solid #166dba;
}
table.button:visited table a {
border: 0 solid #166dba;
}
table.button:active table a {
border: 0 solid #166dba;
}
table.button.secondary:hover table td {
background: #919191; color: #fefefe;
}
table.button.secondary:hover table a {
border: 0 solid #919191;
}
table.button.secondary:hover table td a {
color: #fefefe;
}
table.button.secondary:active table td a {
color: #fefefe;
}
table.button.secondary table td a:visited {
color: #fefefe;
}
table.button.success:hover table td {
background: #39910e;
}
table.button.success:hover table a {
border: 0 solid #39910e;
}
table.button.alert:hover table td {
background: #e23317;
}
table.button.alert:hover table a {
border: 0 solid #e23317;
}
table.button.warning:hover table td {
background: #cc8b00;
}
table.button.warning:hover table a {
border: 0px solid #cc8b00;
}
.thumbnail:hover {
box-shadow: 0 0 6px 1px rgba(30,136,229,0.5);
}
.thumbnail:focus {
box-shadow: 0 0 6px 1px rgba(30,136,229,0.5);
}
body.outlook p {
display: inline !important;
}
@media only screen and (max-width: 624px) {
  .small-float-center {
    margin: 0 auto !important; float: none !important; text-align: center=
 !important;
  }
  .small-text-center {
    text-align: center !important;
  }
  .small-text-left {
    text-align: left !important;
  }
  .small-text-right {
    text-align: right !important;
  }
  .hide-for-large {
    display: block !important; width: auto !important; overflow: visible =
!important; max-height: none !important; font-size: inherit !important; l=
ine-height: inherit !important;
  }
  table.body table.container .hide-for-large {
    display: table !important; width: 100% !important;
  }
  table.body table.container .row.hide-for-large {
    display: table !important; width: 100% !important;
  }
  table.body table.container .callout-inner.hide-for-large {
    display: table-cell !important; width: 100% !important;
  }
  table.body table.container .show-for-large {
    display: none !important; width: 0; mso-hide: all; overflow: hidden;
  }
  table.body img {
    width: auto; height: auto;
  }
  table.body center {
    min-width: 0 !important;
  }
  table.body .container {
    width: 95% !important;
  }
  table.body .columns {
    height: auto !important; box-sizing: border-box; padding-left: 24px !=
important; padding-right: 24px !important;
  }
  table.body .column {
    height: auto !important; box-sizing: border-box; padding-left: 24px !=
important; padding-right: 24px !important;
  }
  table.body .columns .column {
    padding-left: 0 !important; padding-right: 0 !important;
  }
  table.body .columns .columns {
    padding-left: 0 !important; padding-right: 0 !important;
  }
  table.body .column .column {
    padding-left: 0 !important; padding-right: 0 !important;
  }
  table.body .column .columns {
    padding-left: 0 !important; padding-right: 0 !important;
  }
  table.body .collapse .columns {
    padding-left: 0 !important; padding-right: 0 !important;
  }
  table.body .collapse .column {
    padding-left: 0 !important; padding-right: 0 !important;
  }
  td.small-1 {
    display: inline-block !important; width: 8.333333% !important;
  }
  th.small-1 {
    display: inline-block !important; width: 8.333333% !important;
  }
  td.small-2 {
    display: inline-block !important; width: 16.666666% !important;
  }
  th.small-2 {
    display: inline-block !important; width: 16.666666% !important;
  }
  td.small-3 {
    display: inline-block !important; width: 25% !important;
  }
  th.small-3 {
    display: inline-block !important; width: 25% !important;
  }
  td.small-4 {
    display: inline-block !important; width: 33.333333% !important;
  }
  th.small-4 {
    display: inline-block !important; width: 33.333333% !important;
  }
  td.small-5 {
    display: inline-block !important; width: 41.666666% !important;
  }
  th.small-5 {
    display: inline-block !important; width: 41.666666% !important;
  }
  td.small-6 {
    display: inline-block !important; width: 50% !important;
  }
  th.small-6 {
    display: inline-block !important; width: 50% !important;
  }
  td.small-7 {
    display: inline-block !important; width: 58.333333% !important;
  }
  th.small-7 {
    display: inline-block !important; width: 58.333333% !important;
  }
  td.small-8 {
    display: inline-block !important; width: 66.666666% !important;
  }
  th.small-8 {
    display: inline-block !important; width: 66.666666% !important;
  }
  td.small-9 {
    display: inline-block !important; width: 75% !important;
  }
  th.small-9 {
    display: inline-block !important; width: 75% !important;
  }
  td.small-10 {
    display: inline-block !important; width: 83.333333% !important;
  }
  th.small-10 {
    display: inline-block !important; width: 83.333333% !important;
  }
  td.small-11 {
    display: inline-block !important; width: 91.666666% !important;
  }
  th.small-11 {
    display: inline-block !important; width: 91.666666% !important;
  }
  td.small-12 {
    display: inline-block !important; width: 100% !important;
  }
  th.small-12 {
    display: inline-block !important; width: 100% !important;
  }
  .columns td.small-12 {
    display: block !important; width: 100% !important;
  }
  .column td.small-12 {
    display: block !important; width: 100% !important;
  }
  .columns th.small-12 {
    display: block !important; width: 100% !important;
  }
  .column th.small-12 {
    display: block !important; width: 100% !important;
  }
  table.body td.small-offset-1 {
    margin-left: 8.333333% !important;
  }
  table.body th.small-offset-1 {
    margin-left: 8.333333% !important;
  }
  table.body td.small-offset-2 {
    margin-left: 16.666666% !important;
  }
  table.body th.small-offset-2 {
    margin-left: 16.666666% !important;
  }
  table.body td.small-offset-3 {
    margin-left: 25% !important;
  }
  table.body th.small-offset-3 {
    margin-left: 25% !important;
  }
  table.body td.small-offset-4 {
    margin-left: 33.333333% !important;
  }
  table.body th.small-offset-4 {
    margin-left: 33.333333% !important;
  }
  table.body td.small-offset-5 {
    margin-left: 41.666666% !important;
  }
  table.body th.small-offset-5 {
    margin-left: 41.666666% !important;
  }
  table.body td.small-offset-6 {
    margin-left: 50% !important;
  }
  table.body th.small-offset-6 {
    margin-left: 50% !important;
  }
  table.body td.small-offset-7 {
    margin-left: 58.333333% !important;
  }
  table.body th.small-offset-7 {
    margin-left: 58.333333% !important;
  }
  table.body td.small-offset-8 {
    margin-left: 66.666666% !important;
  }
  table.body th.small-offset-8 {
    margin-left: 66.666666% !important;
  }
  table.body td.small-offset-9 {
    margin-left: 75% !important;
  }
  table.body th.small-offset-9 {
    margin-left: 75% !important;
  }
  table.body td.small-offset-10 {
    margin-left: 83.333333% !important;
  }
  table.body th.small-offset-10 {
    margin-left: 83.333333% !important;
  }
  table.body td.small-offset-11 {
    margin-left: 91.666666% !important;
  }
  table.body th.small-offset-11 {
    margin-left: 91.666666% !important;
  }
  table.body table.columns td.expander {
    display: none !important;
  }
  table.body table.columns th.expander {
    display: none !important;
  }
  table.body .right-text-pad {
    padding-left: 10px !important;
  }
  table.body .text-pad-right {
    padding-left: 10px !important;
  }
  table.body .left-text-pad {
    padding-right: 10px !important;
  }
  table.body .text-pad-left {
    padding-right: 10px !important;
  }
  table.menu {
    width: 100% !important;
  }
  table.menu td {
    width: auto !important; display: inline-block !important;
  }
  table.menu th {
    width: auto !important; display: inline-block !important;
  }
  table.menu.vertical td {
    display: block !important;
  }
  table.menu.vertical th {
    display: block !important;
  }
  table.menu.small-vertical td {
    display: block !important;
  }
  table.menu.small-vertical th {
    display: block !important;
  }
  table.menu[align=3D"center"] {
    width: auto !important;
  }
  table.button.small-expand {
    width: 100% !important;
  }
  table.button.small-expanded {
    width: 100% !important;
  }
  table.button.small-expand table {
    width: 100%;
  }
  table.button.small-expanded table {
    width: 100%;
  }
  table.button.small-expand table a {
    text-align: center !important; width: 100% !important; padding-left: =
0 !important; padding-right: 0 !important;
  }
  table.button.small-expanded table a {
    text-align: center !important; width: 100% !important; padding-left: =
0 !important; padding-right: 0 !important;
  }
  table.button.small-expand center {
    min-width: 0;
  }
  table.button.small-expanded center {
    min-width: 0;
  }
  .hide-for-large-fix-2-2-2 {
    display: block !important; width: auto !important; overflow: visible =
!important; max-height: none !important; font-size: inherit !important; l=
ine-height: inherit !important;
  }
  .fs32-lineHeight1_2-on-small {
    font-size: 32px !important; line-height: 1.2 !important;
  }
}
</style>
</head>
<body style=3D"width: 100% !important; min-width: 100%; -webkit-text-size=
-adjust: 100%; -ms-text-size-adjust: 100%; box-sizing: border-box; color:=
 #000; font-family: Helvetica,Arial,sans-serif; font-weight: normal; text=
-align: left; line-height: 150%; font-size: 16px; margin: 0; padding: 0;"=
>
<img border=3D"0" height=3D"1" src=3D"https://www.academia.edu/t/uEHMw-RG=
m6s0v-bw1NWC/images/clear.gif" width=3D"1" style=3D"outline: none; text-d=
ecoration: none; -ms-interpolation-mode: bicubic; width: auto; max-width:=
 100%; clear: both; display: block;"><table class=3D"body" data-made-with=
-foundation=3D"" style=3D"background-color: white; border-spacing: 0; bor=
der-collapse: collapse; vertical-align: top; text-align: left; height: 10=
0%; width: 100%; color: #000; font-family: Helvetica,Arial,sans-serif; fo=
nt-weight: normal; line-height: 150%; font-size: 16px; margin: 0; padding=
: 0;"><tr style=3D"vertical-align: top; text-align: left; padding: 0;"><t=
d align=3D"center" class=3D"center" valign=3D"top" style=3D"word-wrap: br=
eak-word; -webkit-hyphens: none; -ms-hyphens: none; hyphens: none; border=
-collapse: collapse !important; vertical-align: top; text-align: left; co=
lor: #000; font-family: Helvetica,Arial,sans-serif; font-weight: normal; =
line-height: 150%; font-size: 16px; word-break: break-word; margin: 0; pa=
dding: 0;"><center style=3D"width: 100%; min-width: 600px;">
<container class=3D"container--header" style=3D"background-color: transpa=
rent !important;"><row><columns style=3D"padding-bottom: 0px;"><center st=
yle=3D"max-width: 600px; width: 100%; min-width: 600px;"></center></colum=
ns></row><row><columns style=3D"padding-bottom: 0px;"><center data-parsed=
=3D"" style=3D"width: 100%; min-width: 600px;"><table class=3D"button--no=
Border" style=3D"border-spacing: 0; border-collapse: collapse; vertical-a=
lign: top; text-align: left; width: auto; margin: 0px; padding: 0;"><tr s=
tyle=3D"vertical-align: top; text-align: left; padding: 0;"><td style=3D"=
word-wrap: break-word; -webkit-hyphens: none; -ms-hyphens: none; hyphens:=
 none; border-collapse: collapse !important; vertical-align: top; text-al=
ign: left; color: #000; font-family: Helvetica,Arial,sans-serif; font-wei=
ght: normal; line-height: 150%; font-size: 16px; word-break: break-word; =
margin: 0; padding: 0;"><table style=3D"border-spacing: 0; border-collaps=
e: collapse; vertical-align: top; text-align: left; padding: 0;"><tr styl=
e=3D"vertical-align: top; text-align: left; padding: 0;"><td style=3D"bac=
kground-color: inherit; word-wrap: break-word; -webkit-hyphens: none; -ms=
-hyphens: none; hyphens: none; border-collapse: collapse !important; vert=
ical-align: top; text-align: center; color: #fefefe; font-family: Helveti=
ca,Arial,sans-serif; font-weight: normal; line-height: 150%; font-size: 1=
6px; word-break: break-word; margin: 0; padding: 0; border-style: none;">=
<a style=3D"color: #fefefe; font-family: Helvetica,Arial,sans-serif; font=
-weight: bold; text-align: center; line-height: 150%; text-decoration: no=
ne; font-size: 16px; display: inline-block; border-radius: 3px; margin: 0=
; padding: 0px; border-style: none;" title=3D"Academia.edu" href=3D"https=
://www.academia.edu/t/uEHMw-RGm6s0v-bw1NWC/"><img alt=3D"Academia.edu" st=
yle=3D"max-width: 265px; width: auto; height: auto; outline: none; text-d=
ecoration: none; -ms-interpolation-mode: bicubic; clear: both; display: b=
lock; border-style: none;" src=3D"http://a.academia-assets.com/images/ema=
ils/inky/Academia.Logo.Shadow.png"></a></td></tr></table></td></tr></tabl=
e></center></columns></row></container><table style=3D"width: 100%; max-w=
idth: 600px; border-spacing: 0; border-collapse: collapse; vertical-align=
: top; text-align: left; padding: 0;"><tr style=3D"vertical-align: top; t=
ext-align: left; padding: 0;">
<td style=3D"word-wrap: break-word; -webkit-hyphens: none; -ms-hyphens: n=
one; hyphens: none; border-collapse: collapse !important; vertical-align:=
 top; text-align: left; color: #000; font-family: Helvetica,Arial,sans-se=
rif; font-weight: normal; line-height: 150%; font-size: 16px; word-break:=
 break-word; margin: 0; padding: 0;"></td>
<td style=3D"width: 600px; word-wrap: break-word; -webkit-hyphens: none; =
-ms-hyphens: none; hyphens: none; border-collapse: collapse !important; v=
ertical-align: top; text-align: left; color: #000; font-family: Helvetica=
,Arial,sans-serif; font-weight: normal; line-height: 150%; font-size: 16p=
x; word-break: break-word; margin: 0; padding: 0;"><center style=3D"width=
: 100%; min-width: 600px;">
<table style=3D"border-spacing: 0; border-collapse: collapse; vertical-al=
ign: top; text-align: left; padding: 0;">
<tr style=3D"vertical-align: top; text-align: left; padding: 0;"><td clas=
s=3D"container-row u-ph1x" style=3D"word-wrap: break-word; -webkit-hyphen=
s: none; -ms-hyphens: none; hyphens: none; border-collapse: collapse !imp=
ortant; vertical-align: top; text-align: left; color: #000; font-family: =
Helvetica,Arial,sans-serif; font-weight: normal; line-height: 150%; font-=
size: 16px; word-break: break-word; margin: 0; padding: 0 4px;"><hr style=
=3D"margin: 0px; border: 1px solid #ddd;"></td></tr>
<tr style=3D"vertical-align: top; text-align: left; padding: 0;"><td clas=
s=3D"container-row u-ph1x" style=3D"word-wrap: break-word; -webkit-hyphen=
s: none; -ms-hyphens: none; hyphens: none; border-collapse: collapse !imp=
ortant; vertical-align: top; text-align: left; color: #000; font-family: =
Helvetica,Arial,sans-serif; font-weight: normal; line-height: 150%; font-=
size: 16px; word-break: break-word; margin: 0; padding: 0 4px;">
<br><p class=3D"u-mb9x" style=3D"color: #000; font-family: Helvetica,Aria=
l,sans-serif; font-weight: normal; text-align: left; line-height: 150%; f=
ont-size: 16px; margin: 0 0 36px; padding: 0;">From your Reading History:=
</p>
</td></tr>
<tr style=3D"vertical-align: top; text-align: left; padding: 0;"><td clas=
s=3D"container-row u-ph1x" style=3D"word-wrap: break-word; -webkit-hyphen=
s: none; -ms-hyphens: none; hyphens: none; border-collapse: collapse !imp=
ortant; vertical-align: top; text-align: left; color: #000; font-family: =
Helvetica,Arial,sans-serif; font-weight: normal; line-height: 150%; font-=
size: 16px; word-break: break-word; margin: 0; padding: 0 4px;">

<table class=3D"box u-borderBottom1 u-borderColorGrayDark" style=3D"width=
: 100%; background-color: #FCFCFC; border-spacing: 0; border-collapse: se=
parate; vertical-align: top; text-align: left; border-radius: 20px; overf=
low: hidden; margin-bottom: 24px; padding: 0; border: 1px solid #999;"><t=
r style=3D"vertical-align: top; text-align: left; padding: 0;"><td class=3D=
"paper-top" style=3D"width: 100%; word-wrap: break-word; -webkit-hyphens:=
 none; -ms-hyphens: none; hyphens: none; border-collapse: collapse !impor=
tant; vertical-align: top; text-align: left; color: #000; font-family: He=
lvetica,Arial,sans-serif; font-weight: normal; line-height: 150%; font-si=
ze: 16px; word-break: break-word; margin: 0; padding: 24px;">
<table style=3D"width: 100%; border-spacing: 0; border-collapse: collapse=
; vertical-align: top; text-align: left; padding: 0;">
<tr style=3D"width: 100%; vertical-align: top; text-align: left; padding:=
 0;"><td class=3D"work-card-title-container" colspan=3D"2" style=3D"word-=
wrap: break-word; -webkit-hyphens: none; -ms-hyphens: none; hyphens: none=
; border-collapse: collapse !important; vertical-align: top; text-align: =
left; color: #000; font-family: Helvetica,Arial,sans-serif; font-weight: =
normal; line-height: 150%; font-size: 16px; word-break: break-word; overf=
low: hidden; text-overflow: ellipsis; text-decoration: underline; margin:=
 0; padding: 0;"><a class=3D"work-card-title" href=3D"https://www.academi=
a.edu/keypass/YVpsQVhXZXFPVHgyVDZIVE5ySlA4YStBNS94ZEwxb2JQWUNXdUQwanpXWT0=
tLVIzdVNYZmVwRm0xejBabDBXWVNqemc9PQ=3D=3D--0cd734df897b80d9d34e5957cd003e=
ed1509e48c/t/uEHMw-RGm6s0v-bw1NWC/resource/work/36543064/formal_methods_i=
n_architecture_BOOK_OF_ABSTRACTS_4th_international_symposium?email_work_c=
ard=3Dtitle" style=3D"color: #333; font-family: Georgia, Times, 'Times Ne=
w Roman', serif; font-weight: normal; text-align: left; line-height: 1.3e=
m; text-decoration: none; display: block; font-size: 24px; margin: 0 0 10=
px; padding: 0;">formal methods in architecture BOOK OF ABSTRACTS 4th int=
ernational symposium</a></td></tr>
<tr style=3D"width: 100%; vertical-align: top; text-align: left; padding:=
 0;">
<td class=3D"work-card-thumbnail-container" style=3D"max-height: 165px; w=
ord-wrap: break-word; -webkit-hyphens: none; -ms-hyphens: none; hyphens: =
none; border-collapse: collapse !important; vertical-align: middle; text-=
align: center; color: #000; font-family: Helvetica,Arial,sans-serif; font=
-weight: normal; line-height: 150%; font-size: 16px; word-break: break-wo=
rd; box-shadow: none; max-width: 100%; margin: 0; padding: 0 36px 0 0;"><=
a class=3D"work-card-thumbnail-anchor" href=3D"https://www.academia.edu/k=
eypass/YVpsQVhXZXFPVHgyVDZIVE5ySlA4YStBNS94ZEwxb2JQWUNXdUQwanpXWT0tLVIzdV=
NYZmVwRm0xejBabDBXWVNqemc9PQ=3D=3D--0cd734df897b80d9d34e5957cd003eed1509e=
48c/t/uEHMw-RGm6s0v-bw1NWC/resource/work/36543064/formal_methods_in_archi=
tecture_BOOK_OF_ABSTRACTS_4th_international_symposium?email_work_card=3Dt=
humbnail" style=3D"color: #1E88E5; font-family: Helvetica,Arial,sans-seri=
f; font-weight: normal; text-align: left; line-height: 150%; text-decorat=
ion: none; margin: 0; padding: 0;"><img width=3D"220" class=3D"work-card-=
thumbnail-image" alt=3D"Paper Thumbnail" src=3D"https://0.academia-photos=
.com/attachment_thumbnails/56466218/mini_magick20190112-9884-ax8npx.png?1=
547282377" style=3D"outline: none; text-decoration: none; -ms-interpolati=
on-mode: bicubic; width: auto; max-width: 100%; clear: both; display: blo=
ck; min-width: 180px; max-height: 285px; border: 2px solid #e1e1e1;"></a>=
</td>
<td class=3D"work-card-info-container" style=3D"word-wrap: break-word; -w=
ebkit-hyphens: none; -ms-hyphens: none; hyphens: none; border-collapse: c=
ollapse !important; vertical-align: top; text-align: left; color: #000; f=
ont-family: Helvetica,Arial,sans-serif; font-weight: normal; line-height:=
 150%; font-size: 16px; word-break: break-word; margin: 0; padding: 0;"><=
table style=3D"border-spacing: 0; border-collapse: collapse; vertical-ali=
gn: top; text-align: left; padding: 0;">
<tr style=3D"vertical-align: top; text-align: left; padding: 0;"><td styl=
e=3D"word-wrap: break-word; -webkit-hyphens: none; -ms-hyphens: none; hyp=
hens: none; border-collapse: collapse !important; vertical-align: top; te=
xt-align: left; color: #000; font-family: Helvetica,Arial,sans-serif; fon=
t-weight: normal; line-height: 150%; font-size: 16px; word-break: break-w=
ord; margin: 0; padding: 0;"><a class=3D"work-card-author" href=3D"https:=
//iscte-iul.academia.edu/keypass/YVpsQVhXZXFPVHgyVDZIVE5ySlA4YStBNS94ZEwx=
b2JQWUNXdUQwanpXWT0tLVIzdVNYZmVwRm0xejBabDBXWVNqemc9PQ=3D=3D--0cd734df897=
b80d9d34e5957cd003eed1509e48c/t/uEHMw-RGm6s0v-bw1NWC/David_Leite_Viana" s=
tyle=3D"color: #000000; font-family: Helvetica; font-weight: normal; text=
-align: left; line-height: 28px; text-decoration: none; font-size: 15px; =
letter-spacing: 0.4px; margin: 0; padding: 0;"><img class=3D"work-card-pr=
ofile-pic" width=3D"28" height=3D"28" alt=3D"Author Photo" border=3D"0" s=
rc=3D"https://0.academia-photos.com/46001706/12181948/36392636/s65_david.=
viana.jpg" style=3D"outline: none; text-decoration: none; -ms-interpolati=
on-mode: bicubic; width: auto; max-width: 100%; clear: both; display: inl=
ine; vertical-align: middle; height: 24px; border-radius: 50%; font-famil=
y: Helvetica; font-weight: bold; letter-spacing: 0.4px; color: #000000; b=
order-style: none;">=C2=A0David L Viana</a></td></tr>
<tr style=3D"min-height: 20px; vertical-align: top; text-align: left; pad=
ding: 0;"><td style=3D"word-wrap: break-word; -webkit-hyphens: none; -ms-=
hyphens: none; hyphens: none; border-collapse: collapse !important; verti=
cal-align: top; text-align: left; color: #000; font-family: Helvetica,Ari=
al,sans-serif; font-weight: normal; line-height: 150%; font-size: 16px; w=
ord-break: break-word; margin: 0; padding: 0;"><div class=3D"stat-num-ema=
il-stats u-mb3x u-mt2x" style=3D"margin-top: 8px !important; margin-botto=
m: 12px !important; font-size: 13px; overflow: hidden; margin-right: 4px;=
 font-family: 'Helvetica Neue', sans-serif; line-height: 15px; color: #77=
7777;">597=C2=A0Views=C2=A0</div></td></tr>
<tr style=3D"vertical-align: top; text-align: left; padding: 0;"><td styl=
e=3D"word-wrap: break-word; -webkit-hyphens: none; -ms-hyphens: none; hyp=
hens: none; border-collapse: collapse !important; vertical-align: top; te=
xt-align: left; color: #000; font-family: Helvetica,Arial,sans-serif; fon=
t-weight: normal; line-height: 150%; font-size: 16px; word-break: break-w=
ord; margin: 0; padding: 0;"><table style=3D"border-spacing: 0; border-co=
llapse: collapse; vertical-align: top; text-align: left; padding: 0;"><tr=
 style=3D"vertical-align: top; text-align: left; padding: 0;">
<td style=3D"word-wrap: break-word; -webkit-hyphens: none; -ms-hyphens: n=
one; hyphens: none; border-collapse: collapse !important; vertical-align:=
 top; text-align: left; color: #000; font-family: Helvetica,Arial,sans-se=
rif; font-weight: normal; line-height: 150%; font-size: 16px; word-break:=
 break-word; margin: 0; padding: 0;">

<!--[if gte mso 9]><td width=3D"170"><table width=3D"170"><tr><td bgcolor=
=3D"#0954D3" style=3D"height: 52px; width: 170px; text-align: center; bor=
der: 2px solid #0954D3"><table style=3D"width: 100%; height: 100%"><tr><t=
d align=3D"center"><a href=3D"https://www.academia.edu/keypass/YVpsQVhXZX=
FPVHgyVDZIVE5ySlA4YStBNS94ZEwxb2JQWUNXdUQwanpXWT0tLVIzdVNYZmVwRm0xejBabDB=
XWVNqemc9PQ=3D=3D--0cd734df897b80d9d34e5957cd003eed1509e48c/t/uEHMw-RGm6s=
0v-bw1NWC/resource/work/36543064/formal_methods_in_architecture_BOOK_OF_A=
BSTRACTS_4th_international_symposium?email_work_card=3Dview-paper" style=3D=
"color: #fff; text-decoration: none; font-size: 16px; font-weight: 600;">=
View PDF =E2=96=B8</a></td></tr></table></td></tr></table></td><![endif]-=
-><!--[if !gte mso 9]-->
</td>
<td style=3D"word-wrap: break-word; -webkit-hyphens: none; -ms-hyphens: n=
one; hyphens: none; border-collapse: collapse !important; vertical-align:=
 top; text-align: left; color: #000; font-family: Helvetica,Arial,sans-se=
rif; font-weight: normal; line-height: 150%; font-size: 16px; word-break:=
 break-word; margin: 0; padding: 0;"><a class=3D"button" href=3D"https://=
www.academia.edu/keypass/YVpsQVhXZXFPVHgyVDZIVE5ySlA4YStBNS94ZEwxb2JQWUNX=
dUQwanpXWT0tLVIzdVNYZmVwRm0xejBabDBXWVNqemc9PQ=3D=3D--0cd734df897b80d9d34=
e5957cd003eed1509e48c/t/uEHMw-RGm6s0v-bw1NWC/resource/work/36543064/forma=
l_methods_in_architecture_BOOK_OF_ABSTRACTS_4th_international_symposium?e=
mail_work_card=3Dview-paper" style=3D"color: #fff; background-color: #095=
4D3; width: 100%; min-width: 150px; font-family: Helvetica,Arial,sans-ser=
if; font-weight: 600; text-align: center; line-height: 150%; text-decorat=
ion: none; justify-content: center; align-items: center; align-self: cent=
er; box-sizing: border-box; font-size: 16px; display: block; margin: 0; p=
adding: 12px 0; border: 2px solid #0954D3;">View PDF =E2=96=B8</a></td>
<!--[endif]--><td style=3D"width: 16px; word-wrap: break-word; -webkit-hy=
phens: none; -ms-hyphens: none; hyphens: none; border-collapse: collapse =
!important; vertical-align: top; text-align: left; color: #000; font-fami=
ly: Helvetica,Arial,sans-serif; font-weight: normal; line-height: 150%; f=
ont-size: 16px; word-break: break-word; margin: 0; padding: 0;" width=3D"=
16"><span>=C2=A0</span></td>
<td style=3D"word-wrap: break-word; -webkit-hyphens: none; -ms-hyphens: n=
one; hyphens: none; border-collapse: collapse !important; vertical-align:=
 top; text-align: left; color: #000; font-family: Helvetica,Arial,sans-se=
rif; font-weight: normal; line-height: 150%; font-size: 16px; word-break:=
 break-word; margin: 0; padding: 0;">

<!--[if gte mso 9]><td width=3D"170"><table width=3D"170"><tr><td bgcolor=
=3D"#fff" style=3D"height: 52px; width: 170px; text-align: center; border=
: 2px solid #0954D3"><table style=3D"width: 100%; height: 100%"><tr><td a=
lign=3D"center"><a href=3D"https://www.academia.edu/keypass/YVpsQVhXZXFPV=
HgyVDZIVE5ySlA4YStBNS94ZEwxb2JQWUNXdUQwanpXWT0tLVIzdVNYZmVwRm0xejBabDBXWV=
Nqemc9PQ=3D=3D--0cd734df897b80d9d34e5957cd003eed1509e48c/t/uEHMw-RGm6s0v-=
bw1NWC/resource/work/36543064/formal_methods_in_architecture_BOOK_OF_ABST=
RACTS_4th_international_symposium?auto=3Ddownload&amp;email_work_card=3Dd=
ownload-paper" style=3D"color: #0954D3; text-decoration: none; font-size:=
 16px; font-weight: 600;">Download PDF =E2=AC=87</a></td></tr></table></t=
d></tr></table></td><![endif]--><!--[if !gte mso 9]-->
</td>
<td style=3D"word-wrap: break-word; -webkit-hyphens: none; -ms-hyphens: n=
one; hyphens: none; border-collapse: collapse !important; vertical-align:=
 top; text-align: left; color: #000; font-family: Helvetica,Arial,sans-se=
rif; font-weight: normal; line-height: 150%; font-size: 16px; word-break:=
 break-word; margin: 0; padding: 0;"><a class=3D"button" href=3D"https://=
www.academia.edu/keypass/YVpsQVhXZXFPVHgyVDZIVE5ySlA4YStBNS94ZEwxb2JQWUNX=
dUQwanpXWT0tLVIzdVNYZmVwRm0xejBabDBXWVNqemc9PQ=3D=3D--0cd734df897b80d9d34=
e5957cd003eed1509e48c/t/uEHMw-RGm6s0v-bw1NWC/resource/work/36543064/forma=
l_methods_in_architecture_BOOK_OF_ABSTRACTS_4th_international_symposium?a=
uto=3Ddownload&amp;email_work_card=3Ddownload-paper" style=3D"color: #095=
4D3; background-color: #fff; width: 100%; min-width: 150px; font-family: =
Helvetica,Arial,sans-serif; font-weight: 600; text-align: center; line-he=
ight: 150%; text-decoration: none; justify-content: center; align-items: =
center; align-self: center; box-sizing: border-box; font-size: 16px; disp=
lay: block; margin: 0; padding: 12px 0; border: 2px solid #0954D3;">Downl=
oad PDF =E2=AC=87</a></td>
<!--[endif]-->
</tr></table></td></tr>
</table></td>
</tr>
</table>
<br>
</td></tr></table>
</td></tr>
</table>
<table class=3D"u-mt1x" style=3D"width: 100%; margin-top: 4px !important;=
 border-spacing: 0; border-collapse: collapse; vertical-align: top; text-=
align: left; padding: 0;"><tr style=3D"vertical-align: top; text-align: l=
eft; padding: 0;"><td height=3D"24px" style=3D"word-wrap: break-word; -we=
bkit-hyphens: none; -ms-hyphens: none; hyphens: none; border-collapse: co=
llapse !important; vertical-align: top; text-align: left; color: #000; fo=
nt-family: Helvetica,Arial,sans-serif; font-weight: normal; line-height: =
150%; font-size: 16px; word-break: break-word; margin: 0; padding: 0;"><a=
 href=3D"https://academia.edu/keypass/YVpsQVhXZXFPVHgyVDZIVE5ySlA4YStBNS9=
4ZEwxb2JQWUNXdUQwanpXWT0tLVIzdVNYZmVwRm0xejBabDBXWVNqemc9PQ=3D=3D--0cd734=
df897b80d9d34e5957cd003eed1509e48c/t/uEHMw-RGm6s0v-bw1NWC/recommendations=
?trigger=3Demail" style=3D"color: #1E88E5; font-family: Helvetica,Arial,s=
ans-serif; font-weight: normal; text-align: left; line-height: 150%; text=
-decoration: none; margin: 0; padding: 0;"><center class=3D"u-fs18" style=
=3D"font-size: 18px !important; width: 100%; min-width: 600px;">Want fewe=
r recommendations like this one?</center></a></td></tr></table>
</center></td>
<td style=3D"word-wrap: break-word; -webkit-hyphens: none; -ms-hyphens: n=
one; hyphens: none; border-collapse: collapse !important; vertical-align:=
 top; text-align: left; color: #000; font-family: Helvetica,Arial,sans-se=
rif; font-weight: normal; line-height: 150%; font-size: 16px; word-break:=
 break-word; margin: 0; padding: 0;"></td>
</tr></table>
<spacer size=3D"40"></spacer><table class=3D"container--footer" style=3D"=
background-color: transparent !important; border-spacing: 0; border-colla=
pse: collapse; vertical-align: top; text-align: left; padding: 0;"><tr st=
yle=3D"vertical-align: top; text-align: left; padding: 0;"><td style=3D"w=
ord-wrap: break-word; -webkit-hyphens: none; -ms-hyphens: none; hyphens: =
none; border-collapse: collapse !important; vertical-align: top; text-ali=
gn: left; color: #000; font-family: Helvetica,Arial,sans-serif; font-weig=
ht: normal; line-height: 150%; font-size: 16px; word-break: break-word; m=
argin: 0; padding: 0;">
<br><p class=3D"text-center u-fs11 u-tcGrayDark" style=3D"font-size: 11px=
 !important; color: #999 !important; text-align: center; font-family: Hel=
vetica,Arial,sans-serif; font-weight: normal; line-height: 150%; margin: =
0 0 10px; padding: 0;"><a style=3D"color: #999; font-family: Helvetica,Ar=
ial,sans-serif; font-weight: normal; text-align: left; line-height: 150%;=
 text-decoration: none; margin: 0; padding: 0;">580 California St., Suite=
 400, San Francisco, CA, 94104</a></p>
<p class=3D"text-center u-fs11" style=3D"font-size: 11px !important; text=
-align: center; color: #000; font-family: Helvetica,Arial,sans-serif; fon=
t-weight: normal; line-height: 150%; margin: 0 0 10px; padding: 0;"><a cl=
ass=3D"u-linkUnstyled u-tcGrayDark" target=3D"_blank" href=3D"https://aca=
demia.edu/keypass/YVpsQVhXZXFPVHgyVDZIVE5ySlA4YStBNS94ZEwxb2JQWUNXdUQwanp=
XWT0tLVIzdVNYZmVwRm0xejBabDBXWVNqemc9PQ=3D=3D--0cd734df897b80d9d34e5957cd=
003eed1509e48c/t/uEHMw-RGm6s0v-bw1NWC/confirm_unsubscribe/continue_readin=
g" style=3D"color: #999 !important; font-family: Helvetica,Arial,sans-ser=
if; font-weight: normal; text-align: left; line-height: 150%; text-decora=
tion: none; margin: 0; padding: 0;">Unsubscribe</a>=C2=A0=C2=A0 <a class=3D=
"u-linkUnstyled u-tcGrayDark" href=3D"https://www.academia.edu/t/uEHMw-RG=
m6s0v-bw1NWC/privacy" target=3D"_blank" style=3D"color: #999 !important; =
font-family: Helvetica,Arial,sans-serif; font-weight: normal; text-align:=
 left; line-height: 150%; text-decoration: none; margin: 0; padding: 0;">=
Privacy=C2=A0Policy</a>=C2=A0=C2=A0 <a class=3D"u-linkUnstyled u-tcGrayDa=
rk" href=3D"https://www.academia.edu/t/uEHMw-RGm6s0v-bw1NWC/terms" target=
=3D"_blank" style=3D"color: #999 !important; font-family: Helvetica,Arial=
,sans-serif; font-weight: normal; text-align: left; line-height: 150%; te=
xt-decoration: none; margin: 0; padding: 0;">Terms=C2=A0of=C2=A0Service</=
a>=C2=A0=C2=A0 </p>
<p class=3D"text-center u-tcGrayDark u-fs11" style=3D"font-size: 11px !im=
portant; color: #999 !important; text-align: center; font-family: Helveti=
ca,Arial,sans-serif; font-weight: normal; line-height: 150%; margin: 0 0 =
10px; padding: 0;"><span>=C2=A9=C2=A02024=C2=A0Academia</span></p>
</td></tr></table>
</center></td></tr></table>
<div style=3D"display: none; white-space: nowrap; font: 15px/0 courier;">=
 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=
=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0=
 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0</div>
</body>
</html>

----==_mimepart_65e55647ce996_12323dd41049570--

3g86 2022